https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63408
--- Comment #11 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> --- (In reply to Itay Perl from comment #10) > A few examples: > > a=100, b=0x7fffffff -O0: 0.0 -O3: 200.0 > a=0, b=0x7fffffff/100.0f -O0: -1.0 -O3: 1.0 > a=0, b=-0x7fffffff/100.0f -O0: 1.0 -O3: -1.0 > > Replacing vfma with vfms sounds correct to me, and returns the correct > result for the above inputs. Thanks - I'm testing a fix.