Lines Matching refs:ExpectEqual
43 void ExpectEqual(Value v1, Value v2) {
374 ExpectEqual(Value(), GetMin(nullptr, nullptr));
375 ExpectEqual(Value(), GetMax(nullptr, nullptr));
379 ExpectEqual(Value(12),
381 ExpectEqual(Value(22),
383 ExpectEqual(Value(x_, 1, -20),
385 ExpectEqual(Value(x_, 1, -10),
387 ExpectEqual(Value(x_, 1, 10),
389 ExpectEqual(Value(x_, 1, 20),
391 ExpectEqual(Value(5),
393 ExpectEqual(Value(19),
398 ExpectEqual(Value(-18),
400 ExpectEqual(Value(-8),
402 ExpectEqual(Value(x_, 1, 10),
404 ExpectEqual(Value(x_, 1, 20),
406 ExpectEqual(Value(x_, -1, 10),
408 ExpectEqual(Value(x_, -1, 20),
410 ExpectEqual
412 ExpectEqual(Value(-11),
417 ExpectEqual(Value(-20), GetMin(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr));
418 ExpectEqual(Value(-10), GetMax(CreateInvariant('n', nullptr, CreateRange(10, 20)), nullptr));
419 ExpectEqual(Value(10), GetMin(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr));
420 ExpectEqual(Value(20), GetMax(CreateInvariant('n', nullptr, CreateRange(-20, -10)), nullptr));
421 ExpectEqual(Value(x_, -1, 0), GetMin(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr));
422 ExpectEqual(Value(x_, -1, 0), GetMax(CreateInvariant('n', nullptr, CreateFetch(x_)), nullptr));
426 ExpectEqual(Value(20),
428 ExpectEqual(Value(40),
433 ExpectEqual(Value(3),
435 ExpectEqual(Value(5),
440 ExpectEqual(Value(12345), GetMin(CreateConst(12345), nullptr));
441 ExpectEqual(Value(12345), GetMax(CreateConst(12345), nullptr));
445 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(x_), nullptr));
446 ExpectEqual(Value(x_, 1, 0), GetMax(CreateFetch(x_), nullptr));
450 ExpectEqual(Value(20), GetMin(CreateLinear(10, 20), CreateTripCount(100, true, true)));
451 ExpectEqual(Value(1010), GetMax(CreateLinear(10, 20), CreateTripCount(100, true, true)));
452 ExpectEqual(Value(-970), GetMin(CreateLinear(-10, 20), CreateTripCount(100, true, true)));
453 ExpectEqual(Value(20), GetMax(CreateLinear(-10, 20), CreateTripCount(100, true, true)));
457 ExpectEqual(Value(-5), GetMin(CreateWrapAround(-5, -1, 10), nullptr));
458 ExpectEqual(Value(10), GetMax(CreateWrapAround(-5, -1, 10), nullptr));
459 ExpectEqual(Value(-1), GetMin(CreateWrapAround(2, -1, 10), nullptr));
460 ExpectEqual(Value(10), GetMax(CreateWrapAround(2, -1, 10), nullptr));
461 ExpectEqual(Value(-1), GetMin(CreateWrapAround(20, -1, 10), nullptr));
462 ExpectEqual(Value(20), GetMax(CreateWrapAround(20, -1, 10), nullptr));
466 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), nullptr));
467 ExpectEqual(Value(), GetMax(CreatePolynomial(3, 5, 7), nullptr));
468 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(5, true, true)));
469 ExpectEqual(Value(45), GetMax(CreatePolynomial(3, 5, 7), CreateTripCount(5, true, true)));
470 ExpectEqual(Value(7), GetMin(CreatePolynomial(3, 5, 7), CreateTripCount(10, true, true)));
471 ExpectEqual(Value(160), GetMax(CreatePolynomial(3, 5, 7), CreateTripCount(10, true, true)));
472 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7),
474 ExpectEqual(Value(111), GetMax(CreatePolynomial(11, 13, -7),
476 ExpectEqual(Value(-7), GetMin(CreatePolynomial(11, 13, -7),
478 ExpectEqual(Value(506), GetMax(CreatePolynomial(11, 13, -7),
480 ExpectEqual(Value(), GetMin(CreatePolynomial(-3, 5, 7), CreateTripCount(10, true, true)));
481 ExpectEqual(Value(), GetMax(CreatePolynomial(-3, 5, 7), CreateTripCount(10, true, true)));
482 ExpectEqual(Value(), GetMin(CreatePolynomial(3, -5, 7), CreateTripCount(10, true, true)));
483 ExpectEqual(Value(), GetMax(CreatePolynomial(3, -5, 7), CreateTripCount(10, true, true)));
487 ExpectEqual(Value(), GetMin(CreateGeometric(1, 1, 1, '*'), nullptr));
488 ExpectEqual(Value(), GetMax(CreateGeometric(1, 1, 1, '*'), nullptr));
492 ExpectEqual(Value(5), GetMin(CreateGeometric(11, 5, 3, '/'), nullptr));
493 ExpectEqual(Value(16), GetMax(CreateGeometric(11, 5, 3, '/'), nullptr));
494 ExpectEqual(Value(-5), GetMin(CreateGeometric(11, -5, 3, '/'), nullptr));
495 ExpectEqual(Value(6), GetMax(CreateGeometric(11, -5, 3, '/'), nullptr));
496 ExpectEqual(Value(-6), GetMin(CreateGeometric(-11, 5, 3, '/'), nullptr));
497 ExpectEqual(Value(5), GetMax(CreateGeometric(-11, 5, 3, '/'), nullptr));
498 ExpectEqual(Value(-16), GetMin(CreateGeometric(-11, -5, 3, '/'), nullptr));
499 ExpectEqual(Value(-5), GetMax(CreateGeometric(-11, -5, 3, '/'), nullptr));
503 ExpectEqual(Value(-2), GetMin(CreateRange(-2, 99), nullptr));
504 ExpectEqual(Value(99), GetMax(CreateRange(-2, 99), nullptr));
508 ExpectEqual(Value(-14), GetMul(CreateConst(2), CreateRange(-7, 8), true));
509 ExpectEqual(Value(-16), GetMul(CreateConst(-2), CreateRange(-7, 8), true));
510 ExpectEqual(Value(-14), GetMul(CreateRange(-7, 8), CreateConst(2), true));
511 ExpectEqual(Value(-16), GetMul(CreateRange(-7, 8), CreateConst(-2), true));
512 ExpectEqual(Value(6), GetMul(CreateRange(2, 10), CreateRange(3, 5), true));
513 ExpectEqual(Value(-50), GetMul(CreateRange(2, 10), CreateRange(-5, -3), true));
514 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), true));
515 ExpectEqual(Value(-50), GetMul(CreateRange(-10, -2), CreateRange(3, 5), true));
516 ExpectEqual(Value(6), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), true));
517 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), true));
518 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), true));
519 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), true));
520 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), true));
524 ExpectEqual(Value(16), GetMul(CreateConst(2), CreateRange(-7, 8), false));
525 ExpectEqual(Value(14), GetMul(CreateConst(-2), CreateRange(-7, 8), false));
526 ExpectEqual(Value(16), GetMul(CreateRange(-7, 8), CreateConst(2), false));
527 ExpectEqual(Value(14), GetMul(CreateRange(-7, 8), CreateConst(-2), false));
528 ExpectEqual(Value(50), GetMul(CreateRange(2, 10), CreateRange(3, 5), false));
529 ExpectEqual(Value(-6), GetMul(CreateRange(2, 10), CreateRange(-5, -3), false));
530 ExpectEqual(Value(), GetMul(CreateRange(2, 10), CreateRange(-1, 1), false));
531 ExpectEqual(Value(-6), GetMul(CreateRange(-10, -2), CreateRange(3, 5), false));
532 ExpectEqual(Value(50), GetMul(CreateRange(-10, -2), CreateRange(-5, -3), false));
533 ExpectEqual(Value(), GetMul(CreateRange(-10, -2), CreateRange(-1, 1), false));
534 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(2, 10), false));
535 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-10, -2), false));
536 ExpectEqual(Value(), GetMul(CreateRange(-1, 1), CreateRange(-1, 1), false));
540 ExpectEqual(Value(-5), GetDiv(CreateRange(-10, 20), CreateConst(2), true));
541 ExpectEqual(Value(-10), GetDiv(CreateRange(-10, 20), CreateConst(-2), true));
542 ExpectEqual(Value(10), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), true));
543 ExpectEqual(Value(-500), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), true));
544 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), true));
545 ExpectEqual(Value(-500), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), true));
546 ExpectEqual(Value(10), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), true));
547 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), true));
548 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), true));
549 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, -40), true));
550 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), true));
554 ExpectEqual(Value(10), GetDiv(CreateRange(-10, 20), CreateConst(2), false));
555 ExpectEqual(Value(5), GetDiv(CreateRange(-10, 20), CreateConst(-2), false));
556 ExpectEqual(Value(500), GetDiv(CreateRange(40, 1000), CreateRange(2, 4), false));
557 ExpectEqual(Value(-10), GetDiv(CreateRange(40, 1000), CreateRange(-4, -2), false));
558 ExpectEqual(Value(), GetDiv(CreateRange(40, 1000), CreateRange(-1, 1), false));
559 ExpectEqual(Value(-10), GetDiv(CreateRange(-1000, -40), CreateRange(2, 4), false));
560 ExpectEqual(Value(500), GetDiv(CreateRange(-1000, -40), CreateRange(-4, -2), false));
561 ExpectEqual(Value(), GetDiv(CreateRange(-1000, -40), CreateRange(-1, 1), false));
562 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(40, 1000), false));
563 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1000, 40), false));
564 ExpectEqual(Value(), GetDiv(CreateRange(-1, 1), CreateRange(-1, 1), false));
568 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateConst(2), CreateRange(10, 20)), nullptr));
569 ExpectEqual(Value(), GetMax(CreateInvariant('%', CreateConst(2), CreateRange(10, 20)), nullptr));
570 ExpectEqual(Value(), GetMin(CreateInvariant('%', CreateRange(10, 20), CreateConst(2)), nullptr));
571 ExpectEqual(Value(), GetMax(CreateInvariant('%', CreateRange(10, 20), CreateConst(2)), nullptr));
572 ExpectEqual(Value(2), GetMin(CreateInvariant('%', CreateConst(2), CreateConst(5)), nullptr));
573 ExpectEqual(Value(2), GetMax(CreateInvariant('%', CreateConst(2), CreateConst(5)), nullptr));
574 ExpectEqual(Value(1), GetMin(CreateInvariant('%', CreateConst(11), CreateConst(5)), nullptr));
575 ExpectEqual(Value(1), GetMax(CreateInvariant('%', CreateConst(11), CreateConst(5)), nullptr));
579 ExpectEqual(Value(0), GetRem(CreateConst(1), CreateConst(1)));
580 ExpectEqual(Value(2), GetRem(CreateConst(2), CreateConst(5)));
581 ExpectEqual(Value(1), GetRem(CreateConst(11), CreateConst(5)));
582 ExpectEqual(Value(-2), GetRem(CreateConst(-2), CreateConst(5)));
583 ExpectEqual(Value(-1), GetRem(CreateConst(-11), CreateConst(5)));
584 ExpectEqual(Value(2), GetRem(CreateConst(2), CreateConst(-5)));
585 ExpectEqual(Value(1), GetRem(CreateConst(11), CreateConst(-5)));
586 ExpectEqual(Value(-2), GetRem(CreateConst(-2), CreateConst(-5)));
587 ExpectEqual(Value(-1), GetRem(CreateConst(-11), CreateConst(-5)));
588 ExpectEqual(Value(), GetRem(CreateConst(1), CreateConst(0)));
592 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateConst(2), CreateRange(10, 20)), nullptr));
593 ExpectEqual(Value(), GetMax(CreateInvariant('^', CreateConst(2), CreateRange(10, 20)), nullptr));
594 ExpectEqual(Value(), GetMin(CreateInvariant('^', CreateRange(10, 20), CreateConst(2)), nullptr));
595 ExpectEqual(Value(), GetMax(CreateInvariant('^', CreateRange(10, 20), CreateConst(2)), nullptr));
596 ExpectEqual(Value(3), GetMin(CreateInvariant('^', CreateConst(1), CreateConst(2)), nullptr));
597 ExpectEqual(Value(3), GetMax(CreateInvariant('^', CreateConst(1), CreateConst(2)), nullptr));
601 ExpectEqual(Value(0), GetXor(CreateConst(1), CreateConst(1)));
602 ExpectEqual(Value(3), GetXor(CreateConst(1), CreateConst(2)));
603 ExpectEqual(Value(-2), GetXor(CreateConst(1), CreateConst(-1)));
604 ExpectEqual(Value(0), GetXor(CreateConst(-1), CreateConst(-1)));
608 ExpectEqual(Value(110), AddValue(Value(10), Value(100)));
609 ExpectEqual(Value(-5), AddValue(Value(x_, 1, -4), Value(x_, -1, -1)));
610 ExpectEqual(Value(x_, 3, -5), AddValue(Value(x_, 2, -4), Value(x_, 1, -1)));
611 ExpectEqual(Value(), AddValue(Value(x_, 1, 5), Value(y_, 1, -7)));
612 ExpectEqual(Value(x_, 1, 23), AddValue(Value(x_, 1, 20), Value(3)));
613 ExpectEqual(Value(y_, 1, 5), AddValue(Value(55), Value(y_, 1, -50)));
615 ExpectEqual(Value(max_value), AddValue(Value(max_value - 5), Value(5)));
616 ExpectEqual(Value(), AddValue(Value(max_value - 5), Value(6))); // unsafe
620 ExpectEqual(Value(-90), SubValue(Value(10), Value(100)));
621 ExpectEqual(Value(-3), SubValue(Value(x_, 1, -4), Value(x_, 1, -1)));
622 ExpectEqual(Value(x_, 2, -3), SubValue(Value(x_, 3, -4), Value(x_, 1, -1)));
623 ExpectEqual(Value(), SubValue(Value(x_, 1, 5), Value(y_, 1, -7)));
624 ExpectEqual(Value(x_, 1, 17), SubValue(Value(x_, 1, 20), Value(3)));
625 ExpectEqual(Value(y_, -4, 105), SubValue(Value(55), Value(y_, 4, -50)));
627 ExpectEqual(Value(min_value), SubValue(Value(min_value + 5), Value(5)));
628 ExpectEqual(Value(), SubValue(Value(min_value + 5), Value(6))); // unsafe
632 ExpectEqual(Value(1000), MulValue(Value(10), Value(100)));
633 ExpectEqual(Value(), MulValue(Value(x_, 1, -4), Value(x_, 1, -1)));
634 ExpectEqual(Value(), MulValue(Value(x_, 1, 5), Value(y_, 1, -7)));
635 ExpectEqual(Value(x_, 9, 60), MulValue(Value(x_, 3, 20), Value(3)));
636 ExpectEqual(Value(y_, 55, -110), MulValue(Value(55), Value(y_, 1, -2)));
637 ExpectEqual(Value(), MulValue(Value(90000), Value(-90000))); // unsafe
645 ExpectEqual(Value(), MulValue(Value(min_value), Value(min_value)));
646 ExpectEqual(Value(), MulValue(Value(min_value), Value(-1)));
647 ExpectEqual(Value(), MulValue(Value(min_value), Value(max_value)));
648 ExpectEqual(Value(), MulValue(Value(max_value), Value(max_value)));
651 ExpectEqual(Value(min_value), MulValue(Value(min_value), Value(1)));
652 ExpectEqual(Value(max_value), MulValue(Value(max_value), Value(1)));
653 ExpectEqual(Value(-max_value), MulValue(Value(max_value), Value(-1)));
654 ExpectEqual(Value(-1), MulValue(Value(1), Value(-1)));
655 ExpectEqual(Value(1), MulValue(Value(-1), Value(-1)));
659 ExpectEqual(Value(25), DivValue(Value(100), Value(4)));
660 ExpectEqual(Value(), DivValue(Value(x_, 1, -4), Value(x_, 1, -1)));
661 ExpectEqual(Value(), DivValue(Value(x_, 1, 5), Value(y_, 1, -7)));
662 ExpectEqual(Value(), DivValue(Value(x_, 12, 24), Value(3)));
663 ExpectEqual(Value(), DivValue(Value(55), Value(y_, 1, -50)));
664 ExpectEqual(Value(), DivValue(Value(1), Value(0))); // unsafe
672 ExpectEqual(Value(), DivValue(Value(min_value), Value(-1)));
675 ExpectEqual(Value(1), DivValue(Value(min_value), Value(min_value)));
676 ExpectEqual(Value(1), DivValue(Value(max_value), Value(max_value)));
677 ExpectEqual(Value(min_value), DivValue(Value(min_value), Value(1)));
678 ExpectEqual(Value(max_value), DivValue(Value(max_value), Value(1)));
679 ExpectEqual(Value(-max_value), DivValue(Value(max_value), Value(-1)));
680 ExpectEqual(Value(-1), DivValue(Value(1), Value(-1)));
681 ExpectEqual(Value(1), DivValue(Value(-1), Value(-1)));
685 ExpectEqual(Value(10), MinValue(Value(10), Value(100)));
686 ExpectEqual(Value(x_, 1, -4), MinValue(Value(x_, 1, -4), Value(x_, 1, -1)));
687 ExpectEqual(Value(x_, 4, -4), MinValue(Value(x_, 4, -4), Value(x_, 4, -1)));
688 ExpectEqual(Value(), MinValue(Value(x_, 1, 5), Value(y_, 1, -7)));
689 ExpectEqual(Value(), MinValue(Value(x_, 1, 20), Value(3)));
690 ExpectEqual(Value(), MinValue(Value(55), Value(y_, 1, -50)));
694 ExpectEqual(Value(100), MaxValue(Value(10), Value(100)));
695 ExpectEqual(Value(x_, 1, -1), MaxValue(Value(x_, 1, -4), Value(x_, 1, -1)));
696 ExpectEqual(Value(x_, 4, -1), MaxValue(Value(x_, 4, -4), Value(x_, 4, -1)));
697 ExpectEqual(Value(), MaxValue(Value(x_, 1, 5), Value(y_, 1, -7)));
698 ExpectEqual(Value(), MaxValue(Value(x_, 1, 20), Value(3)));
699 ExpectEqual(Value(), MaxValue(Value(55), Value(y_, 1, -50)));
711 ExpectEqual(Value(0), GetMin(CreateFetch(array_length), nullptr));
712 ExpectEqual(Value(max_value), GetMax(CreateFetch(array_length), nullptr));
715 ExpectEqual(Value(array_length, 1, 0), GetMin(CreateFetch(array_length), nullptr));
716 ExpectEqual(Value(array_length, 1, 0), GetMax(CreateFetch(array_length), nullptr));
719 ExpectEqual(Value(x_, 1, 0), GetMin(CreateFetch(array_length), nullptr));
720 ExpectEqual(Value(x_, 1, 0), GetMax(CreateFetch(array_length), nullptr));
736 ExpectEqual(Value(x_, 1, -1), GetMin(CreateFetch(add), nullptr));
737 ExpectEqual(Value(x_, 1, -1), GetMax(CreateFetch(add), nullptr));
738 ExpectEqual(Value(x_, 1, -1), GetMin(CreateFetch(alt), nullptr));
739 ExpectEqual(Value(x_, 1, -1), GetMax(CreateFetch(alt), nullptr));
740 ExpectEqual(Value(x_, 1, -1), GetMin(CreateFetch(sub), nullptr));
741 ExpectEqual(Value(x_, 1, -1), GetMax(CreateFetch(sub), nullptr));
742 ExpectEqual(Value(x_, -1, 1), GetMin(CreateFetch(rev), nullptr));
743 ExpectEqual(Value(x_, -1, 1), GetMax(CreateFetch(rev), nullptr));
764 ExpectEqual(Value(0), v1);
765 ExpectEqual(Value(1000), v2);
770 ExpectEqual(Value(0), v1);
771 ExpectEqual(Value(999), v2);
774 ExpectEqual(Value(1), v1);
775 ExpectEqual(Value(1000), v2);
816 ExpectEqual(Value(0), v1);
817 ExpectEqual(Value(1000), v2);
822 ExpectEqual(Value(1), v1);
823 ExpectEqual(Value(1000), v2);
826 ExpectEqual(Value(0), v1);
827 ExpectEqual(Value(999), v2);
874 ExpectEqual(Value(0), v1);
875 ExpectEqual(Value(), v2);
880 ExpectEqual(Value(0), v1);
881 ExpectEqual(Value(x_, 1, -1), v2);
884 ExpectEqual(Value(1), v1);
885 ExpectEqual(Value(x_, 1, 0), v2);
924 ExpectEqual(Value(1), v1);
925 ExpectEqual(Value(y_, 1, 0), v2);
956 ExpectEqual(Value(), v1);
957 ExpectEqual(Value(1000), v2);
962 ExpectEqual(Value(x_, 1, 1), v1);
963 ExpectEqual(Value(1000), v2);
966 ExpectEqual(Value(x_, 1, 0), v1);
967 ExpectEqual(Value(999), v2);
1010 ExpectEqual(Value(y_, 1, 0), v1);
1011 ExpectEqual(Value(999), v2);
