Lines Matching defs:SubValue
234 Value SubValue(Value v1, Value v2) { return range_.SubValue(v1, v2); }
478 TEST_F(InductionVarRangeTest, SubValue) {
479 ExpectEqual(Value(-90), SubValue(Value(10), Value(100)));
480 ExpectEqual(Value(-3), SubValue(Value(x_, 1, -4), Value(x_, 1, -1)));
481 ExpectEqual(Value(x_, 2, -3), SubValue(Value(x_, 3, -4), Value(x_, 1, -1)));
482 ExpectEqual(Value(), SubValue(Value(x_, 1, 5), Value(y_, 1, -7)));
483 ExpectEqual(Value(x_, 1, 17), SubValue(Value(x_, 1, 20), Value(3)));
484 ExpectEqual(Value(y_, -4, 105), SubValue(Value(55), Value(y_, 4, -50)));
486 ExpectEqual(Value(min_value), SubValue(Value(min_value + 5), Value(5)));
487 ExpectEqual(Value(), SubValue(Value(min_value + 5), Value(6))); // unsafe
