Lines Matching refs:AnticOut
133 AnticOut.clear();
203 // AnticOut[MBB] = INTERSECT(AnticIn[S] for S in SUCCESSORS(MBB))
214 CSRegSet prevAnticOut = AnticOut[MBB];
217 AnticOut[MBB] = AnticIn[SUCC];
220 AnticOut[MBB] &= AnticIn[SUCC];
222 if (prevAnticOut != AnticOut[MBB])
226 // AnticIn[MBB] = UNION(CSRUsed[MBB], AnticOut[MBB]);
228 AnticIn[MBB] = CSRUsed[MBB] | AnticOut[MBB];
769 CSRRestore[MBB] |= (AvailOut[MBB] - AnticOut[MBB]) & availOutSucc;
1106 << stringifyCSRegSet(AnticOut[MBB]) << " | "
1118 << stringifyCSRegSet(AnticOut[MBB]) << " | "