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

[Ridwan Shariffdeen]

Hi Cristian,
Sure will report as an issue on github

Thanks!

On Tue, Jun 12, 2018 at 8:57 PM Cristian Cadar <c.cadar at imperial.ac.uk>
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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed