Searched refs:KnownVal (Results 1 – 5 of 5) sorted by relevance
/freebsd/contrib/llvm-project/clang/lib/Analysis/ |
H A D | CFG.cpp | 2547 TryResult KnownVal = tryEvaluateBool(RHS); in VisitLogicalOperator() local 2548 if (!KnownVal.isKnown()) in VisitLogicalOperator() 2549 KnownVal = tryEvaluateBool(B); in VisitLogicalOperator() 2557 addSuccessor(RHSBlock, TrueBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2558 addSuccessor(RHSBlock, FalseBlock, !KnownVal.isTrue()); in VisitLogicalOperator() 2597 TryResult KnownVal = tryEvaluateBool(LHS); in VisitLogicalOperator() local 2601 addSuccessor(LHSBlock, TrueBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2602 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isTrue()); in VisitLogicalOperator() 2605 addSuccessor(LHSBlock, RHSBlock, !KnownVal.isFalse()); in VisitLogicalOperator() 2606 addSuccessor(LHSBlock, FalseBlock, !KnownVal.isTrue()); in VisitLogicalOperator() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/ |
H A D | CombinerHelper.cpp | 4360 std::optional<bool> KnownVal; in matchICmpToTrueFalseKnownBits() local 4365 KnownVal = true; in matchICmpToTrueFalseKnownBits() 4367 KnownVal = false; in matchICmpToTrueFalseKnownBits() 4370 if (!KnownVal) { in matchICmpToTrueFalseKnownBits() 4376 KnownVal = KnownBits::eq(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() 4379 KnownVal = KnownBits::ne(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() 4382 KnownVal = KnownBits::sge(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() 4385 KnownVal = KnownBits::sgt(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() 4388 KnownVal = KnownBits::sle(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() 4391 KnownVal = KnownBits::slt(KnownLHS, KnownRHS); in matchICmpToTrueFalseKnownBits() [all …]
|
/freebsd/contrib/llvm-project/llvm/lib/Analysis/ |
H A D | ValueTracking.cpp | 1264 auto KF = [NUW, NSW](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() 1266 return KnownBits::shl(KnownVal, KnownAmt, NUW, NSW, ShAmtNonZero); in computeKnownBitsFromOperator() 1278 auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() argument 1280 return KnownBits::lshr(KnownVal, KnownAmt, ShAmtNonZero, Exact); in computeKnownBitsFromOperator() 1292 auto KF = [Exact](const KnownBits &KnownVal, const KnownBits &KnownAmt, in computeKnownBitsFromOperator() argument 1294 return KnownBits::ashr(KnownVal, KnownAmt, ShAmtNonZero, Exact); in computeKnownBitsFromOperator() 2696 const KnownBits &KnownVal) { in isNonZeroShift() argument 2722 if (KnownVal.isUnknown()) in isNonZeroShift() 2728 unsigned NumBits = KnownVal.getBitWidth(); in isNonZeroShift() 2732 if (!ShiftOp(KnownVal.One, MaxShift).isZero()) in isNonZeroShift() [all …]
|
H A D | InstructionSimplify.cpp | 1400 KnownBits KnownVal = computeKnownBits(Op0, /* Depth */ 0, Q); in simplifyShift() local 1401 KnownBits KnownShl = KnownBits::shl(KnownVal, KnownAmt); in simplifyShift() 1403 if (KnownVal.Zero.isSignBitSet()) in simplifyShift() 1405 if (KnownVal.One.isSignBitSet()) in simplifyShift()
|
/freebsd/contrib/llvm-project/clang/lib/Sema/ |
H A D | SemaExpr.cpp | 10924 Expr::EvalResult KnownVal; in CheckAdditionOperands() local 10927 (!IExp->EvaluateAsInt(KnownVal, Context) || in CheckAdditionOperands() 10928 KnownVal.Val.getInt() != 0))) { in CheckAdditionOperands() 11041 Expr::EvalResult KnownVal; in CheckSubtractionOperands() local 11044 (!RHS.get()->EvaluateAsInt(KnownVal, Context) || in CheckSubtractionOperands() 11045 KnownVal.Val.getInt() != 0))) { in CheckSubtractionOperands()
|