From a7bf45dee541cfa10350a814f5fbf14c5a316a7f Mon Sep 17 00:00:00 2001 From: Sebastian Pop Date: Thu, 14 Jan 2010 07:38:15 +0000 Subject: re PR tree-optimization/42732 ([graphite] ICE: verify_ssa failed) Fix PR42732. 2010-01-14 Sebastian Pop PR middle-end/42732 * graphite-clast-to-gimple.c (gloog): Call scev_reset_htab and rename_nb_iterations. * sese.c (rename_variables_in_operand): New. (rename_variables_in_expr): New. (rename_nb_iterations): New. (sese_adjust_liveout_phis): Update the rename_map. * sese.h (rename_nb_iterations): Declared. * tree-scalar-evolution.c (scev_reset_htab): New. (scev_reset): Call scev_reset_htab. * tree-scalar-evolution.h (scev_reset_htab): Declared. * testsuite/gfortran.dg/graphite/pr42732.f: New. From-SVN: r155881 --- gcc/graphite-clast-to-gimple.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'gcc/graphite-clast-to-gimple.c') diff --git a/gcc/graphite-clast-to-gimple.c b/gcc/graphite-clast-to-gimple.c index bbc77d2..be16807 100644 --- a/gcc/graphite-clast-to-gimple.c +++ b/gcc/graphite-clast-to-gimple.c @@ -1400,8 +1400,8 @@ debug_generated_program (scop_p scop) print_generated_program (stderr, scop); } -/* Add CLooG names to parameter index. The index is used to translate back from - * CLooG names to GCC trees. */ +/* Add CLooG names to parameter index. The index is used to translate + back from CLooG names to GCC trees. */ static void create_params_index (htab_t index_table, CloogProgram *prog) { @@ -1471,6 +1471,8 @@ gloog (scop_p scop, htab_t bb_pbb_mapping) if_region->region->exit->src, if_region->false_region->exit, if_region->true_region->exit); + scev_reset_htab (); + rename_nb_iterations (rename_map); recompute_all_dominators (); graphite_verify (); -- cgit v1.1