我想在性能优化的代码上运行klee，它使用各种指令集扩展，如 sse2、sse4.1。不幸的是 llvm-3.4 解释器不支持它们：
LLVM ERROR: Code generator does not support intrinsic function 'llvm.x86.sse41.ptestz'!
我不能只在编译时禁用它，因为它们在源代码中明确使用。我认为，我需要的是一种将此类指令自动反向翻译成 vanilla x86 的方法。Clang 支持这样的功能吗？
问问题
140 次