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

[Andrzej Warzyński]

banach-space wrote:

> > Hi Jakub, I would like to have this attribute on a per-op basis since this is what PTX exposes.
> 
> Additional data here: in Arm, VFP is IEEE compliant while NEON is not (has denormals). So per operation would be a way to distinguish. However, the front-end would have to distinguish between scalar (VFP) IEEE compliant and vector (NEON) with denormals. Not a trivial thing to get right.
> 
> @banach-space @smithp35

Thanks for tagging me, Renato! Not my area of expertise, but looks like you worked on this in your previous compiler life: [patch](https://reviews.llvm.org/D18701) :) 

Agreed, per operation makes more sense in the context of NEON. Though, admittedly, the only official doc that I could find for this covers ArmV7 and we are in ArmV9 era:
* https://developer.arm.com/documentation/den0018/a/Introduction/Architecture-support-for-NEON-technology/Support-for-VFP-only-systems

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