Lines Matching defs:NextState

833       APInt NextState = TPath.getExitValue();
838       BasicBlock *VisitedBB = getClonedBB(BB, NextState, DuplicateMap);
841         DuplicateMap[BB].push_back({BB, NextState});
854         VisitedBB = getClonedBB(BB, NextState, DuplicateMap);
858         DuplicateMap[BB].push_back({BB, NextState});
991     APInt NextState = Path.getExitValue();
1007       // We already cloned BB for this NextState, now just update the branch
1009       BasicBlock *NextBB = getClonedBB(BB, NextState, DuplicateMap);
1018           BB, PrevBB, NextState, DuplicateMap, NewDefs, DTU);
1019       DuplicateMap[BB].push_back({NewBB, NextState});
1084                                              const APInt &NextState,
1090         BB, VMap, ".jt" + std::to_string(NextState.getLimitedValue()),
1107     updateSuccessorPhis(BB, NewBB, NextState, VMap, DuplicateMap);
1126                            const APInt &NextState, ValueToValueMapTy &VMap,
1134       BasicBlock *NextCase = getNextCaseSuccessor(Switch, NextState);
1136       BasicBlock *ClonedSucc = getClonedBB(NextCase, NextState, DuplicateMap);
1148         BasicBlock *ClonedSucc = getClonedBB(Succ, NextState, DuplicateMap);
1236     APInt NextState = TPath.getExitValue();
1238     BasicBlock *LastBlock = getClonedBB(BB, NextState, DuplicateMap);
1245     BasicBlock *NextCase = getNextCaseSuccessor(Switch, NextState);
1290   BasicBlock *getClonedBB(BasicBlock *BB, const APInt &NextState,
1294     // Find an entry in the CloneList with this NextState. If it exists then
1296     auto It = llvm::find_if(ClonedBBs, [NextState](const ClonedBlock &C) {
1297       return C.State == NextState;
1304   BasicBlock *getNextCaseSuccessor(SwitchInst *Switch, const APInt &NextState) {
1307       if (Case.getCaseValue()->getValue() == NextState) {