Home | History | Annotate | Download | only in Analysis

Lines Matching defs:isTrue

391   bool isTrue() const { return X == 1; }
406 return TryResult(R1.isTrue() && R2.isTrue());
1119 AlwaysTrue &= (Res1.isTrue() && Res2.isTrue());
1120 AlwaysFalse &= !(Res1.isTrue() && Res2.isTrue());
1122 AlwaysTrue &= (Res1.isTrue() || Res2.isTrue());
1123 AlwaysFalse &= !(Res1.isTrue() || Res2.isTrue());
1126 LHSAlwaysTrue &= Res1.isTrue();
1128 RHSAlwaysTrue &= Res2.isTrue();
1234 if (LHS.isTrue() == (Bop->getOpcode() == BO_LOr))
1235 return LHS.isTrue();
1240 return LHS.isTrue() || RHS.isTrue();
1242 return LHS.isTrue() && RHS.isTrue();
1249 if (RHS.isTrue() == (Bop->getOpcode() == BO_LOr))
1250 return RHS.isTrue();
1254 return BopRes.isTrue();
1262 return BopRes.isTrue();
1266 return BopRes.isTrue();
1270 return BopRes.isTrue();
2457 addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue());
2501 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue());
2505 addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue());
2702 addSuccessor(Block, KnownVal.isTrue() ? nullptr : RHSBlock);
2787 addSuccessor(Block, RHSBlock, !KnownVal.isTrue());
3062 addSuccessor(Block, ElseBlock, /* IsReachable = */ !KnownVal.isTrue());
3485 KnownVal.isTrue() ? nullptr : LoopSuccessor);
3816 KnownVal.isTrue() ? nullptr : LoopSuccessor);
3979 addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);
4499 addSuccessor(ConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);
4866 !Context.KnownExecuted.isTrue());