Transforms/Scalar/InductiveRangeCheckElimination.cpp

507     BasicBlock *PseudoExit;
513         : PseudoExit(nullptr), ExitSelector(nullptr), IndVarEnd(nullptr) {}
556   //  .PseudoExit is a basic block that unconditionally branches to
560   //      whether to branch to the "true" exit or to `PseudoExit'.
562   //  .PHIValuesAtPseudoExit are PHINodes in `PseudoExit' that compute the value
1055   RRI.PseudoExit = BasicBlock::Create(Ctx, Twine(LS.Tag) + ".pseudo.exit", &F,
1068   B.CreateCondBr(EnterLoopCond, LS.Header, RRI.PseudoExit);
1090   B.CreateCondBr(IterationsLeft, RRI.PseudoExit, LS.LatchExit);
1093       BranchInst::Create(ContinuationBlock, RRI.PseudoExit);
1095   // We emit PHI nodes into `RRI.PseudoExit' that compute the "latest" value of
1288   BasicBlock *NewBlocks[] = {PostLoopPreheader,        PreLoopRRI.PseudoExit,
1289                              PreLoopRRI.ExitSelector,  PostLoopRRI.PseudoExit,