Re: [PATCH] PR tree-optimization/96392 Optimize x+0.0 if x is an integer

2021-06-13 Thread Jeff Law via Gcc-patches
On 6/11/2021 5:54 AM, Richard Biener via Gcc-patches wrote: On Thu, Jun 10, 2021 at 9:45 PM Roger Sayle wrote: The patch implements a missed optimization enhancement. Under usual IEEE rules, x+0.0 can't be simplified to x when x might potentially be an IEEE minus zero (-0.0). The current

Re: [PATCH] PR tree-optimization/96392 Optimize x+0.0 if x is an integer

2021-06-11 Thread Richard Biener via Gcc-patches
On Thu, Jun 10, 2021 at 9:45 PM Roger Sayle wrote: > > > The patch implements a missed optimization enhancement. Under usual > IEEE rules, x+0.0 can't be simplified to x when x might potentially > be an IEEE minus zero (-0.0). The current logic in the middle-end > checks whether the type of x sh

[PATCH] PR tree-optimization/96392 Optimize x+0.0 if x is an integer

2021-06-10 Thread Roger Sayle
The patch implements a missed optimization enhancement. Under usual IEEE rules, x+0.0 can't be simplified to x when x might potentially be an IEEE minus zero (-0.0). The current logic in the middle-end checks whether the type of x should honor signed zeros, but with this patch we introduce tree_