[PATCH] D31164: [IR] Add AllowContract to FastMathFlags

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini added inline comments.


================
Comment at: docs/LangRef.rst:2197-2200
+``contract``
+   Allow floating-point contraction (e.g. fusing a multiply followed by an
+   addition into a fused multiply-and-add).
+
----------------
arsenm wrote:
> Should we also have an unsafe algebra that preserves signed zeros/nans etc?
@arsenm : isn't it the default when there is no `nsz` or `nnan` ?




================
Comment at: docs/LangRef.rst:2199
+   Allow floating-point contraction (e.g. fusing a multiply followed by an
+   addition into a fused multiply-and-add).
+
----------------
Is it the intent to allow this as well :  x + x + x ->  3 * x  ?


https://reviews.llvm.org/D31164