Как перевести встроенные функции в устаревшую архитектуру?
Я хочу запустить klee на оптимизированном по производительности коде, который использует различные расширения набора команд, такие как sse2, sse4.1. К сожалению, интерпретатор llvm-3.4 не поддерживает их:
LLVM ERROR: Code generator does not support intrinsic function 'llvm.x86.sse41.ptestz'!
Я не могу просто отключить его при компиляции, потому что они явно используются в исходном коде. Я думаю, что мне нужен своего рода автоматический обратный перевод такой инструкции в vanilla x86. Clang поддерживает такую функцию?