[PATCH] D86233: [WIP] [RFC] [LangRef] Define noprogress attribute
Atmn Patel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Thu Aug 20 12:53:28 PDT 2020
atmnpatel updated this revision to Diff 286882.
atmnpatel added a comment.
Addressed comments.
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.
+``noprogress``
+ 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.286882.patch
Type: text/x-patch
Size: 660 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200820/374b3d22/attachment.bin>
More information about the llvm-commits
mailing list