[LLVMdev] [RFC/PATCH] IntrinsicLowering improvements

Duncan Sands baldrick at free.fr
Wed Jun 23 00:25:39 PDT 2010


Hi Peter,

> My main motivation for the single-thread lowering is to be able to run
> code that uses these intrinsics in the KLEE symbolic execution engine
> but I imagine it could have other uses such as a whole-program LTO
> that lowers atomic operations to more efficient non-atomic operations
> when it is known to be safe to do so.

instead, how about writing an LLVM IR pass that turns atomic intrinsics into
non-atomic equivalent LLVM IR?  Finally, I guess even "single threaded" code
may have a use for some atomic operations if it makes use of signal handlers.

Ciao,

Duncan.



More information about the llvm-dev mailing list