diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-07-02 11:25:26 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-07-02 11:25:26 +0000 |
| commit | cc5ef3f4f0f6a9400a9e51f66970a1c24377dc44 (patch) | |
| tree | 44f43b129e8594b83378f56035c779cc30e905d4 /gcc/tree-ssa-forwprop.c | |
| parent | e28b8a69aaec61a6a914231e8b4a82aa789996ec (diff) | |
| download | gcc-cc5ef3f4f0f6a9400a9e51f66970a1c24377dc44.tar.gz | |
2008-07-02 Richard Guenther <rguenther@suse.de>
* tree-ssa-forwprop.c (can_propagate_from): Exclude loads
from decls explicitly. Merge operand checking from tuples.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@137352 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 31 |
1 files changed, 8 insertions, 23 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index ac9d8514784..c49f0a48909 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -257,42 +257,27 @@ static bool can_propagate_from (tree def_stmt) { tree rhs = GIMPLE_STMT_OPERAND (def_stmt, 1); + use_operand_p use_p; + ssa_op_iter iter; /* If the rhs has side-effects we cannot propagate from it. */ if (TREE_SIDE_EFFECTS (rhs)) return false; /* If the rhs is a load we cannot propagate from it. */ - if (REFERENCE_CLASS_P (rhs)) + if (REFERENCE_CLASS_P (rhs) + || DECL_P (rhs)) return false; /* Constants can be always propagated. */ if (is_gimple_min_invariant (rhs)) return true; - /* We cannot propagate ssa names that occur in abnormal phi nodes. */ - switch (TREE_CODE_LENGTH (TREE_CODE (rhs))) - { - case 3: - if (TREE_OPERAND (rhs, 2) != NULL_TREE - && TREE_CODE (TREE_OPERAND (rhs, 2)) == SSA_NAME - && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND (rhs, 2))) - return false; - case 2: - if (TREE_OPERAND (rhs, 1) != NULL_TREE - && TREE_CODE (TREE_OPERAND (rhs, 1)) == SSA_NAME - && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND (rhs, 1))) - return false; - case 1: - if (TREE_OPERAND (rhs, 0) != NULL_TREE - && TREE_CODE (TREE_OPERAND (rhs, 0)) == SSA_NAME - && SSA_NAME_OCCURS_IN_ABNORMAL_PHI (TREE_OPERAND (rhs, 0))) - return false; - break; - - default: + /* If any of the SSA operands occurs in abnormal PHIs we cannot + propagate from this stmt. */ + FOR_EACH_SSA_USE_OPERAND (use_p, def_stmt, iter, SSA_OP_USE) + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (USE_FROM_PTR (use_p))) return false; - } /* If the definition is a conversion of a pointer to a function type, then we can not apply optimizations as some targets require function |