diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -1805,6 +1805,13 @@ with equivalent code based on the semantics of the built-in function, unless the call site uses the ``builtin`` attribute. This is valid at call sites and on function declarations and definitions. +``nocallback`` + This attribute indicates that the function is only allowed to jump back into + caller's module by a return or an exception, and is not allowed to jump back + by invoking a callback function, a direct, possibly transitive, external + function call, use of ``longjmp``, or other means. It is a compiler hint that + is used at module level to improve dataflow analysis, dropped during linking, + and has no effect on functions defined in the current module. ``noduplicate`` This attribute indicates that calls to the function cannot be duplicated. A call to a ``noduplicate`` function may be moved