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

[Cristian Cadar]

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
>