225 bool ConstantRange::contains(const ConstantRange &Other) const {  in contains()
226   if (isFullSet() || Other.isEmptySet()) return true;  in contains()
227   if (isEmptySet() || Other.isFullSet()) return false;  in contains()
230     if (Other.isWrappedSet())  in contains()
233     return Lower.ule(Other.getLower()) && Other.getUpper().ule(Upper);  in contains()
236   if (!Other.isWrappedSet())  in contains()
237     return Other.getUpper().ule(Upper) ||  in contains()
238            Lower.ule(Other.getLower());  in contains()
240   return Other.getUpper().ule(Upper) && Lower.ule(Other.getLower());  in contains()
537 ConstantRange::add(const ConstantRange &Other) const {  in add()
538   if (isEmptySet() || Other.isEmptySet())  in add()
540   if (isFullSet() || Other.isFullSet())  in add()
543   APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();  in add()
544   APInt NewLower = getLower() + Other.getLower();  in add()
545   APInt NewUpper = getUpper() + Other.getUpper() - 1;  in add()
558 ConstantRange::sub(const ConstantRange &Other) const {  in sub()
559   if (isEmptySet() || Other.isEmptySet())  in sub()
561   if (isFullSet() || Other.isFullSet())  in sub()
564   APInt Spread_X = getSetSize(), Spread_Y = Other.getSetSize();  in sub()
565   APInt NewLower = getLower() - Other.getUpper() + 1;  in sub()
566   APInt NewUpper = getUpper() - Other.getLower();  in sub()
579 ConstantRange::multiply(const ConstantRange &Other) const {  in multiply()
585   if (isEmptySet() || Other.isEmptySet())  in multiply()
590   APInt Other_min = Other.getUnsignedMin().zext(getBitWidth() * 2);  in multiply()
591   APInt Other_max = Other.getUnsignedMax().zext(getBitWidth() * 2);  in multiply()
599 ConstantRange::smax(const ConstantRange &Other) const {  in smax()
602   if (isEmptySet() || Other.isEmptySet())  in smax()
604   APInt NewL = APIntOps::smax(getSignedMin(), Other.getSignedMin());  in smax()
605   APInt NewU = APIntOps::smax(getSignedMax(), Other.getSignedMax()) + 1;  in smax()
612 ConstantRange::umax(const ConstantRange &Other) const {  in umax()
615   if (isEmptySet() || Other.isEmptySet())  in umax()
617   APInt NewL = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());  in umax()
618   APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1;  in umax()
654 ConstantRange::binaryAnd(const ConstantRange &Other) const {  in binaryAnd()
655   if (isEmptySet() || Other.isEmptySet())  in binaryAnd()
660   APInt umin = APIntOps::umin(Other.getUnsignedMax(), getUnsignedMax());  in binaryAnd()
667 ConstantRange::binaryOr(const ConstantRange &Other) const {  in binaryOr()
668   if (isEmptySet() || Other.isEmptySet())  in binaryOr()
673   APInt umax = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin());  in binaryOr()
680 ConstantRange::shl(const ConstantRange &Other) const {  in shl()
681   if (isEmptySet() || Other.isEmptySet())  in shl()
684   APInt min = getUnsignedMin().shl(Other.getUnsignedMin());  in shl()
685   APInt max = getUnsignedMax().shl(Other.getUnsignedMax());  in shl()
689   if (Zeros.ugt(Other.getUnsignedMax()))  in shl()
697 ConstantRange::lshr(const ConstantRange &Other) const {  in lshr()
698   if (isEmptySet() || Other.isEmptySet())  in lshr()
701   APInt max = getUnsignedMax().lshr(Other.getUnsignedMin());  in lshr()
702   APInt min = getUnsignedMin().lshr(Other.getUnsignedMax());  in lshr()