[klee-dev] Unsupported Intrinsic Function

[Cadar, Cristian]

Thanks for reporting this issue.  We are aware that there are still some 
unsupported intrinsics, and we'd welcome PRs for such issues.

Best,
Cristian

On 30/01/2019 03:40, Ridwan Shariffdeen wrote:
> Hi,
> 
> I encountered the following error when running klee with LibWebp
> 
> LLVM ERROR: Code generator does not support intrinsic function 
> 'llvm.x86.sse2.packuswb.128'!
> 
> Is there any solution for this?
> Appreciate any help in this regard
> 
> Thanks!
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>