[Bug middle-end/38498] New: [graphite] ICE : verify_ssa failed

[Bug middle-end/38498] New: [graphite] ICE : verify_ssa failed

[mitul dot thakkar at amd dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1015 bytes --]

gcc -c -O2 -floop-block final_verify.c

final_verify.c: In function âtest_vectorâ:
final_verify.c:2: error: definition in block 12 does not dominate use in block
32
for SSA_NAME: prephitmp.20_51 in statement:
D.1630_68 = prephitmp.20_51 * 4;
final_verify.c:2: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


Reduced test case is attached for the same..

-Mitul Thakkar.


-- 
           Summary: [graphite] ICE : verify_ssa failed
           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=38498

[Bug middle-end/38498] [graphite] ICE : verify_ssa failed

[mitul dot thakkar at amd dot com]

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


-- 


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

[Bug middle-end/38498] [graphite] ICE : verify_ssa failed

[spop at gcc dot gnu dot org]

------- Comment #2 from spop at gcc dot gnu dot org  2009-01-07 15:41 -------
Subject: Bug 38498

Author: spop
Date: Wed Jan  7 15:41:26 2009
New Revision: 143158

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143158
Log:
2009-01-06  Jan Sjodin  <jan.sjodin@amd.com>

        PR tree-optimization/38492
        PR tree-optimization/38498
        * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
        * tree-chrec.h (scev_is_linear_expression): Declared.
        * graphite.c (graphite_cannot_represent_loop_niter): New.
        (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
        (graphite_loop_normal_form): Use gcc_assert.
        (scan_tree_for_params): Use CASE_CONVERT.
        (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
        (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
        Use gcc_assert.  Discard scops that contain unhandled cases.
        (build_scop_conditions): Return a boolean status for unhandled cases.
        (strip_mine_profitable_p): Print the loop number, not its depth.
        (is_interchange_valid): Pass the depth of the loop nest, don't
        recompute it wrongly.
        (graphite_trans_bb_block): Same.
        (graphite_trans_bb_block): Print tentative of loop blocking.
        (graphite_trans_scop_block): Do not print that the loop has been
        blocked.
        (graphite_transform_loops): Do not handle scops that contain condition
        scalar phi nodes.

        * testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed
        in trunk.
        * testsuite/gcc.dg/graphite/block-0.c: Update test.
        * testsuite/gcc.dg/graphite/block-1.c: Same.
        * testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for
blocking.
        * testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine.
        * testsuite/gcc.dg/graphite/block-3.c: New.
        * testsuite/gcc.dg/graphite/pr38498.c: New.


Added:
    branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c   (with props)
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38498.c
Modified:
    branches/graphite/gcc/ChangeLog.graphite
    branches/graphite/gcc/graphite.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/block-0.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/block-1.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/block-2.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/block-4.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr38500.c
    branches/graphite/gcc/tree-chrec.c
    branches/graphite/gcc/tree-chrec.h

Propchange: branches/graphite/gcc/testsuite/gcc.dg/graphite/block-3.c
            ('svn:mergeinfo' added)


-- 


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

[Bug middle-end/38498] [graphite] ICE : verify_ssa failed

[spop at gcc dot gnu dot org]

------- Comment #3 from spop at gcc dot gnu dot org  2009-01-07 15:53 -------
Subject: Bug 38498

Author: spop
Date: Wed Jan  7 15:53:03 2009
New Revision: 143159

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=143159
Log:
2009-01-07  Jan Sjodin  <jan.sjodin@amd.com>

        PR tree-optimization/38492
        PR tree-optimization/38498
        * tree-check.c (operator_is_linear, scev_is_linear_expression): New.
        * tree-chrec.h (scev_is_linear_expression): Declared.
        * graphite.c (graphite_cannot_represent_loop_niter): New.
        (scopdet_basic_block_info): Call graphite_cannot_represent_loop_niter.
        (graphite_loop_normal_form): Use gcc_assert.
        (scan_tree_for_params): Use CASE_CONVERT.
        (phi_node_is_iv, bb_contains_non_iv_scalar_phi_nodes): New.
        (build_scop_conditions_1): Call bb_contains_non_iv_scalar_phi_nodes.
        Use gcc_assert.  Discard scops that contain unhandled cases.
        (build_scop_conditions): Return a boolean status for unhandled cases.
        (strip_mine_profitable_p): Print the loop number, not its depth.
        (is_interchange_valid): Pass the depth of the loop nest, don't
        recompute it wrongly.
        (graphite_trans_bb_block): Same.
        (graphite_trans_bb_block): Print tentative of loop blocking.
        (graphite_trans_scop_block): Do not print that the loop has been
        blocked.
        (graphite_transform_loops): Do not handle scops that contain condition
        scalar phi nodes.

        * testsuite/gcc.dg/graphite/pr38500.c: Fixed warning as committed
        in trunk.
        * testsuite/gcc.dg/graphite/block-0.c: Update test.
        * testsuite/gcc.dg/graphite/block-1.c: Same.
        * testsuite/gcc.dg/graphite/block-2.c: Remove xfail and test for
blocking.
        * testsuite/gcc.dg/graphite/block-4.c: Remove test for strip mine.
        * testsuite/gcc.dg/graphite/block-3.c: New.
        * testsuite/gcc.dg/graphite/pr38498.c: New.


Added:
    trunk/gcc/testsuite/gcc.dg/graphite/block-3.c
    trunk/gcc/testsuite/gcc.dg/graphite/pr38498.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/graphite/block-0.c
    trunk/gcc/testsuite/gcc.dg/graphite/block-1.c
    trunk/gcc/testsuite/gcc.dg/graphite/block-2.c
    trunk/gcc/testsuite/gcc.dg/graphite/block-4.c
    trunk/gcc/tree-chrec.c
    trunk/gcc/tree-chrec.h


-- 


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

[Bug middle-end/38498] [graphite] ICE : verify_ssa failed

[spop at gcc dot gnu dot org]

------- Comment #4 from spop at gcc dot gnu dot org  2009-01-07 15:56 -------
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=38498