Lines Matching refs:KnownOne
431 APInt &KnownOne, in SimplifyDemandedBits() argument
442 KnownZero = KnownOne = APInt(BitWidth, 0); in SimplifyDemandedBits()
449 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
468 KnownOne = cast<ConstantSDNode>(Op)->getAPIntValue(); in SimplifyDemandedBits()
469 KnownZero = ~KnownOne; in SimplifyDemandedBits()
490 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
492 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
500 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask)) in SimplifyDemandedBits()
515 KnownOne &= KnownOne2; in SimplifyDemandedBits()
521 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
523 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
524 if (SimplifyDemandedBits(Op.getOperand(0), ~KnownOne & NewMask, in SimplifyDemandedBits()
533 if ((NewMask & ~KnownOne & KnownZero2) == (~KnownOne & NewMask)) in SimplifyDemandedBits()
539 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask)) in SimplifyDemandedBits()
551 KnownOne |= KnownOne2; in SimplifyDemandedBits()
555 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
557 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); 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()
592 if (KnownOne == KnownOne2) { // set bits are the same on both sides in SimplifyDemandedBits()
594 SDValue ANDC = TLO.DAG.getConstant(~KnownOne & NewMask, dl, VT); in SimplifyDemandedBits()
621 KnownOne = KnownOneOut; in SimplifyDemandedBits()
625 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
630 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
638 KnownOne &= KnownOne2; in SimplifyDemandedBits()
643 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
648 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
656 KnownOne &= KnownOne2; in SimplifyDemandedBits()
691 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
741 KnownOne <<= 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()
791 KnownOne = KnownOne.lshr(ShAmt); in SimplifyDemandedBits()
829 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
831 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
833 KnownOne = KnownOne.lshr(ShAmt); in SimplifyDemandedBits()
858 if (KnownOne.intersects(SignBit)) in SimplifyDemandedBits()
860 KnownOne |= 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()
925 if (KnownOne.intersects(InSignBit)) { // Input sign bit known set in SimplifyDemandedBits()
926 KnownOne |= NewBits; in SimplifyDemandedBits()
930 KnownOne &= ~NewBits; in SimplifyDemandedBits()
955 KnownOne = KnownOneLo.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()
977 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
1001 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1004 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
1013 if (KnownOne.intersects(InSignBit)) { in SimplifyDemandedBits()
1014 KnownOne |= NewBits; in SimplifyDemandedBits()
1017 assert((KnownOne & 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()
1031 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
1041 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1044 KnownOne = KnownOne.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()
1154 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
1160 if ((NewMask & (KnownZero|KnownOne)) == NewMask) { in SimplifyDemandedBits()
1171 TLO.DAG.getConstant(KnownOne, dl, Op.getValueType())); in SimplifyDemandedBits()
1181 APInt &KnownOne, in computeKnownBitsForTargetNode() argument
1190 KnownZero = KnownOne = APInt(KnownOne.getBitWidth(), 0); in computeKnownBitsForTargetNode()