[klee-dev] LLVM Error in Klee: does not support intrinsic function

[Ridwan Shariffdeen]

Hi,

I am trying to run klee with OpenJPEG (https://github.com/uclouvain/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 (
https://github.com/klee/klee/issues/660) ? 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.

Thanks!
-------------- next part --------------
HTML attachment scrubbed and removed