Lines Matching refs:KnownOne
390 APInt &KnownOne, in SimplifyDemandedBits() argument
401 KnownZero = KnownOne = APInt(BitWidth, 0); in SimplifyDemandedBits()
408 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
427 KnownOne = cast<ConstantSDNode>(Op)->getAPIntValue(); in SimplifyDemandedBits()
428 KnownZero = ~KnownOne; in SimplifyDemandedBits()
449 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
451 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
459 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask)) in SimplifyDemandedBits()
474 KnownOne &= KnownOne2; in SimplifyDemandedBits()
480 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
482 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
483 if (SimplifyDemandedBits(Op.getOperand(0), ~KnownOne & NewMask, in SimplifyDemandedBits()
492 if ((NewMask & ~KnownOne & KnownZero2) == (~KnownOne & NewMask)) in SimplifyDemandedBits()
498 if ((NewMask & ~KnownZero2 & KnownOne) == (~KnownZero2 & NewMask)) in SimplifyDemandedBits()
510 KnownOne |= KnownOne2; in SimplifyDemandedBits()
514 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
516 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
541 KnownZeroOut = (KnownZero & KnownZero2) | (KnownOne & KnownOne2); in SimplifyDemandedBits()
543 KnownOneOut = (KnownZero & KnownOne2) | (KnownOne & KnownZero2); in SimplifyDemandedBits()
550 if ((NewMask & (KnownZero|KnownOne)) == NewMask) { // all known on one side in SimplifyDemandedBits()
551 if (KnownOne == KnownOne2) { // set bits are the same on both sides in SimplifyDemandedBits()
553 SDValue ANDC = TLO.DAG.getConstant(~KnownOne & NewMask, dl, VT); in SimplifyDemandedBits()
580 KnownOne = KnownOneOut; in SimplifyDemandedBits()
584 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
589 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
597 KnownOne &= KnownOne2; in SimplifyDemandedBits()
602 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
607 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
615 KnownOne &= KnownOne2; in SimplifyDemandedBits()
650 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
700 KnownOne <<= SA->getZExtValue(); in SimplifyDemandedBits()
746 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
748 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
750 KnownOne = KnownOne.lshr(ShAmt); in SimplifyDemandedBits()
788 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
790 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
792 KnownOne = KnownOne.lshr(ShAmt); in SimplifyDemandedBits()
817 if (KnownOne.intersects(SignBit)) in SimplifyDemandedBits()
819 KnownOne |= HighBits; in SimplifyDemandedBits()
872 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
874 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
884 if (KnownOne.intersects(InSignBit)) { // Input sign bit known set in SimplifyDemandedBits()
885 KnownOne |= NewBits; in SimplifyDemandedBits()
889 KnownOne &= ~NewBits; in SimplifyDemandedBits()
914 KnownOne = KnownOneLo.zext(BitWidth) | in SimplifyDemandedBits()
932 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
934 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
936 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
960 KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
963 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
972 if (KnownOne.intersects(InSignBit)) { in SimplifyDemandedBits()
973 KnownOne |= NewBits; in SimplifyDemandedBits()
976 assert((KnownOne & NewBits) == 0); in SimplifyDemandedBits()
986 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
988 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
990 KnownOne = KnownOne.zext(BitWidth); in SimplifyDemandedBits()
1000 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1003 KnownOne = KnownOne.trunc(BitWidth); in SimplifyDemandedBits()
1048 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1058 KnownZero, KnownOne, TLO, Depth+1)) in SimplifyDemandedBits()
1060 assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
1113 TLO.DAG.computeKnownBits(Op, KnownZero, KnownOne, Depth); in SimplifyDemandedBits()
1119 if ((NewMask & (KnownZero|KnownOne)) == NewMask) { in SimplifyDemandedBits()
1130 TLO.DAG.getConstant(KnownOne, dl, Op.getValueType())); in SimplifyDemandedBits()
1141 APInt &KnownOne, in computeKnownBitsForTargetNode() argument
1150 KnownZero = KnownOne = APInt(KnownOne.getBitWidth(), 0); in computeKnownBitsForTargetNode()
1195 APInt KnownZero, KnownOne; in ValueHasExactlyOneBitSet() local
1196 DAG.computeKnownBits(Val, KnownZero, KnownOne); in ValueHasExactlyOneBitSet()
1198 (KnownOne.countPopulation() == 1); in ValueHasExactlyOneBitSet()