Home | History | Annotate | Download | only in Analysis

Lines Matching refs:LatticeFunc

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