Lines Matching refs:LTest

307     VarTestResult LTest;  member
331 const VarTestResult &LTest, const VarTestResult &RTest) in PropagationInfo() argument
335 BinTest.LTest = LTest; in PropagationInfo()
345 BinTest.LTest.Var = LVar; in PropagationInfo()
346 BinTest.LTest.TestsFor = LTestsFor; in PropagationInfo()
369 return BinTest.LTest; in getLTest()
435 BinTest.LTest.Var, invertConsumedUnconsumed(BinTest.LTest.TestsFor), in invertTest()
709 VarTestResult LTest, RTest; in VisitBinaryOperator() local
712 LTest = LEntry->second.getVarTest(); in VisitBinaryOperator()
714 LTest.Var = nullptr; in VisitBinaryOperator()
715 LTest.TestsFor = CS_None; in VisitBinaryOperator()
725 if (!(LTest.Var == nullptr && RTest.Var == nullptr)) in VisitBinaryOperator()
727 static_cast<EffectiveOp>(BinOp->getOpcode() == BO_LOr), LTest, RTest))); in VisitBinaryOperator()
954 const VarTestResult &LTest = PInfo.getLTest(), in splitVarStateForIfBinOp() local
957 ConsumedState LState = LTest.Var ? ThenStates->getState(LTest.Var) : CS_None, in splitVarStateForIfBinOp()
960 if (LTest.Var) { in splitVarStateForIfBinOp()
963 ThenStates->setState(LTest.Var, LTest.TestsFor); in splitVarStateForIfBinOp()
964 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor)) { in splitVarStateForIfBinOp()
966 } else if (LState == LTest.TestsFor && isKnownState(RState)) { in splitVarStateForIfBinOp()
974 ElseStates->setState(LTest.Var, in splitVarStateForIfBinOp()
975 invertConsumedUnconsumed(LTest.TestsFor)); in splitVarStateForIfBinOp()
976 } else if (LState == LTest.TestsFor) { in splitVarStateForIfBinOp()
978 } else if (LState == invertConsumedUnconsumed(LTest.TestsFor) && in splitVarStateForIfBinOp()