Lines Matching refs:Value

26 using Value = InductionVarRange::Value;  typedef
44 void ExpectEqual(Value v1, Value v2) { in ExpectEqual()
253 Value GetMin(HInductionVarAnalysis::InductionInfo* info, in GetMin()
258 Value GetMax(HInductionVarAnalysis::InductionInfo* info, in GetMax()
263 Value GetMul(HInductionVarAnalysis::InductionInfo* info1, in GetMul()
269 Value GetDiv(HInductionVarAnalysis::InductionInfo* info1, in GetDiv()
275 Value GetRem(HInductionVarAnalysis::InductionInfo* info1, in GetRem()
280 Value GetXor(HInductionVarAnalysis::InductionInfo* info1, in GetXor()
297 Value AddValue(Value v1, Value v2) { return range_.AddValue(v1, v2); } in AddValue()
298 Value SubValue(Value v1, Value v2) { return range_.SubValue(v1, v2); } in SubValue()
299 Value MulValue(Value v1, Value v2) { return range_.MulValue(v1, v2); } in MulValue()
300 Value DivValue(Value v1, Value v2) { return range_.DivValue(v1, v2); } in DivValue()
301 Value MinValue(Value v1, Value v2) { return range_.MergeVal(v1, v2, true); } in MinValue()
302 Value MaxValue(Value v1, Value v2) { return range_.MergeVal(v1, v2, false); } in MaxValue()
376 ExpectEqual(Value(), GetMin(nullptr, nullptr)); in TEST_F()
377 ExpectEqual(Value(), GetMax(nullptr, nullptr)); in TEST_F()
381 ExpectEqual(Value(12), in TEST_F()
383 ExpectEqual(Value(22), in TEST_F()
385 ExpectEqual(Value(x_, 1, -20), in TEST_F()
387 ExpectEqual(Value(x_, 1, -10), in TEST_F()
389 ExpectEqual(Value(x_, 1, 10), in TEST_F()
391 ExpectEqual(Value(x_, 1, 20), in TEST_F()
393 ExpectEqual(Value(5), in TEST_F()
395 ExpectEqual(Value(19), in TEST_F()
400 ExpectEqual(Value(-18), in TEST_F()
402 ExpectEqual(Value(-8), in TEST_F()
404 ExpectEqual(Value(x_, 1, 10), in TEST_F()
406 ExpectEqual(Value(x_, 1, 20), in TEST_F()
408 ExpectEqual(Value(x_, -1, 10), in TEST_F()
410 ExpectEqual(Value(x_, -1, 20), in TEST_F()
412 ExpectEqual(Value(-25), in TEST_F()
414 ExpectEqual(Value(-11), in TEST_F()
419 ExpectEqual(Value(-20), GetMin(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr)); in TEST_F()
420 ExpectEqual(Value(-10), GetMax(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr)); in TEST_F()
421 ExpectEqual(Value(10), GetMin(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr)); in TEST_F()
422 ExpectEqual(Value(20), GetMax(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr)); in TEST_F()
423 ExpectEqual(Value(x_, -1, 0), GetMin(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr)); in TEST_F()
424 ExpectEqual(Value(x_, -1, 0), GetMax(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr)); in TEST_F()
428 ExpectEqual(Value(20), in TEST_F()
430 ExpectEqual(Value(40), in TEST_F()
435 ExpectEqual(Value(3), in TEST_F()
437 ExpectEqual(Value(5), in TEST_F()
442 ExpectEqual(Value(12345), GetMin(CreateConst(12345), nullptr)); in TEST_F()
443 ExpectEqual(Value(12345), GetMax(CreateConst(12345), nullptr)); in TEST_F()
447 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(x_), nullptr)); in TEST_F()
448 ExpectEqual(Value(x_, 1, 0), GetMax(CreateFetch(x_), nullptr)); in TEST_F()
452 ExpectEqual(Value(20), GetMin(CreateLinear(10, 20), CreateTripCount(100, true, true))); in TEST_F()
453 ExpectEqual(Value(1010), GetMax(CreateLinear(10, 20), CreateTripCount(100, true, true))); in TEST_F()
454 ExpectEqual(Value(-970), GetMin(CreateLinear(-10, 20), CreateTripCount(100, true, true))); in TEST_F()
455 ExpectEqual(Value(20), GetMax(CreateLinear(-10, 20), CreateTripCount(100, true, true))); in TEST_F()
459 ExpectEqual(Value(-5), GetMin(CreateWrapAround(-5, -1, 10), nullptr)); in TEST_F()
460 ExpectEqual(Value(10), GetMax(CreateWrapAround(-5, -1, 10), nullptr)); in TEST_F()
461 ExpectEqual(Value(-1), GetMin(CreateWrapAround(2, -1, 10), nullptr)); in TEST_F()
462 ExpectEqual(Value(10), GetMax(CreateWrapAround(2, -1, 10), nullptr)); in TEST_F()
463 ExpectEqual(Value(-1), GetMin(CreateWrapAround(20, -1, 10), nullptr)); in TEST_F()
464 ExpectEqual(Value(20), GetMax(CreateWrapAround(20, -1, 10), nullptr)); in TEST_F()
468 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), nullptr)); in TEST_F()
469 ExpectEqual(Value(), GetMax(CreatePolynomial(3, 5, 7), nullptr)); in TEST_F()
470 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(5, true, true))); in TEST_F()
471 ExpectEqual(Value(45), GetMax(CreatePolynomial(3, 5, 7), CreateTripCount(5, true, true))); in TEST_F()
472 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(10, true, true))); in TEST_F()
473 ExpectEqual(Value(160), GetMax(CreatePolynomial(3, 5, 7), CreateTripCount(10, true, true))); in TEST_F()
474 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7), in TEST_F()
476 ExpectEqual(Value(111), GetMax(CreatePolynomial(11, 13, -7), in TEST_F()
478 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7), in TEST_F()
480 ExpectEqual(Value(506), GetMax(CreatePolynomial(11, 13, -7), in TEST_F()
482 ExpectEqual(Value(), GetMin(CreatePolynomial(-3, 5, 7), CreateTripCount(10, true, true))); in TEST_F()
483 ExpectEqual(Value(), GetMax(CreatePolynomial(-3, 5, 7), CreateTripCount(10, true, true))); in TEST_F()
484 ExpectEqual(Value(), GetMin(CreatePolynomial(3, -5, 7), CreateTripCount(10, true, true))); in TEST_F()
485 ExpectEqual(Value(), GetMax(CreatePolynomial(3, -5, 7), CreateTripCount(10, true, true))); in TEST_F()
489 ExpectEqual(Value(), GetMin(CreateGeometric(1, 1, 1, '*'), nullptr)); in TEST_F()
490 ExpectEqual(Value(), GetMax(CreateGeometric(1, 1, 1, '*'), nullptr)); in TEST_F()
494 ExpectEqual(Value(5), GetMin(CreateGeometric(11, 5, 3, '/'), nullptr)); in TEST_F()
495 ExpectEqual(Value(16), GetMax(CreateGeometric(11, 5, 3, '/'), nullptr)); in TEST_F()
496 ExpectEqual(Value(-5), GetMin(CreateGeometric(11, -5, 3, '/'), nullptr)); in TEST_F()
497 ExpectEqual(Value(6), GetMax(CreateGeometric(11, -5, 3, '/'), nullptr)); in TEST_F()
498 ExpectEqual(Value(-6), GetMin(CreateGeometric(-11, 5, 3, '/'), nullptr)); in TEST_F()
499 ExpectEqual(Value(5), GetMax(CreateGeometric(-11, 5, 3, '/'), nullptr)); in TEST_F()
500 ExpectEqual(Value(-16), GetMin(CreateGeometric(-11, -5, 3, '/'), nullptr)); in TEST_F()
501 ExpectEqual(Value(-5), GetMax(CreateGeometric(-11, -5, 3, '/'), nullptr)); in TEST_F()
505 ExpectEqual(Value(-2), GetMin(CreateRange(-2, 99), nullptr)); in TEST_F()
506 ExpectEqual(Value(99), GetMax(CreateRange(-2, 99), nullptr)); in TEST_F()
510 ExpectEqual(Value(-14), GetMul(CreateConst(2), CreateRange(-7, 8), true)); in TEST_F()
511 ExpectEqual(Value(-16), GetMul(CreateConst(-2), CreateRange(-7, 8), true)); in TEST_F()
512 ExpectEqual(Value(-14), GetMul(CreateRange(-7, 8), CreateConst(2), true)); in TEST_F()
513 ExpectEqual(Value(-16), GetMul(CreateRange(-7, 8), CreateConst(-2), true)); in TEST_F()
514 ExpectEqual(Value(6), GetMul(CreateRange(2, 10), CreateRange(3, 5), true)); in TEST_F()
515 ExpectEqual(Value(-50), GetMul(CreateRange(2, 10), CreateRange(-5, -3), true)); in TEST_F()
516 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), true)); in TEST_F()
517 ExpectEqual(Value(-50), GetMul(CreateRange(-10, -2), CreateRange(3, 5), true)); in TEST_F()
518 ExpectEqual(Value(6), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), true)); in TEST_F()
519 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), true)); in TEST_F()
520 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), true)); in TEST_F()
521 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), true)); in TEST_F()
522 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), true)); in TEST_F()
526 ExpectEqual(Value(16), GetMul(CreateConst(2), CreateRange(-7, 8), false)); in TEST_F()
527 ExpectEqual(Value(14), GetMul(CreateConst(-2), CreateRange(-7, 8), false)); in TEST_F()
528 ExpectEqual(Value(16), GetMul(CreateRange(-7, 8), CreateConst(2), false)); in TEST_F()
529 ExpectEqual(Value(14), GetMul(CreateRange(-7, 8), CreateConst(-2), false)); in TEST_F()
530 ExpectEqual(Value(50), GetMul(CreateRange(2, 10), CreateRange(3, 5), false)); in TEST_F()
531 ExpectEqual(Value(-6), GetMul(CreateRange(2, 10), CreateRange(-5, -3), false)); in TEST_F()
532 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), false)); in TEST_F()
533 ExpectEqual(Value(-6), GetMul(CreateRange(-10, -2), CreateRange(3, 5), false)); in TEST_F()
534 ExpectEqual(Value(50), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), false)); in TEST_F()
535 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), false)); in TEST_F()
536 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), false)); in TEST_F()
537 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), false)); in TEST_F()
538 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), false)); in TEST_F()
542 ExpectEqual(Value(-5), GetDiv(CreateRange(-10, 20), CreateConst(2), true)); in TEST_F()
543 ExpectEqual(Value(-10), GetDiv(CreateRange(-10, 20), CreateConst(-2), true)); in TEST_F()
544 ExpectEqual(Value(10), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), true)); in TEST_F()
545 ExpectEqual(Value(-500), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), true)); in TEST_F()
546 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), true)); in TEST_F()
547 ExpectEqual(Value(-500), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), true)); in TEST_F()
548 ExpectEqual(Value(10), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), true)); in TEST_F()
549 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), true)); in TEST_F()
550 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), true)); in TEST_F()
551 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, -40), true)); in TEST_F()
552 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), true)); in TEST_F()
556 ExpectEqual(Value(10), GetDiv(CreateRange(-10, 20), CreateConst(2), false)); in TEST_F()
557 ExpectEqual(Value(5), GetDiv(CreateRange(-10, 20), CreateConst(-2), false)); in TEST_F()
558 ExpectEqual(Value(500), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), false)); in TEST_F()
559 ExpectEqual(Value(-10), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), false)); in TEST_F()
560 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), false)); in TEST_F()
561 ExpectEqual(Value(-10), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), false)); in TEST_F()
562 ExpectEqual(Value(500), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), false)); in TEST_F()
563 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), false)); in TEST_F()
564 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), false)); in TEST_F()
565 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, 40), false)); in TEST_F()
566 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), false)); in TEST_F()
570 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateConst(2), CreateRange(10, 20)), nullptr)); in TEST_F()
571 ExpectEqual(Value(), GetMax(CreateInvariant('%', CreateConst(2), CreateRange(10, 20)), nullptr)); in TEST_F()
572 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateRange(10, 20), CreateConst(2)), nullptr)); in TEST_F()
573 ExpectEqual(Value(), GetMax(CreateInvariant('%', CreateRange(10, 20), CreateConst(2)), nullptr)); in TEST_F()
574 ExpectEqual(Value(2), GetMin(CreateInvariant('%', CreateConst(2), CreateConst(5)), nullptr)); in TEST_F()
575 ExpectEqual(Value(2), GetMax(CreateInvariant('%', CreateConst(2), CreateConst(5)), nullptr)); in TEST_F()
576 ExpectEqual(Value(1), GetMin(CreateInvariant('%', CreateConst(11), CreateConst(5)), nullptr)); in TEST_F()
577 ExpectEqual(Value(1), GetMax(CreateInvariant('%', CreateConst(11), CreateConst(5)), nullptr)); in TEST_F()
581 ExpectEqual(Value(0), GetRem(CreateConst(1), CreateConst(1))); in TEST_F()
582 ExpectEqual(Value(2), GetRem(CreateConst(2), CreateConst(5))); in TEST_F()
583 ExpectEqual(Value(1), GetRem(CreateConst(11), CreateConst(5))); in TEST_F()
584 ExpectEqual(Value(-2), GetRem(CreateConst(-2), CreateConst(5))); in TEST_F()
585 ExpectEqual(Value(-1), GetRem(CreateConst(-11), CreateConst(5))); in TEST_F()
586 ExpectEqual(Value(2), GetRem(CreateConst(2), CreateConst(-5))); in TEST_F()
587 ExpectEqual(Value(1), GetRem(CreateConst(11), CreateConst(-5))); in TEST_F()
588 ExpectEqual(Value(-2), GetRem(CreateConst(-2), CreateConst(-5))); in TEST_F()
589 ExpectEqual(Value(-1), GetRem(CreateConst(-11), CreateConst(-5))); in TEST_F()
590 ExpectEqual(Value(), GetRem(CreateConst(1), CreateConst(0))); in TEST_F()
594 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateConst(2), CreateRange(10, 20)), nullptr)); in TEST_F()
595 ExpectEqual(Value(), GetMax(CreateInvariant('^', CreateConst(2), CreateRange(10, 20)), nullptr)); in TEST_F()
596 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateRange(10, 20), CreateConst(2)), nullptr)); in TEST_F()
597 ExpectEqual(Value(), GetMax(CreateInvariant('^', CreateRange(10, 20), CreateConst(2)), nullptr)); in TEST_F()
598 ExpectEqual(Value(3), GetMin(CreateInvariant('^', CreateConst(1), CreateConst(2)), nullptr)); in TEST_F()
599 ExpectEqual(Value(3), GetMax(CreateInvariant('^', CreateConst(1), CreateConst(2)), nullptr)); in TEST_F()
603 ExpectEqual(Value(0), GetXor(CreateConst(1), CreateConst(1))); in TEST_F()
604 ExpectEqual(Value(3), GetXor(CreateConst(1), CreateConst(2))); in TEST_F()
605 ExpectEqual(Value(-2), GetXor(CreateConst(1), CreateConst(-1))); in TEST_F()
606 ExpectEqual(Value(0), GetXor(CreateConst(-1), CreateConst(-1))); in TEST_F()
610 ExpectEqual(Value(110), AddValue(Value(10), Value(100))); in TEST_F()
611 ExpectEqual(Value(-5), AddValue(Value(x_, 1, -4), Value(x_, -1, -1))); in TEST_F()
612 ExpectEqual(Value(x_, 3, -5), AddValue(Value(x_, 2, -4), Value(x_, 1, -1))); in TEST_F()
613 ExpectEqual(Value(), AddValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
614 ExpectEqual(Value(x_, 1, 23), AddValue(Value(x_, 1, 20), Value(3))); in TEST_F()
615 ExpectEqual(Value(y_, 1, 5), AddValue(Value(55), Value(y_, 1, -50))); in TEST_F()
617 ExpectEqual(Value(max_value), AddValue(Value(max_value - 5), Value(5))); in TEST_F()
618 ExpectEqual(Value(), AddValue(Value(max_value - 5), Value(6))); // unsafe in TEST_F()
622 ExpectEqual(Value(-90), SubValue(Value(10), Value(100))); in TEST_F()
623 ExpectEqual(Value(-3), SubValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
624 ExpectEqual(Value(x_, 2, -3), SubValue(Value(x_, 3, -4), Value(x_, 1, -1))); in TEST_F()
625 ExpectEqual(Value(), SubValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
626 ExpectEqual(Value(x_, 1, 17), SubValue(Value(x_, 1, 20), Value(3))); in TEST_F()
627 ExpectEqual(Value(y_, -4, 105), SubValue(Value(55), Value(y_, 4, -50))); in TEST_F()
629 ExpectEqual(Value(min_value), SubValue(Value(min_value + 5), Value(5))); in TEST_F()
630 ExpectEqual(Value(), SubValue(Value(min_value + 5), Value(6))); // unsafe in TEST_F()
634 ExpectEqual(Value(1000), MulValue(Value(10), Value(100))); in TEST_F()
635 ExpectEqual(Value(), MulValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
636 ExpectEqual(Value(), MulValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
637 ExpectEqual(Value(x_, 9, 60), MulValue(Value(x_, 3, 20), Value(3))); in TEST_F()
638 ExpectEqual(Value(y_, 55, -110), MulValue(Value(55), Value(y_, 1, -2))); in TEST_F()
639 ExpectEqual(Value(), MulValue(Value(90000), Value(-90000))); // unsafe in TEST_F()
647 ExpectEqual(Value(), MulValue(Value(min_value), Value(min_value))); in TEST_F()
648 ExpectEqual(Value(), MulValue(Value(min_value), Value(-1))); in TEST_F()
649 ExpectEqual(Value(), MulValue(Value(min_value), Value(max_value))); in TEST_F()
650 ExpectEqual(Value(), MulValue(Value(max_value), Value(max_value))); in TEST_F()
653 ExpectEqual(Value(min_value), MulValue(Value(min_value), Value(1))); in TEST_F()
654 ExpectEqual(Value(max_value), MulValue(Value(max_value), Value(1))); in TEST_F()
655 ExpectEqual(Value(-max_value), MulValue(Value(max_value), Value(-1))); in TEST_F()
656 ExpectEqual(Value(-1), MulValue(Value(1), Value(-1))); in TEST_F()
657 ExpectEqual(Value(1), MulValue(Value(-1), Value(-1))); in TEST_F()
661 ExpectEqual(Value(25), DivValue(Value(100), Value(4))); in TEST_F()
662 ExpectEqual(Value(), DivValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
663 ExpectEqual(Value(), DivValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
664 ExpectEqual(Value(), DivValue(Value(x_, 12, 24), Value(3))); in TEST_F()
665 ExpectEqual(Value(), DivValue(Value(55), Value(y_, 1, -50))); in TEST_F()
666 ExpectEqual(Value(), DivValue(Value(1), Value(0))); // unsafe in TEST_F()
674 ExpectEqual(Value(), DivValue(Value(min_value), Value(-1))); in TEST_F()
677 ExpectEqual(Value(1), DivValue(Value(min_value), Value(min_value))); in TEST_F()
678 ExpectEqual(Value(1), DivValue(Value(max_value), Value(max_value))); in TEST_F()
679 ExpectEqual(Value(min_value), DivValue(Value(min_value), Value(1))); in TEST_F()
680 ExpectEqual(Value(max_value), DivValue(Value(max_value), Value(1))); in TEST_F()
681 ExpectEqual(Value(-max_value), DivValue(Value(max_value), Value(-1))); in TEST_F()
682 ExpectEqual(Value(-1), DivValue(Value(1), Value(-1))); in TEST_F()
683 ExpectEqual(Value(1), DivValue(Value(-1), Value(-1))); in TEST_F()
687 ExpectEqual(Value(10), MinValue(Value(10), Value(100))); in TEST_F()
688 ExpectEqual(Value(x_, 1, -4), MinValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
689 ExpectEqual(Value(x_, 4, -4), MinValue(Value(x_, 4, -4), Value(x_, 4, -1))); in TEST_F()
690 ExpectEqual(Value(), MinValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
691 ExpectEqual(Value(), MinValue(Value(x_, 1, 20), Value(3))); in TEST_F()
692 ExpectEqual(Value(), MinValue(Value(55), Value(y_, 1, -50))); in TEST_F()
696 ExpectEqual(Value(100), MaxValue(Value(10), Value(100))); in TEST_F()
697 ExpectEqual(Value(x_, 1, -1), MaxValue(Value(x_, 1, -4), Value(x_, 1, -1))); in TEST_F()
698 ExpectEqual(Value(x_, 4, -1), MaxValue(Value(x_, 4, -4), Value(x_, 4, -1))); in TEST_F()
699 ExpectEqual(Value(), MaxValue(Value(x_, 1, 5), Value(y_, 1, -7))); in TEST_F()
700 ExpectEqual(Value(), MaxValue(Value(x_, 1, 20), Value(3))); in TEST_F()
701 ExpectEqual(Value(), MaxValue(Value(55), Value(y_, 1, -50))); in TEST_F()
713 ExpectEqual(Value(0), GetMin(CreateFetch(array_length), nullptr)); in TEST_F()
714 ExpectEqual(Value(max_value), GetMax(CreateFetch(array_length), nullptr)); in TEST_F()
717 ExpectEqual(Value(array_length, 1, 0), GetMin(CreateFetch(array_length), nullptr)); in TEST_F()
718 ExpectEqual(Value(array_length, 1, 0), GetMax(CreateFetch(array_length), nullptr)); in TEST_F()
721 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(array_length), nullptr)); in TEST_F()
722 ExpectEqual(Value(x_, 1, 0), GetMax(CreateFetch(array_length), nullptr)); in TEST_F()
733 Value v1, v2; in TEST_F()
743 ExpectEqual(Value(0), v1); in TEST_F()
744 ExpectEqual(Value(1000), v2); in TEST_F()
749 ExpectEqual(Value(0), v1); in TEST_F()
750 ExpectEqual(Value(999), v2); in TEST_F()
753 ExpectEqual(Value(1), v1); in TEST_F()
754 ExpectEqual(Value(1000), v2); in TEST_F()
785 Value v1, v2; in TEST_F()
795 ExpectEqual(Value(0), v1); in TEST_F()
796 ExpectEqual(Value(1000), v2); in TEST_F()
801 ExpectEqual(Value(1), v1); in TEST_F()
802 ExpectEqual(Value(1000), v2); in TEST_F()
805 ExpectEqual(Value(0), v1); in TEST_F()
806 ExpectEqual(Value(999), v2); in TEST_F()
844 Value v1, v2; in TEST_F()
853 ExpectEqual(Value(0), v1); in TEST_F()
854 ExpectEqual(Value(), v2); in TEST_F()
859 ExpectEqual(Value(0), v1); in TEST_F()
860 ExpectEqual(Value(x_, 1, -1), v2); in TEST_F()
863 ExpectEqual(Value(1), v1); in TEST_F()
864 ExpectEqual(Value(x_, 1, 0), v2); in TEST_F()
903 ExpectEqual(Value(1), v1); in TEST_F()
904 ExpectEqual(Value(y_, 1, 0), v2); in TEST_F()
926 Value v1, v2; in TEST_F()
935 ExpectEqual(Value(), v1); in TEST_F()
936 ExpectEqual(Value(1000), v2); in TEST_F()
941 ExpectEqual(Value(x_, 1, 1), v1); in TEST_F()
942 ExpectEqual(Value(1000), v2); in TEST_F()
945 ExpectEqual(Value(x_, 1, 0), v1); in TEST_F()
946 ExpectEqual(Value(999), v2); in TEST_F()
989 ExpectEqual(Value(y_, 1, 0), v1); in TEST_F()
990 ExpectEqual(Value(999), v2); in TEST_F()