[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

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

[parent not found: <bug-43657-4@http.gcc.gnu.org/bugzilla/>]

* [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

* [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
@ 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/>
                   ` (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/>
                   ` (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/>
                   ` (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/>
                   ` (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/>
                   ` (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

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).