71     return InductionVarRange::Value(v.instruction->InputAt(0), 1, v.b_constant);  in SimplifyMax()
88       return (v.is_known && v.a_constant == 0 && min <= v.b_constant && v.b_constant <= max)  in CorrectForType()
105   return IsConstantValue(v1) && IsConstantValue(v2) && v1.b_constant == v2.b_constant;  in IsSameConstantValue()
176           v1_max.b_constant > v2_min.b_constant) {  in RefineOuter()
245 …    if (IsConstantValue(v_min) && IsConstantValue(v_max) && v_min.b_constant <= v_max.b_constant) {  in IsConstant()
246         if ((request == kExact && v_min.b_constant == v_max.b_constant) || request == kAtMost) {  in IsConstant()
247           *value = v_max.b_constant;  in IsConstant()
250           *value = v_min.b_constant;  in IsConstant()
258       if (v_min.a_constant == 1 && v_min.b_constant <= 0 && v_min.instruction->IsArrayLength()) {  in IsConstant()
259         *value = v_min.b_constant;  in IsConstant()
456   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetMul()
457     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
459     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
464   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetMul()
465     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetMul()
467     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetMul()
488   if (IsConstantValue(v1_min) && v1_min.b_constant >= 0) {  in GetDiv()
489     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
491     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
496   if (IsConstantValue(v1_max) && v1_max.b_constant <= 0) {  in GetDiv()
497     if (IsConstantValue(v2_min) && v2_min.b_constant >= 0) {  in GetDiv()
499     } else if (IsConstantValue(v2_max) && v2_max.b_constant <= 0) {  in GetDiv()
510   return is_min == (c.b_constant >= 0) ? MulValue(v_min, c) : MulValue(v_max, c);  in MulRangeAndConstant()
517   return is_min == (c.b_constant >= 0) ? DivValue(v_min, c) : DivValue(v_max, c);  in DivRangeAndConstant()
521   if (v1.is_known && v2.is_known && IsSafeAdd(v1.b_constant, v2.b_constant)) {  in AddValue()
522     const int32_t b = v1.b_constant + v2.b_constant;  in AddValue()
535   if (v1.is_known && v2.is_known && IsSafeSub(v1.b_constant, v2.b_constant)) {  in SubValue()
536     const int32_t b = v1.b_constant - v2.b_constant;  in SubValue()
551       if (IsSafeMul(v1.b_constant, v2.a_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
552         return Value(v2.instruction, v1.b_constant * v2.a_constant, v1.b_constant * v2.b_constant);  in MulValue()
555       if (IsSafeMul(v1.a_constant, v2.b_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {  in MulValue()
556         return Value(v1.instruction, v1.a_constant * v2.b_constant, v1.b_constant * v2.b_constant);  in MulValue()
565     if (IsSafeDiv(v1.b_constant, v2.b_constant)) {  in DivValue()
566       return Value(v1.b_constant / v2.b_constant);  in DivValue()
576                    is_min ? std::min(v1.b_constant, v2.b_constant)  in MergeVal()
577                           : std::max(v1.b_constant, v2.b_constant));  in MergeVal()
602 … AddValue(MulValue(Value(v.a_constant), GetVal(info, trip, in_body, is_min)), Value(v.b_constant));  in RefineOuter()
785             *result = graph->GetIntConstant(extreme.b_constant);  in GenerateCode()