[PATCH] D86233: [WIP] [RFC] [LangRef] Define noprogress attribute

[Atmn Patel via Phabricator via llvm-commits]

atmnpatel updated this revision to Diff 289847.
atmnpatel added a comment.

Changing name of function IR attribute from noprogress to mayprogress to make the semantics clearer in that if this attribute is applied to a function, it is now permitted to not make forward progress, but may still make forward progress as opposed to never making any forward progress which is what noprogress sounds like.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86233/new/

https://reviews.llvm.org/D86233

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -1953,6 +1953,10 @@
     the function. The instrumentation checks that the return address for the
     function has not changed between the function prolog and epilog. It is
     currently x86_64-specific.
+``mayprogress``
+    This attribute indicates that the function is permitted to not make
+    progress, however this does not apply transitively to its callees.
+    Progress is defined as per the `C++ Standard <http://eel.is/c++draft/intro.progress>`_.
 
 Call Site Attributes
 ----------------------


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D86233.289847.patch
Type: text/x-patch
Size: 661 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200904/5412f6fb/attachment.bin>