89   if (v.is_known && v.a_constant == 1 && v.b_constant <= 0) {  in SimplifyMin()
93       return InductionVarRange::Value(v.b_constant);  in SimplifyMin()
108       return InductionVarRange::Value(v.instruction->InputAt(0), 1, v.b_constant);  in SimplifyMax()
113       return InductionVarRange::Value(suitable, 1, v.b_constant);  in SimplifyMax()
135       return (IsConstantValue(v) && min <= v.b_constant && v.b_constant <= max)  in CorrectForType()
493         IsConstantValue(max_val) && min_val.b_constant <= max_val.b_constant) {  in IsConstant()
494       if ((request == kExact && min_val.b_constant == max_val.b_constant) || request == kAtMost) {  in IsConstant()
495         *value = max_val.b_constant;  in IsConstant()
498         *value = min_val.b_constant;  in IsConstant()
864   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetMul()
865     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
867     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
872   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetMul()
873     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
875     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
899   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetDiv()
900     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
902     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
907   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetDiv()
908     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
910     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
983   if (v1.is_known && v2.is_known && IsSafeAdd(v1.b_constant, v2.b_constant)) {  in AddValue()
984     int32_t b = v1.b_constant + v2.b_constant;  in AddValue()
997   if (v1.is_known && v2.is_known && IsSafeSub(v1.b_constant, v2.b_constant)) {  in SubValue()
998     int32_t b = v1.b_constant - v2.b_constant;  in SubValue()
1013       if (IsSafeMul(v1.b_constant, v2.a_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
1014         return Value(v2.instruction, v1.b_constant * v2.a_constant, v1.b_constant * v2.b_constant);  in MulValue()
1017       if (IsSafeMul(v1.a_constant, v2.b_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
1018         return Value(v1.instruction, v1.a_constant * v2.b_constant, v1.b_constant * v2.b_constant);  in MulValue()
1027     if (IsSafeDiv(v1.b_constant, v2.b_constant)) {  in DivValue()
1028       return Value(v1.b_constant / v2.b_constant);  in DivValue()
1038                    is_min ? std::min(v1.b_constant, v2.b_constant)  in MergeVal()
1039                           : std::max(v1.b_constant, v2.b_constant));  in MergeVal()
1665             *result = graph->GetConstant(type, extreme.b_constant);  in GenerateCode()
1696         *result = graph->GetConstant(info->type, add_val.b_constant);  in TryGenerateAddWithoutOverflow()
1744         *result = graph->GetConstant(info->type, sub_val.b_constant);  in TryGenerateSubWithoutOverflow()