[PATCH] D148138: [FPEnv][LangRef] Update doc for strictfp attribute

[Kevin P. Neal via Phabricator via llvm-commits]

kpn created this revision.
kpn added reviewers: craig.topper, andrew.w.kaylor, efriedma, hfinkel, uweigand, arsenm, sepavloff.
Herald added a subscriber: jdoerfert.
Herald added a project: All.
kpn requested review of this revision.
Herald added subscribers: llvm-commits, wdng.
Herald added a project: LLVM.

Based on the direction of IR Verifier changes in D146845 <https://reviews.llvm.org/D146845>, this documentation needs to be updated.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D148138

Files:
  llvm/docs/LangRef.rst


Index: llvm/docs/LangRef.rst
===================================================================
--- llvm/docs/LangRef.rst
+++ llvm/docs/LangRef.rst
@@ -23466,7 +23466,9 @@
 constrained intrinsics to function correctly.
 
 All function *calls* done in a function that uses constrained floating
-point intrinsics must have the ``strictfp`` attribute.
+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.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D148138.512858.patch
Type: text/x-patch
Size: 623 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230412/5e7eb349/attachment.bin>