[clang] [llvm] Implement operand bundles for floating-point operations (PR #109798)

Matt Arsenault via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 30 06:51:08 PDT 2024


arsenm wrote:

> With the constrained intrinsics the default is safe because optimizations don't recognize the constrained intrinsic and thus don't know how to optimize it. If we instead rely on the strictfp attribute then we'll need possibly thousands of checks for this attribute, we'll need everyone going forward to remember to check for it, and we'll have no way to verify that this rule is being followed.

The current state already requires you to check this for any library calls. Not sure any wide audit of those ever happened. I don't see a better alternative to cover those, plus the full set of target intrinsics. 


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


More information about the cfe-commits mailing list