tree-ssa-alias.h (pt_solution_singleton_p): Declare.
2011-09-26 Tom de Vries <tom@codesourcery.com> * tree-ssa-alias.h (pt_solution_singleton_p): Declare. * tree-ssa-structalias.c (pt_solution_singleton_p): New function. * tree-ssa-ccp.c (fold_builtin_alloca_for_var): Set points-to solution of new var. From-SVN: r179193
This commit is contained in:
parent
750db0248d
commit
703ffc3005
|
@ -1,3 +1,10 @@
|
|||
2011-09-26 Tom de Vries <tom@codesourcery.com>
|
||||
|
||||
* tree-ssa-alias.h (pt_solution_singleton_p): Declare.
|
||||
* tree-ssa-structalias.c (pt_solution_singleton_p): New function.
|
||||
* tree-ssa-ccp.c (fold_builtin_alloca_for_var): Set points-to solution
|
||||
of new var.
|
||||
|
||||
2011-09-26 Georg-Johann Lay <avr@gjlay.de>
|
||||
|
||||
PR target/50465
|
||||
|
|
|
@ -126,6 +126,7 @@ extern void dump_alias_stats (FILE *);
|
|||
/* In tree-ssa-structalias.c */
|
||||
extern unsigned int compute_may_aliases (void);
|
||||
extern bool pt_solution_empty_p (struct pt_solution *);
|
||||
extern bool pt_solution_singleton_p (struct pt_solution *, unsigned *);
|
||||
extern bool pt_solution_includes_global (struct pt_solution *);
|
||||
extern bool pt_solution_includes (struct pt_solution *, const_tree);
|
||||
extern bool pt_solutions_intersect (struct pt_solution *, struct pt_solution *);
|
||||
|
|
|
@ -1729,6 +1729,17 @@ fold_builtin_alloca_for_var (gimple stmt)
|
|||
array_type = build_array_type_nelts (elem_type, n_elem);
|
||||
var = create_tmp_var (array_type, NULL);
|
||||
DECL_ALIGN (var) = align;
|
||||
{
|
||||
struct ptr_info_def *pi = SSA_NAME_PTR_INFO (lhs);
|
||||
if (pi != NULL && !pi->pt.anything)
|
||||
{
|
||||
bool singleton_p;
|
||||
unsigned uid;
|
||||
singleton_p = pt_solution_singleton_p (&pi->pt, &uid);
|
||||
gcc_assert (singleton_p);
|
||||
SET_DECL_PT_UID (var, uid);
|
||||
}
|
||||
}
|
||||
|
||||
/* Fold alloca to the address of the array. */
|
||||
return fold_convert (TREE_TYPE (lhs), build_fold_addr_expr (var));
|
||||
|
|
|
@ -5979,6 +5979,21 @@ pt_solution_empty_p (struct pt_solution *pt)
|
|||
return true;
|
||||
}
|
||||
|
||||
/* Return true if the points-to solution *PT only point to a single var, and
|
||||
return the var uid in *UID. */
|
||||
|
||||
bool
|
||||
pt_solution_singleton_p (struct pt_solution *pt, unsigned *uid)
|
||||
{
|
||||
if (pt->anything || pt->nonlocal || pt->escaped || pt->ipa_escaped
|
||||
|| pt->null || pt->vars == NULL
|
||||
|| !bitmap_single_bit_set_p (pt->vars))
|
||||
return false;
|
||||
|
||||
*uid = bitmap_first_set_bit (pt->vars);
|
||||
return true;
|
||||
}
|
||||
|
||||
/* Return true if the points-to solution *PT includes global memory. */
|
||||
|
||||
bool
|
||||
|
|
Loading…
Reference in New Issue