Lines Matching refs:KnownZero
430 APInt &KnownZero, in SimplifyDemandedBits() argument
442 KnownZero = KnownOne = APInt(BitWidth, 0); in SimplifyDemandedBits()
449 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
469 KnownZero = ~KnownOne; in SimplifyDemandedBits()
489 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero, in SimplifyDemandedBits()
492 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
493 if (SimplifyDemandedBits(Op.getOperand(0), ~KnownZero & NewMask, in SimplifyDemandedBits()
502 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask)) in SimplifyDemandedBits()
505 if ((NewMask & (KnownZero|KnownZero2)) == NewMask) in SimplifyDemandedBits()
517 KnownZero |= KnownZero2; in SimplifyDemandedBits()
520 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero, in SimplifyDemandedBits()
523 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
531 if ((NewMask & ~KnownOne2 & KnownZero) == (~KnownOne2 & NewMask)) in SimplifyDemandedBits()
537 if ((NewMask & ~KnownZero & KnownOne2) == (~KnownZero & NewMask)) in SimplifyDemandedBits()
549 KnownZero &= KnownZero2; in SimplifyDemandedBits()
554 if (SimplifyDemandedBits(Op.getOperand(1), NewMask, KnownZero, in SimplifyDemandedBits()
557 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
565 if ((KnownZero & NewMask) == NewMask) in SimplifyDemandedBits()
576 if ((NewMask & ~KnownZero & ~KnownZero2) == 0) in SimplifyDemandedBits()
582 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2); in SimplifyDemandedBits()
584 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2); in SimplifyDemandedBits()
591 if ((NewMask & (KnownZero|KnownOne)) == NewMask) { // all known on one side in SimplifyDemandedBits()
620 KnownZero = KnownZeroOut; in SimplifyDemandedBits()
624 if (SimplifyDemandedBits(Op.getOperand(2), NewMask, KnownZero, in SimplifyDemandedBits()
630 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
639 KnownZero &= KnownZero2; in SimplifyDemandedBits()
642 if (SimplifyDemandedBits(Op.getOperand(3), NewMask, KnownZero, in SimplifyDemandedBits()
648 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
657 KnownZero &= KnownZero2; in SimplifyDemandedBits()
691 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
740 KnownZero <<= SA->getZExtValue(); in SimplifyDemandedBits()
743 KnownZero |= APInt::getLowBitsSet(BitWidth, SA->getZExtValue()); in SimplifyDemandedBits()
787 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
789 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
790 KnownZero = KnownZero.lshr(ShAmt); in SimplifyDemandedBits()
794 KnownZero |= HighBits; // High bits known zero. in SimplifyDemandedBits()
829 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
831 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
832 KnownZero = KnownZero.lshr(ShAmt); in SimplifyDemandedBits()
840 if (KnownZero.intersects(SignBit) || (HighBits & ~NewMask) == HighBits) { in SimplifyDemandedBits()
913 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
915 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
921 if (KnownZero.intersects(InSignBit)) in SimplifyDemandedBits()
927 KnownZero &= ~NewBits; in SimplifyDemandedBits()
929 KnownZero &= ~NewBits; in SimplifyDemandedBits()
952 KnownZero = KnownZeroLo.zext(BitWidth) | in SimplifyDemandedBits()
973 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
975 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
976 KnownZero = KnownZero.zext(BitWidth); in SimplifyDemandedBits()
978 KnownZero |= NewBits; in SimplifyDemandedBits()
1000 if (SimplifyDemandedBits(Op.getOperand(0), InDemandedBits, KnownZero, in SimplifyDemandedBits()
1003 KnownZero = KnownZero.zext(BitWidth); in SimplifyDemandedBits()
1007 if (KnownZero.intersects(InSignBit)) in SimplifyDemandedBits()
1015 assert((KnownZero & NewBits) == 0); in SimplifyDemandedBits()
1018 assert((KnownZero & NewBits) == 0); in SimplifyDemandedBits()
1027 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1029 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1030 KnownZero = KnownZero.zext(BitWidth); in SimplifyDemandedBits()
1041 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1043 KnownZero = KnownZero.trunc(BitWidth); in SimplifyDemandedBits()
1089 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1099 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1101 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1103 KnownZero |= ~InMask & NewMask; in SimplifyDemandedBits()
1154 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
1160 if ((NewMask & (KnownZero|KnownOne)) == NewMask) { in SimplifyDemandedBits()
1180 APInt &KnownZero, in computeKnownBitsForTargetNode() argument
1190 KnownZero = KnownOne = APInt(KnownOne.getBitWidth(), 0); in computeKnownBitsForTargetNode()