From: Tom de Vries Date: Mon, 26 Oct 2015 10:47:09 +0000 (+0000) Subject: Add make_restrict_var_constraints X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=930e85a354290c8c9f5ed5166aa53de4e3f005ef;p=gcc.git Add make_restrict_var_constraints 2015-10-26 Tom de Vries * tree-ssa-structalias.c (make_restrict_var_constraints): New function, factored out of ... (intra_create_variable_infos): ... here. From-SVN: r229324 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e4a8b88981c..8084f4b749c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2015-10-26 Tom de Vries + + * tree-ssa-structalias.c (make_restrict_var_constraints): New function, + factored out of ... + (intra_create_variable_infos): ... here. + 2015-10-26 Tom de Vries * tree-ssa-structalias.c (intra_create_variable_infos): Add diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 1e1ae95a297..63a3d0265e6 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; }