Lines Matching defs:InitialStates

597 // Calculate the intersection of all the InitialStates for a BasicBlock's
599 static int getSuccState(DenseMap<BasicBlock *, int> &InitialStates, Function &F,
610     auto SuccStartState = InitialStates.find(SuccBB);
611     if (SuccStartState == InitialStates.end())
624     // At least two successors have different InitialStates,
671   // InitialStates yields the state of the first call-site for a BasicBlock.
672   DenseMap<BasicBlock *, int> InitialStates;
678   // Fill in InitialStates and FinalStates for BasicBlocks with call-sites.
704     InitialStates.insert({BB, InitialState});
708   // Try to fill-in InitialStates and FinalStates which have no call-sites.
713     if (InitialStates.count(BB) != 0)
722     InitialStates.insert({BB, PredState});
730     int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB);