ValueTracking.cpp - OpenGrok cross reference for /llvm-project/llvm/lib/Analysis/ValueTracking.cpp

Lines Matching defs:KnownLHS
954                          const KnownBits &KnownLHS, const KnownBits &KnownRHS,
956   unsigned BitWidth = KnownLHS.getBitWidth();
959   bool HasKnownOne = !KnownLHS.One.isZero() || !KnownRHS.One.isZero();
964     KnownOut = KnownLHS & KnownRHS;
973       if (KnownLHS.countMaxTrailingZeros() <= KnownRHS.countMaxTrailingZeros())
974         KnownOut = KnownLHS.blsi();
980     KnownOut = KnownLHS | KnownRHS;
983     KnownOut = KnownLHS ^ KnownRHS;
993       const KnownBits &XBits = I->getOperand(0) == X ? KnownLHS : KnownRHS;
1051                                              const KnownBits &KnownLHS,
1059   return getKnownBitsFromAndXorOr(I, DemandedElts, KnownLHS, KnownRHS, Depth,
1950             [](const KnownBits &KnownLHS, const KnownBits &KnownRHS) {
1951               return KnownBits::add(KnownLHS, KnownRHS);
1967             [](const KnownBits &KnownLHS, const KnownBits &KnownRHS) {
1968               return KnownBits::sub(KnownLHS, KnownRHS);
5325       KnownFPClass KnownLHS, KnownRHS;
5327                           KnownLHS, Depth + 1, Q);
5331       bool NeverNaN = KnownLHS.isKnownNeverNaN() || KnownRHS.isKnownNeverNaN();
5332       Known = KnownLHS | KnownRHS;
5341         if ((KnownLHS.cannotBeOrderedLessThanZero() &&
5342              KnownLHS.isKnownNeverNaN()) ||
5349         if (KnownLHS.cannotBeOrderedLessThanZero() ||
5355         if ((KnownLHS.cannotBeOrderedGreaterThanZero() &&
5356              KnownLHS.isKnownNeverNaN()) ||
5363         if (KnownLHS.cannotBeOrderedGreaterThanZero() ||
5388         if (KnownLHS.SignBit && KnownRHS.SignBit &&
5389             *KnownLHS.SignBit == *KnownRHS.SignBit) {
5390           if (*KnownLHS.SignBit)
5395                    ((KnownLHS.isKnownNeverNegZero() ||
5397                     (KnownLHS.isKnownNeverPosZero() ||
5400               (KnownLHS.SignBit == false || KnownRHS.SignBit == false))
5403                    (KnownLHS.SignBit == true || KnownRHS.SignBit == true))
5690     KnownFPClass KnownLHS, KnownRHS;
5715                           KnownLHS, Depth + 1, Q);
5718       if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5719           (KnownLHS.isKnownNeverInfinity() || KnownRHS.isKnownNeverInfinity()))
5726         if (KnownLHS.cannotBeOrderedLessThanZero() &&
5733         if ((KnownLHS.isKnownNeverLogicalNegZero(*F, Op->getType()) ||
5743         if ((KnownLHS.isKnownNeverLogicalNegZero(*F, Op->getType()) ||
5764     KnownFPClass KnownLHS, KnownRHS;
5770     computeKnownFPClass(Op->getOperand(0), DemandedElts, NeedForNan, KnownLHS,
5772     if (!KnownLHS.isKnownNeverNaN())
5775     if (KnownLHS.SignBit && KnownRHS.SignBit) {
5776       if (*KnownLHS.SignBit == *KnownRHS.SignBit)
5783     if (KnownLHS.isKnownNeverInfinity() && KnownRHS.isKnownNeverInfinity()) {
5793          KnownLHS.isKnownNeverLogicalZero(*F, Op->getType())) &&
5794         (KnownLHS.isKnownNeverInfinity() ||
5822     KnownFPClass KnownLHS, KnownRHS;
5837                           InterestedClasses & InterestedLHS, KnownLHS,
5845       if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5846           (KnownLHS.isKnownNeverInfinity() ||
5848           ((F && KnownLHS.isKnownNeverLogicalZero(*F, Op->getType())) ||
5855       if (KnownLHS.isKnownNever(fcNegative) && KnownRHS.isKnownNever(fcNegative))
5859       if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5860           KnownLHS.isKnownNeverInfinity() && F &&
5866       if (KnownLHS.cannotBeOrderedLessThanZero())
5868       if (KnownLHS.cannotBeOrderedGreaterThanZero())
5872       if (KnownLHS.isKnownNever(fcNegative))
5874       if (KnownLHS.isKnownNever(fcPositive))