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

[Ramkumar Ramachandra via llvm-commits]

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

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 at osa1.net>

>From 9154b3ef76a4e56e526c18c282a2ae9a6e2ce9d9 Mon Sep 17 00:00:00 2001
From: Ramkumar Ramachandra <artagnon at tenstorrent.com>
Date: Tue, 4 Aug 2026 10:07:34 +0100
Subject: [PATCH] [LangRef] Fix language around strictfp semantics
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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 at osa1.net>
---
 llvm/docs/LangRef.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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: