* [Bug tree-optimization/41454] [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
@ 2009-09-23 19:56 ` rguenth at gcc dot gnu dot org
2009-09-23 21:46 ` rguenth at gcc dot gnu dot org
` (8 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-09-23 19:56 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.4.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
2009-09-23 19:56 ` [Bug tree-optimization/41454] " rguenth at gcc dot gnu dot org
@ 2009-09-23 21:46 ` rguenth at gcc dot gnu dot org
2009-09-24 12:51 ` matz at gcc dot gnu dot org
` (7 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-09-23 21:46 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from rguenth at gcc dot gnu dot org 2009-09-23 21:46 -------
So, we have
;; basic block 3, loop depth 1, count 0
;; prev block 2, next block 7
;; pred: 7 [100.0%] (fallthru,dfs_back) 2 [100.0%] (fallthru,exec)
;; succ: 7 [98.5%] (true,exec) 4 [1.5%] (false,exec)
<bb 3>:
# BM_tab_19 = PHI <BM_tab_11(7), &BM_tab[256](2)>
MEM[base: BM_tab_19, offset: 0x0fffffffc] = 6;
MEM[base: BM_tab_19, offset: 0x0fffffff8] = 6;
MEM[base: BM_tab_19, offset: 0x0fffffff4] = 6;
D.2422_17 = (unsigned int) BM_tab_19;
D.2423_18 = D.2422_17 + 0x0fffffff0;
BM_tab_24 = (int *) D.2423_18;
BM_tab_11 = BM_tab_24;
MEM[base: BM_tab_24] = 6;
if (&BM_tab[0] != BM_tab_24)
goto <bb 7>;
else
goto <bb 4>;
;; basic block 7, loop depth 1, count 0
;; prev block 3, next block 4
;; pred: 3 [98.5%] (true,exec)
;; succ: 3 [100.0%] (fallthru,dfs_back)
<bb 7>:
goto <bb 3>;
and for block 7 do
Optimizing block #7
1>>> COND 1 = &BM_tab[0] ne_expr BM_tab_24
1>>> COND 0 = &BM_tab[0] eq_expr BM_tab_24
LKUP STMT D.2422_17 = nop_expr BM_tab_24
D.2422_17 = (unsigned int) BM_tab_24;
LKUP STMT D.2423_18 = D.2422_17 plus_expr 0x0fffffff0
D.2423_18 = D.2422_17 + 0x0fffffff0;
FIND: D.2423_18
LKUP STMT BM_tab_24 = nop_expr D.2423_18
BM_tab_24 = (int *) D.2423_18;
FIND: BM_tab_24
LKUP STMT &BM_tab[0] ne_expr BM_tab_24
if (&BM_tab[0] != BM_tab_24)
FIND: 1
oops. And we jump-thread into an endless loop.
How is this supposed to work?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |law at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
2009-09-23 19:56 ` [Bug tree-optimization/41454] " rguenth at gcc dot gnu dot org
2009-09-23 21:46 ` rguenth at gcc dot gnu dot org
@ 2009-09-24 12:51 ` matz at gcc dot gnu dot org
2009-09-25 23:57 ` matz at gcc dot gnu dot org
` (6 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: matz at gcc dot gnu dot org @ 2009-09-24 12:51 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from matz at gcc dot gnu dot org 2009-09-24 12:50 -------
dom forgets update_stmt at strategic places. Mine.
--
matz at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |matz at gcc dot gnu dot org
|dot org |
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2009-09-24 12:50:53
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (2 preceding siblings ...)
2009-09-24 12:51 ` matz at gcc dot gnu dot org
@ 2009-09-25 23:57 ` matz at gcc dot gnu dot org
2009-09-26 0:13 ` matz at gcc dot gnu dot org
` (5 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: matz at gcc dot gnu dot org @ 2009-09-25 23:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from matz at gcc dot gnu dot org 2009-09-25 23:57 -------
Subject: Bug 41454
Author: matz
Date: Fri Sep 25 23:57:01 2009
New Revision: 152189
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=152189
Log:
PR tree-optimization/41454
* tree-ssa-dom (stmts_to_rescan): Remove variable.
(tree_ssa_dominator_optimize): Don't allocate and free it.
(dom_opt_leave_block): Don't iterate over it.
(eliminate_redundant_computations): Don't return a value.
(cprop_operand, cprop_into_stmt): Ditto.
(optimize_stmt): Don't defer updating stmts.
testsuite/
* gcc.dg/pr41454.c: New test.
Added:
trunk/gcc/testsuite/gcc.dg/pr41454.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/testsuite/ChangeLog
trunk/gcc/tree-ssa-dom.c
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (3 preceding siblings ...)
2009-09-25 23:57 ` matz at gcc dot gnu dot org
@ 2009-09-26 0:13 ` matz at gcc dot gnu dot org
2009-09-26 11:20 ` [Bug tree-optimization/41454] [4.4 " rguenth at gcc dot gnu dot org
` (4 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: matz at gcc dot gnu dot org @ 2009-09-26 0:13 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from matz at gcc dot gnu dot org 2009-09-26 00:13 -------
Fixed.
--
matz at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (4 preceding siblings ...)
2009-09-26 0:13 ` matz at gcc dot gnu dot org
@ 2009-09-26 11:20 ` rguenth at gcc dot gnu dot org
2009-10-15 12:53 ` jakub at gcc dot gnu dot org
` (3 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-09-26 11:20 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2009-09-26 11:20 -------
Fixed on trunk.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Known to fail| |4.4.1
Known to work| |4.5.0
Resolution|FIXED |
Summary|[4.4/4.5 Regression] DOM |[4.4 Regression] DOM
|miscompiles gcc.c- |miscompiles gcc.c-
|torture/execute/990513-1.c |torture/execute/990513-1.c
|at -O2 -fno-tree-vrp |at -O2 -fno-tree-vrp
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (5 preceding siblings ...)
2009-09-26 11:20 ` [Bug tree-optimization/41454] [4.4 " rguenth at gcc dot gnu dot org
@ 2009-10-15 12:53 ` jakub at gcc dot gnu dot org
2010-01-17 17:27 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
9 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-10-15 12:53 UTC (permalink / raw)
To: gcc-bugs
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.4.2 |4.4.3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (6 preceding siblings ...)
2009-10-15 12:53 ` jakub at gcc dot gnu dot org
@ 2010-01-17 17:27 ` rguenth at gcc dot gnu dot org
2010-01-21 13:19 ` jakub at gcc dot gnu dot org
2010-04-30 8:55 ` jakub at gcc dot gnu dot org
9 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-01-17 17:27 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (7 preceding siblings ...)
2010-01-17 17:27 ` rguenth at gcc dot gnu dot org
@ 2010-01-21 13:19 ` jakub at gcc dot gnu dot org
2010-04-30 8:55 ` jakub at gcc dot gnu dot org
9 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2010-01-21 13:19 UTC (permalink / raw)
To: gcc-bugs
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.4.3 |4.4.4
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread* [Bug tree-optimization/41454] [4.4 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp
2009-09-23 19:56 [Bug tree-optimization/41454] New: [4.4/4.5 Regression] DOM miscompiles gcc.c-torture/execute/990513-1.c at -O2 -fno-tree-vrp rguenth at gcc dot gnu dot org
` (8 preceding siblings ...)
2010-01-21 13:19 ` jakub at gcc dot gnu dot org
@ 2010-04-30 8:55 ` jakub at gcc dot gnu dot org
9 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2010-04-30 8:55 UTC (permalink / raw)
To: gcc-bugs
--
jakub at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.4.4 |4.4.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41454
^ permalink raw reply [flat|nested] 14+ messages in thread