t/50-vrot.t

   1 #!perl -T
   2
   3 use strict;
   4 use warnings;
   5
   6 use lib 't/lib';
   7 use Test::Leaner 'no_plan';
   8
   9 use Scalar::Vec::Util qw<vrot vcopy SVU_SIZE>;
  10
  11 BEGIN {
  12  *myfill = *Scalar::Vec::Util::vfill_pp;
  13  *myeq   = *Scalar::Vec::Util::veq_pp;
  14 }
  15
  16 for ([ 1, 'offset', -1 ], [ 2, 'length', '-1' ]) {
  17  my @args  = ('1') x 4;
  18  $args[$_->[0]] = $_->[2];
  19  local $@;
  20  eval { &vrot(@args) };
  21  my $err  = $@;
  22  my $line = __LINE__-2;
  23  like $err, qr/^Invalid\s+negative\s+$_->[1]\s+at\s+\Q$0\E\s+line\s+$line/,
  24       "vrot(@args) failed";
  25 }
  26
  27 my $p = SVU_SIZE;
  28 $p    = 8 if $p < 8;
  29 my $n = 3 * $p;
  30 my $q = 2;
  31
  32 sub rst {
  33  myfill $_[0], 0, $n, 0;
  34  $_[0] = '';
  35 }
  36
  37 sub pat {
  38  my (undef, $a, $b, $c, $x) = @_;
  39  $_[0] = '';
  40  myfill $_[0], 0,            $a,                  $x;
  41  myfill $_[0], $a,           $b,                  1 - $x;
  42  myfill $_[0], $a + $b,      $c,                  $x;
  43  myfill $_[0], $a + $b + $c, $n - ($a + $b + $c), 1 - $x;
  44 }
  45
  46 sub expected {
  47  my (undef, $s, $l, $b, $left) = @_;
  48  unless ($l) {
  49   myfill $_[0], 0,  $s,      0;
  50   myfill $_[0], $s, $n - $s, 1;
  51   return;
  52  }
  53  my $lx = int($l / 2);
  54  my $ly = $l - $lx;
  55  $b %= $l;
  56  $_[0] = '';
  57  myfill $_[0], 0, $s, 0;
  58  if ($left) {
  59   if ($b <= $ly) {
  60    myfill $_[0], $s,            $b,            0;
  61    myfill $_[0], $s + $b,       $lx,           1;
  62    myfill $_[0], $s + $b + $lx, $l - $lx - $b, 0;
  63   } else {
  64    myfill $_[0], $s,            $b - $ly, 1;
  65    myfill $_[0], $s + $b - $ly, $ly,      0;
  66    myfill $_[0], $s + $b,       $l - $b,  1;
  67   }
  68  } else {
  69   if ($b <= $lx) {
  70    myfill $_[0], $s,            $lx - $b, 1;
  71    myfill $_[0], $s + $lx - $b, $l - $lx, 0;
  72    myfill $_[0], $s + $l  - $b, $b,       1;
  73   } else {
  74    myfill $_[0], $s,                 $ly - ($b - $lx), 0;
  75    myfill $_[0], $s + $l - $b,       $lx,              1;
  76    myfill $_[0], $s + $l + $lx - $b, $b - $lx,         0;
  77   }
  78  }
  79  myfill $_[0], $s + $l, $n - $s - $l, 1;
  80 }
  81
  82 sub prnt {
  83  my (undef, $n, $desc) = @_;
  84  my $s;
  85  $s .= vec($_[0], $_, 1) for 0 .. $n - 1;
  86  diag "$desc: $s";
  87 }
  88
  89 my ($v, $v0, $c) = ('', '') x 2;
  90
  91 sub try {
  92  my ($left) = @_;
  93  my @s = ($p - $q) .. ($p + $q);
  94  for my $s (@s) {
  95   for my $l (0 .. $n - 1) {
  96    next if $s + $l > $n;
  97    my $l2 = int($l/2);
  98    rst $v0;
  99    pat $v0, $s, $l2, $l - $l2, 0;
 100    my @b = (0, 3, 5, 7, 11, 13, 17, $l2, $l2 + 1, $l + 1);
 101    @b = do { my %seen; ++$seen{$_} for @b; sort keys %seen };
 102    for my $b (@b) {
 103     my $desc = "vrot $s, $l, $b";
 104     $v = $v0;
 105     expected $c, $s, $l, $b, $left;
 106     $b = -$b unless $left;
 107     vrot $v, $s, $l, $b;
 108     is length $v, length $c,   "$desc: length";
 109     ok myeq($v, 0, $c, 0, $n), "$desc: bits" or do {
 110      diag "n = $n, s = $s, l = $l, l2 = $l2";
 111      prnt $v0, $n, 'original';
 112      prnt $v, $n,  'got     ';
 113      prnt $c, $n,  'expected';
 114     }
 115    }
 116   }
 117  }
 118 }
 119
 120 try 1;
 121 try 0;