https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81916
Bug ID: 81916 Summary: expansion of rint/nearbyint can simplified under -fno-signed-zeros Product: gcc Version: 7.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: normal Priority: P3 Component: middle-end Assignee: unassigned at gcc dot gnu.org Reporter: amonakov at gcc dot gnu.org Target Milestone: --- When -fno-signed-zeros is enabled, rint/nearbyint do not need to produce negative zeros as appropriate, and if -fno-rounding-math [+ -fno-trapping-math for rint] are also enabled, GCC can use a two-operation expansion 'x + 1.5p52 - 1.5p52'.