Home | History | Annotate | Download | only in Utils

Lines Matching defs:PS1

193     BasicBlock *PS1 = PBI->getSuccessor(0);
195 BasicBlock *PS = (PS1 == BB) ? PS2 : PS1;
196 int CIdx = (PS1 == BB) ? 0 : 1;
222 BasicBlock *PS1 = TBB->getSuccessor(0);
224 BranchInst *PBI1 = dyn_cast<BranchInst>(PS1->getTerminator());
227 // If PS1 does not jump into PS2, but PS2 jumps into PS1,
230 (PS1->getTerminator()->getSuccessor(0) != PS2)) {
231 // Check whether PS2 jumps into PS1.
233 (PS2->getTerminator()->getSuccessor(0) != PS1))
256 // PS1 must have a conditional branch.