110   if (v.is_known && v.a_constant == 1 && v.b_constant <= 0) {  in SimplifyMin()
114       return InductionVarRange::Value(v.b_constant);  in SimplifyMin()
129       return InductionVarRange::Value(v.instruction->InputAt(0), 1, v.b_constant);  in SimplifyMax()
134       return InductionVarRange::Value(suitable, 1, v.b_constant);  in SimplifyMax()
156       return (IsConstantValue(v) && min <= v.b_constant && v.b_constant <= max)  in CorrectForType()
451         IsConstantValue(max_val) && min_val.b_constant <= max_val.b_constant) {  in IsConstant()
452       if ((request == kExact && min_val.b_constant == max_val.b_constant) || request == kAtMost) {  in IsConstant()
453         *value = max_val.b_constant;  in IsConstant()
456         *value = min_val.b_constant;  in IsConstant()
799   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetMul()
800     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
802     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
807   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetMul()
808     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
810     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
833   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetDiv()
834     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
836     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
841   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetDiv()
842     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
844     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
908   if (v1.is_known && v2.is_known && IsSafeAdd(v1.b_constant, v2.b_constant)) {  in AddValue()
909     int32_t b = v1.b_constant + v2.b_constant;  in AddValue()
922   if (v1.is_known && v2.is_known && IsSafeSub(v1.b_constant, v2.b_constant)) {  in SubValue()
923     int32_t b = v1.b_constant - v2.b_constant;  in SubValue()
938       if (IsSafeMul(v1.b_constant, v2.a_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
939         return Value(v2.instruction, v1.b_constant * v2.a_constant, v1.b_constant * v2.b_constant);  in MulValue()
942       if (IsSafeMul(v1.a_constant, v2.b_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
943         return Value(v1.instruction, v1.a_constant * v2.b_constant, v1.b_constant * v2.b_constant);  in MulValue()
952     if (IsSafeDiv(v1.b_constant, v2.b_constant)) {  in DivValue()
953       return Value(v1.b_constant / v2.b_constant);  in DivValue()
963                    is_min ? std::min(v1.b_constant, v2.b_constant)  in MergeVal()
964                           : std::max(v1.b_constant, v2.b_constant));  in MergeVal()
1369             *result = graph->GetConstant(type, extreme.b_constant);  in GenerateCode()