Home | History | Annotate | Download | only in Analysis

Lines Matching refs:TrueVal

887   LVILatticeVal TrueVal = getBlockValue(SI->getTrueValue(), BB);
890   if (TrueVal.isOverdefined()) {
909   if (TrueVal.isConstantRange() && FalseVal.isConstantRange()) {
910     ConstantRange TrueCR = TrueVal.getConstantRange();
952     TrueVal = intersect(TrueVal, TrueValTaken);
989           TrueVal = intersect(TrueVal,
998   Result.mergeIn(TrueVal, DL);