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@imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
