This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/81916] New: expansion of rint/nearbyint can simplified under -fno-signed-zeros
- From: "amonakov at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 21 Aug 2017 15:22:14 +0000
- Subject: [Bug middle-end/81916] New: expansion of rint/nearbyint can simplified under -fno-signed-zeros
- Auto-submitted: auto-generated
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'.