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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
