Lines Matching refs:SubValue
298 Value SubValue(Value v1, Value v2) { return range_.SubValue(v1, v2); }
621 TEST_F(InductionVarRangeTest, SubValue) {
622 ExpectEqual(Value(-90), SubValue(Value(10), Value(100)));
623 ExpectEqual(Value(-3), SubValue(Value(x_, 1, -4), Value(x_, 1, -1)));
624 ExpectEqual(Value(x_, 2, -3), SubValue(Value(x_, 3, -4), Value(x_, 1, -1)));
625 ExpectEqual(Value(), SubValue(Value(x_, 1, 5), Value(y_, 1, -7)));
626 ExpectEqual(Value(x_, 1, 17), SubValue(Value(x_, 1, 20), Value(3)));
627 ExpectEqual(Value(y_, -4, 105), SubValue(Value(55), Value(y_, 4, -50)));
629 ExpectEqual(Value(min_value), SubValue(Value(min_value + 5), Value(5)));
630 ExpectEqual(Value(), SubValue(Value(min_value + 5), Value(6))); // unsafe
