diff options
| -rw-r--r-- | gcc/ChangeLog | 14 | ||||
| -rw-r--r-- | gcc/tree-ssa-copy.c | 2 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 4 | ||||
| -rw-r--r-- | gcc/tree-ssa-propagate.c | 4 | ||||
| -rw-r--r-- | gcc/tree-vect-transform.c | 2 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 10 |
6 files changed, 25 insertions, 11 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f9d99ae436a..388f5bf3ea9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,17 @@ +2005-04-24 Kazu Hirata <kazu@cs.umass.edu> + + * tree-ssa-copy.c (copy_prop_visit_cond_stmt): Use + COMPARISON_CLASS_P. + * tree-ssa-pre.c (create_value_expr_from): Use + CONSTANT_CLASS_P and REFERENCE_CLASS_P. + * tree-ssa-propagate.c (stmt_makes_single_load, + stmt_makes_single_store): Use REFERENCE_CLASS_P. + * tree-vect-transform.c (vect_is_simple_cond): Use + COMPARISON_CLASS_P. + * tree-vrp.c (extract_range_from_assert, + build_assert_expr_for, fp_predicate, has_assert_expr): Use + COMPARISON_CLASS_P. + 2005-04-24 Andrew Pinski <pinskia@physics.uc.edu> * tree.h (TREE_THIS_VOLATILE): Document the effect on a diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c index e657bdb8515..1b646384cb5 100644 --- a/gcc/tree-ssa-copy.c +++ b/gcc/tree-ssa-copy.c @@ -604,7 +604,7 @@ copy_prop_visit_cond_stmt (tree stmt, edge *taken_edge_p) /* The only conditionals that we may be able to compute statically are predicates involving at least one SSA_NAME. */ - if (TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison + if (COMPARISON_CLASS_P (cond) && NUM_USES (uses) >= 1) { unsigned i; diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 608e9303de2..87e1dcde10e 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -1851,7 +1851,7 @@ create_value_expr_from (tree expr, basic_block block, /* If OP is a constant that has overflowed, do not value number this expression. */ - if (TREE_CODE_CLASS (TREE_CODE (op)) == tcc_constant + if (CONSTANT_CLASS_P (op) && TREE_OVERFLOW (op)) { pool_free (pool, vexpr); @@ -1859,7 +1859,7 @@ create_value_expr_from (tree expr, basic_block block, } /* Recursively value-numberize reference ops */ - if (TREE_CODE_CLASS (TREE_CODE (op)) == tcc_reference) + if (REFERENCE_CLASS_P (op)) { tree tempop = create_value_expr_from (op, block, vuses); op = tempop ? tempop : op; diff --git a/gcc/tree-ssa-propagate.c b/gcc/tree-ssa-propagate.c index 24e6b4dbeaa..69f41bab91d 100644 --- a/gcc/tree-ssa-propagate.c +++ b/gcc/tree-ssa-propagate.c @@ -709,7 +709,7 @@ stmt_makes_single_load (tree stmt) return (!TREE_THIS_VOLATILE (rhs) && (DECL_P (rhs) - || TREE_CODE_CLASS (TREE_CODE (rhs)) == tcc_reference)); + || REFERENCE_CLASS_P (rhs))); } @@ -735,7 +735,7 @@ stmt_makes_single_store (tree stmt) return (!TREE_THIS_VOLATILE (lhs) && (DECL_P (lhs) - || TREE_CODE_CLASS (TREE_CODE (lhs)) == tcc_reference)); + || REFERENCE_CLASS_P (lhs))); } diff --git a/gcc/tree-vect-transform.c b/gcc/tree-vect-transform.c index 7e2f37dbd67..e51d56f7491 100644 --- a/gcc/tree-vect-transform.c +++ b/gcc/tree-vect-transform.c @@ -1151,7 +1151,7 @@ vect_is_simple_cond (tree cond, loop_vec_info loop_vinfo) { tree lhs, rhs; - if (TREE_CODE_CLASS (TREE_CODE (cond)) != tcc_comparison) + if (!COMPARISON_CLASS_P (cond)) return false; lhs = TREE_OPERAND (cond, 0); diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 4a0859ef333..4d0b034f754 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -481,7 +481,7 @@ extract_range_from_assert (value_range *vr_p, tree expr) var = ASSERT_EXPR_VAR (expr); cond = ASSERT_EXPR_COND (expr); - gcc_assert (TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison); + gcc_assert (COMPARISON_CLASS_P (cond)); /* Find VAR in the ASSERT_EXPR conditional. */ limit = get_opposite_operand (cond, var); @@ -1228,7 +1228,7 @@ build_assert_expr_for (tree cond, tree v) gcc_assert (TREE_CODE (v) == SSA_NAME); n = duplicate_ssa_name (v, NULL_TREE); - if (TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison) + if (COMPARISON_CLASS_P (cond)) { /* Build N = ASSERT_EXPR <V, COND>. As a special case, if the conditional is an EQ_EXPR (V == Z), just build the assignment @@ -1276,8 +1276,8 @@ build_assert_expr_for (tree cond, tree v) static inline bool fp_predicate (tree expr) { - return TREE_CODE_CLASS (TREE_CODE (expr)) == tcc_comparison - && FLOAT_TYPE_P (TREE_TYPE (TREE_OPERAND (expr, 0))); + return (COMPARISON_CLASS_P (expr) + && FLOAT_TYPE_P (TREE_TYPE (TREE_OPERAND (expr, 0)))); } @@ -1335,7 +1335,7 @@ has_assert_expr (tree op, tree cond) tree t1, t2; /* If COND is not a comparison predicate, something is wrong. */ - gcc_assert (TREE_CODE_CLASS (TREE_CODE (cond)) == tcc_comparison); + gcc_assert (COMPARISON_CLASS_P (cond)); /* Note that we only need to compare against one of the operands of OTHER_COND. |