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

[Cadar, Cristian]

Hi, this is another intrinsic for which we need to add support, see my 
previous email to the list.  But note that KLEE cannot handle symbolic 
FP operations yet, but there are a couple of extensions that can (see 
https://srg.doc.ic.ac.uk/projects/klee-float/).

Best,
Cristian

On 28/01/2019 14:46, Samuel Hopstock wrote:
> 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
> 
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>