58   if (LatticeFunc->IsUntrackedValue(V))  in getOrInitValueState()
59     return LatticeFunc->getUntrackedVal();  in getOrInitValueState()
61     LV = LatticeFunc->ComputeConstant(C);  in getOrInitValueState()
63     LV = LatticeFunc->ComputeArgument(A);  in getOrInitValueState()
66     LV = LatticeFunc->getOverdefinedVal();  in getOrInitValueState()
69     LV = LatticeFunc->getUndefVal();  in getOrInitValueState()
72   if (LV == LatticeFunc->getUntrackedVal())  in getOrInitValueState()
139     if (BCValue == LatticeFunc->getOverdefinedVal() ||  in getFeasibleSuccessors()
140         BCValue == LatticeFunc->getUntrackedVal()) {  in getFeasibleSuccessors()
147     if (BCValue == LatticeFunc->getUndefVal())  in getFeasibleSuccessors()
150     Constant *C = LatticeFunc->GetConstant(BCValue, BI->getCondition(), *this);  in getFeasibleSuccessors()
181   if (SCValue == LatticeFunc->getOverdefinedVal() ||  in getFeasibleSuccessors()
182       SCValue == LatticeFunc->getUntrackedVal()) {  in getFeasibleSuccessors()
189   if (SCValue == LatticeFunc->getUndefVal())  in getFeasibleSuccessors()
192   Constant *C = LatticeFunc->GetConstant(SCValue, SI.getCondition(), *this);  in getFeasibleSuccessors()
234   if (LatticeFunc->IsSpecialCasedPHI(&PN)) {  in visitPHINode()
235     LatticeVal IV = LatticeFunc->ComputeInstructionState(PN, *this);  in visitPHINode()
236     if (IV != LatticeFunc->getUntrackedVal())  in visitPHINode()
242   LatticeVal Overdefined = LatticeFunc->getOverdefinedVal();  in visitPHINode()
245   if (PNIV == Overdefined || PNIV == LatticeFunc->getUntrackedVal())  in visitPHINode()
266       PNIV = LatticeFunc->MergeValues(PNIV, OpVal);  in visitPHINode()
285   LatticeVal IV = LatticeFunc->ComputeInstructionState(I, *this);  in visitInst()
286   if (IV != LatticeFunc->getUntrackedVal())  in visitInst()
340       LatticeFunc->PrintValue(getLatticeState(I), OS);  in Print()