Lines Matching refs:a_constant
67 v.a_constant >= 1 &&
70 IsIntAndGet(v.instruction->InputAt(1), &value) && v.a_constant == value) {
88 return (v.is_known && v.a_constant == 0 && min <= v.b_constant && v.b_constant <= max)
100 return v.is_known && v.a_constant == 0;
258 if (v_min.a_constant == 1 && v_min.b_constant <= 0 && v_min.instruction->IsArrayLength()) {
523 if (v1.a_constant == 0) {
524 return Value(v2.instruction, v2.a_constant, b);
525 } else if (v2.a_constant == 0) {
526 return Value(v1.instruction, v1.a_constant, b);
527 } else if (v1.instruction == v2.instruction && IsSafeAdd(v1.a_constant, v2.a_constant)) {
528 return Value(v1.instruction, v1.a_constant + v2.a_constant, b);
537 if (v1.a_constant == 0 && IsSafeSub(0, v2.a_constant)) {
538 return Value(v2.instruction, -v2.a_constant, b);
539 } else if (v2.a_constant == 0) {
540 return Value(v1.instruction, v1.a_constant, b);
541 } else if (v1.instruction == v2.instruction && IsSafeSub(v1.a_constant, v2.a_constant)) {
542 return Value(v1.instruction, v1.a_constant - v2.a_constant, b);
550 if (v1.a_constant == 0) {
551 if (IsSafeMul(v1.b_constant, v2.a_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {
552 return Value(v2.instruction, v1.b_constant * v2.a_constant, v1.b_constant * v2.b_constant);
554 } else if (v2.a_constant == 0) {
555 if (IsSafeMul(v1.a_constant, v2.b_constant) && IsSafeMul(v1.b_constant, v2.b_constant)) {
556 return Value(v1.instruction, v1.a_constant * v2.b_constant, v1.b_constant * v2.b_constant);
564 if (v1.is_known && v2.is_known && v1.a_constant == 0 && v2.a_constant == 0) {
574 if (v1.instruction == v2.instruction && v1.a_constant == v2.a_constant) {
575 return Value(v1.instruction, v1.a_constant,
602 return AddValue(MulValue(Value(v.a_constant), GetVal(info, trip, in_body, is_min)), Value(v.b_constant));
