This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
- From: "spop at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 7 Jan 2009 15:41:42 -0000
- Subject: [Bug middle-end/38492] [graphite] segfaulting code when compiled with -fgraphite -fgraphite-identity
- References: <bug-38492-6642@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #10 from spop at gcc dot gnu dot org 2009-01-07 15:41 -------
Subject: Bug 38492
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=38492