[PATCH] D20116: Add speculatable function attribute

[Hal Finkel via llvm-commits]

hfinkel added inline comments.

================
Comment at: docs/LangRef.rst:1519
@@ -1516,1 +1518,3 @@
+    effects besides calculating its result and does not have undefined behavior.
+    Note that ``speculatable`` does not imply that the function can be CSE'd.
 ``ssp``
----------------
I don't think that we should use "CSE'd" here, as a term. We should say something about this attribute not being enough to conclude that the number of calls executed along any particular execution path being externally observable, or something along those lines. Akin, perhaps, to what we say for volatile.


https://reviews.llvm.org/D20116