diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 6fa35486669d6..fc0129dec1c83 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -7154,12 +7154,15 @@ sections that the user does not want removed after linking. '``unpredictable``' Metadata ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -``unpredictable`` metadata may be attached to any branch or switch -instruction. It can be used to express the unpredictability of control -flow. Similar to the llvm.expect intrinsic, it may be used to alter -optimizations related to compare and branch instructions. The metadata -is treated as a boolean value; if it exists, it signals that the branch -or switch that it is attached to is completely unpredictable. +``unpredictable``` can be used to express the unpredictability of control flow. +Similar to the ``llvm.expect`` intrinsic, it may be used to alter optimizations +related to compare and branch instructions. This is treated as a boolean value: +Any instruction it is attached to signals it is completely unpredictable. + +``!unpredictable`` may be attached to, and will affect, these instructions: +* branch +* select +* switch .. _md_dereferenceable: