+2010-06-27 Richard Guenther <rguenther@suse.de>
+
+ PR middle-end/44684
+ * tree-ssa-alias.c (refs_may_alias_p_1): Allow SSA name refs.
+ (stmt_may_clobber_ref_p_1): Do not bother to call the oracle
+ for register LHS. Or non-store assignments.
+
2010-06-26 Eric Botcazou <ebotcazou@adacore.com>
* config/sparc/sparc.c (sparc_emit_set_const32): Make static.
alias_set_type set;
gcc_checking_assert ((!ref1->ref
+ || TREE_CODE (ref1->ref) == SSA_NAME
|| DECL_P (ref1->ref)
|| handled_component_p (ref1->ref)
|| INDIRECT_REF_P (ref1->ref)
|| TREE_CODE (ref1->ref) == TARGET_MEM_REF)
&& (!ref2->ref
+ || TREE_CODE (ref2->ref) == SSA_NAME
|| DECL_P (ref2->ref)
|| handled_component_p (ref2->ref)
|| INDIRECT_REF_P (ref2->ref)
return call_may_clobber_ref_p_1 (stmt, ref);
}
- else if (is_gimple_assign (stmt))
+ else if (gimple_assign_single_p (stmt))
{
- ao_ref r;
- ao_ref_init (&r, gimple_assign_lhs (stmt));
- return refs_may_alias_p_1 (ref, &r, true);
+ tree lhs = gimple_assign_lhs (stmt);
+ if (!is_gimple_reg (lhs))
+ {
+ ao_ref r;
+ ao_ref_init (&r, gimple_assign_lhs (stmt));
+ return refs_may_alias_p_1 (ref, &r, true);
+ }
}
else if (gimple_code (stmt) == GIMPLE_ASM)
return true;