[klee-dev] Question about adding an llvm pass to KLEE

[Biqian Cheng]

Hi,

I'm working on adding an llvm pass to the KLEE source code on Optimize.cpp.
Should I include my llvm pass in some directory in order to pass it into
addPass()?

For example, addPass(Passes, createInstructionCombiningPass());

Before the createInstructionCombiningPass() is added, there should be some
implementations of createInstructionCombiningPass somewhere in KLEE source
code. In fact, there is no implementation for
createInstructionCombiningPass(). What would be the reasons for this?

Thank you!
-------------- next part --------------
HTML attachment scrubbed and removed