[Bug tree-optimization/100934] [9/10/11 Regression] wrong code at -O3 during unrolling since r9-6299

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

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

--- Comment #13 from CVS Commits  ---
The releases/gcc-11 branch has been updated by Richard Biener
:

https://gcc.gnu.org/g:8c90437109c30a0b6d2cf861c6f0cee8b69965ef

commit r11-8579-g8c90437109c30a0b6d2cf861c6f0cee8b69965ef
Author: Richard Biener 
Date:   Mon Jun 14 14:57:26 2021 +0200

tree-optimization/100934 - properly mark irreducible regions for DOM

The jump threading code requires marked irreducible regions for the
purpose of validating jump threading paths but DOM fails to provide
that resulting in mised number of iteration upper bounds clearing.

2021-06-14  Richard Biener  

PR tree-optimization/100934
* tree-ssa-dom.c (pass_dominator::execute): Properly
mark irreducible regions.

* gcc.dg/torture/pr100934.c: New testcase.

(cherry picked from commit 788bb7edb3975b80c4cb16323e7a5e55a2471e46)

[Bug tree-optimization/100934] [9/10/11 Regression] wrong code at -O3 during unrolling since r9-6299

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

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

Richard Biener  changed:

   What|Removed |Added

  Known to fail|12.0|11.1.0
Summary|[9/10/11/12 Regression] |[9/10/11 Regression] wrong
   |wrong code at -O3 during|code at -O3 during
   |unrolling since r9-6299 |unrolling since r9-6299
  Known to work||12.0

--- Comment #12 from Richard Biener  ---
Fixed on trunk sofar.