170                                           const ConstantRange &Other,  in makeGuaranteedNoWrapRegion()  argument
191   unsigned BitWidth = Other.getBitWidth();  in makeGuaranteedNoWrapRegion()
196   if (auto *C = Other.getSingleElement())  in makeGuaranteedNoWrapRegion()
206                                               -Other.getUnsignedMax()));  in makeGuaranteedNoWrapRegion()
209     APInt SignedMin = Other.getSignedMin();  in makeGuaranteedNoWrapRegion()
210     APInt SignedMax = Other.getSignedMax();  in makeGuaranteedNoWrapRegion()
332 bool ConstantRange::contains(const ConstantRange &Other) const {  in contains()
333   if (isFullSet() || Other.isEmptySet()) return true;  in contains()
334   if (isEmptySet() || Other.isFullSet()) return false;  in contains()
337     if (Other.isWrappedSet())  in contains()
340     return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper);  in contains()
343   if (!Other.isWrappedSet())  in contains()
344     return Other.getUpper().ule(Upper) ||  in contains()
345            Lower.ule(Other.getLower());  in contains()
347   return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower());  in contains()
649 ConstantRange::add(const ConstantRange &Other) const {  in add()
650   if (isEmptySet() || Other.isEmptySet())  in add()
652   if (isFullSet() || Other.isFullSet())  in add()
655   APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();  in add()
656   APInt NewLower = getLower() + Other.getLower();  in add()
657   APInt NewUpper = getUpper() + Other.getUpper() - 1;  in add()
670 ConstantRange::sub(const ConstantRange &Other) const {  in sub()
671   if (isEmptySet() || Other.isEmptySet())  in sub()
673   if (isFullSet() || Other.isFullSet())  in sub()
676   APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();  in sub()
677   APInt NewLower = getLower() - Other.getUpper() + 1;  in sub()
678   APInt NewUpper = getUpper() - Other.getLower();  in sub()
691 ConstantRange::multiply(const ConstantRange &Other) const {  in multiply()
697   if (isEmptySet() || Other.isEmptySet())  in multiply()
709   APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2);  in multiply()
710   APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2);  in multiply()
731   Other_min = Other.getSignedMin().sext(getBitWidth() * 2);  in multiply()
732   Other_max = Other.getSignedMax().sext(getBitWidth() * 2);  in multiply()
744 ConstantRange::smax(const ConstantRange &Other) const {  in smax()
747   if (isEmptySet() || Other.isEmptySet())  in smax()
749   APInt NewL = APIntOps::smax(getSignedMin(), Other.getSignedMin());  in smax()
750   APInt NewU = APIntOps::smax(getSignedMax(), Other.getSignedMax()) + 1;  in smax()
757 ConstantRange::umax(const ConstantRange &Other) const {  in umax()
760   if (isEmptySet() || Other.isEmptySet())  in umax()
762   APInt NewL = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());  in umax()
763   APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1;  in umax()
770 ConstantRange::smin(const ConstantRange &Other) const {  in smin()
773   if (isEmptySet() || Other.isEmptySet())  in smin()
775   APInt NewL = APIntOps::smin(getSignedMin(), Other.getSignedMin());  in smin()
776   APInt NewU = APIntOps::smin(getSignedMax(), Other.getSignedMax()) + 1;  in smin()
783 ConstantRange::umin(const ConstantRange &Other) const {  in umin()
786   if (isEmptySet() || Other.isEmptySet())  in umin()
788   APInt NewL = APIntOps::umin(getUnsignedMin(), Other.getUnsignedMin());  in umin()
789   APInt NewU = APIntOps::umin(getUnsignedMax(), Other.getUnsignedMax()) + 1;  in umin()
825 ConstantRange::binaryAnd(const ConstantRange &Other) const {  in binaryAnd()
826   if (isEmptySet() || Other.isEmptySet())  in binaryAnd()
831   APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax());  in binaryAnd()
838 ConstantRange::binaryOr(const ConstantRange &Other) const {  in binaryOr()
839   if (isEmptySet() || Other.isEmptySet())  in binaryOr()
844   APInt umax = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());  in binaryOr()
851 ConstantRange::shl(const ConstantRange &Other) const {  in shl()
852   if (isEmptySet() || Other.isEmptySet())  in shl()
855   APInt min = getUnsignedMin().shl(Other.getUnsignedMin());  in shl()
856   APInt max = getUnsignedMax().shl(Other.getUnsignedMax());  in shl()
860   if (Zeros.ugt(Other.getUnsignedMax()))  in shl()
868 ConstantRange::lshr(const ConstantRange &Other) const {  in lshr()
869   if (isEmptySet() || Other.isEmptySet())  in lshr()
872   APInt max = getUnsignedMax().lshr(Other.getUnsignedMin());  in lshr()
873   APInt min = getUnsignedMin().lshr(Other.getUnsignedMax());  in lshr()