Lines Matching refs:GetMin
253 Value GetMin(HInductionVarAnalysis::InductionInfo* info,
376 ExpectEqual(Value(), GetMin(nullptr, nullptr));
382 GetMin(CreateInvariant('+', CreateConst(2), CreateRange(10, 20)), nullptr));
386 GetMin(CreateInvariant('+', CreateFetch(x_), CreateRange(-20, -10)), nullptr));
390 GetMin(CreateInvariant('+', CreateRange(10, 20), CreateFetch(x_)), nullptr));
394 GetMin(CreateInvariant('+', CreateRange(-5, -1), CreateRange(10, 20)), nullptr));
401 GetMin(CreateInvariant('-', CreateConst(2), CreateRange(10, 20)), nullptr));
405 GetMin(CreateInvariant('-', CreateFetch(x_), CreateRange(-20, -10)), nullptr));
409 GetMin(CreateInvariant('-', CreateRange(10, 20), CreateFetch(x_)), nullptr));
413 GetMin(CreateInvariant('-', CreateRange(-5, -1), CreateRange(10, 20)), nullptr));
419 ExpectEqual(Value(-20), GetMin(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr));
421 ExpectEqual(Value(10), GetMin(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr));
423 ExpectEqual(Value(x_, -1, 0), GetMin(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr));
429 GetMin(CreateInvariant('*', CreateConst(2), CreateRange(10, 20)), nullptr));
436 GetMin(CreateInvariant('/', CreateRange(12, 20), CreateConst(4)), nullptr));
442 ExpectEqual(Value(12345), GetMin(CreateConst(12345), nullptr));
447 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(x_), nullptr));
452 ExpectEqual(Value(20), GetMin(CreateLinear(10, 20), CreateTripCount(100, true, true)));
454 ExpectEqual(Value(-970), GetMin(CreateLinear(-10, 20), CreateTripCount(100, true, true)));
459 ExpectEqual(Value(-5), GetMin(CreateWrapAround(-5, -1, 10), nullptr));
461 ExpectEqual(Value(-1), GetMin(CreateWrapAround(2, -1, 10), nullptr));
463 ExpectEqual(Value(-1), GetMin(CreateWrapAround(20, -1, 10), nullptr));
468 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), nullptr));
470 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(5, true, true)));
472 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(10, true, true)));
474 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7),
478 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7),
482 ExpectEqual(Value(), GetMin(CreatePolynomial(-3, 5, 7), CreateTripCount(10, true, true)));
484 ExpectEqual(Value(), GetMin(CreatePolynomial(3, -5, 7), CreateTripCount(10, true, true)));
489 ExpectEqual(Value(), GetMin(CreateGeometric(1, 1, 1, '*'), nullptr));
494 ExpectEqual(Value(5), GetMin(CreateGeometric(11, 5, 3, '/'), nullptr));
496 ExpectEqual(Value(-5), GetMin(CreateGeometric(11, -5, 3, '/'), nullptr));
498 ExpectEqual(Value(-6), GetMin(CreateGeometric(-11, 5, 3, '/'), nullptr));
500 ExpectEqual(Value(-16), GetMin(CreateGeometric(-11, -5, 3, '/'), nullptr));
505 ExpectEqual(Value(-2), GetMin(CreateRange(-2, 99), nullptr));
570 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateConst(2), CreateRange(10, 20)), nullptr));
572 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateRange(10, 20), CreateConst(2)), nullptr));
574 ExpectEqual(Value(2), GetMin(CreateInvariant('%', CreateConst(2), CreateConst(5)), nullptr));
576 ExpectEqual(Value(1), GetMin(CreateInvariant('%', CreateConst(11), CreateConst(5)), nullptr));
594 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateConst(2), CreateRange(10, 20)), nullptr));
596 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateRange(10, 20), CreateConst(2)), nullptr));
598 ExpectEqual(Value(3), GetMin(CreateInvariant('^', CreateConst(1), CreateConst(2)), nullptr));
713 ExpectEqual(Value(0), GetMin(CreateFetch(array_length), nullptr));
717 ExpectEqual(Value(array_length, 1, 0), GetMin(CreateFetch(array_length), nullptr));
721 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(array_length), nullptr));
