- for my $l (0 .. $n - 1) {
- last if $s1 + $l > $n or $s2 + $l > $n;
- pat $v1, $s1, $l, 0;
- pat $v2, $s2, $l, 0;
- ok(veq($v1 => $s1, $v2 => $s2, $l), "veq $s1, $s2, $l");
- ok(!veq($v1 => $s1 - 1, $v2 => $s2, $l), 'not veq_pp ' . ($s1 - 1) . ", $s2, $l") if $l > 0;
- ok(!veq($v1 => $s1 + 1, $v2 => $s2, $l), 'not veq_pp ' . ($s1 + 1) . ", $s2, $l") if $l > 0;
+ for my $l (0 .. $n) {
+ next if $s1 + $l > $n or $s2 + $l > $n;
+ my $v1 = '';
+ my $v2 = '';
+ pat $v1, $s1, $l, 0, 0;
+ pat $v2, $s2, $l, 0, 1;
+ if ($l > 0) {
+ my $desc = "not veq 0, 0, $n";
+ ok !veq($v1 => 0, $z => 0, $n), "$desc [1<=>0,$l]";
+ ok !veq($z => 0, $v1 => 0, $n), "$desc [0<=>1,$l]";
+ }
+ for my $r ($l, $l + $n + 1) {
+ my $desc = "veq $s1, $s2, $r";
+ ok veq($v1 => $s1, $v2 => $s2, $r), "$desc [1<=>2,$l]";
+ ok veq($v2 => $s2, $v1 => $s1, $r), "$desc [2<=>1,$l]";
+ if ($l > 0) { # Implies $r > 0
+ if ($s1 > 0) {
+ my $desc = 'not veq ' . ($s1 - 1). ", $s2, $r";
+ ok !veq($v1 => $s1-1, $v2 => $s2, $r), "$desc [1-1<=>2,$l]";
+ ok !veq($v2 => $s2, $v1 => $s1-1, $r), "$desc [2<=>1-1,$l]";
+ }
+ {
+ my $desc = 'not veq ' . ($s1 + 1). ", $s2, $r";
+ ok !veq($v1 => $s1+1, $v2 => $s2, $r), "$desc [1+1<=>2,$l]";
+ ok !veq($v2 => $s2, $v1 => $s1+1, $r), "$desc [2<=>1+1,$l]";
+ }
+ }
+ }