Lines Matching refs:KnownZero
55 APInt KnownZero(BitWidth, 0), KnownOne(BitWidth, 0); in SimplifyDemandedInstructionBits() local
59 KnownZero, KnownOne, 0); in SimplifyDemandedInstructionBits()
70 APInt &KnownZero, APInt &KnownOne, in SimplifyDemandedBits() argument
73 KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
102 APInt &KnownZero, APInt &KnownOne, in SimplifyDemandedUseBits() argument
113 KnownZero.getBitWidth() == BitWidth && in SimplifyDemandedUseBits()
120 KnownZero = ~KnownOne & DemandedMask; in SimplifyDemandedUseBits()
126 KnownZero = DemandedMask; in SimplifyDemandedUseBits()
130 KnownZero.clearAllBits(); in SimplifyDemandedUseBits()
146 ComputeMaskedBits(V, KnownZero, KnownOne, Depth); in SimplifyDemandedUseBits()
219 ComputeMaskedBits(I, KnownZero, KnownOne, Depth); in SimplifyDemandedUseBits()
232 ComputeMaskedBits(I, KnownZero, KnownOne, Depth); in SimplifyDemandedUseBits()
264 KnownZero = RHSKnownZero | LHSKnownZero; in SimplifyDemandedUseBits()
299 KnownZero = RHSKnownZero & LHSKnownZero; in SimplifyDemandedUseBits()
373 KnownZero= (RHSKnownZero & LHSKnownZero) | (RHSKnownOne & LHSKnownOne); in SimplifyDemandedUseBits()
394 KnownZero = RHSKnownZero & LHSKnownZero; in SimplifyDemandedUseBits()
399 KnownZero = KnownZero.zext(truncBf); in SimplifyDemandedUseBits()
402 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
405 KnownZero = KnownZero.trunc(BitWidth); in SimplifyDemandedUseBits()
407 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
428 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
430 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
437 KnownZero = KnownZero.trunc(SrcBitWidth); in SimplifyDemandedUseBits()
440 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
443 KnownZero = KnownZero.zext(BitWidth); in SimplifyDemandedUseBits()
445 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
447 KnownZero |= APInt::getHighBitsSet(BitWidth, BitWidth - SrcBitWidth); in SimplifyDemandedUseBits()
464 KnownZero = KnownZero.trunc(SrcBitWidth); in SimplifyDemandedUseBits()
467 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
470 KnownZero = KnownZero.zext(BitWidth); in SimplifyDemandedUseBits()
472 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
479 if (KnownZero[SrcBitWidth-1] || (NewBits & ~DemandedMask) == NewBits) { in SimplifyDemandedUseBits()
549 KnownZero = LHSKnownZero & ~RHSVal & ~CarryBits; in SimplifyDemandedUseBits()
583 ComputeMaskedBits(V, KnownZero, KnownOne, Depth); in SimplifyDemandedUseBits()
589 if ((I0 + 1).isPowerOf2() && (I0 | KnownZero).isAllOnesValue()) { in SimplifyDemandedUseBits()
602 KnownZero, KnownOne); in SimplifyDemandedUseBits()
619 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
621 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
622 KnownZero <<= ShiftAmt; in SimplifyDemandedUseBits()
626 KnownZero |= APInt::getLowBitsSet(BitWidth, ShiftAmt); in SimplifyDemandedUseBits()
643 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
645 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
646 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt); in SimplifyDemandedUseBits()
651 KnownZero |= HighBits; // high bits known zero. in SimplifyDemandedUseBits()
688 KnownZero, KnownOne, Depth+1)) in SimplifyDemandedUseBits()
690 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
693 KnownZero = APIntOps::lshr(KnownZero, ShiftAmt); in SimplifyDemandedUseBits()
703 if (BitWidth <= ShiftAmt || KnownZero[BitWidth-ShiftAmt-1] || in SimplifyDemandedUseBits()
733 KnownZero = LHSKnownZero & LowBits; in SimplifyDemandedUseBits()
739 KnownZero |= ~LowBits; in SimplifyDemandedUseBits()
746 assert(!(KnownZero & KnownOne) && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
752 if (DemandedMask.isNegative() && KnownZero.isNonNegative()) { in SimplifyDemandedUseBits()
757 KnownZero |= LHSKnownZero; in SimplifyDemandedUseBits()
772 KnownZero = APInt::getHighBitsSet(BitWidth, Leaders) & DemandedMask; in SimplifyDemandedUseBits()
813 KnownZero = APInt::getHighBitsSet(64, 32); in SimplifyDemandedUseBits()
817 ComputeMaskedBits(V, KnownZero, KnownOne, Depth); in SimplifyDemandedUseBits()
823 if ((DemandedMask & (KnownZero|KnownOne)) == DemandedMask) in SimplifyDemandedUseBits()
846 Instruction *Shl, APInt DemandedMask, APInt &KnownZero, APInt &KnownOne) { in SimplifyShrShlDemandedBits() argument
852 KnownZero = APInt::getBitsSet(KnownZero.getBitWidth(), 0, ShlAmt-1); in SimplifyShrShlDemandedBits()
853 KnownZero &= DemandedMask; in SimplifyShrShlDemandedBits()