[PATCH] D67446: [ConstProp] allow folding for fma that produces NaN

[Cameron McInally via Phabricator via llvm-commits]

cameron.mcinally accepted this revision.
cameron.mcinally added inline comments.


================
Comment at: llvm/test/Transforms/ConstProp/fma.ll:196
   ret double %1
 }
 
----------------
cameron.mcinally wrote:
> Should this class of FMA return poison? There's no valid result for fma(0, inf, C), where C != NaN.
> 
> @eli.friedman 
Bah, never mind. That only applies to converts that return integer results. FP results are defined as NaNs.

```
For operations producing results in floating-point format, the default result of an operation that signals the invalid operation exception shall be a quiet NaN that should provide some diagnostic information (see 6.2).
```


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67446/new/

https://reviews.llvm.org/D67446