Lines Matching defs:LTest

302     VarTestResult LTest;
326                   const VarTestResult &LTest, const VarTestResult &RTest)
330     BinTest.LTest   = LTest;
340     BinTest.LTest.Var      = LVar;
341     BinTest.LTest.TestsFor = LTestsFor;
364     return BinTest.LTest;
430         BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor),
704     VarTestResult LTest, RTest;
707       LTest = LEntry->second.getVarTest();
709       LTest.Var      = nullptr;
710       LTest.TestsFor = CS_None;
720     if (!(LTest.Var == nullptr && RTest.Var == nullptr))
722         static_cast<EffectiveOp>(BinOp->getOpcode() == BO_LOr), LTest, RTest)));
949   const VarTestResult &LTest = PInfo.getLTest(),
952   ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None,
955   if (LTest.Var) {
958         ThenStates->setState(LTest.Var, LTest.TestsFor);
959       } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) {
961       } else if (LState == LTest.TestsFor && isKnownState(RState)) {
969         ElseStates->setState(LTest.Var,
970                              invertConsumedUnconsumed(LTest.TestsFor));
971       } else if (LState == LTest.TestsFor) {
973       } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) &&