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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200720/f55f93df/attachment.html>
> 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 VuYou’re probably looking for at a minimum, IntrNoMem. IntrSpeculatable and IntrWillReturn are also probably fit in with “pure" -Matt
Thanks a lot for the quick reply! Son Tuan Vu On Mon, Jul 20, 2020 at 8:28 PM Matt Arsenault <arsenm2 at gmail.com> wrote:> > > > 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-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200720/7a3248ed/attachment.html>