[llvm-dev] LLVM IR pure intrinsic?

[Matt Arsenault via llvm-dev]

> On Jul 20, 2020, at 14:23, Son Tuan VU via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> 
> 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,
> 
> Best,
> 
> Son Tuan Vu

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

-Matt