שאלה | ההגדרה של קריטריון all-p-uses היא:

ההגדרה של קריטריון all-p-uses היא:

		For each variable x that has a global definition in node i, select complete paths which includes paths from i to an edge (j, k) with a p-use of x in (j, k)
		For each variable x that has a global definition in node i, select def-clear paths which includes loop-free paths from i to some edges (j, k) with a p-use of x in (j, k)
		For each variable x that has a global definition in node i, select complete paths which includes def-clear paths from i to all edges (j, k) with a p-use of x in (j, k)
		For each variable x that has a global definition in node i, select complete paths which includes def-clear paths from i to all edges (j, k) with a c-use of x in (j, k)