[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |DUPLICATE

--- Comment #7 from Richard Biener  ---
Duplicate.

*** This bug has been marked as a duplicate of bug 77988 ***

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[amker at gcc dot gnu.org]

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

--- Comment #6 from amker at gcc dot gnu.org ---
Ah, I think this duplicates to PR77988 and was fixed by richi.  I will add a
test case for this though.

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[amker at gcc dot gnu.org]

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

--- Comment #5 from amker at gcc dot gnu.org ---
As suspected. VRP missed folding statement after copy propagation.  Testing
patch...

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[amker at gcc dot gnu.org]

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

--- Comment #4 from amker at gcc dot gnu.org ---
The vectorized code looks good to me.  It is in VRP2 that GCC generates below
expression:

MEM[[(void *) + 49B] + 0B];

(gdb) call debug_tree(*tp)
 
unit size 
align 8 symtab 0 alias set -1 canonical type 0x7695f5e8 precision 8
min  max 
pointer_to_this >

arg 0 
sizes-gimplified public unsigned DI
size 
unit size 
align 64 symtab 0 alias set 1 canonical type 0x7697e150
pointer_to_this  reference_to_this
>
constant
arg 0 

arg 0 
constant arg 0 
pr77989.c:5:13 start: pr77989.c:5:13 finish: pr77989.c:5:14>
arg 1 >
pr77989.c:9:4 start: pr77989.c:9:3 finish: pr77989.c:9:5>
arg 1 
constant 0>
pr77989.c:12:10 start: pr77989.c:12:10 finish: pr77989.c:12:13>

which triggers the ICE.

continue looking...

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[amker at gcc dot gnu.org]

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

amker at gcc dot gnu.org changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |amker at gcc dot gnu.org

--- Comment #3 from amker at gcc dot gnu.org ---
I will investigate it.

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

   Target Milestone|--- |7.0

[Bug tree-optimization/77989] [7 Regression] -O3 causes verify_gimple fail

[trippels at gcc dot gnu.org]

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

Markus Trippelsdorf  changed:

   What|Removed |Added

 Target||x86_64-pc-linux-gnu
 CC||amker at gcc dot gnu.org
  Component|middle-end  |tree-optimization

--- Comment #2 from Markus Trippelsdorf  ---
Started with r241099:

commit 6c6a3430a964029115993155382aa47453f76eb5
Author: amker 
Date:   Thu Oct 13 11:03:31 2016 +

* tree-vect-loop-manip.c (adjust_vec_debug_stmts): Don't release
adjust_vec automatically.
...