https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86999
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to asd_ from comment #2) > I hope there will be one more FMA pass in the RTL stages in the future.:) A new RTL pass is not necessary for this, the GIMPLE pass could be extended to recognize (x±1)*y and (1-x)*y, if that's useful.