Hi Paul, I guess it would be useful to have more control over the LLVM
optimizations performed in KLEE. I would be happy to incorporate such a
patch.
Best,
Cristian
On 31/01/13 15:29, Paul Rubel wrote:
Regarding optimizations I've been down that path lately. Even if the
code is compile without optimization compile flags and you pass in the
-disable-opt argument to the c9-worker there are still some
optimizations made via lib/Module/KModule.cpp, about line 405, as the
bitcode is internalized: InstructionCombining, CFGSimplification,
AggressiveDCE, and globalDCE. I'm sure these speed up the execution
quite a bit but it can make tracing back to source and trying simple
examples more complicated.
I've successfully commented out those 4 optimizations and run
examples. If the other fixes don't work it's an option.
Paul
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
