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
