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'.
