Lines Matching refs:LHSKnown
148 KnownBits LHSKnown(BitWidth), RHSKnown(BitWidth); in SimplifyDemandedUseBits() local
165 SimplifyDemandedBits(I, 0, DemandedFromOps, LHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
187 SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.Zero, LHSKnown, in SimplifyDemandedUseBits()
191 assert(!LHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
193 Known = LHSKnown & RHSKnown; in SimplifyDemandedUseBits()
202 if (DemandedMask.isSubsetOf(LHSKnown.Zero | RHSKnown.One)) in SimplifyDemandedUseBits()
204 if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.One)) in SimplifyDemandedUseBits()
208 if (ShrinkDemandedConstant(I, 1, DemandedMask & ~LHSKnown.Zero)) in SimplifyDemandedUseBits()
216 SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.One, LHSKnown, in SimplifyDemandedUseBits()
220 assert(!LHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
222 Known = LHSKnown | RHSKnown; in SimplifyDemandedUseBits()
231 if (DemandedMask.isSubsetOf(LHSKnown.One | RHSKnown.Zero)) in SimplifyDemandedUseBits()
233 if (DemandedMask.isSubsetOf(RHSKnown.One | LHSKnown.Zero)) in SimplifyDemandedUseBits()
244 SimplifyDemandedBits(I, 0, DemandedMask, LHSKnown, Depth + 1)) in SimplifyDemandedUseBits()
258 assert(!LHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
260 Known = LHSKnown ^ RHSKnown; in SimplifyDemandedUseBits()
271 if (DemandedMask.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
277 if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.Zero)) { in SimplifyDemandedUseBits()
289 RHSKnown.One.isSubsetOf(LHSKnown.One)) { in SimplifyDemandedUseBits()
320 (LHSKnown.One & RHSKnown.One & DemandedMask) != 0) { in SimplifyDemandedUseBits()
321 APInt NewMask = ~(LHSKnown.One & RHSKnown.One & DemandedMask); in SimplifyDemandedUseBits()
336 SimplifyDemandedBits(I, 1, DemandedMask, LHSKnown, Depth + 1)) in SimplifyDemandedUseBits()
339 assert(!LHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
379 Known = KnownBits::commonBits(LHSKnown, RHSKnown); in SimplifyDemandedUseBits()
514 DemandedFromOps.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
520 NSW, LHSKnown, RHSKnown); in SimplifyDemandedUseBits()
758 if (SimplifyDemandedBits(I, 0, DemandedMaskIn, LHSKnown, Depth + 1)) in SimplifyDemandedUseBits()
763 BitWidth, LHSKnown.Zero.countLeadingOnes() + RHSTrailingZeros)); in SimplifyDemandedUseBits()
783 if (SimplifyDemandedBits(I, 0, Mask2, LHSKnown, Depth + 1)) in SimplifyDemandedUseBits()
787 Known.Zero = LHSKnown.Zero & LowBits; in SimplifyDemandedUseBits()
788 Known.One = LHSKnown.One & LowBits; in SimplifyDemandedUseBits()
792 if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
797 if (LHSKnown.isNegative() && LowBits.intersects(LHSKnown.One)) in SimplifyDemandedUseBits()
808 computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, CxtI); in SimplifyDemandedUseBits()
810 if (LHSKnown.isNonNegative()) in SimplifyDemandedUseBits()
889 if (SimplifyDemandedBits(I, 0, DemandedMaskLHS, LHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
893 Known.Zero = LHSKnown.Zero.shl(ShiftAmt) | in SimplifyDemandedUseBits()
895 Known.One = LHSKnown.One.shl(ShiftAmt) | in SimplifyDemandedUseBits()
956 KnownBits LHSKnown(BitWidth); in SimplifyMultipleUseDemandedBits() local
967 computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, in SimplifyMultipleUseDemandedBits()
970 Known = LHSKnown & RHSKnown; in SimplifyMultipleUseDemandedBits()
980 if (DemandedMask.isSubsetOf(LHSKnown.Zero | RHSKnown.One)) in SimplifyMultipleUseDemandedBits()
982 if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.One)) in SimplifyMultipleUseDemandedBits()
993 computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, in SimplifyMultipleUseDemandedBits()
996 Known = LHSKnown | RHSKnown; in SimplifyMultipleUseDemandedBits()
1006 if (DemandedMask.isSubsetOf(LHSKnown.One | RHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
1008 if (DemandedMask.isSubsetOf(RHSKnown.One | LHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()
1018 computeKnownBits(I->getOperand(0), LHSKnown, Depth + 1, in SimplifyMultipleUseDemandedBits()
1021 Known = LHSKnown ^ RHSKnown; in SimplifyMultipleUseDemandedBits()
1032 if (DemandedMask.isSubsetOf(LHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()