So, DE should not be set for a denormal input if DAZ is set (it is set only when DAZ is 0 -- the default "IEEE mode").
It's not my day is it? Clearly the bit that I quoted is wrt to the output denormal flushing. But my suggested fix is still not wrong -- have two bits that cover both alternatives.
Can you point me to the ARM documentation?
https://developer.arm.com/documentation/ddi0487/latest Section D1.12.6 Floating point exceptions and exception traps, subsection Input Denormal exceptions. r~
