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

2016-10-19 Thread 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|---

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

2016-10-18 Thread 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

2016-10-18 Thread 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

2016-10-17 Thread 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[&MEM[(void *)&b + 49B] + 0B]; (gdb) call debug_tree(*tp) unit size align 8 symtab 0

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

2016-10-17 Thread 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

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

2016-10-17 Thread 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

2016-10-15 Thread 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