Lines Matching refs:RTest
308 VarTestResult RTest; member
331 const VarTestResult <est, const VarTestResult &RTest) in PropagationInfo() argument
336 BinTest.RTest = RTest; in PropagationInfo()
347 BinTest.RTest.Var = RVar; in PropagationInfo()
348 BinTest.RTest.TestsFor = RTestsFor; in PropagationInfo()
374 return BinTest.RTest; in getRTest()
436 BinTest.RTest.Var, invertConsumedUnconsumed(BinTest.RTest.TestsFor)); in invertTest()
709 VarTestResult LTest, RTest; in VisitBinaryOperator() local
719 RTest = REntry->second.getVarTest(); in VisitBinaryOperator()
721 RTest.Var = nullptr; in VisitBinaryOperator()
722 RTest.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()
955 &RTest = PInfo.getRTest(); in splitVarStateForIfBinOp() local
958 RState = RTest.Var ? ThenStates->getState(RTest.Var) : CS_None; in splitVarStateForIfBinOp()
967 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
980 if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()
988 if (RTest.Var) { in splitVarStateForIfBinOp()
991 ThenStates->setState(RTest.Var, RTest.TestsFor); in splitVarStateForIfBinOp()
992 else if (RState == invertConsumedUnconsumed(RTest.TestsFor)) in splitVarStateForIfBinOp()
996 ElseStates->setState(RTest.Var, in splitVarStateForIfBinOp()
997 invertConsumedUnconsumed(RTest.TestsFor)); in splitVarStateForIfBinOp()
998 else if (RState == RTest.TestsFor) in splitVarStateForIfBinOp()