Displaying 1 result from an estimated 1 matches for "klee_assum".
Did you mean:
klee_assume
2012 Aug 21
1
[LLVMdev] generate a weird 'and' instruction
When I use the next code to print all the opcode name in a file xx.o whose
source file contains statements "if (diff != 0) klee_assume(diff>0)", then
an opcode name 'and' was printed. Where is the 'and' instruction from? I
checked the file xx.ll of xx.o and I didn't find a 'and' instruction of
these two statements.
Besides, when I commented out statement "if (diff != 0)", the 'and...