contrib/gcc/tree-ssa-structalias.c

32 #include "hard-reg-set.h"
54 #include "pointer-set.h"
56 /* The idea behind this analyzer is to generate set constraints from the
62    describing the variables (each variable is a set) and operations that
63    are involved on the variables, and a set of rules that derive facts
64    from these operations.  To solve a system of set constraints, you derive
115   In order to solve the system of set constraints, the following is
118   1. Each constraint variable x has a solution set associated with it,
144   appropriate variables to the solution set.
241   /* True if this is a special variable whose solution set should not be
254   /* Points-to set for this variable.  */
257   /* Old points-to set for this variable.  */
325    incoming pointer variables a better set than ANYTHING.  */
403      IOW, in a deref constraint, we would deref, get the result set,
414 /* Our set constraints are made up of two constraint expressions, one
417    As described in the introduction, our set constraints each represent an
418    operation between set valued variables.
469   /* Bitmap of nodes where the bit is set if the node is a direct
591        set bit in changed nodes
702 /* Take a solution set SET, add OFFSET to each member of the set, and
706 solution_set_add (bitmap set, unsigned HOST_WIDE_INT offset)
713   /* Compute set of vars we can reach from set + offset.  */
715   EXECUTE_IF_SET_IN_BITMAP (set, 0, i, bi)
732   EXECUTE_IF_SET_IN_BITMAP (set, 0, i, bi)
751   bitmap_copy (set, result);
1666 	   set rootnode(SCC) to be not a direct node
1998       /* We can't touch the solution set and call unify_nodes
2094 	      /* Compute the changed set of solution bits.  */
2112 		     some set from elsewhere.  */
2246   /* For parameters, get at the points-to set for the actual parm
2956   /* If the RHS is a special var, or an addressof, set all the LHS fields to
2998       /* The size only really matters insofar as we don't set more or less of
3102 	 to the set of addressable variables.  */
3107 	  /* PHI nodes don't have annotations for pinning the set
3189 	     dereferenced pointers that point to a set of
3675    HAS_UNION is set to true if we find a union type as a field of
3850 /* Count the number of arguments DECL has, and set IS_VARARGS to true
4114 	 putting it in the set of nonlocal vars.  */
4212 		 putting it in the set of nonlocal vars.  */
4354    be shared among variables with the same points-to set.  */
4422 /* Set bits in INTO corresponding to the variable uids in solution set
4441 	 set are heap variables.  */
4472 	      /* Otherwise, just add VI->DECL to the alias set.
4491 /* Given a pointer variable P, fill in its points-to set, or return
4503   /* For parameters, get at the points-to set for the actual parm
4522 	     points-to set.  */