Lines Matching defs:InitialStates
576 // Calculate the intersection of all the InitialStates for a BasicBlock's
578 static int getSuccState(DenseMap<BasicBlock *, int> &InitialStates, Function &F,
589 auto SuccStartState = InitialStates.find(SuccBB);
590 if (SuccStartState == InitialStates.end())
603 // At least two successors have different InitialStates,
650 // InitialStates yields the state of the first call-site for a BasicBlock.
651 DenseMap<BasicBlock *, int> InitialStates;
657 // Fill in InitialStates and FinalStates for BasicBlocks with call-sites.
683 InitialStates.insert({BB, InitialState});
687 // Try to fill-in InitialStates and FinalStates which have no call-sites.
692 if (InitialStates.count(BB) != 0)
701 InitialStates.insert({BB, PredState});
709 int SuccState = getSuccState(InitialStates, F, ParentBaseState, BB);