public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
@ 2010-04-05 23:00 zsojka at seznam dot cz
2010-04-05 23:02 ` [Bug tree-optimization/43657] " zsojka at seznam dot cz
` (4 more replies)
0 siblings, 5 replies; 14+ messages in thread
From: zsojka at seznam dot cz @ 2010-04-05 23:00 UTC (permalink / raw)
To: gcc-bugs
Compiler output:
$ gcc -O1 -ftree-loop-linear vect-cond-5.c && ./a.out
Aborted
Tested revisions:
r157985 - fail
4.4.3, 4.3.4 - fail
4.2.4, 4.1.2 - OK
--
Summary: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL:
gcc.dg/vect/vect-cond-5.c execution test
Product: gcc
Version: 4.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: zsojka at seznam dot cz
GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
@ 2010-04-05 23:02 ` zsojka at seznam dot cz
2010-04-06 8:56 ` rguenth at gcc dot gnu dot org
` (3 subsequent siblings)
4 siblings, 0 replies; 14+ messages in thread
From: zsojka at seznam dot cz @ 2010-04-05 23:02 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from zsojka at seznam dot cz 2010-04-05 23:02 -------
Created an attachment (id=20319)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20319&action=view)
slightly reduced testcase, showing computed data
$ gcc-4.5.0-alpha20100401 -O1 -ftree-loop-linear pr43657.c && ./a.out
0 6 2
1 5 2
2 4 2
3 3 2
4 2 2
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
20 0 0
21 0 0
22 0 0
23 0 0
24 0 0
25 0 0
26 0 0
27 0 0
28 0 0
29 0 0
30 0 0
31 0 0
Aborted
$ gcc-4.2.4 -O1 -ftree-loop-linear pr43657.c && ./a.out
0 2 2
1 2 2
2 2 2
3 2 2
4 2 2
5 0 0
6 0 0
7 0 0
8 0 0
9 0 0
10 0 0
11 0 0
12 0 0
13 0 0
14 0 0
15 0 0
16 0 0
17 0 0
18 0 0
19 0 0
20 0 0
21 0 0
22 0 0
23 0 0
24 0 0
25 0 0
26 0 0
27 0 0
28 0 0
29 0 0
30 0 0
31 0 0
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
2010-04-05 23:02 ` [Bug tree-optimization/43657] " zsojka at seznam dot cz
@ 2010-04-06 8:56 ` rguenth at gcc dot gnu dot org
2010-04-09 13:00 ` [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-04-06 8:56 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.3.5
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
2010-04-05 23:02 ` [Bug tree-optimization/43657] " zsojka at seznam dot cz
2010-04-06 8:56 ` rguenth at gcc dot gnu dot org
@ 2010-04-09 13:00 ` rguenth at gcc dot gnu dot org
2010-05-22 18:36 ` rguenth at gcc dot gnu dot org
2010-05-26 11:15 ` jakub at gcc dot gnu dot org
4 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-04-09 13:00 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=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
` (2 preceding siblings ...)
2010-04-09 13:00 ` [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
@ 2010-05-22 18:36 ` rguenth at gcc dot gnu dot org
2010-05-26 11:15 ` jakub at gcc dot gnu dot org
4 siblings, 0 replies; 14+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-05-22 18:36 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2010-05-22 18:13 -------
GCC 4.3.5 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.3.5 |4.3.6
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
` (3 preceding siblings ...)
2010-05-22 18:36 ` rguenth at gcc dot gnu dot org
@ 2010-05-26 11:15 ` jakub at gcc dot gnu dot org
4 siblings, 0 replies; 14+ messages in thread
From: jakub at gcc dot gnu dot org @ 2010-05-26 11:15 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from jakub at gcc dot gnu dot org 2010-05-26 11:15 -------
Created an attachment (id=20748)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20748&action=view)
pr43657.c
Slightly adjusted testcase.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
` (6 preceding siblings ...)
2011-01-25 21:30 ` spop at gcc dot gnu.org
@ 2011-02-02 18:03 ` dnovillo at gcc dot gnu.org
7 siblings, 0 replies; 14+ messages in thread
From: dnovillo at gcc dot gnu.org @ 2011-02-02 18:03 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
--- Comment #11 from Diego Novillo <dnovillo at gcc dot gnu.org> 2011-02-02 17:48:23 UTC ---
Author: dnovillo
Date: Wed Feb 2 17:48:17 2011
New Revision: 169593
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169593
Log:
Add testcase for PR43657.
2011-01-18 Sebastian Pop <sebastian.pop@amd.com>
PR tree-optimization/43657
* gcc.dg/graphite/pr43657.c: New.
Added:
branches/google/integration/gcc/testsuite/gcc.dg/graphite/pr43657.c
Modified:
branches/google/integration/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
` (5 preceding siblings ...)
2011-01-25 21:29 ` spop at gcc dot gnu.org
@ 2011-01-25 21:30 ` spop at gcc dot gnu.org
2011-02-02 18:03 ` dnovillo at gcc dot gnu.org
7 siblings, 0 replies; 14+ messages in thread
From: spop at gcc dot gnu.org @ 2011-01-25 21:30 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
Sebastian Pop <spop at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #10 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-25 21:28:55 UTC ---
Fixed.
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
` (4 preceding siblings ...)
2011-01-18 20:59 ` spop at gcc dot gnu.org
@ 2011-01-25 21:29 ` spop at gcc dot gnu.org
2011-01-25 21:30 ` spop at gcc dot gnu.org
2011-02-02 18:03 ` dnovillo at gcc dot gnu.org
7 siblings, 0 replies; 14+ messages in thread
From: spop at gcc dot gnu.org @ 2011-01-25 21:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
--- Comment #9 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-25 21:25:05 UTC ---
Author: spop
Date: Tue Jan 25 21:24:53 2011
New Revision: 169254
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169254
Log:
Add testcase for PR43657.
2011-01-18 Sebastian Pop <sebastian.pop@amd.com>
PR tree-optimization/43657
* gcc.dg/graphite/pr43657.c: New.
Added:
trunk/gcc/testsuite/gcc.dg/graphite/pr43657.c
Modified:
trunk/gcc/testsuite/ChangeLog
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
` (3 preceding siblings ...)
2011-01-18 20:56 ` spop at gcc dot gnu.org
@ 2011-01-18 20:59 ` spop at gcc dot gnu.org
2011-01-25 21:29 ` spop at gcc dot gnu.org
` (2 subsequent siblings)
7 siblings, 0 replies; 14+ messages in thread
From: spop at gcc dot gnu.org @ 2011-01-18 20:59 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
Sebastian Pop <spop at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|aoliva at gcc dot gnu.org |spop at gcc dot gnu.org
--- Comment #8 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-18 20:55:48 UTC ---
Fixed on the graphite branch.
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2011-01-16 13:23 ` aoliva at gcc dot gnu.org
@ 2011-01-18 20:56 ` spop at gcc dot gnu.org
2011-01-18 20:59 ` spop at gcc dot gnu.org
` (3 subsequent siblings)
7 siblings, 0 replies; 14+ messages in thread
From: spop at gcc dot gnu.org @ 2011-01-18 20:56 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
--- Comment #7 from Sebastian Pop <spop at gcc dot gnu.org> 2011-01-18 20:54:38 UTC ---
Author: spop
Date: Tue Jan 18 20:54:34 2011
New Revision: 168964
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168964
Log:
Add testcase for PR43657.
2011-01-18 Sebastian Pop <sebastian.pop@amd.com>
PR tree-optimization/43657
* gcc.dg/graphite/pr43657.c: New.
Added:
branches/graphite/gcc/testsuite/gcc.dg/graphite/pr43657.c
Modified:
branches/graphite/gcc/ChangeLog.graphite
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
2010-10-19 21:28 ` changpeng.fang at amd dot com
2011-01-16 12:29 ` aoliva at gcc dot gnu.org
@ 2011-01-16 13:23 ` aoliva at gcc dot gnu.org
2011-01-18 20:56 ` spop at gcc dot gnu.org
` (4 subsequent siblings)
7 siblings, 0 replies; 14+ messages in thread
From: aoliva at gcc dot gnu.org @ 2011-01-16 13:23 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2011-01-16 12:29:18 UTC ---
Created attachment 22982
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22982
Proposed patch
This avoids the transformation, but... Is the test too strict? My reasoning
is that, since we're in closed form (right?), the exit block will only have
PHIs for stuff that is changed wthin the loop and is used outside the loop.
Does that sound sound? :-)
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
2010-10-19 21:28 ` changpeng.fang at amd dot com
@ 2011-01-16 12:29 ` aoliva at gcc dot gnu.org
2011-01-16 13:23 ` aoliva at gcc dot gnu.org
` (5 subsequent siblings)
7 siblings, 0 replies; 14+ messages in thread
From: aoliva at gcc dot gnu.org @ 2011-01-16 12:29 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
Alexandre Oliva <aoliva at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed| |2011.01.16 11:50:32
CC| |aoliva at gcc dot gnu.org
Known to work| |
AssignedTo|unassigned at gcc dot |aoliva at gcc dot gnu.org
|gnu.org |
Ever Confirmed|0 |1
Known to fail| |
--- Comment #5 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2011-01-16 11:50:32 UTC ---
Been looking into this. There doesn't seem to be anything to prevent the loop
from being transformed when an SSA DEF escapes the loop. Trying to fix.
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
@ 2010-10-19 21:28 ` changpeng.fang at amd dot com
2011-01-16 12:29 ` aoliva at gcc dot gnu.org
` (6 subsequent siblings)
7 siblings, 0 replies; 14+ messages in thread
From: changpeng.fang at amd dot com @ 2010-10-19 21:28 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43657
--- Comment #4 from Changpeng Fang <changpeng.fang at amd dot com> 2010-10-19 21:27:46 UTC ---
for (k = 0; k < 32; k++)
{
res = 0;
for (j = 0; j < 32; j++)
for (i = 0; i < 32; i++)
{
next = a[i][j];
res = c > cond_array[i+k][j] ? next : res;
}
out[k] = res;
}
gcc interchanges i and j loops, which is not legal in this case.
Apparently, res takes the last value of a[i][j] that satisfies the
condition c > cond_array[i+k][j]. As a result, change in the
reference order will get a different value for res.
Anyone knows where to do this legality check?
What about the interchange in Graphite for this case?
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2011-02-02 18:03 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-05 23:00 [Bug tree-optimization/43657] New: [4.3/4.4/4.5 Regression] -ftree-loop-linear causes FAIL: gcc.dg/vect/vect-cond-5.c execution test zsojka at seznam dot cz
2010-04-05 23:02 ` [Bug tree-optimization/43657] " zsojka at seznam dot cz
2010-04-06 8:56 ` rguenth at gcc dot gnu dot org
2010-04-09 13:00 ` [Bug tree-optimization/43657] [4.3/4.4/4.5/4.6 " rguenth at gcc dot gnu dot org
2010-05-22 18:36 ` rguenth at gcc dot gnu dot org
2010-05-26 11:15 ` jakub at gcc dot gnu dot org
[not found] <bug-43657-4@http.gcc.gnu.org/bugzilla/>
2010-10-19 21:28 ` changpeng.fang at amd dot com
2011-01-16 12:29 ` aoliva at gcc dot gnu.org
2011-01-16 13:23 ` aoliva at gcc dot gnu.org
2011-01-18 20:56 ` spop at gcc dot gnu.org
2011-01-18 20:59 ` spop at gcc dot gnu.org
2011-01-25 21:29 ` spop at gcc dot gnu.org
2011-01-25 21:30 ` spop at gcc dot gnu.org
2011-02-02 18:03 ` dnovillo at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).