Lines Matching defs:KnownVal

2551     // Even though KnownVal is only used in the else branch of the next
2554     TryResult KnownVal = tryEvaluateBool(RHS);
2555     if (!KnownVal.isKnown())
2556       KnownVal = tryEvaluateBool(B);
2564       addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse());
2565       addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue());
2604   TryResult KnownVal = tryEvaluateBool(LHS);
2608     addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse());
2609     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue());
2612     addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse());
2613     addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue());
2808   const TryResult& KnownVal = tryEvaluateBool(C->getCond());
2809   addSuccessor(Block, KnownVal.isFalse() ? nullptr : LHSBlock);
2810   addSuccessor(Block, KnownVal.isTrue() ? nullptr : RHSBlock);
2893   const TryResult& KnownVal = tryEvaluateBool(C->getCond());
2894   addSuccessor(Block, LHSBlock, !KnownVal.isFalse());
2895   addSuccessor(Block, RHSBlock, !KnownVal.isTrue());
3183     TryResult KnownVal;
3185       KnownVal = tryEvaluateBool(I->getCond());
3189     addSuccessor(Block, ThenBlock, /* IsReachable = */ !KnownVal.isFalse());
3190     addSuccessor(Block, ElseBlock, /* IsReachable = */ !KnownVal.isTrue());
3624     TryResult KnownVal(true);
3653       KnownVal = tryEvaluateBool(C);
3657     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
3661                  KnownVal.isTrue() ? nullptr : LoopSuccessor);
3980     const TryResult& KnownVal = tryEvaluateBool(C);
3983     addSuccessor(ExitConditionBlock, KnownVal.isFalse() ? nullptr : BodyBlock);
3987                  KnownVal.isTrue() ? nullptr : LoopSuccessor);
4219   const TryResult &KnownVal = tryEvaluateBool(D->getCond());
4265     if (!KnownVal.isFalse())
4274   addSuccessor(ExitConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);
4738   TryResult KnownVal(true);
4741     KnownVal = tryEvaluateBool(S->getCond());
4788                  KnownVal.isFalse() ? nullptr : LoopVarStmtBlock);
4793   addSuccessor(ConditionBlock, KnownVal.isTrue() ? nullptr : LoopSuccessor);