LLVM IR pure intrinsic?

Hello all,

Does anyone know how to define a pure intrinsic in LLVM IR?

I have tried almost every intrinsic property from llvm/include/llvm/IR/Intrinsics.td but haven’t found anything. Or maybe this is not supported in the IR yet?

Thank you for your help,


You’re probably looking for at a minimum, IntrNoMem. IntrSpeculatable and IntrWillReturn are also probably fit in with “pure"


Thanks a lot for the quick reply!