- last if $s1 + $l > $n or $s2 + $l > $n;
- pat $v, $s1, $l, 0;
- $c = '';
- myfill($c, $s1, $l, 1);
- myfill($c, $s2, $l, 1);
- vcopy $v => $s1, $v => $s2, $l;
- ok(myeq($v, 0, $c, 0, $n), "vcopy $s1, $s2, $l (move)");
- is(length $v, length $c, "length is ok");
+ for my $x (0 .. $q) {
+ for my $y (0 .. $q) {
+ next if $l - $x - $y < 0 or $s2 + $l - $y < 0;
+ my $desc = "vcopy [ $x, $y ], $s1, $s2, $l (move)";
+ pat $v, $s1 + $x, $l - $x - $y, 0;
+ my $v0 = $v;
+ $c = $v;
+ myfill $c, $s2, $x, 0 if $x;
+ myfill $c, $s2 + $x, $l - $x - $y, 1;
+ myfill $c, $s2 + $l - $y, $y, 0 if $y;
+ vcopy $v => $s1, $v => $s2, $l;
+ is length $v, length $c, "$desc: length";
+ ok myeq($v, 0, $c, 0, $n), "$desc: bits" or do {
+ diag "n = $n, s1 = $s1, s2 = $s2, l = $l, x = $x, y = $y";
+ prnt $v0, $n, 'original';
+ prnt $v, $n, 'got ';
+ prnt $c, $n, 'expected';
+ }
+ }
+ }