标签： clang llvm intrinsics llvm-clang klee
我想在性能优化的代码上运行klee，该代码使用各种指令集扩展，如sse2，sse4.1。不幸的是llvm-3.4解释器不支持它们：
LLVM ERROR: Code generator does not support intrinsic function 'llvm.x86.sse41.ptestz'!
我不能在编译时禁用它，因为它们在源代码中明确使用。我想，我需要的是将这种指令自动向后翻译成香草x86。 Clang是否支持这样的功能？