Thanks for reporting this. Can you create a small test case and fill out a bug report on GitHub?


On 11/06/18 05:20, Ridwan Shariffdeen wrote:

I am trying to run klee with OpenJPEG (, and encountered the following error:

LLVM ERROR: Code generator does not support intrinsic function 'llvm.x86.sse2.psrai.d'!

Is it some limitation in Klee with vector generation ( ? or am I missing some instruction?

I am using WLLVM to compile with debug info and using extract-bc to generate the bytecode.

Any help on this is appreciated.


klee-dev mailing list

klee-dev mailing list

Reply via email to