• Home
  • Raw
  • Download

Lines Matching refs:LTest

303     VarTestResult LTest;  member
329 const VarTestResult &LTest, const VarTestResult &RTest) in PropagationInfo() argument
334 BinTest.LTest = LTest; in PropagationInfo()
345 BinTest.LTest.Var = LVar; in PropagationInfo()
346 BinTest.LTest.TestsFor = LTestsFor; in PropagationInfo()
370 return BinTest.LTest; in getLTest()
436 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
713 VarTestResult LTest, RTest; in VisitBinaryOperator() local
716 LTest = LEntry->second.getVarTest(); in VisitBinaryOperator()
719 LTest.Var = nullptr; in VisitBinaryOperator()
720 LTest.TestsFor = CS_None; in VisitBinaryOperator()
731 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) in VisitBinaryOperator()
733 static_cast<EffectiveOp>(BinOp->getOpcode() == BO_LOr), LTest, RTest))); in VisitBinaryOperator()
975 const VarTestResult &LTest = PInfo.getLTest(), in splitVarStateForIfBinOp() local
978 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
981 if (LTest.Var) { in splitVarStateForIfBinOp()
984 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
986 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
989 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
998 ElseStates->setState(LTest.Var, in splitVarStateForIfBinOp()
999 invertConsumedUnconsumed(LTest.TestsFor)); in splitVarStateForIfBinOp()
1001 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
1004 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()