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 > [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
