revert: tree-ssa-loop-ivopts.c (may_be_nonaddressable_p): Make case self-contained.

Revert:

	* tree-ssa-loop-ivopts.c (may_be_nonaddressable_p) <VIEW_CONVERT_EXPR>:
	Make case self-contained.
	<ARRAY_REF>: Test TYPE_NONALIASED_COMPONENT flag.

From-SVN: r144028
This commit is contained in:
Eric Botcazou 2009-02-09 06:18:23 +00:00
parent afbe166081
commit 7a4fbffcb2
2 changed files with 6 additions and 11 deletions

View File

@ -1,9 +1,3 @@
2009-02-08 Eric Botcazou <ebotcazou@adacore.com>
* tree-ssa-loop-ivopts.c (may_be_nonaddressable_p) <VIEW_CONVERT_EXPR>:
Make case self-contained.
<ARRAY_REF>: Test TYPE_NONALIASED_COMPONENT flag.
2009-02-07 Anatoly Sokolov <aesok@post.ru>
* config/avr/avr.c (avr_mcu_t): Add ata6289 device.

View File

@ -1562,14 +1562,15 @@ may_be_nonaddressable_p (tree expr)
and make them look addressable. After some processing the
non-addressability may be uncovered again, causing ADDR_EXPRs
of inappropriate objects to be built. */
return is_gimple_reg (TREE_OPERAND (expr, 0))
|| !is_gimple_addressable (TREE_OPERAND (expr, 0))
|| may_be_nonaddressable_p (TREE_OPERAND (expr, 0));
if (is_gimple_reg (TREE_OPERAND (expr, 0))
|| !is_gimple_addressable (TREE_OPERAND (expr, 0)))
return true;
/* ... fall through ... */
case ARRAY_REF:
case ARRAY_RANGE_REF:
return TYPE_NONALIASED_COMPONENT (TREE_TYPE (TREE_OPERAND (expr, 0)))
|| may_be_nonaddressable_p (TREE_OPERAND (expr, 0));
return may_be_nonaddressable_p (TREE_OPERAND (expr, 0));
CASE_CONVERT:
return true;