Lines Matching refs:Known
150 KnownBits &Known, unsigned Depth,
153 void llvm::computeKnownBits(const Value *V, KnownBits &Known, unsigned Depth, in computeKnownBits() argument
161 ::computeKnownBits(V, DemandedElts, Known, Depth, Q); in computeKnownBits()
164 void llvm::computeKnownBits(const Value *V, KnownBits &Known, in computeKnownBits() argument
169 V, Known, Depth, in computeKnownBits()
320 KnownBits Known(Mask.getBitWidth()); in MaskedValueIsZero() local
321 computeKnownBits(V, Known, Depth, SQ); in MaskedValueIsZero()
322 return Mask.isSubsetOf(Known.Zero); in MaskedValueIsZero()
368 const APInt &DemandedElts, KnownBits &Known, in computeKnownBitsMul() argument
371 computeKnownBits(Op1, DemandedElts, Known, Depth + 1, Q); in computeKnownBitsMul()
382 bool isKnownNonNegativeOp1 = Known.isNonNegative(); in computeKnownBitsMul()
384 bool isKnownNegativeOp1 = Known.isNegative(); in computeKnownBitsMul()
395 (isKnownNegativeOp0 && isKnownNonNegativeOp1 && Known.isNonZero()); in computeKnownBitsMul()
403 Known = KnownBits::mul(Known, Known2, SelfMultiply); in computeKnownBitsMul()
410 if (isKnownNonNegative && !Known.isNegative()) in computeKnownBitsMul()
411 Known.makeNonNegative(); in computeKnownBitsMul()
412 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
413 Known.makeNegative(); in computeKnownBitsMul()
417 KnownBits &Known) { in computeKnownBitsFromRangeMetadata() argument
418 unsigned BitWidth = Known.getBitWidth(); in computeKnownBitsFromRangeMetadata()
422 Known.Zero.setAllBits(); in computeKnownBitsFromRangeMetadata()
423 Known.One.setAllBits(); in computeKnownBitsFromRangeMetadata()
437 Known.One &= UnsignedMax & Mask; in computeKnownBitsFromRangeMetadata()
438 Known.Zero &= ~UnsignedMax & Mask; in computeKnownBitsFromRangeMetadata()
619 Value *LHS, Value *RHS, KnownBits &Known, in computeKnownBitsFromCmp() argument
627 Known.setAllZero(); in computeKnownBitsFromCmp()
631 Known.makeNonNegative(); in computeKnownBitsFromCmp()
634 Known.makeNegative(); in computeKnownBitsFromCmp()
643 unsigned BitWidth = Known.getBitWidth(); in computeKnownBitsFromCmp()
653 Known = Known.unionWith(KnownBits::makeConstant(*C)); in computeKnownBitsFromCmp()
658 Known.Zero |= ~*C & *Mask; in computeKnownBitsFromCmp()
659 Known.One |= *C & *Mask; in computeKnownBitsFromCmp()
663 Known.Zero |= ~*C & ~*Mask; in computeKnownBitsFromCmp()
664 Known.One |= *C & ~*Mask; in computeKnownBitsFromCmp()
669 Known = Known.unionWith(KnownBits::makeConstant(*C ^ *Mask)); in computeKnownBitsFromCmp()
678 Known = Known.unionWith(RHSKnown); in computeKnownBitsFromCmp()
685 Known.Zero |= RHSKnown.Zero << ShAmt; in computeKnownBitsFromCmp()
686 Known.One |= RHSKnown.One << ShAmt; in computeKnownBitsFromCmp()
693 Known.One |= *BPow2; in computeKnownBitsFromCmp()
703 Known = Known.unionWith(LHSRange.toKnownBits()); in computeKnownBitsFromCmp()
709 void llvm::computeKnownBitsFromContext(const Value *V, KnownBits &Known, in computeKnownBitsFromContext() argument
724 Cmp->getOperand(1), Known, Q); in computeKnownBitsFromContext()
729 Cmp->getOperand(0), Cmp->getOperand(1), Known, in computeKnownBitsFromContext()
733 if (Known.hasConflict()) in computeKnownBitsFromContext()
734 Known.resetAll(); in computeKnownBitsFromContext()
740 unsigned BitWidth = Known.getBitWidth(); in computeKnownBitsFromContext()
761 Known.Zero.setLowBits(Log2_64(RK.ArgValue)); in computeKnownBitsFromContext()
775 Known.setAllOnes(); in computeKnownBitsFromContext()
782 Known.setAllZero(); in computeKnownBitsFromContext()
798 Cmp->getOperand(1), Known, Q); in computeKnownBitsFromContext()
803 if (Known.hasConflict()) in computeKnownBitsFromContext()
804 Known.resetAll(); in computeKnownBitsFromContext()
816 const Operator *I, const APInt &DemandedElts, KnownBits &Known, in computeKnownBitsFromShiftOperator() argument
820 computeKnownBits(I->getOperand(1), DemandedElts, Known, Depth + 1, Q); in computeKnownBitsFromShiftOperator()
824 Known.isNonZero() || in computeKnownBitsFromShiftOperator()
825 (Known.getMaxValue().ult(Known.getBitWidth()) && in computeKnownBitsFromShiftOperator()
827 Known = KF(Known2, Known, ShAmtNonZero); in computeKnownBitsFromShiftOperator()
936 KnownBits &Known, unsigned Depth, in computeKnownBitsFromOperator() argument
938 unsigned BitWidth = Known.getBitWidth(); in computeKnownBitsFromOperator()
946 computeKnownBitsFromRangeMetadata(*MD, Known); in computeKnownBitsFromOperator()
949 computeKnownBits(I->getOperand(1), DemandedElts, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
952 Known = getKnownBitsFromAndXorOr(I, DemandedElts, Known2, Known, Depth, Q); in computeKnownBitsFromOperator()
955 computeKnownBits(I->getOperand(1), DemandedElts, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
958 Known = getKnownBitsFromAndXorOr(I, DemandedElts, Known2, Known, Depth, Q); in computeKnownBitsFromOperator()
961 computeKnownBits(I->getOperand(1), DemandedElts, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
964 Known = getKnownBitsFromAndXorOr(I, DemandedElts, Known2, Known, Depth, Q); in computeKnownBitsFromOperator()
969 Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
973 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
975 Known = in computeKnownBitsFromOperator()
976 KnownBits::udiv(Known, Known2, Q.IIQ.isExact(cast<BinaryOperator>(I))); in computeKnownBitsFromOperator()
980 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
982 Known = in computeKnownBitsFromOperator()
983 KnownBits::sdiv(Known, Known2, Q.IIQ.isExact(cast<BinaryOperator>(I))); in computeKnownBitsFromOperator()
987 computeKnownBits(I->getOperand(2), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
991 Known = Known.intersectWith(Known2); in computeKnownBitsFromOperator()
1018 Known = Known.anyextOrTrunc(SrcBitWidth); in computeKnownBitsFromOperator()
1019 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1021 Inst && Inst->hasNonNeg() && !Known.isNegative()) in computeKnownBitsFromOperator()
1022 Known.makeNonNegative(); in computeKnownBitsFromOperator()
1023 Known = Known.zextOrTrunc(BitWidth); in computeKnownBitsFromOperator()
1032 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1074 Known.insertBits(KnownSrc, ShiftElt * SubBitWidth); in computeKnownBitsFromOperator()
1083 Known = Known.trunc(SrcBitWidth); in computeKnownBitsFromOperator()
1084 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1087 Known = Known.sext(BitWidth); in computeKnownBitsFromOperator()
1097 computeKnownBitsFromShiftOperator(I, DemandedElts, Known, Known2, Depth, Q, in computeKnownBitsFromOperator()
1102 Known.Zero.setLowBits(C->countr_zero()); in computeKnownBitsFromOperator()
1110 computeKnownBitsFromShiftOperator(I, DemandedElts, Known, Known2, Depth, Q, in computeKnownBitsFromOperator()
1115 Known.Zero.setHighBits(C->countl_zero()); in computeKnownBitsFromOperator()
1123 computeKnownBitsFromShiftOperator(I, DemandedElts, Known, Known2, Depth, Q, in computeKnownBitsFromOperator()
1130 DemandedElts, Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
1136 DemandedElts, Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
1140 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1142 Known = KnownBits::srem(Known, Known2); in computeKnownBitsFromOperator()
1146 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1148 Known = KnownBits::urem(Known, Known2); in computeKnownBitsFromOperator()
1151 Known.Zero.setLowBits(Log2(cast<AllocaInst>(I)->getAlign())); in computeKnownBitsFromOperator()
1156 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1164 if (Known.isUnknown()) in computeKnownBitsFromOperator()
1193 Known.resetAll(); in computeKnownBitsFromOperator()
1228 Known = KnownBits::computeForAddSub( in computeKnownBitsFromOperator()
1229 /*Add=*/true, /*NSW=*/false, Known, IndexBits); in computeKnownBitsFromOperator()
1231 if (!Known.isUnknown() && !AccConstIndices.isZero()) { in computeKnownBitsFromOperator()
1233 Known = KnownBits::computeForAddSub( in computeKnownBitsFromOperator()
1234 /*Add=*/true, /*NSW=*/false, Known, Index); in computeKnownBitsFromOperator()
1269 Known.Zero.setLowBits(Known2.countMinTrailingZeros()); in computeKnownBitsFromOperator()
1274 Known.Zero.setHighBits(Known2.countMinLeadingZeros()); in computeKnownBitsFromOperator()
1278 Known.Zero.setHighBits(Known2.countMinLeadingZeros()); in computeKnownBitsFromOperator()
1279 Known.One.setHighBits(Known2.countMinLeadingOnes()); in computeKnownBitsFromOperator()
1312 Known.Zero.setLowBits(std::min(Known2.countMinTrailingZeros(), in computeKnownBitsFromOperator()
1328 Known.makeNonNegative(); in computeKnownBitsFromOperator()
1330 Known.makeNegative(); in computeKnownBitsFromOperator()
1337 Known.makeNonNegative(); in computeKnownBitsFromOperator()
1339 Known.makeNegative(); in computeKnownBitsFromOperator()
1345 Known.makeNonNegative(); in computeKnownBitsFromOperator()
1358 if (Depth < MaxAnalysisRecursionDepth - 1 && Known.isUnknown()) { in computeKnownBitsFromOperator()
1363 Known.Zero.setAllBits(); in computeKnownBitsFromOperator()
1364 Known.One.setAllBits(); in computeKnownBitsFromOperator()
1409 Known.resetAll(); in computeKnownBitsFromOperator()
1417 Known = Known.intersectWith(Known2); in computeKnownBitsFromOperator()
1420 if (Known.isUnknown()) in computeKnownBitsFromOperator()
1433 computeKnownBitsFromRangeMetadata(*MD, Known); in computeKnownBitsFromOperator()
1437 Known = Known.unionWith(Known2); in computeKnownBitsFromOperator()
1446 Known = Known2.abs(IntMinIsPoison); in computeKnownBitsFromOperator()
1451 Known.Zero |= Known2.Zero.reverseBits(); in computeKnownBitsFromOperator()
1452 Known.One |= Known2.One.reverseBits(); in computeKnownBitsFromOperator()
1456 Known.Zero |= Known2.Zero.byteSwap(); in computeKnownBitsFromOperator()
1457 Known.One |= Known2.One.byteSwap(); in computeKnownBitsFromOperator()
1467 Known.Zero.setBitsFrom(LowBits); in computeKnownBitsFromOperator()
1478 Known.Zero.setBitsFrom(LowBits); in computeKnownBitsFromOperator()
1487 Known.Zero.setBitsFrom(LowBits); in computeKnownBitsFromOperator()
1507 Known.Zero = in computeKnownBitsFromOperator()
1509 Known.One = in computeKnownBitsFromOperator()
1514 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1516 Known = KnownBits::uadd_sat(Known, Known2); in computeKnownBitsFromOperator()
1519 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1521 Known = KnownBits::usub_sat(Known, Known2); in computeKnownBitsFromOperator()
1524 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1526 Known = KnownBits::sadd_sat(Known, Known2); in computeKnownBitsFromOperator()
1529 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1531 Known = KnownBits::ssub_sat(Known, Known2); in computeKnownBitsFromOperator()
1534 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1536 Known = KnownBits::umin(Known, Known2); in computeKnownBitsFromOperator()
1539 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1541 Known = KnownBits::umax(Known, Known2); in computeKnownBitsFromOperator()
1544 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1546 Known = KnownBits::smin(Known, Known2); in computeKnownBitsFromOperator()
1549 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1551 Known = KnownBits::smax(Known, Known2); in computeKnownBitsFromOperator()
1554 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1560 Known &= Known2.anyextOrTrunc(BitWidth); in computeKnownBitsFromOperator()
1564 Known.Zero.setBitsFrom(32); in computeKnownBitsFromOperator()
1571 Known.Zero.setBitsFrom(17); in computeKnownBitsFromOperator()
1577 Known = getVScaleRange(II->getFunction(), BitWidth).toKnownBits(); in computeKnownBitsFromOperator()
1587 Known.resetAll(); in computeKnownBitsFromOperator()
1594 Known.resetAll(); in computeKnownBitsFromOperator()
1597 Known.One.setAllBits(); in computeKnownBitsFromOperator()
1598 Known.Zero.setAllBits(); in computeKnownBitsFromOperator()
1601 computeKnownBits(LHS, DemandedLHS, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1603 if (Known.isUnknown()) in computeKnownBitsFromOperator()
1609 Known = Known.intersectWith(Known2); in computeKnownBitsFromOperator()
1615 Known.resetAll(); in computeKnownBitsFromOperator()
1624 Known.resetAll(); in computeKnownBitsFromOperator()
1627 Known.One.setAllBits(); in computeKnownBitsFromOperator()
1628 Known.Zero.setAllBits(); in computeKnownBitsFromOperator()
1632 computeKnownBits(Elt, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1634 if (Known.isUnknown()) in computeKnownBitsFromOperator()
1642 Known = Known.intersectWith(Known2); in computeKnownBitsFromOperator()
1654 Known.resetAll(); in computeKnownBitsFromOperator()
1661 computeKnownBits(Vec, DemandedVecElts, Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1675 Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
1681 Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
1686 DemandedElts, Known, Known2, Depth, Q); in computeKnownBitsFromOperator()
1695 computeKnownBits(I->getOperand(0), Known, Depth + 1, Q); in computeKnownBitsFromOperator()
1704 KnownBits Known(getBitWidth(V->getType(), Q.DL)); in computeKnownBits() local
1705 ::computeKnownBits(V, DemandedElts, Known, Depth, Q); in computeKnownBits()
1706 return Known; in computeKnownBits()
1713 KnownBits Known(getBitWidth(V->getType(), Q.DL)); in computeKnownBits() local
1714 computeKnownBits(V, Known, Depth, Q); in computeKnownBits()
1715 return Known; in computeKnownBits()
1734 KnownBits &Known, unsigned Depth, in computeKnownBits() argument
1738 Known.resetAll(); in computeKnownBits()
1747 unsigned BitWidth = Known.getBitWidth(); in computeKnownBits()
1774 Known = KnownBits::makeConstant(*C); in computeKnownBits()
1779 Known.setAllZero(); in computeKnownBits()
1788 Known.Zero.setAllBits(); Known.One.setAllBits(); in computeKnownBits()
1793 Known.Zero &= ~Elt; in computeKnownBits()
1794 Known.One &= Elt; in computeKnownBits()
1796 if (Known.hasConflict()) in computeKnownBits()
1797 Known.resetAll(); in computeKnownBits()
1805 Known.Zero.setAllBits(); Known.One.setAllBits(); in computeKnownBits()
1814 Known.resetAll(); in computeKnownBits()
1818 Known.Zero &= ~Elt; in computeKnownBits()
1819 Known.One &= Elt; in computeKnownBits()
1821 if (Known.hasConflict()) in computeKnownBits()
1822 Known.resetAll(); in computeKnownBits()
1827 Known.resetAll(); in computeKnownBits()
1845 computeKnownBits(GA->getAliasee(), Known, Depth + 1, Q); in computeKnownBits()
1850 computeKnownBitsFromOperator(I, DemandedElts, Known, Depth, Q); in computeKnownBits()
1853 Known = CR->toKnownBits(); in computeKnownBits()
1859 Known.Zero.setLowBits(Log2(Alignment)); in computeKnownBits()
1866 computeKnownBitsFromContext(V, Known, Depth, Q); in computeKnownBits()
1868 assert((Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"); in computeKnownBits()
2483 KnownBits Known(BitWidth); in isKnownNonZeroFromOperator() local
2484 computeKnownBits(I->getOperand(0), DemandedElts, Known, Depth, Q); in isKnownNonZeroFromOperator()
2485 if (Known.One[0]) in isKnownNonZeroFromOperator()
2488 return isNonZeroShift(I, DemandedElts, Depth, Q, Known); in isKnownNonZeroFromOperator()
2499 KnownBits Known = in isKnownNonZeroFromOperator() local
2501 if (Known.isNegative()) in isKnownNonZeroFromOperator()
2504 return isNonZeroShift(I, DemandedElts, Depth, Q, Known); in isKnownNonZeroFromOperator()
2751 KnownBits Known(BitWidth); in isKnownNonZeroFromOperator() local
2752 computeKnownBits(I, DemandedElts, Known, Depth, Q); in isKnownNonZeroFromOperator()
2753 return Known.One != 0; in isKnownNonZeroFromOperator()
3430 KnownBits Known(TyBits); in ComputeNumSignBitsImpl() local
3431 computeKnownBits(U->getOperand(0), Known, Depth + 1, Q); in ComputeNumSignBitsImpl()
3435 if ((Known.Zero | 1).isAllOnes()) in ComputeNumSignBitsImpl()
3440 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
3455 KnownBits Known(TyBits); in ComputeNumSignBitsImpl() local
3456 computeKnownBits(U->getOperand(1), Known, Depth + 1, Q); in ComputeNumSignBitsImpl()
3459 if ((Known.Zero | 1).isAllOnes()) in ComputeNumSignBitsImpl()
3465 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
3594 KnownBits Known(TyBits); in ComputeNumSignBitsImpl() local
3595 computeKnownBits(V, DemandedElts, Known, Depth, Q); in ComputeNumSignBitsImpl()
3599 return std::max(FirstAnswer, Known.countMinSignBits()); in ComputeNumSignBitsImpl()
4295 FPClassTest InterestedClasses, KnownFPClass &Known,
4298 static void computeKnownFPClass(const Value *V, KnownFPClass &Known, in computeKnownFPClass() argument
4304 computeKnownFPClass(V, DemandedElts, InterestedClasses, Known, Depth, Q); in computeKnownFPClass()
4310 KnownFPClass &Known, unsigned Depth, in computeKnownFPClassForFPTrunc() argument
4323 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClassForFPTrunc()
4325 Known.propagateNaN(KnownSrc, true); in computeKnownFPClassForFPTrunc()
4332 FPClassTest InterestedClasses, KnownFPClass &Known, in computeKnownFPClass() argument
4334 assert(Known.isUnknown() && "should not be called with known information"); in computeKnownFPClass()
4338 Known.resetAll(); in computeKnownFPClass()
4345 Known.KnownFPClasses = CFP->getValueAPF().classify(); in computeKnownFPClass()
4346 Known.SignBit = CFP->isNegative(); in computeKnownFPClass()
4354 Known.KnownFPClasses = fcNone; in computeKnownFPClass()
4361 Known = KnownFPClass(); in computeKnownFPClass()
4368 Known = KnownFPClass(); in computeKnownFPClass()
4373 Known |= KnownElt; in computeKnownFPClass()
4402 auto ClearClassesFromFlags = make_scope_exit([=, &Known] { in computeKnownFPClass()
4403 Known.knownNot(KnownNotFromFlags); in computeKnownFPClass()
4417 Known, Depth + 1, Q); in computeKnownFPClass()
4418 Known.fneg(); in computeKnownFPClass()
4459 computeKnownFPClass(LHS, DemandedElts, InterestedClasses & FilterLHS, Known, in computeKnownFPClass()
4461 Known.KnownFPClasses &= FilterLHS; in computeKnownFPClass()
4467 Known |= Known2; in computeKnownFPClass()
4479 InterestedClasses, Known, Depth + 1, Q); in computeKnownFPClass()
4482 Known.fabs(); in computeKnownFPClass()
4489 Known, Depth + 1, Q); in computeKnownFPClass()
4492 Known.copysign(KnownSign); in computeKnownFPClass()
4504 Known.knownNot(fcNegZero); in computeKnownFPClass()
4513 Known.knownNot(fcNegative); in computeKnownFPClass()
4527 Known.knownNot(fcPosInf); in computeKnownFPClass()
4529 Known.knownNot(fcSNan); in computeKnownFPClass()
4533 Known.knownNot(fcNan); in computeKnownFPClass()
4536 Known.knownNot(fcNegInf | fcNegSubnormal | fcNegNormal); in computeKnownFPClass()
4543 Known.knownNot(fcNegZero); in computeKnownFPClass()
4545 Known.SignBit = false; in computeKnownFPClass()
4556 Known.knownNot(fcInf); in computeKnownFPClass()
4558 Known.knownNot(fcNan); in computeKnownFPClass()
4572 Known = KnownLHS | KnownRHS; in computeKnownFPClass()
4576 Known.knownNot(fcNan); in computeKnownFPClass()
4585 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClass()
4591 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClass()
4599 Known.knownNot(KnownFPClass::OrderedGreaterThanZeroMask); in computeKnownFPClass()
4605 Known.knownNot(KnownFPClass::OrderedGreaterThanZeroMask); in computeKnownFPClass()
4616 if ((Known.KnownFPClasses & fcZero) != fcNone && in computeKnownFPClass()
4617 !Known.isKnownNeverSubnormal()) { in computeKnownFPClass()
4625 Known.KnownFPClasses |= fcZero; in computeKnownFPClass()
4641 Known.KnownFPClasses = KnownSrc.KnownFPClasses | fcZero | fcQNan; in computeKnownFPClass()
4646 Known.knownNot(fcNan); in computeKnownFPClass()
4648 Known.knownNot(fcSNan); in computeKnownFPClass()
4661 Known.knownNot(fcPosZero); in computeKnownFPClass()
4663 Known.knownNot(fcNegZero); in computeKnownFPClass()
4668 Known.knownNot(fcSubnormal); in computeKnownFPClass()
4673 Known.knownNot(fcNegZero); in computeKnownFPClass()
4694 Known.knownNot(fcSubnormal); in computeKnownFPClass()
4696 Known.propagateNaN(KnownSrc, true); in computeKnownFPClass()
4702 Known.knownNot(fcPosInf); in computeKnownFPClass()
4704 Known.knownNot(fcNegInf); in computeKnownFPClass()
4709 Known.knownNot(fcPosFinite); in computeKnownFPClass()
4711 Known.knownNot(fcNegFinite); in computeKnownFPClass()
4718 Known.knownNot(fcNegative); in computeKnownFPClass()
4726 Known.knownNot(fcNan); in computeKnownFPClass()
4727 Known.SignBit = false; in computeKnownFPClass()
4733 computeKnownFPClassForFPTrunc(Op, DemandedElts, InterestedClasses, Known, in computeKnownFPClass()
4761 Known.knownNot(fcPosInf); in computeKnownFPClass()
4764 Known.knownNot(fcNan); in computeKnownFPClass()
4768 Known.knownNot(fcNegInf); in computeKnownFPClass()
4784 Known.knownNot(fcNegative); in computeKnownFPClass()
4800 Known.knownNot(fcNegative); in computeKnownFPClass()
4807 Known.propagateNaN(KnownSrc, /*PropagateSign=*/true); in computeKnownFPClass()
4811 Known.knownNot(fcNegative); in computeKnownFPClass()
4813 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClass()
4816 Known.knownNot(fcPositive); in computeKnownFPClass()
4818 Known.knownNot(KnownFPClass::OrderedGreaterThanZeroMask); in computeKnownFPClass()
4836 Known.knownNot(fcSubnormal); in computeKnownFPClass()
4842 Known.propagateCanonicalizingSrc(KnownSrc, *F, II->getType()); in computeKnownFPClass()
4846 Known.knownNot(fcPosInf); in computeKnownFPClass()
4848 Known.knownNot(fcNegInf); in computeKnownFPClass()
4852 Known.knownNot(fcPosSubnormal); in computeKnownFPClass()
4854 Known.knownNot(fcNegSubnormal); in computeKnownFPClass()
4856 Known.knownNot(fcPosZero); in computeKnownFPClass()
4858 Known.knownNot(fcNegZero); in computeKnownFPClass()
4865 Known, Depth + 1, Q); in computeKnownFPClass()
4871 Known.knownNot(fcNan); in computeKnownFPClass()
4874 Known.knownNot(fcNegZero); in computeKnownFPClass()
4877 Known.knownNot(fcSubnormal); in computeKnownFPClass()
4880 Known.signBitMustBeZero(); in computeKnownFPClass()
4922 Known.knownNot(fcNan); in computeKnownFPClass()
4930 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClass()
4939 Known.knownNot(fcNegZero); in computeKnownFPClass()
4949 Known.knownNot(fcNegZero); in computeKnownFPClass()
4958 Known.knownNot(fcNegative); in computeKnownFPClass()
4979 Known.knownNot(fcNan); in computeKnownFPClass()
4991 Known.knownNot(fcNan); in computeKnownFPClass()
5001 Known.KnownFPClasses = fcNan | fcPosNormal; in computeKnownFPClass()
5004 Known.KnownFPClasses = fcNan | fcZero; in computeKnownFPClass()
5045 Known.knownNot(fcNan); in computeKnownFPClass()
5051 Known.knownNot(fcNegative); in computeKnownFPClass()
5057 Known.knownNot(fcNan); in computeKnownFPClass()
5062 Known.knownNot(KnownFPClass::OrderedLessThanZeroMask); in computeKnownFPClass()
5064 Known.knownNot(KnownFPClass::OrderedGreaterThanZeroMask); in computeKnownFPClass()
5068 Known.knownNot(fcNegative); in computeKnownFPClass()
5070 Known.knownNot(fcPositive); in computeKnownFPClass()
5078 Known, Depth + 1, Q); in computeKnownFPClass()
5087 if (Known.KnownFPClasses & fcPosSubnormal) in computeKnownFPClass()
5088 Known.KnownFPClasses |= fcPosNormal; in computeKnownFPClass()
5089 if (Known.KnownFPClasses & fcNegSubnormal) in computeKnownFPClass()
5090 Known.KnownFPClasses |= fcNegNormal; in computeKnownFPClass()
5091 Known.knownNot(fcSubnormal); in computeKnownFPClass()
5095 if (!Known.isKnownNeverNaN()) in computeKnownFPClass()
5096 Known.SignBit = std::nullopt; in computeKnownFPClass()
5100 computeKnownFPClassForFPTrunc(Op, DemandedElts, InterestedClasses, Known, in computeKnownFPClass()
5107 Known.knownNot(fcNan); in computeKnownFPClass()
5110 Known.knownNot(fcSubnormal); in computeKnownFPClass()
5113 Known.knownNot(fcNegZero); in computeKnownFPClass()
5115 Known.signBitMustBeZero(); in computeKnownFPClass()
5129 Known.knownNot(fcInf); in computeKnownFPClass()
5146 return computeKnownFPClass(Vec, DemandedVecElts, InterestedClasses, Known, in computeKnownFPClass()
5167 computeKnownFPClass(Elt, Known, InterestedClasses, Depth + 1, Q); in computeKnownFPClass()
5169 if (Known.isUnknown()) in computeKnownFPClass()
5172 Known.KnownFPClasses = fcNone; in computeKnownFPClass()
5182 Known |= Known2; in computeKnownFPClass()
5197 computeKnownFPClass(LHS, DemandedLHS, InterestedClasses, Known, in computeKnownFPClass()
5201 if (Known.isUnknown()) in computeKnownFPClass()
5204 Known.KnownFPClasses = fcNone; in computeKnownFPClass()
5212 Known |= Known2; in computeKnownFPClass()
5226 Known.knownNot(fcSubnormal); in computeKnownFPClass()
5235 Known.knownNot(fcNegative); in computeKnownFPClass()
5238 Known.knownNot(fcNegZero); in computeKnownFPClass()
5240 Known.knownNot(fcNegInf); in computeKnownFPClass()
5244 Known.knownNot(fcPositive); in computeKnownFPClass()
5247 Known.knownNot(fcPosZero); in computeKnownFPClass()
5249 Known.knownNot(fcPosInf); in computeKnownFPClass()
5252 Known.propagateNaN(KnownSrc); in computeKnownFPClass()
5261 computeKnownFPClass(Src, DemandedElts, InterestedClasses, Known, Depth + 1, in computeKnownFPClass()
5295 Known = KnownSrc; in computeKnownFPClass()
5298 Known |= KnownSrc; in computeKnownFPClass()
5301 if (Known.KnownFPClasses == fcAllFlags) in computeKnownFPClass()
5329 KnownFPClass Known; in computeKnownFPClass() local
5331 V, Known, InterestedClasses, Depth, in computeKnownFPClass()
5333 return Known; in computeKnownFPClass()
8197 KnownBits Known(CA->getBitWidth()); in isTruePredicate() local
8198 computeKnownBits(X, Known, DL, Depth + 1, /*AC*/ nullptr, in isTruePredicate()
8200 if (CA->isSubsetOf(Known.Zero) && CB->isSubsetOf(Known.Zero)) in isTruePredicate()