Lines Matching refs:Known2
519 KnownBits Known2, KnownOut; in SimplifyDemandedBits() local
530 Known2.One = cast<ConstantSDNode>(SrcOp)->getAPIntValue(); in SimplifyDemandedBits()
531 Known2.Zero = ~Known2.One; in SimplifyDemandedBits()
534 if (Known2.One.getBitWidth() != BitWidth) { in SimplifyDemandedBits()
535 assert(Known2.getBitWidth() > BitWidth && in SimplifyDemandedBits()
537 Known2 = Known2.trunc(BitWidth); in SimplifyDemandedBits()
542 Known.One &= Known2.One; in SimplifyDemandedBits()
543 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
556 Known2, TLO, Depth + 1)) in SimplifyDemandedBits()
560 Known.One &= Known2.One; in SimplifyDemandedBits()
561 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
595 Known2, TLO, Depth + 1)) in SimplifyDemandedBits()
597 Known.One &= Known2.One; in SimplifyDemandedBits()
598 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
602 Known2, TLO, Depth + 1)) in SimplifyDemandedBits()
604 Known.One &= Known2.One; in SimplifyDemandedBits()
605 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
646 if (SimplifyDemandedBits(Op0, ~Known.Zero & DemandedBits, DemandedElts, Known2, TLO, in SimplifyDemandedBits()
649 assert(!Known2.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
653 if (DemandedBits.isSubsetOf(Known2.Zero | Known.One)) in SimplifyDemandedBits()
655 if (DemandedBits.isSubsetOf(Known.Zero | Known2.One)) in SimplifyDemandedBits()
658 if (DemandedBits.isSubsetOf(Known.Zero | Known2.Zero)) in SimplifyDemandedBits()
661 if (ShrinkDemandedConstant(Op, ~Known2.Zero & DemandedBits, TLO)) in SimplifyDemandedBits()
668 Known.One &= Known2.One; in SimplifyDemandedBits()
670 Known.Zero |= Known2.Zero; in SimplifyDemandedBits()
680 if (SimplifyDemandedBits(Op0, ~Known.One & DemandedBits, DemandedElts, Known2, TLO, in SimplifyDemandedBits()
683 assert(!Known2.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
687 if (DemandedBits.isSubsetOf(Known2.One | Known.Zero)) in SimplifyDemandedBits()
689 if (DemandedBits.isSubsetOf(Known.One | Known2.Zero)) in SimplifyDemandedBits()
699 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
701 Known.One |= Known2.One; in SimplifyDemandedBits()
711 if (SimplifyDemandedBits(Op0, DemandedBits, DemandedElts, Known2, TLO, Depth + 1)) in SimplifyDemandedBits()
713 assert(!Known2.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
719 if (DemandedBits.isSubsetOf(Known2.Zero)) in SimplifyDemandedBits()
728 if (DemandedBits.isSubsetOf(Known.Zero | Known2.Zero)) in SimplifyDemandedBits()
732 KnownOut.Zero = (Known.Zero & Known2.Zero) | (Known.One & Known2.One); in SimplifyDemandedBits()
734 KnownOut.One = (Known.Zero & Known2.One) | (Known.One & Known2.Zero); in SimplifyDemandedBits()
742 if (C->getAPIntValue() == Known2.One) { in SimplifyDemandedBits()
770 if (SimplifyDemandedBits(Op.getOperand(1), DemandedBits, Known2, TLO, in SimplifyDemandedBits()
774 assert(!Known2.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
781 Known.One &= Known2.One; in SimplifyDemandedBits()
782 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
788 if (SimplifyDemandedBits(Op.getOperand(2), DemandedBits, Known2, TLO, in SimplifyDemandedBits()
792 assert(!Known2.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedBits()
799 Known.One &= Known2.One; in SimplifyDemandedBits()
800 Known.Zero &= Known2.Zero; in SimplifyDemandedBits()
1263 if (SimplifyDemandedBits(Src, DemandedSrcBits, DemandedSrcElts, Known2, TLO, in SimplifyDemandedBits()
1267 Known = Known2; in SimplifyDemandedBits()
1346 if (SimplifyDemandedBits(Op0, LoMask, DemandedElts, Known2, TLO, Depth + 1) || in SimplifyDemandedBits()
1347 SimplifyDemandedBits(Op1, LoMask, DemandedElts, Known2, TLO, Depth + 1) || in SimplifyDemandedBits()