re PR middle-end/54362 (COND_EXPR not understood by either alias or ITM)

2012-09-03  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/54362
	* tree-ssa-structalias.c (find_func_aliases): Handle COND_EXPR.

From-SVN: r190889
This commit is contained in:
Richard Biener 2012-09-03 13:24:07 +00:00
parent a4cf6e4682
commit 6cadda8be2
2 changed files with 19 additions and 1 deletions

View File

@ -1,9 +1,15 @@
2012-09-03 Richard Guenther <rguenther@suse.de>
PR tree-optimization/54362
* tree-ssa-structalias.c (find_func_aliases): Handle COND_EXPR.
2012-09-03 Andreas Krebbel <Andreas.Krebbel@de.ibm.com>
* config/s390/s390.c (s390_loadrelative_operand_p): New function.
(s390_check_qrst_address, print_operand_address): Use
s390_loadrelative_operand_p instead of s390_symref_operand_p.
(s390_check_symref_alignment): Accept pointer size alignment for GOT slots.
(s390_check_symref_alignment): Accept pointer size alignment for
GOT slots.
(legitimize_pic_address): Use load relative on z10 or later.
2012-09-03 Jakub Jelinek <jakub@redhat.com>

View File

@ -4527,6 +4527,18 @@ find_func_aliases (gimple origt)
&& !POINTER_TYPE_P (TREE_TYPE (rhsop))))
|| gimple_assign_single_p (t))
get_constraint_for_rhs (rhsop, &rhsc);
else if (code == COND_EXPR)
{
/* The result is a merge of both COND_EXPR arms. */
VEC (ce_s, heap) *tmp = NULL;
struct constraint_expr *rhsp;
unsigned i;
get_constraint_for_rhs (gimple_assign_rhs2 (t), &rhsc);
get_constraint_for_rhs (gimple_assign_rhs3 (t), &tmp);
FOR_EACH_VEC_ELT (ce_s, tmp, i, rhsp)
VEC_safe_push (ce_s, heap, rhsc, rhsp);
VEC_free (ce_s, heap, tmp);
}
else if (truth_value_p (code))
/* Truth value results are not pointer (parts). Or at least
very very unreasonable obfuscation of a part. */