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

Cristian

On 11/06/18 05:20, Ridwan Shariffdeen wrote:
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!



_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to