<div dir="ltr">Thanks a lot for the quick reply!<div><div><br></div><div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Son Tuan Vu</div></div></div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 20, 2020 at 8:28 PM Matt Arsenault <<a href="mailto:arsenm2@gmail.com">arsenm2@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
> On Jul 20, 2020, at 14:23, Son Tuan VU via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>> wrote:<br>
> <br>
> Hello all,<br>
> <br>
> Does anyone know how to define a pure intrinsic in LLVM IR?<br>
> <br>
> 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?<br>
> <br>
> Thank you for your help,<br>
> <br>
> Best,<br>
> <br>
> Son Tuan Vu<br>
<br>
You’re probably looking for at a minimum, IntrNoMem. IntrSpeculatable and IntrWillReturn are also probably fit in with “pure"<br>
<br>
-Matt</blockquote></div>