2010-07-07 Richard Guenther <rguenther@suse.de>

	PR middle-end/44790
	* expr.c (expand_expr_real_1): Go the POINTER_PLUS_EXPR path
	for expanding the constant offset for MEM_REFs.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e6c3f21..3fccd83 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2010-07-07  Richard Guenther  <rguenther@suse.de>
 
+       PR middle-end/44790
+       * expr.c (expand_expr_real_1): Go the POINTER_PLUS_EXPR path
+       for expanding the constant offset for MEM_REFs.
+
+2010-07-07  Richard Guenther  <rguenther@suse.de>
+
        * tree-ssa-propagate.h (valid_gimple_call_p): Remove.
        * tree-ssa-propagate.c (valid_gimple_call_p): Make static.  Fix.
        * gimple.h (is_gimple_operand): Remove.

diff --git a/gcc/expr.c b/gcc/expr.c
index a43d708..00ebfdc 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -8777,13 +8777,11 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode,
          base = build2 (BIT_AND_EXPR, TREE_TYPE (base),
                         gimple_assign_rhs1 (def_stmt),
                         gimple_assign_rhs2 (def_stmt));
-       op0 = expand_expr (base, NULL_RTX, address_mode, EXPAND_NORMAL);
        if (!integer_zerop (TREE_OPERAND (exp, 1)))
-         {
-           rtx off;
-           off = immed_double_int_const (mem_ref_offset (exp), address_mode);
-           op0 = simplify_gen_binary (PLUS, address_mode, op0, off);
-         }
+         base = build2 (POINTER_PLUS_EXPR, TREE_TYPE (base),
+                        base, double_int_to_tree (sizetype,
+                                                  mem_ref_offset (exp)));
+       op0 = expand_expr (base, NULL_RTX, address_mode, EXPAND_SUM);
        op0 = memory_address_addr_space (mode, op0, as);
        temp = gen_rtx_MEM (mode, op0);
        set_mem_attributes (temp, exp, 0);