jcranmer-intel wrote:

I did a thorough investigation into how the 
`denormal-fp-math=preserve-sign,preserve-sign` attribute affects the resulting 
IR for all of the SPEC benchmarks (which actually do run into subnormals), and 
the basic summary I found is that the only differences I found were that the 
FTZ/DAZ mode prevented a few inferences that are still true in 
denormal-flushing: things like `x >= 0` implies `x >= -1`.

So overall, the practical effect of the `denormal-fp-math` attribute being set 
incorrectly doesn't appear to matter.

https://github.com/llvm/llvm-project/pull/80475
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to