Hi Cristian, Sure will report as an issue on github Thanks!
On Tue, Jun 12, 2018 at 8:57 PM Cristian Cadar <[email protected]> wrote: > 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 >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
