<div dir="ltr">While I suspect this patch is going in the right direction, I strongly think this needs a clear RFC on the dev list before it goes in...<div><br></div><div>The closest I could find with searching for the word "speculatable" was an over 60 email thread that talked about inaccessible state, and just seemed to mention speculatable.</div><div><br></div><div>There is also the recent thread on llvm-dev by Sanjoy, where something pretty much precisely the same as speculatable as a function attribute was discussed.</div><div><br></div><div>I think that the dev list should get a clear summary of at least:</div><div>- What set of problems are being solved</div><div>- The nature of the attribute</div><div>- How it impacts existing optimizations and other attributes</div><div>- How it is expected to be leveraged going forward</div><div><br></div><div>Thanks,</div><div>-Chandler</div></div><br><div class="gmail_quote"><div dir="ltr">On Fri, Jul 15, 2016 at 4:55 PM Hal Finkel via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">hfinkel added inline comments.<br>
<br>
================<br>
Comment at: docs/LangRef.rst:1520<br>
@@ +1519,3 @@<br>
+    Note that ``speculatable`` is not enough to conclude that along any<br>
+    particular exection path the number of calls to this function will be<br>
+    externally observable.<br>
----------------<br>
Do you mean "will not be"?<br>
<br>
<br>
<a href="https://reviews.llvm.org/D20116" rel="noreferrer" target="_blank">https://reviews.llvm.org/D20116</a><br>
<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>