[Mlir-commits] [mlir] [MLIR][Arith] Add denormal attribute to binary/unary operations (PR #112700)

[Andrzej Warzyński]

banach-space wrote:

**Updated reference:**

> The only official doc that I could find for this covers ArmV7, and we are in the ArmV9 era.

Here’s the latest spec covering ArmV9: [link](https://developer.arm.com/documentation/ddi0487/ka/?lang=en).

Unfortunately, I haven’t had as much time to analyze it as I’d like. I’m hoping to focus more on this area next quarter, though I can’t promise anything definitive.

**Regarding the concerns raised by @joker-eph**
I suggest the following:
* Add a note in the code marking this as "experimental" to highlight ongoing discussions.
* Post an RFC on Discourse to gauge broader feedback on the approach taken here.

While LLVM has a liberal revert policy, these steps should help us make a more informed decision. Based on the RFC feedback, we can decide whether to revert, re-implement, or redesign.

> How does this affect the implementation? I don't know. I have not spent time, nor do I have a use case in hand, to have a good answer.

I feel the same - it’s a bit of a chicken-and-egg problem at this point.

> Also, @chelini, if you could expose the usage pattern you're looking for, that'd give more power to your argument.

+1 to this.

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