contrib/gcc/tree-ssa-structalias.c

333 /* Lookup a heap var for FROM, and return it if we find one.  */
347 /* Insert a mapping FROM->TO in the heap var for statement
398   unsigned int var;
541   fprintf (file, "%s", get_varinfo_fc (c->lhs.var)->name);
549   fprintf (file, "%s", get_varinfo_fc (c->rhs.var)->name);
616   return a.type == b.type && a.var == b.var && a.offset == b.offset;
628       if (a.var == b.var)
631 	return a.var < b.var;
782 		     unsigned int var, constraint_t c)
784   VEC (constraint_t, heap) *complex = graph->complex[var];
791     VEC_safe_insert (constraint_t, heap, graph->complex[var], place, c);
815 	c->rhs.var = to;
817 	c->lhs.var = to;
819 	c->rhs.var = to;
993       unsigned int lhsvar = get_varinfo_fc (lhs.var)->id;
994       unsigned int rhsvar = get_varinfo_fc (rhs.var)->id;
1033 	    RESET_BIT (graph->direct_nodes, lhs.var);
1035 	    RESET_BIT (graph->direct_nodes, rhs.var);
1060       lhsvar = find (get_varinfo_fc (lhs.var)->id);
1061       rhsvar = find (get_varinfo_fc (rhs.var)->id);
1076 	  gcc_assert (find (get_varinfo_fc (rhs.var)->id)
1077 		      == get_varinfo_fc (rhs.var)->id);
1348   unsigned int rhs = c->rhs.var;
1392   unsigned int lhs = find (c->lhs.var);
1434   /* If the LHS solution changed, mark the var as changed.  */
1451   unsigned int rhs = find (c->rhs.var);
1542       if (!(get_varinfo (c->lhs.var)->is_special_var))
1553       t = find (c->rhs.var);
1555       t = find (c->lhs.var);
1909       unsigned int lhsvar = find (get_varinfo_fc (lhs.var)->id);
1910       unsigned int rhsvar = find (get_varinfo_fc (rhs.var)->id);
1932 			   get_varinfo (lhs.var)->name);
1951 			   get_varinfo (rhs.var)->name);
1961       c->lhs.var = lhsvar;
1962       c->rhs.var = rhsvar;
2255   cexpr.var = get_vi_for_tree (t)->id;
2258   if (cexpr.var == anything_id && TREE_READONLY (t))
2261       cexpr.var = readonly_id;
2277   gcc_assert (rhs.var < VEC_length (varinfo_t, varmap));
2278   gcc_assert (lhs.var < VEC_length (varinfo_t, varmap));
2281     get_varinfo (lhs.var)->directly_dereferenced = true;
2283     get_varinfo (rhs.var)->directly_dereferenced = true;
2292   if (lhs.var == anything_id && rhs.var == anything_id)
2296   else if (lhs.var == anything_id && lhs.type == ADDRESSOF)
2304   else if (rhs.type == DEREF && lhs.type == DEREF && rhs.var != anything_id)
2307       tree rhsdecl = get_varinfo (rhs.var)->decl;
2317 		  || get_varinfo (rhs.var)->is_unknown_size_var);
2404       temp.var = integer_id;
2434       if (result->offset < get_varinfo (result->var)->fullsize
2442 	  for (curr = get_varinfo (result->var); curr; curr = curr->next)
2447 		  result->var = curr->id;
2495 	  c->var = tmplhs.var;
2535       temp.var = integer_id;
2544       temp.var = nothing_id;
2583 		  origvar = get_varinfo (origrhs->var);
2586 		      tmp.var = origvar->id;
2602 		  origvar = get_varinfo (origrhs->var);
2605 		      tmp.var = origvar->id;
2638 		temp.var = create_variable_info_for (heapvar,
2641 		vi = get_varinfo (temp.var);
2651 		temp.var = escaped_vars_id;
2661 	      temp.var = anything_id;
2686 	      temp.var = anything_id;
2717 	      temp.var = anything_id;
2745 	      temp.var = anything_id;
2762 	temp.var = anything_id;
2787   varinfo_t p = get_varinfo (lhs.var);
2798       templhs.var = p->id;
2799       q = get_varinfo (temprhs.var);
2804       temprhs.var = q->id;
2825   varinfo_t p = get_varinfo (lhs.var);
2839 	templhs.var = p->id;
2843       q = get_varinfo (temprhs.var);
2864   varinfo_t p = get_varinfo (rhs.var);
2878 	temprhs.var = p->id;
2882       q = get_varinfo (templhs.var);
2895 collapse_rest_of_var (unsigned int var)
2897   varinfo_t currvar = get_varinfo (var);
2903 	fprintf (dump_file, "Type safety: Collapsing var %s into %s\n",
2938   /* If we have special var = x, swap it around.  */
2939   if (lhs.var <= integer_id && !(get_varinfo (rhs.var)->is_special_var))
2950   if (rhs.type == ADDRESSOF && !(get_varinfo (rhs.var)->is_special_var))
2953       rhs.var = anything_id;
2956   /* If the RHS is a special var, or an addressof, set all the LHS fields to
2957      that special var.  */
2958   if (rhs.var <= integer_id)
2960       for (p = get_varinfo (lhs.var); p; p = p->next)
2966 	    templhs.var = p->id;
2985 	 sized var (if the constraint is SCALAR), or the lhs is a DEREF
2991 	  rhs.var = anything_id;
2999 	 the variable.  If we hit an unknown size var, the size should be the
3001       if (get_varinfo (rhs.var)->is_unknown_size_var)
3006       if (get_varinfo (lhs.var)->is_unknown_size_var)
3016 	      lhs.var = collapse_rest_of_var (lhs.var);
3017 	      rhs.var = collapse_rest_of_var (rhs.var);
3093       tree op, var;
3122       var = SSA_NAME_VAR (op);
3123       v_ann = var_ann (var);
3127       gcc_assert (!may_be_aliased (var));
3202 	    bitmap_set_bit (ai->dereferenced_ptrs_store, DECL_UID (var));
3204 	    bitmap_set_bit (ai->dereferenced_ptrs_load, DECL_UID (var));
3222 	      bitmap_set_bit (ai->dereferenced_ptrs_store, DECL_UID (var));
3236       tree var = SSA_NAME_VAR (op);
3237       var_ann_t ann = var_ann (var);
3238       bitmap_set_bit (ai->written_vars, DECL_UID (var));
3239       if (may_be_aliased (var))
3247       tree var = DECL_P (op) ? op : SSA_NAME_VAR (op);
3248       bitmap_set_bit (ai->written_vars, DECL_UID (var));
3306 	    varinfo_t temp = get_varinfo (c2->var);
3313 	    c2->var = temp->id;
3438 	      lhs.var = fi->id;
3444 	      lhs.var = first_vi_for_offset (fi, i)->id;
3467 	      rhs.var = fi->id;
3473 	      rhs.var = first_vi_for_offset (fi, i)->id;
3825   lhs.var = vi->id;
3829   rhs.var = escaped_vars_id;
3843   lhs.var = escaped_vars_id;
3945   /* Create a variable for the return var.  */
4028 	    lhs.var = vi->id;
4118 	  rhs.var = index;
4217 		  rhs.var = newindex;
4235 dump_solution_for_var (FILE *file, unsigned int var)
4237   varinfo_t vi = get_varinfo (var);
4241   if (find (var) != var)
4243       varinfo_t vipt = get_varinfo (find (var));
4260 debug_solution_for_var (unsigned int var)
4262   dump_solution_for_var (stdout, var);
4298 	  lhs.var  = get_vi_for_tree (t)->id;
4313 	  rhs.var = vi->id;
4316           for (p = get_varinfo (lhs.var); p; p = p->next)
4319 	      temp.var = p->id;
4332   /* Create variable info for the nonlocal var if it does not
4342   rhs.var = nonlocal_vars_id;
4346   lhs.var = escaped_vars_id;
4450 	    bitmap_set_bit (into, DECL_UID (sv->var));
4671   lhs.var = anything_id;
4674   rhs.var = anything_id;
4701   lhs.var = readonly_id;
4704   rhs.var = anything_id;
4726   lhs.var = integer_id;
4729   rhs.var = anything_id;
4748   lhs.var = escaped_vars_id;
4751   rhs.var = escaped_vars_id;