PR tree-optimization/49572

	* tree-ssa-dom.c (initialize_hash_element) <GIMPLE_SINGLE_RHS>: Use the
	type of the RHS instead of that of the LHS for the expression type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@175721 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c343b16..e7b1944 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2011-06-30  Eric Botcazou  <ebotcazou@adacore.com>
 
+       PR tree-optimization/49572
+       * tree-ssa-dom.c (initialize_hash_element) <GIMPLE_SINGLE_RHS>: Use the
+       type of the RHS instead of that of the LHS for the expression type.
+
+2011-06-30  Eric Botcazou  <ebotcazou@adacore.com>
+
        * df-scan.c (df_get_entry_block_def_set): Use INCOMING_REGNO macro
        unconditionally.
 

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index bbfe0bc..7a00c8a 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -208,13 +208,11 @@ initialize_hash_element (gimple stmt, tree lhs,
     {
       enum tree_code subcode = gimple_assign_rhs_code (stmt);
 
-      expr->type = NULL_TREE;
-
       switch (get_gimple_rhs_class (subcode))
         {
         case GIMPLE_SINGLE_RHS:
          expr->kind = EXPR_SINGLE;
-         expr->type = TREE_TYPE (gimple_assign_lhs (stmt));
+         expr->type = TREE_TYPE (gimple_assign_rhs1 (stmt));
          expr->ops.single.rhs = gimple_assign_rhs1 (stmt);
          break;
         case GIMPLE_UNARY_RHS: