Lines Matching refs:RHSKnown
148 KnownBits LHSKnown(BitWidth), RHSKnown(BitWidth); in SimplifyDemandedUseBits() local
167 SimplifyDemandedBits(I, 1, DemandedFromOps, RHSKnown, Depth + 1)) { in SimplifyDemandedUseBits()
186 if (SimplifyDemandedBits(I, 1, DemandedMask, RHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
187 SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.Zero, LHSKnown, in SimplifyDemandedUseBits()
190 assert(!RHSKnown.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()
215 if (SimplifyDemandedBits(I, 1, DemandedMask, RHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
216 SimplifyDemandedBits(I, 0, DemandedMask & ~RHSKnown.One, LHSKnown, in SimplifyDemandedUseBits()
219 assert(!RHSKnown.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()
243 if (SimplifyDemandedBits(I, 1, DemandedMask, RHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
257 assert(!RHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
260 Known = LHSKnown ^ RHSKnown; in SimplifyDemandedUseBits()
269 if (DemandedMask.isSubsetOf(RHSKnown.Zero)) in SimplifyDemandedUseBits()
277 if (DemandedMask.isSubsetOf(RHSKnown.Zero | LHSKnown.Zero)) { in SimplifyDemandedUseBits()
288 if (DemandedMask.isSubsetOf(RHSKnown.Zero|RHSKnown.One) && in SimplifyDemandedUseBits()
289 RHSKnown.One.isSubsetOf(LHSKnown.One)) { in SimplifyDemandedUseBits()
291 ~RHSKnown.One & DemandedMask); in SimplifyDemandedUseBits()
320 (LHSKnown.One & RHSKnown.One & DemandedMask) != 0) { in SimplifyDemandedUseBits()
321 APInt NewMask = ~(LHSKnown.One & RHSKnown.One & DemandedMask); in SimplifyDemandedUseBits()
335 if (SimplifyDemandedBits(I, 2, DemandedMask, RHSKnown, Depth + 1) || in SimplifyDemandedUseBits()
338 assert(!RHSKnown.hasConflict() && "Bits known to be one AND zero?"); in SimplifyDemandedUseBits()
379 Known = KnownBits::commonBits(LHSKnown, RHSKnown); in SimplifyDemandedUseBits()
509 if (DemandedFromOps.isSubsetOf(RHSKnown.Zero)) in SimplifyDemandedUseBits()
520 NSW, LHSKnown, RHSKnown); in SimplifyDemandedUseBits()
890 SimplifyDemandedBits(I, 1, DemandedMaskRHS, RHSKnown, Depth + 1)) in SimplifyDemandedUseBits()
894 RHSKnown.Zero.lshr(BitWidth - ShiftAmt); in SimplifyDemandedUseBits()
896 RHSKnown.One.lshr(BitWidth - ShiftAmt); in SimplifyDemandedUseBits()
957 KnownBits RHSKnown(BitWidth); in SimplifyMultipleUseDemandedBits() local
966 computeKnownBits(I->getOperand(1), RHSKnown, Depth + 1, CxtI); 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()
992 computeKnownBits(I->getOperand(1), RHSKnown, Depth + 1, CxtI); 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()
1017 computeKnownBits(I->getOperand(1), RHSKnown, Depth + 1, CxtI); in SimplifyMultipleUseDemandedBits()
1021 Known = LHSKnown ^ RHSKnown; in SimplifyMultipleUseDemandedBits()
1030 if (DemandedMask.isSubsetOf(RHSKnown.Zero)) in SimplifyMultipleUseDemandedBits()