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

["spop at gcc dot gnu dot org" <gcc-bugzilla 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