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

[Adam Nemet via Phabricator via llvm-commits]

anemet added inline comments.


================
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).
+
----------------
mehdi_amini wrote:
> Is it the intent to allow this as well :  x + x + x ->  3 * x  ?
I don't think so.  We do the general case (any number of terms) under unsafe-math, in FAddCombine::simplify in InstCombine.


https://reviews.llvm.org/D31164