Do not instantiate default definitions in instantiate_scev_name.

2010-07-22  Sebastian Pop  <sebastian.pop@amd.com>

	* tree-scalar-evolution.c (instantiate_scev_name): Do not
	instantiate default definitions.

From-SVN: r163155
This commit is contained in:
Sebastian Pop 2010-08-11 20:29:25 +00:00 committed by Sebastian Pop
parent ed941c415a
commit 2847388e9f
3 changed files with 18 additions and 5 deletions

View File

@ -1,3 +1,8 @@
2010-08-02 Sebastian Pop <sebastian.pop@amd.com>
* tree-scalar-evolution.c (instantiate_scev_name): Do not
instantiate default definitions.
2010-08-02 Vladimir Kargov <kargov@gmail.com>
Sebastian Pop <sebastian.pop@amd.com>

View File

@ -1,3 +1,8 @@
2010-07-22 Sebastian Pop <sebastian.pop@amd.com>
* tree-scalar-evolution.c (instantiate_scev_name): Do not
instantiate default definitions.
2010-07-20 Vladimir Kargov <kargov@gmail.com>
* graphite-scop-detection.c (is_valid_stmt_p): New.

View File

@ -2179,11 +2179,15 @@ instantiate_scev_name (basic_block instantiate_below,
result again. */
res = analyze_scalar_evolution (def_loop, chrec);
/* Don't instantiate loop-closed-ssa phi nodes. */
/* Don't instantiate default definitions. */
if (TREE_CODE (res) == SSA_NAME
&& (loop_containing_stmt (SSA_NAME_DEF_STMT (res)) == NULL
|| (loop_depth (loop_containing_stmt (SSA_NAME_DEF_STMT (res)))
> loop_depth (def_loop))))
&& SSA_NAME_IS_DEFAULT_DEF (res))
;
/* Don't instantiate loop-closed-ssa phi nodes. */
else if (TREE_CODE (res) == SSA_NAME
&& loop_depth (loop_containing_stmt (SSA_NAME_DEF_STMT (res)))
> loop_depth (def_loop))
{
if (res == chrec)
res = loop_closed_phi_def (chrec);
@ -2213,7 +2217,6 @@ instantiate_scev_name (basic_block instantiate_below,
/* Store the correct value to the cache. */
set_instantiated_value (cache, instantiate_below, chrec, res);
return res;
}
/* Analyze all the parameters of the chrec, between INSTANTIATE_BELOW