tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop): Use is_gimple_min_invariant instead of TREE_INVARIANT.

2008-03-21  Richard Guenther  <rguenther@suse.de>

	* tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
	Use is_gimple_min_invariant instead of TREE_INVARIANT.
	* tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
	* tree-ssa-dom.c (record_equality): Likewise.
	* tree-inline.c (copy_body_r): Likewise.
	* tree-ssa-pre.c (make_values_for_stmt): Remove test for
	TREE_INVARIANT.

From-SVN: r133403
This commit is contained in:
Richard Guenther 2008-03-20 23:14:35 +00:00 committed by Richard Biener
parent 2acdc1fb2d
commit ad6003f260
6 changed files with 18 additions and 8 deletions

View File

@ -1,3 +1,13 @@
2008-03-21 Richard Guenther <rguenther@suse.de>
* tree-scalar-evolution.c (chrec_contains_symbols_defined_in_loop):
Use is_gimple_min_invariant instead of TREE_INVARIANT.
* tree-ssa-loop-ivopts.c (force_expr_to_var_cost): Likewise.
* tree-ssa-dom.c (record_equality): Likewise.
* tree-inline.c (copy_body_r): Likewise.
* tree-ssa-pre.c (make_values_for_stmt): Remove test for
TREE_INVARIANT.
2008-03-20 Kaz Kojima <kkojima@gcc.gnu.org>
* config/sh/sh.c (split_branches): Pass zero to redirect_jump

View File

@ -773,7 +773,7 @@ copy_body_r (tree *tp, int *walk_subtrees, void *data)
and friends are up-to-date. */
else if (TREE_CODE (*tp) == ADDR_EXPR)
{
int invariant = TREE_INVARIANT (*tp);
int invariant = is_gimple_min_invariant (*tp);
walk_tree (&TREE_OPERAND (*tp, 0), copy_body_r, id, NULL);
/* Handle the case where we substituted an INDIRECT_REF
into the operand of the ADDR_EXPR. */
@ -783,7 +783,7 @@ copy_body_r (tree *tp, int *walk_subtrees, void *data)
recompute_tree_invariant_for_addr_expr (*tp);
/* If this used to be invariant, but is not any longer,
then regimplification is probably needed. */
if (invariant && !TREE_INVARIANT (*tp))
if (invariant && !is_gimple_min_invariant (*tp))
id->regimplify = true;
*walk_subtrees = 0;
}

View File

@ -360,7 +360,7 @@ chrec_contains_symbols_defined_in_loop (const_tree chrec, unsigned loop_nb)
if (chrec == NULL_TREE)
return false;
if (TREE_INVARIANT (chrec))
if (is_gimple_min_invariant (chrec))
return false;
if (TREE_CODE (chrec) == VAR_DECL

View File

@ -1146,11 +1146,12 @@ record_equality (tree x, tree y)
(by depth), then use that.
Otherwise it doesn't matter which value we choose, just so
long as we canonicalize on one value. */
if (TREE_INVARIANT (y))
if (is_gimple_min_invariant (y))
;
else if (TREE_INVARIANT (x) || (loop_depth_of_name (x) <= loop_depth_of_name (y)))
else if (is_gimple_min_invariant (x)
|| (loop_depth_of_name (x) <= loop_depth_of_name (y)))
prev_x = x, x = y, y = prev_x, prev_x = prev_y;
else if (prev_x && TREE_INVARIANT (prev_x))
else if (prev_x && is_gimple_min_invariant (prev_x))
x = y, y = prev_x, prev_x = prev_y;
else if (prev_y && TREE_CODE (prev_y) != VALUE_HANDLE)
y = prev_y;

View File

@ -3222,7 +3222,7 @@ force_expr_to_var_cost (tree expr)
if (SSA_VAR_P (expr))
return zero_cost;
if (TREE_INVARIANT (expr))
if (is_gimple_min_invariant (expr))
{
if (TREE_CODE (expr) == INTEGER_CST)
return new_cost (integer_cost, 0);

View File

@ -3369,7 +3369,6 @@ make_values_for_stmt (tree stmt, basic_block block)
&& !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (rhs))
|| is_gimple_min_invariant (rhs)
|| TREE_CODE (rhs) == ADDR_EXPR
|| TREE_INVARIANT (rhs)
|| DECL_P (rhs))
{