<div dir="ltr">Oh right, here is a patch: <a href="https://reviews.llvm.org/D33889">https://reviews.llvm.org/D33889</a>. I hope it will get through because I spent much time fixing all of the tests :)<div><br></div><div>Piotr</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-06-05 5:24 GMT+02:00 Sanjoy Das <span dir="ltr"><<a href="mailto:sanjoy@playingwithpointers.com" target="_blank">sanjoy@playingwithpointers.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sun, Jun 4, 2017 at 7:16 PM, Hal Finkel <<a href="mailto:hfinkel@anl.gov">hfinkel@anl.gov</a>> wrote:<br>
> I'm not sure that it is a universal property of all intrinsics, strictly<br>
> speaking. patchpoints, for example, might recurse? It is certainly true for<br>
> most of them.<br>
<br>
</span>Yes, patchpoints and statepoints may recurse.  For instance<br>
<br>
void f() {<br>
  llvm.patchpoint(&f);<br>
}<br>
<br>
has "mutual recursion" between the patchpoint intrinsic and f.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- Sanjoy<br>
</font></span></blockquote></div><br></div>