[klee-dev] Intrinsic function llvm.fabs.f32 not supported

[Samuel Hopstock]

Hello,

I've been trying to execute a bitcode file generated by McSema [1] and
Klee fails with "LLVM ERROR: Code generator does not support intrinsic
function 'llvm.fabs.f32'!". Are floating point operations like fabs not
implemented yet/completely or is this a different issue (maybe related
to McSema)?

Best,
Samuel


[1] https://github.com/trailofbits/mcsema