mr-ma / sip-eval

1 stars 0 forks source link

Protection fails for crc.x.bc #38

Open mr-ma opened 6 years ago

mr-ma commented 6 years ago
opt-6.0 -load /usr/local/lib//libInputDependency.so -load /usr/local/lib//libLLVMdg.so -load /home/sip/self-checksumming/build/lib/libUtils.so -load /home/sip/self-checksumming/build/lib/libSCPass.so -load /home/sip/sip-oblivious-hashing/build/lib/liboblivious-hashing.so -load /usr/local/lib//libTransforms.so /home/sip/eval/coverage/crc.x.bc -strip-debug -unreachableblockelim -globaldce -use-cache -sc -extracted-only -use-other-functions -connectivity=1 -dump-checkers-network=/home/sip/eval/binaries/crc.x.bc/10/4/1/network_file -dump-sc-stat=/home/sip/eval/binaries/crc.x.bc/10/4/1/sc.stats -filter-file=/home/sip/eval/combination/crc.x.bc/10/4 -oh-insert -short-range-oh -num-hash 1 -dump-oh-stat=/home/sip/eval/binaries/crc.x.bc/10/4/1/oh.stats -o /home/sip/eval/binaries/crc.x.bc/10/4/1/out.bc >> /home/sip/eval/binaries/crc.x.bc/10/4/1/transform.console

Error:

Processed instructions number 93
Both operands to ICmp instruction are not of the same type!
  %11 = icmp ne i32* %0, i32 0, !data_dep_instr !7, !control_dep_instr !8
LLVM ERROR: Broken function found, compilation aborted!

Pass the following function as the filter file:

crc32file

This actually happens with many other combinations as well. You should see it easily.

anahitH commented 6 years ago

@mr-ma are you using datadata_dep_loop_processing branch for sip-oblivious-hashing?

anahitH commented 6 years ago

The last commit to input-dependency-analyzer llvm-6.0.0 branch should fix the problem. Please let me know if it's not.