Home | History | Annotate | Download | only in Analysis

Lines Matching refs:LatticeFunc

57   if (LatticeFunc->IsUntrackedValue(V))
58     return LatticeFunc->getUntrackedVal();
60     LV = LatticeFunc->ComputeConstant(C);
62     LV = LatticeFunc->ComputeArgument(A);
65     LV = LatticeFunc->getOverdefinedVal();
68     LV = LatticeFunc->getUndefVal();
71   if (LV == LatticeFunc->getUntrackedVal())
138     if (BCValue == LatticeFunc->getOverdefinedVal() ||
139         BCValue == LatticeFunc->getUntrackedVal()) {
146     if (BCValue == LatticeFunc->getUndefVal())
149     Constant *C = LatticeFunc->GetConstant(BCValue, BI->getCondition(), *this);
180   if (SCValue == LatticeFunc->getOverdefinedVal() ||
181       SCValue == LatticeFunc->getUntrackedVal()) {
188   if (SCValue == LatticeFunc->getUndefVal())
191   Constant *C = LatticeFunc->GetConstant(SCValue, SI.getCondition(), *this);
233   if (LatticeFunc->IsSpecialCasedPHI(&PN)) {
234     LatticeVal IV = LatticeFunc->ComputeInstructionState(PN, *this);
235     if (IV != LatticeFunc->getUntrackedVal())
241   LatticeVal Overdefined = LatticeFunc->getOverdefinedVal();
244   if (PNIV == Overdefined || PNIV == LatticeFunc->getUntrackedVal())
265       PNIV = LatticeFunc->MergeValues(PNIV, OpVal);
284   LatticeVal IV = LatticeFunc->ComputeInstructionState(I, *this);
285   if (IV != LatticeFunc->getUntrackedVal())
340       LatticeFunc->PrintValue(getLatticeState(I), OS);