[Bug middle-end/38500] New: [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[Bug middle-end/38500] New: [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[mitul dot thakkar at amd dot com]

gcc -c -O2 -floop-block test_loop_struct.c

test_loop_struct.c: In function 'Perl_re_intuit_start':
test_loop_struct.c:17: warning: assignment makes pointer from integer without a
cast
test_loop_struct.c:21: warning: incompatible implicit declaration of built-in
function 'printf'
test_loop_struct.c:3: error: basic block 8 should not be marked irreducible
test_loop_struct.c:3: error: edge from 8 to 14 should not be marked irreducible
test_loop_struct.c:3: internal compiler error: in verify_loop_structure, at
cfgloop.c:1569
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


I tried compiling using -fgraphite-identity also, it is failing with the same
error.

Reduced test case is submitted for the same..

-Mitul Thakkar.


-- 
           Summary: [graphite] ICE : in verify_loop_structure, at
                    cfgloop.c:1569
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mitul dot thakkar at amd dot com
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[mitul dot thakkar at amd dot com]

------- Comment #1 from mitul dot thakkar at amd dot com  2008-12-12 01:25 -------
Created an attachment (id=16895)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16895&action=view)
Reduced Test Case


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[hjagasia at gcc dot gnu dot org]

------- Comment #2 from hjagasia at gcc dot gnu dot org  2008-12-12 22:27 -------
Created an attachment (id=16898)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16898&action=view)
Proposed Patch

2008-12-12  Jan Sjodin <jan.sjodin@amd.com>
            Harsha Jagasia  <harsha.jagasia@amd.com>

        PR tree-optimization/38500
        * gcc.dg/graphite/pr38500.c: New.
        * graphite.c (create_sese_edges): Call fix_loop_structure after
        splitting blocks.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[sebpop at gmail dot com]

------- Comment #3 from sebpop at gmail dot com  2008-12-12 22:31 -------
Subject: Re:  [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

> 2008-12-12  Jan Sjodin <jan.sjodin@amd.com>
>            Harsha Jagasia  <harsha.jagasia@amd.com>
>
>        PR tree-optimization/38500
>        * gcc.dg/graphite/pr38500.c: New.
>        * graphite.c (create_sese_edges): Call fix_loop_structure after
>        splitting blocks.

Okay for both trunk and branch.

Thanks,
Sebastian


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[hjagasia at gcc dot gnu dot org]

------- Comment #4 from hjagasia at gcc dot gnu dot org  2008-12-12 23:01 -------
Created an attachment (id=16900)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16900&action=view)
Forgot to add testcase to patch, updating patch


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[hjagasia at gcc dot gnu dot org]

------- Comment #5 from hjagasia at gcc dot gnu dot org  2008-12-12 23:06 -------
Subject: Bug 38500

Author: hjagasia
Date: Fri Dec 12 23:05:09 2008
New Revision: 142728

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142728
Log:
2008-12-12  Jan Sjodin <jan.sjodin@amd.com>
            Harsha Jagasia  <harsha.jagasia@amd.com>

        PR tree-optimization/38500
        * gcc.dg/graphite/pr38500.c: New.
        * graphite.c (create_sese_edges): Call fix_loop_structure after
        splitting blocks.


Added:
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38500.c
Modified:
    branches/graphite/gcc/graphite.c


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2008-12-12 23:31 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[howarth at nitro dot med dot uc dot edu]

------- Comment #7 from howarth at nitro dot med dot uc dot edu  2008-12-19 23:32 -------
The approved patch doesn't seem to be checked into gcc trunk yet.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500

[Bug middle-end/38500] [graphite] ICE : in verify_loop_structure, at cfgloop.c:1569

[spop at gcc dot gnu dot org]

------- Comment #8 from spop at gcc dot gnu dot org  2009-01-05 21:04 -------
Subject: Bug 38500

Author: spop
Date: Mon Jan  5 21:03:45 2009
New Revision: 143094

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143094
Log:
2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>

        PR tree-optimization/38510
        * graphite.c (recompute_all_dominators): Call mark_irreducible_loops.
        (translate_clast): Call recompute_all_dominators before
        graphite_verify.
        (gloog): Call recompute_all_dominators before graphite_verify.

2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
            Jan Sjodin <jan.sjodin@amd.com>

        PR tree-optimization/38500
        * graphite.c (create_sese_edges): Call fix_loop_structure after
        splitting blocks.

2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>

        PR tree-optimization/38510
        * gcc.dg/graphite/pr38510.c: New.

2009-01-05  Harsha Jagasia  <harsha.jagasia@amd.com>
            Jan Sjodin <jan.sjodin@amd.com>

        PR tree-optimization/38500
        * gcc.dg/graphite/pr38500.c: New.


Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr38500.c
    trunk/gcc/testsuite/gcc.dg/graphite/pr38510.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38500