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

[Serge Pavlov via llvm-branch-commits]

spavloff wrote:

Sorry, I didn't provide enough documentation. Now the attribute is documented in LangRef and the motivation for this change is presented in the PR description.

> I think this is aiming too low. I think this should be a general floating point environment access that is specific about what aspects of the floating point environment may be used. This includes read or write of the rounding mode, other FP env fields, and errno

It would be profitable to extend the set of FP parameters beyond FP environment. For example, static rounding mode, strictly speaking, is not a part of FP environment, it is just a parameter. But passing it in FP operand bundles allows us to obtain a more consistent representation, because in many cases it does not matter if rounding mode comes from a register or encoded as a part of instruction.

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