contrib/gcc/tree-ssa-structalias.c

422   struct constraint_expr lhs;
523 new_constraint (const struct constraint_expr lhs,
527   ret->lhs = lhs;
537   if (c->lhs.type == ADDRESSOF)
539   else if (c->lhs.type == DEREF)
541   fprintf (file, "%s", get_varinfo_fc (c->lhs.var)->name);
542   if (c->lhs.offset != 0)
543     fprintf (file, " + " HOST_WIDE_INT_PRINT_DEC, c->lhs.offset);
643   if (constraint_expr_less (a->lhs, b->lhs))
645   else if (constraint_expr_less (b->lhs, a->lhs))
656   return constraint_expr_equal (a.lhs, b.lhs)
816       else if (c->lhs.type == DEREF)
817 	c->lhs.var = to;
991       struct constraint_expr lhs = c->lhs;
993       unsigned int lhsvar = get_varinfo_fc (lhs.var)->id;
996       if (lhs.type == DEREF)
999 	  if (rhs.offset == 0 && lhs.offset == 0 && rhs.type == SCALAR)
1007 	  if (rhs.offset == 0 && lhs.offset == 0 && lhs.type == SCALAR)
1022 	       && lhsvar != rhsvar && lhs.offset == 0 && rhs.offset == 0)
1030       else if (lhs.offset != 0 || rhs.offset != 0)
1033 	    RESET_BIT (graph->direct_nodes, lhs.var);
1034 	  if (lhs.offset != 0)
1050       struct constraint_expr lhs;
1058       lhs = c->lhs;
1060       lhsvar = find (get_varinfo_fc (lhs.var)->id);
1063       if (lhs.type == DEREF)
1065 	  if (rhs.offset == 0 && lhs.offset == 0 && rhs.type == SCALAR)
1070 	  if (rhs.offset == 0 && lhs.offset == 0 && lhs.type == SCALAR)
1081 	       && lhsvar != rhsvar && lhs.offset == 0 && rhs.offset == 0)
1355       unsigned HOST_WIDE_INT offset = c->lhs.offset;
1392   unsigned int lhs = find (c->lhs.var);
1394   bitmap sol = get_varinfo (lhs)->solution;
1425 	  else if (add_graph_edge (graph, lhs, t))
1437       get_varinfo (lhs)->solution = sol;
1438       if (!TEST_BIT (changed, lhs))
1440 	  SET_BIT (changed, lhs);
1463 	 unsigned int loff = c->lhs.offset;
1489       unsigned HOST_WIDE_INT loff = c->lhs.offset;
1526   if (c->lhs.type == DEREF)
1542       if (!(get_varinfo (c->lhs.var)->is_special_var))
1552       gcc_assert (c->rhs.type == SCALAR && c->lhs.type == SCALAR);
1555       t = find (c->lhs.var);
1907       struct constraint_expr lhs = c->lhs;
1909       unsigned int lhsvar = find (get_varinfo_fc (lhs.var)->id);
1932 			   get_varinfo (lhs.var)->name);
1961       c->lhs.var = lhsvar;
1964       if (lhs.type == DEREF)
1975 	       && (lhs.offset != 0 || rhs.offset != 0))
2111 		     is a constraint where the lhs side is receiving
2113 		  if (!solution_empty || c->lhs.type != DEREF)
2275   struct constraint_expr lhs = t->lhs;
2278   gcc_assert (lhs.var < VEC_length (varinfo_t, varmap));
2280   if (lhs.type == DEREF)
2281     get_varinfo (lhs.var)->directly_dereferenced = true;
2288       t->lhs.offset = 0;
2292   if (lhs.var == anything_id && rhs.var == anything_id)
2296   else if (lhs.var == anything_id && lhs.type == ADDRESSOF)
2298       rhs = t->lhs;
2299       t->lhs = t->rhs;
2304   else if (rhs.type == DEREF && lhs.type == DEREF && rhs.var != anything_id)
2306       /* Split into tmp = *rhs, *lhs = tmp */
2320       process_constraint (new_constraint (lhs, tmplhs));
2774    For each field of the lhs variable (lhsfield)
2783 do_simple_structure_copy (const struct constraint_expr lhs,
2787   varinfo_t p = get_varinfo (lhs.var);
2794       struct constraint_expr templhs = lhs;
2815    For each field of the lhs variable (lhsfield)
2821 do_rhs_deref_structure_copy (const struct constraint_expr lhs,
2825   varinfo_t p = get_varinfo (lhs.var);
2833       struct constraint_expr templhs = lhs;
2855        lhs.offset = rhsfield->offset
2856        add the constraint lhs = rhsfield
2860 do_lhs_deref_structure_copy (const struct constraint_expr lhs,
2872       struct constraint_expr templhs = lhs;
2922   struct constraint_expr lhs, rhs, tmp;
2932   lhs = *(VEC_last (ce_s, lhsc));
2939   if (lhs.var <= integer_id && !(get_varinfo (rhs.var)->is_special_var))
2941       tmp = lhs;
2942       lhs = rhs;
2960       for (p = get_varinfo (lhs.var); p; p = p->next)
2962 	  struct constraint_expr templhs = lhs;
2982       /* If we have a variably sized types on the rhs or lhs, and a deref
2984 	 This is conservatively correct because either the lhs is an unknown
2985 	 sized var (if the constraint is SCALAR), or the lhs is a DEREF
2989 	  || (lhs.type == DEREF && TREE_CODE (lhstypesize) != INTEGER_CST))
2994 	  process_constraint (new_constraint (lhs, rhs));
3006       if (get_varinfo (lhs.var)->is_unknown_size_var)
3012       if (rhs.type == SCALAR && lhs.type == SCALAR)
3014 	  if (!do_simple_structure_copy (lhs, rhs, MIN (lhssize, rhssize)))
3016 	      lhs.var = collapse_rest_of_var (lhs.var);
3018 	      lhs.offset = 0;
3020 	      lhs.type = SCALAR;
3022 	      process_constraint (new_constraint (lhs, rhs));
3025       else if (lhs.type != DEREF && rhs.type == DEREF)
3026 	do_rhs_deref_structure_copy (lhs, rhs, MIN (lhssize, rhssize));
3027       else if (lhs.type == DEREF && rhs.type != DEREF)
3028 	do_lhs_deref_structure_copy (lhs, rhs, MIN (lhssize, rhssize));
3034 	  gcc_assert (rhs.type == DEREF && lhs.type == DEREF);
3431 	  struct constraint_expr lhs ;
3437 	      lhs.type = DEREF;
3438 	      lhs.var = fi->id;
3439 	      lhs.offset = i;
3443 	      lhs.type = SCALAR;
3444 	      lhs.var = first_vi_for_offset (fi, i)->id;
3445 	      lhs.offset = 0;
3450 	      process_constraint (new_constraint (lhs, *rhsp));
3823   struct constraint_expr lhs, rhs;
3825   lhs.var = vi->id;
3826   lhs.offset = 0;
3827   lhs.type = SCALAR;
3832   process_constraint (new_constraint (lhs, rhs));
3841   struct constraint_expr lhs;
3843   lhs.var = escaped_vars_id;
3844   lhs.offset = 0;
3845   lhs.type = SCALAR;
3847   process_constraint (new_constraint (lhs, rhs));
4026 	    struct constraint_expr lhs;
4028 	    lhs.var = vi->id;
4029 	    lhs.type = SCALAR;
4030 	    lhs.offset = 0;
4031 	    process_constraint (new_constraint (lhs, *c));
4272   struct constraint_expr lhs, rhs;
4296 	  lhs.offset = 0;
4297 	  lhs.type = SCALAR;
4298 	  lhs.var  = get_vi_for_tree (t)->id;
4316           for (p = get_varinfo (lhs.var); p; p = p->next)
4318 	      struct constraint_expr temp = lhs;
4346   lhs.var = escaped_vars_id;
4347   lhs.type = SCALAR;
4348   lhs.offset = 0;
4350   process_constraint (new_constraint (lhs, rhs));
4638   struct constraint_expr lhs, rhs;
4670   lhs.type = SCALAR;
4671   lhs.var = anything_id;
4672   lhs.offset = 0;
4680   VEC_safe_push (constraint_t, heap, constraints, new_constraint (lhs, rhs));
4700   lhs.type = SCALAR;
4701   lhs.var = readonly_id;
4702   lhs.offset = 0;
4707   process_constraint (new_constraint (lhs, rhs));
4725   lhs.type = SCALAR;
4726   lhs.var = integer_id;
4727   lhs.offset = 0;
4731   process_constraint (new_constraint (lhs, rhs));
4747   lhs.type = SCALAR;
4748   lhs.var = escaped_vars_id;
4749   lhs.offset = 0;
4753   process_constraint (new_constraint (lhs, rhs));