Lines Matching defs:KnownLHS
899 const KnownBits &KnownLHS, const KnownBits &KnownRHS,
901 unsigned BitWidth = KnownLHS.getBitWidth();
904 bool HasKnownOne = !KnownLHS.One.isZero() || !KnownRHS.One.isZero();
909 KnownOut = KnownLHS & KnownRHS;
918 if (KnownLHS.countMaxTrailingZeros() <= KnownRHS.countMaxTrailingZeros())
919 KnownOut = KnownLHS.blsi();
925 KnownOut = KnownLHS | KnownRHS;
928 KnownOut = KnownLHS ^ KnownRHS;
938 const KnownBits &XBits = I->getOperand(0) == X ? KnownLHS : KnownRHS;
996 const KnownBits &KnownLHS,
1004 return getKnownBitsFromAndXorOr(I, DemandedElts, KnownLHS, KnownRHS, Depth,
1805 [](const KnownBits &KnownLHS, const KnownBits &KnownRHS) {
1807 /*NUW=*/false, KnownLHS,
1824 [](const KnownBits &KnownLHS, const KnownBits &KnownRHS) {
1826 /*NUW=*/false, KnownLHS,
5139 KnownFPClass KnownLHS, KnownRHS;
5141 KnownLHS, Depth + 1, Q);
5145 bool NeverNaN = KnownLHS.isKnownNeverNaN() || KnownRHS.isKnownNeverNaN();
5146 Known = KnownLHS | KnownRHS;
5155 if ((KnownLHS.cannotBeOrderedLessThanZero() &&
5156 KnownLHS.isKnownNeverNaN()) ||
5163 if (KnownLHS.cannotBeOrderedLessThanZero() ||
5169 if ((KnownLHS.cannotBeOrderedGreaterThanZero() &&
5170 KnownLHS.isKnownNeverNaN()) ||
5177 if (KnownLHS.cannotBeOrderedGreaterThanZero() ||
5202 if (KnownLHS.SignBit && KnownRHS.SignBit &&
5203 *KnownLHS.SignBit == *KnownRHS.SignBit) {
5204 if (*KnownLHS.SignBit)
5209 ((KnownLHS.isKnownNeverNegZero() ||
5211 (KnownLHS.isKnownNeverPosZero() ||
5214 (KnownLHS.SignBit == false || KnownRHS.SignBit == false))
5217 (KnownLHS.SignBit == true || KnownRHS.SignBit == true))
5504 KnownFPClass KnownLHS, KnownRHS;
5529 KnownLHS, Depth + 1, Q);
5532 if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5533 (KnownLHS.isKnownNeverInfinity() || KnownRHS.isKnownNeverInfinity()))
5540 if (KnownLHS.cannotBeOrderedLessThanZero() &&
5547 if ((KnownLHS.isKnownNeverLogicalNegZero(*F, Op->getType()) ||
5557 if ((KnownLHS.isKnownNeverLogicalNegZero(*F, Op->getType()) ||
5578 KnownFPClass KnownLHS, KnownRHS;
5584 computeKnownFPClass(Op->getOperand(0), DemandedElts, NeedForNan, KnownLHS,
5586 if (!KnownLHS.isKnownNeverNaN())
5589 if (KnownLHS.SignBit && KnownRHS.SignBit) {
5590 if (*KnownLHS.SignBit == *KnownRHS.SignBit)
5597 if (KnownLHS.isKnownNeverInfinity() && KnownRHS.isKnownNeverInfinity()) {
5607 KnownLHS.isKnownNeverLogicalZero(*F, Op->getType())) &&
5608 (KnownLHS.isKnownNeverInfinity() ||
5636 KnownFPClass KnownLHS, KnownRHS;
5651 InterestedClasses & InterestedLHS, KnownLHS,
5659 if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5660 (KnownLHS.isKnownNeverInfinity() ||
5662 ((F && KnownLHS.isKnownNeverLogicalZero(*F, Op->getType())) ||
5669 if (KnownLHS.isKnownNever(fcNegative) && KnownRHS.isKnownNever(fcNegative))
5673 if (KnownLHS.isKnownNeverNaN() && KnownRHS.isKnownNeverNaN() &&
5674 KnownLHS.isKnownNeverInfinity() && F &&
5680 if (KnownLHS.cannotBeOrderedLessThanZero())
5682 if (KnownLHS.cannotBeOrderedGreaterThanZero())
5686 if (KnownLHS.isKnownNever(fcNegative))
5688 if (KnownLHS.isKnownNever(fcPositive))