diff options
| author | Richard Kenner <kenner@vlsi1.ultra.nyu.edu> | 2004-07-03 13:45:29 +0000 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 2004-07-03 09:45:29 -0400 |
| commit | 580d124fe0265e81154d5fe07a40279418f048f8 (patch) | |
| tree | 34f13484cf58f62d24730cc46761b0c4d20b7ad2 | |
| parent | e30bb772cb02a5b523d036eaaa5a402a471d476b (diff) | |
| download | gcc-580d124fe0265e81154d5fe07a40279418f048f8.zip gcc-580d124fe0265e81154d5fe07a40279418f048f8.tar.gz gcc-580d124fe0265e81154d5fe07a40279418f048f8.tar.bz2 | |
tree-ssa.c (tree_ssa_useless_type_conversion): Also look at VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
* tree-ssa.c (tree_ssa_useless_type_conversion): Also look at
VIEW_CONVERT_EXPR and NON_LVALUE_EXPR.
* tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION.
* tree-ssa-dom.c (local_fold): Likewise.
From-SVN: r84054
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 1 | ||||
| -rw-r--r-- | gcc/tree-ssa-dom.c | 1 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 4 |
4 files changed, 8 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7a161eb..5372227 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2004-07-03 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> + * tree-ssa.c (tree_ssa_useless_type_conversion): Also look at + VIEW_CONVERT_EXPR and NON_LVALUE_EXPR. + * tree-ssa-ccp.c (fold_stmt): Call just STRIP_USELESS_TYPE_CONVERSION. + * tree-ssa-dom.c (local_fold): Likewise. + * langhooks-def.h (LANG_HOOKS_TYPE_MAX_SIZE): New langhook. * langhooks.h (strct lang_hooks): New field type_max_size. * function.c (assign_temp): Call it. diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index 559f19b0..0b99071 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -2086,7 +2086,6 @@ fold_stmt (tree *stmt_p) /* Strip away useless type conversions. Both the NON_LVALUE_EXPR that may have been added by fold, and "useless" type conversions that might now be apparent due to propagation. */ - STRIP_MAIN_TYPE_NOPS (result); STRIP_USELESS_TYPE_CONVERSION (result); if (result != rhs) diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 4975997..b556b4e 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -279,7 +279,6 @@ local_fold (tree t) /* Strip away useless type conversions. Both the NON_LVALUE_EXPR that may have been added by fold, and "useless" type conversions that might now be apparent due to propagation. */ - STRIP_MAIN_TYPE_NOPS (t); STRIP_USELESS_TYPE_CONVERSION (t); return t; diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 37b83bf..4cdfd3d 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -601,7 +601,9 @@ tree_ssa_useless_type_conversion (tree expr) the top of the RHS to the type of the LHS and the type conversion is "safe", then strip away the type conversion so that we can enter LHS = RHS into the const_and_copies table. */ - if (TREE_CODE (expr) == NOP_EXPR || TREE_CODE (expr) == CONVERT_EXPR) + if (TREE_CODE (expr) == NOP_EXPR || TREE_CODE (expr) == CONVERT_EXPR + || TREE_CODE (expr) == VIEW_CONVERT_EXPR + || TREE_CODE (expr) == NON_LVALUE_EXPR) return tree_ssa_useless_type_conversion_1 (TREE_TYPE (expr), TREE_TYPE (TREE_OPERAND (expr, 0))); |