shift tests

shift.t

use v6;
use Test;

plan 60;

sub check ($a, $b, $ls, $rs) {
    is $a * 2**$b, $ls, "expected value $ls for shl $a by $b is sane";
    is floor($a / 2**$b), $rs, "expected value $rs for shr $a by $b is sane";

    is $a +<  $b, $ls, "got expected value $ls for shl $a by $b";
    is $a +< -$b, $rs, "got expected value $rs for shl $a by -$b";
    is $a +>  $b, $rs, "got expected value $rs for shr $a by $b";
    is $a +> -$b, $ls, "got expected value $ls for shr $a by -$b";

    my int $na = $a;
    my int $nb = $b;

    is $na +<  $nb, $ls, "got expected value $ls for native shl $a by $b";
    is $na +< -$nb, $rs, "got expected value $rs for native shl $a by -$b";
    is $na +>  $nb, $rs, "got expected value $rs for native shr $a by $b";
    is $na +> -$nb, $ls, "got expected value $ls for native shr $a by -$b";
}

check 15, 3, 120, 1;
check 16, 3, 128, 2;
check 17, 3, 136, 2;

check -15, 3, -120, -2;
check -16, 3, -128, -2;
check -17, 3, -136, -3;

done;