diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst
--- a/llvm/docs/LangRef.rst
+++ b/llvm/docs/LangRef.rst
@@ -1953,6 +1953,11 @@
     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 guaranteed to not make
+    progress, however callee functions may still make progress if they are not
+    marked ``noprogress``. The absense of this attribute does not guarantee
+    progress.
 
 Call Site Attributes
 ----------------------