[llvm] [LangRef] Fix language around strictfp semantics (PR #213879)

[via llvm-commits]

llvmorg-github-actions[bot] wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-ir

Author: Ramkumar Ramachandra (artagnon)

<details>
<summary>Changes</summary>

The LangRef wording changed in 15bb4a97a7 ([IR] Make semantics of strictfp consistent v2, #<!-- -->211769) is unfortunately unclear and incorrect. Clarify what was intended.

Reported-by: Ömer Sinan Ağacan <omer@<!-- -->osa1.net>

---
Full diff: https://github.com/llvm/llvm-project/pull/213879.diff


1 Files Affected:

- (modified) llvm/docs/LangRef.md (+5-1) 


``````````diff
diff --git a/llvm/docs/LangRef.md b/llvm/docs/LangRef.md
index 1fc6ea1a7ed9d..27125a5142c67 100644
--- a/llvm/docs/LangRef.md
+++ b/llvm/docs/LangRef.md
@@ -2801,7 +2801,8 @@ fn -> other_fn -> other_fn ; fn is norecurse
     mode or that might alter the state of floating-point status flags that
     might otherwise be set or cleared by calling this function. LLVM will
     not introduce any new floating-point instructions that may trap. All
-    function definitions that contain strictfp calls must be marked strictfp.
+    function definitions that contain calls marked with the strictfp
+    attribute must be marked strictfp.
 
 (denormal_fpenv)=
 
@@ -26741,6 +26742,9 @@ point intrinsics must have the `strictfp` attribute either on the
 calling instruction or on the declaration or definition of the function
 being called.
 
+All function *definitions* that use constrained floating point intrinsics
+must have the `strictfp` attribute.
+
 #### '`llvm.experimental.constrained.fadd`' Intrinsic
 
 ##### Syntax:

``````````

</details>


https://github.com/llvm/llvm-project/pull/213879