[all-commits] [llvm/llvm-project] af0c93: [IR] Make semantics of strictfp consistent (#209465)

[Ramkumar Ramachandra via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: af0c933eda31b6beb436026a22121ec637f3cb53
      https://github.com/llvm/llvm-project/commit/af0c933eda31b6beb436026a22121ec637f3cb53
  Author: Ramkumar Ramachandra <artagnon at tenstorrent.com>
  Date:   2026-07-18 (Sat, 18 Jul 2026)

  Changed paths:
    M clang/lib/CodeGen/TargetInfo.cpp
    M clang/test/CodeGenOpenCL/cl20-device-side-enqueue-attributes.cl
    M llvm/docs/LangRef.md
    M llvm/include/llvm/IR/Function.h
    M llvm/lib/IR/Verifier.cpp
    M llvm/test/CodeGen/AArch64/is_fpclass.ll
    M llvm/test/CodeGen/AArch64/sms-loop-carried-fp-exceptions1.mir
    M llvm/test/CodeGen/AArch64/sve-streaming-mode-cvt-fp-to-int.ll
    M llvm/test/CodeGen/AArch64/sve-streaming-mode-cvt-int-to-fp.ll
    M llvm/test/CodeGen/PowerPC/milicode32.ll
    M llvm/test/CodeGen/PowerPC/ppcf128-constrained-fp-intrinsics.ll
    M llvm/test/CodeGen/RISCV/double-intrinsics-strict.ll
    M llvm/test/CodeGen/RISCV/float-intrinsics-strict.ll
    M llvm/test/CodeGen/RISCV/zfh-half-intrinsics-strict.ll
    M llvm/test/CodeGen/RISCV/zfhmin-half-intrinsics-strict.ll
    M llvm/test/CodeGen/SPIRV/llvm-intrinsics/constrained-fmuladd.ll
    M llvm/test/Transforms/EarlyCSE/replace-calls-def-attrs.ll
    M llvm/test/Transforms/InstCombine/erf.ll
    M llvm/test/Transforms/InstCombine/fdim.ll
    M llvm/test/Transforms/InstSimplify/disable_folding.ll
    M llvm/test/Transforms/SimplifyCFG/X86/merge-compatible-invokes-of-landingpad.ll
    M llvm/unittests/IR/VerifierTest.cpp
    M mlir/test/Target/LLVMIR/llvmir-intrinsics.mlir

  Log Message:
  -----------
  [IR] Make semantics of strictfp consistent (#209465)

Although the section on constrainedfp in the LangRef clearly states "All
function definitions that use constrained floating point intrinsics must
have the strictfp attribute", indicating that a function with strictfp
calls must be marked with strictfp, the general description of strictfp
does not specify this. Refine its semantics and make it so, eliminating
the inconsistency.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications