Searched refs:KnownVal (Results 1 – 5 of 5) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/Analysis/ |
| H A D | CFG.cpp | 2645 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator() local 2646 if (!KnownVal.isKnown()) in VisitLogicalOperator() 2647 KnownVal = tryEvaluateBool(B); in VisitLogicalOperator() 2655 addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2656 addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue()); in VisitLogicalOperator() 2695 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator() local 2699 addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2700 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue()); in VisitLogicalOperator() 2703 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2704 addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue()); in VisitLogicalOperator() [all …]
|
| /freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
| H A D | ValueTracking.cpp | 1404 auto KF = [NUW, NSW](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() 1406 return KnownBits::shl(KnownVal, KnownAmt, NUW, NSW, ShAmtNonZero); in computeKnownBitsFromOperator() 1418 auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() argument 1420 return KnownBits::lshr(KnownVal, KnownAmt, ShAmtNonZero, Exact); in computeKnownBitsFromOperator() 1432 auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() argument 1434 return KnownBits::ashr(KnownVal, KnownAmt, ShAmtNonZero, Exact); in computeKnownBitsFromOperator() 2920 const SimplifyQuery &Q, const KnownBits &KnownVal, in isNonZeroShift() argument 2947 if (KnownVal.isUnknown()) in isNonZeroShift() 2953 unsigned NumBits = KnownVal.getBitWidth(); in isNonZeroShift() 2957 if (!ShiftOp(KnownVal.One, MaxShift).isZero()) in isNonZeroShift() [all …]
|
| H A D | InstructionSimplify.cpp | 1351 KnownBits KnownVal = computeKnownBits(Op0, Q); in simplifyShift() local 1352 KnownBits KnownShl = KnownBits::shl(KnownVal, KnownAmt); in simplifyShift() 1354 if (KnownVal.Zero.isSignBitSet()) in simplifyShift() 1356 if (KnownVal.One.isSignBitSet()) in simplifyShift()
|
| /freebsd/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/ |
| H A D | CombinerHelper.cpp | 4516 std::optional<bool> KnownVal; in matchICmpToTrueFalseKnownBits() local 4521 KnownVal = true; in matchICmpToTrueFalseKnownBits() 4523 KnownVal = false; in matchICmpToTrueFalseKnownBits() 4526 if (!KnownVal) { in matchICmpToTrueFalseKnownBits() 4528 KnownVal = ICmpInst::compare(KnownLHS, KnownRHS, Pred); in matchICmpToTrueFalseKnownBits() 4531 if (!KnownVal) in matchICmpToTrueFalseKnownBits() 4534 *KnownVal in matchICmpToTrueFalseKnownBits()
|
| /freebsd/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaExpr.cpp | 11206 Expr::EvalResult KnownVal; in CheckAdditionOperands() local 11209 (!IExp->EvaluateAsInt(KnownVal, Context) || in CheckAdditionOperands() 11210 KnownVal.Val.getInt() != 0))) { in CheckAdditionOperands() 11324 Expr::EvalResult KnownVal; in CheckSubtractionOperands() local 11327 (!RHS.get()->EvaluateAsInt(KnownVal, Context) || in CheckSubtractionOperands() 11328 KnownVal.Val.getInt() != 0))) { in CheckSubtractionOperands()
|