[llvm-branch-commits] [clang] [llvm] [IR] Add FPOperation intrinsic property (PR #122313)

[Serge Pavlov via llvm-branch-commits]

spavloff wrote:

This attribute is needed only for validation of FP operand bundles, to check if a call may have such bundles. It addresses the concern that a call should have FP bundles only when they make sense for the called function (e.g. https://github.com/llvm/llvm-project/pull/118253#discussion_r1884562451). If we decide that irrelevant bundles are just ignored, this attribute is likely to be unneeded.

> Should this be part of the "memory" attribute, instead of an independent thing?

Essentially you are right. We can introduce new kinds of "memory" to represent FP environment and check if FP bundles are attached only to the calls of functions that access these memory kinds. But the case of static rounding remains unsupported. If an operation makes FP operation using static rounding and does not have other interaction with FP environment (or it is ignored), such operation does not have side effect at all.

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