Hi,
this no-functional-changes patch factors a new function
make_restrict_var_constraints out of intra_create_variable_infos.
Bootstrapped and reg-tested on x86_64.
Committed as trivial.
Thanks,
- Tom
Add make_restrict_var_constraints
2015-10-26 Tom de Vries <t...@codesourcery.com>
* tree-ssa-structalias.c (make_restrict_var_constraints): New function,
factored out of ...
(intra_create_variable_infos): ... here.
---
gcc/tree-ssa-structalias.c | 24 ++++++++++++++++--------
1 file changed, 16 insertions(+), 8 deletions(-)
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 1e1ae95..63a3d02 100644
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -5844,6 +5844,21 @@ debug_solution_for_var (unsigned int var)
dump_solution_for_var (stderr, var);
}
+/* Register the constraints for restrict var VI. */
+
+static void
+make_restrict_var_constraints (varinfo_t vi)
+{
+ for (; vi; vi = vi_next (vi))
+ if (vi->may_have_pointers)
+ {
+ if (vi->only_restrict_pointers)
+ make_constraint_from_global_restrict (vi, "GLOBAL_RESTRICT");
+ else
+ make_copy_constraint (vi, nonlocal_id);
+ }
+}
+
/* Create varinfo structures for all of the variables in the
function for intraprocedural mode. */
@@ -5882,14 +5897,7 @@ intra_create_variable_infos (struct function *fn)
vi->is_restrict_var = 1;
insert_vi_for_tree (heapvar, vi);
make_constraint_from (p, vi->id);
- for (; vi; vi = vi_next (vi))
- if (vi->may_have_pointers)
- {
- if (vi->only_restrict_pointers)
- make_constraint_from_global_restrict (vi, "GLOBAL_RESTRICT");
- else
- make_copy_constraint (vi, nonlocal_id);
- }
+ make_restrict_var_constraints (vi);
continue;
}
--
1.9.1