On 5/26/21 12:02 PM, Michael Morrell via wrote:
I think the behavior should be for denormal inputs that if "flush_inputs_to_zero" is true, then set the value
to zero (without setting the "input denormal" flag); and if "flush_inputs_to_zero" is false, set
the "input denormal" flag and normalize the input.
This matches what x86 does (I'm not sure about other architectures).
It is not.
Intel Architectures SDM Vol 1, Section 11.5.2.2:
The denormal operand exception is not affected by
flush-to-zero mode.
r~
