[Bug tree-optimization/105834] [13/14 Regression] Dead Code Elimination Regression at -O2 (trunk vs. 12.1.0)

[tkoenig at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105834

Thomas Koenig  changed:

   What|Removed |Added

   See Also||https://gcc.gnu.org/bugzill
   ||a/show_bug.cgi?id=109695
   Keywords|needs-bisection |

--- Comment #6 from Thomas Koenig  ---
On trunk, this was fixed by r14-1163-gd8b058d3ca4ebb, one of the
patchset which fixed PR 109695:

d8b058d3ca4ebbef5575105164417f125696f5ce is the first new commit
commit d8b058d3ca4ebbef5575105164417f125696f5ce
Author: Andrew MacLeod 
Date:   Tue May 23 15:11:44 2023 -0400

Choose better initial values for ranger.

Instead of defaulting to VARYING, fold the stmt using just global ranges.

PR tree-optimization/109695
* gimple-range-cache.cc (ranger_cache::get_global_range): Call
fold_range with global query to choose an initial value.

 gcc/gimple-range-cache.cc | 17 -
 1 file changed, 16 insertions(+), 1 deletion(-)

Would this patch be something that could reasonably be backported?

[Bug tree-optimization/105834] [13/14 Regression] Dead Code Elimination Regression at -O2 (trunk vs. 12.1.0)

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105834

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|13.2|13.3

--- Comment #5 from Richard Biener  ---
GCC 13.2 is being released, retargeting bugs to GCC 13.3.

[Bug tree-optimization/105834] [13/14 Regression] Dead Code Elimination Regression at -O2 (trunk vs. 12.1.0)

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105834

Andrew Pinski  changed:

   What|Removed |Added

   Keywords||needs-bisection
  Known to work||14.0

--- Comment #4 from Andrew Pinski  ---
Looks to be fixed on the trunk.

We also now get from evrp:
Global Exported: c_5 = [irange] int [0, 0][3, 3]

[Bug tree-optimization/105834] [13/14 Regression] Dead Code Elimination Regression at -O2 (trunk vs. 12.1.0)

[rguenth at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105834

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|13.0|13.2

--- Comment #3 from Richard Biener  ---
GCC 13.1 is being released, retargeting bugs to GCC 13.2.