[llvm] [LangRef] Fix language around strictfp semantics (PR #213879)
Ramkumar Ramachandra via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 4 05:08:27 PDT 2026
https://github.com/artagnon updated https://github.com/llvm/llvm-project/pull/213879
>From 7b7eb12fe7e36089b67f4b17f1c66558b0857219 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, 4 insertions(+), 2 deletions(-)
diff --git a/llvm/docs/LangRef.md b/llvm/docs/LangRef.md
index 1fc6ea1a7ed9d..843a2d626cd06 100644
--- a/llvm/docs/LangRef.md
+++ b/llvm/docs/LangRef.md
@@ -2800,8 +2800,7 @@ fn -> other_fn -> other_fn ; fn is norecurse
optimizations that require assumptions about the floating-point rounding
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.
+ not introduce any new floating-point instructions that may trap.
(denormal_fpenv)=
@@ -26741,6 +26740,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:
More information about the llvm-commits
mailing list