diff options
| author | Tom de Vries <tom@codesourcery.com> | 2011-09-26 12:36:56 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2011-09-26 12:36:56 +0000 |
| commit | 703ffc3005c21d95d957e2fdc89f0c54f937c9a1 (patch) | |
| tree | 8d02f7d1f0d75bf09d203369ba6db35e46bacc12 /gcc | |
| parent | 750db0248d1fe522587cb677402a839b68185d58 (diff) | |
| download | gcc-703ffc3005c21d95d957e2fdc89f0c54f937c9a1.zip gcc-703ffc3005c21d95d957e2fdc89f0c54f937c9a1.tar.gz gcc-703ffc3005c21d95d957e2fdc89f0c54f937c9a1.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/tree-ssa-alias.h | 1 | ||||
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 11 | ||||
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 15 |
4 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2d7def0..688cb82 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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 diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index 75e4303..c2ab211 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -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 *); diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index fc59d38..b577404 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -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)); diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index b2f068a..1023acf 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -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 |