88   if (v.is_known && v.a_constant == 1 && v.b_constant <= 0) {  in SimplifyMin()
92       return InductionVarRange::Value(v.b_constant);  in SimplifyMin()
107       return InductionVarRange::Value(v.instruction->InputAt(0), 1, v.b_constant);  in SimplifyMax()
112       return InductionVarRange::Value(suitable, 1, v.b_constant);  in SimplifyMax()
134       return (IsConstantValue(v) && min <= v.b_constant && v.b_constant <= max)  in CorrectForType()
429         IsConstantValue(max_val) && min_val.b_constant <= max_val.b_constant) {  in IsConstant()
430       if ((request == kExact && min_val.b_constant == max_val.b_constant) || request == kAtMost) {  in IsConstant()
431         *value = max_val.b_constant;  in IsConstant()
434         *value = min_val.b_constant;  in IsConstant()
777   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetMul()
778     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
780     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
785   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetMul()
786     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
788     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
811   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetDiv()
812     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
814     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
819   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetDiv()
820     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
822     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
886   if (v1.is_known && v2.is_known && IsSafeAdd(v1.b_constant, v2.b_constant)) {  in AddValue()
887     int32_t b = v1.b_constant + v2.b_constant;  in AddValue()
900   if (v1.is_known && v2.is_known && IsSafeSub(v1.b_constant, v2.b_constant)) {  in SubValue()
901     int32_t b = v1.b_constant - v2.b_constant;  in SubValue()
916       if (IsSafeMul(v1.b_constant, v2.a_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
917         return Value(v2.instruction, v1.b_constant * v2.a_constant, v1.b_constant * v2.b_constant);  in MulValue()
920       if (IsSafeMul(v1.a_constant, v2.b_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
921         return Value(v1.instruction, v1.a_constant * v2.b_constant, v1.b_constant * v2.b_constant);  in MulValue()
930     if (IsSafeDiv(v1.b_constant, v2.b_constant)) {  in DivValue()
931       return Value(v1.b_constant / v2.b_constant);  in DivValue()
941                    is_min ? std::min(v1.b_constant, v2.b_constant)  in MergeVal()
942                           : std::max(v1.b_constant, v2.b_constant));  in MergeVal()
1347             *result = graph->GetConstant(type, extreme.b_constant);  in GenerateCode()