[klee-dev] KLEE compiler optimization?

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>