fold-const.c (fold_indirect_ref_1): Handle folding POINTER_PLUS_EXPR to ARRAY_REF.
* fold-const.c (fold_indirect_ref_1): Handle folding POINTER_PLUS_EXPR to ARRAY_REF. From-SVN: r166163
This commit is contained in:
parent
878415841a
commit
7bf8ca763d
|
@ -1,3 +1,8 @@
|
|||
2010-11-01 Jason Merrill <jason@redhat.com>
|
||||
|
||||
* fold-const.c (fold_indirect_ref_1): Handle folding
|
||||
POINTER_PLUS_EXPR to ARRAY_REF.
|
||||
|
||||
2010-11-01 Kaz Kojima <kkojima@gcc.gnu.org>
|
||||
|
||||
* config/sh/sh.c (TARGET_DELEGITIMIZE_ADDRESS): Redefine.
|
||||
|
|
|
@ -15643,19 +15643,22 @@ fold_indirect_ref_1 (location_t loc, tree type, tree op0)
|
|||
}
|
||||
}
|
||||
|
||||
/* ((foo*)&vectorfoo)[1] => BIT_FIELD_REF<vectorfoo,...> */
|
||||
if (TREE_CODE (sub) == POINTER_PLUS_EXPR
|
||||
&& TREE_CODE (TREE_OPERAND (sub, 1)) == INTEGER_CST)
|
||||
{
|
||||
tree op00 = TREE_OPERAND (sub, 0);
|
||||
tree op01 = TREE_OPERAND (sub, 1);
|
||||
tree op00type;
|
||||
|
||||
STRIP_NOPS (op00);
|
||||
if (TREE_CODE (op00) == ADDR_EXPR)
|
||||
{
|
||||
tree op00type;
|
||||
op00 = TREE_OPERAND (op00, 0);
|
||||
op00type = TREE_TYPE (op00);
|
||||
if (TREE_CODE (op00) == ADDR_EXPR
|
||||
&& TREE_CODE (TREE_TYPE (op00type)) == VECTOR_TYPE
|
||||
&& type == TREE_TYPE (TREE_TYPE (op00type)))
|
||||
|
||||
/* ((foo*)&vectorfoo)[1] => BIT_FIELD_REF<vectorfoo,...> */
|
||||
if (TREE_CODE (op00type) == VECTOR_TYPE
|
||||
&& type == TREE_TYPE (op00type))
|
||||
{
|
||||
HOST_WIDE_INT offset = tree_low_cst (op01, 0);
|
||||
tree part_width = TYPE_SIZE (type);
|
||||
|
@ -15663,33 +15666,36 @@ fold_indirect_ref_1 (location_t loc, tree type, tree op0)
|
|||
unsigned HOST_WIDE_INT indexi = offset * BITS_PER_UNIT;
|
||||
tree index = bitsize_int (indexi);
|
||||
|
||||
if (offset/part_widthi <= TYPE_VECTOR_SUBPARTS (TREE_TYPE (op00type)))
|
||||
if (offset/part_widthi <= TYPE_VECTOR_SUBPARTS (op00type))
|
||||
return fold_build3_loc (loc,
|
||||
BIT_FIELD_REF, type, TREE_OPERAND (op00, 0),
|
||||
BIT_FIELD_REF, type, op00,
|
||||
part_width, index);
|
||||
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
/* ((foo*)&complexfoo)[1] => __imag__ complexfoo */
|
||||
if (TREE_CODE (sub) == POINTER_PLUS_EXPR
|
||||
&& TREE_CODE (TREE_OPERAND (sub, 1)) == INTEGER_CST)
|
||||
{
|
||||
tree op00 = TREE_OPERAND (sub, 0);
|
||||
tree op01 = TREE_OPERAND (sub, 1);
|
||||
tree op00type;
|
||||
|
||||
STRIP_NOPS (op00);
|
||||
op00type = TREE_TYPE (op00);
|
||||
if (TREE_CODE (op00) == ADDR_EXPR
|
||||
&& TREE_CODE (TREE_TYPE (op00type)) == COMPLEX_TYPE
|
||||
&& type == TREE_TYPE (TREE_TYPE (op00type)))
|
||||
else if (TREE_CODE (op00type) == COMPLEX_TYPE
|
||||
&& type == TREE_TYPE (op00type))
|
||||
{
|
||||
tree size = TYPE_SIZE_UNIT (type);
|
||||
if (tree_int_cst_equal (size, op01))
|
||||
return fold_build1_loc (loc, IMAGPART_EXPR, type,
|
||||
TREE_OPERAND (op00, 0));
|
||||
return fold_build1_loc (loc, IMAGPART_EXPR, type, op00);
|
||||
}
|
||||
/* ((foo *)&fooarray)[1] => fooarray[1] */
|
||||
else if (TREE_CODE (op00type) == ARRAY_TYPE
|
||||
&& type == TREE_TYPE (op00type))
|
||||
{
|
||||
tree type_domain = TYPE_DOMAIN (op00type);
|
||||
tree min_val = size_zero_node;
|
||||
if (type_domain && TYPE_MIN_VALUE (type_domain))
|
||||
min_val = TYPE_MIN_VALUE (type_domain);
|
||||
op01 = size_binop_loc (loc, EXACT_DIV_EXPR, op01,
|
||||
TYPE_SIZE_UNIT (type));
|
||||
op01 = size_binop_loc (loc, PLUS_EXPR, op01, min_val);
|
||||
op0 = build4 (ARRAY_REF, type, op00, op01,
|
||||
NULL_TREE, NULL_TREE);
|
||||
SET_EXPR_LOCATION (op0, loc);
|
||||
return op0;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue