+2011-02-08 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/47641
+ * tree-ssa.c (execute_update_addresses_taken): For asm outputs
+ require type compatibility.
+
2011-02-08 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* gimple-low.c (lower_function_body): Don't remove the location of
/* A decl that is wrapped inside a MEM-REF that covers
it full is also rewritable.
??? The following could be relaxed allowing component
- references that do not change the access size. */ ;
+ references that do not change the access size. */
if (TREE_CODE (lhs) == MEM_REF
&& TREE_CODE (TREE_OPERAND (lhs, 0)) == ADDR_EXPR
&& integer_zerop (TREE_OPERAND (lhs, 1)))
{
tree link = gimple_asm_output_op (stmt, i);
tree lhs = TREE_VALUE (link);
- if (TREE_CODE (lhs) != SSA_NAME
- && non_rewritable_lvalue_p (lhs))
+ if (TREE_CODE (lhs) != SSA_NAME)
{
decl = get_base_address (lhs);
- if (DECL_P (decl))
+ if (DECL_P (decl)
+ && (non_rewritable_lvalue_p (lhs)
+ /* We cannot move required conversions from
+ the lhs to the rhs in asm statements, so
+ require we do not need any. */
+ || !useless_type_conversion_p
+ (TREE_TYPE (lhs), TREE_TYPE (decl))))
bitmap_set_bit (not_reg_needs, DECL_UID (decl));
}
}