-#!./perl
+#!./perl -w
+# use strict;
-# $RCSfile$
+print "1..54\n";
-print "1..6\n";
+my $test = 1;
+
+sub ok {
+ my ($pass, $wrong, $err) = @_;
+ if ($pass) {
+ print "ok $test\n";
+ $test = $test + 1; # Would be doubleplusbad to use ++ in the ++ test.
+ return 1;
+ } else {
+ if ($err) {
+ chomp $err;
+ print "not ok $test # $err\n";
+ } else {
+ if (defined $wrong) {
+ $wrong = ", got $wrong";
+ } else {
+ $wrong = '';
+ }
+ printf "not ok $test # line %d$wrong\n", (caller)[2];
+ }
+ }
+ $test = $test + 1;
+ return;
+}
# Verify that addition/subtraction properly upgrade to doubles.
-# These tests are only useful on machines with 32 bit longs,
-# and one's complement negation, but shouldn't fail anywhere.
+# These tests are only significant on machines with 32 bit longs,
+# and two's complement negation, but shouldn't fail anywhere.
-$a = 2147483647;
-$a++;
-if ($a == 2147483648)
- {print "ok 1\n"}
-else
- {print "not ok 1\n";}
+my $a = 2147483647;
+my $c=$a++;
+ok ($a == 2147483648, $a);
$a = 2147483647;
$c=++$a;
-if ($a == 2147483648)
- {print "ok 2\n"}
-else
- {print "not ok 2\n";}
+ok ($a == 2147483648, $a);
$a = 2147483647;
$a=$a+1;
-if ($a == 2147483648)
- {print "ok 3\n"}
-else
- {print "not ok 3\n";}
+ok ($a == 2147483648, $a);
$a = -2147483648;
$c=$a--;
-if ($a == -2147483649)
- {print "ok 4\n"}
-else
- {print "not ok 4\n";}
+ok ($a == -2147483649, $a);
$a = -2147483648;
$c=--$a;
-if ($a == -2147483649)
- {print "ok 5\n"}
-else
- {print "not ok 5\n";}
+ok ($a == -2147483649, $a);
$a = -2147483648;
$a=$a-1;
-if ($a == -2147483649)
- {print "ok 6\n"}
-else
- {print "not ok 6\n";}
+ok ($a == -2147483649, $a);
+
+$a = 2147483648;
+$a = -$a;
+$c=$a--;
+ok ($a == -2147483649, $a);
+
+$a = 2147483648;
+$a = -$a;
+$c=--$a;
+ok ($a == -2147483649, $a);
+
+$a = 2147483648;
+$a = -$a;
+$a=$a-1;
+ok ($a == -2147483649, $a);
+
+$a = 2147483648;
+$b = -$a;
+$c=$b--;
+ok ($b == -$a-1, $a);
+
+$a = 2147483648;
+$b = -$a;
+$c=--$b;
+ok ($b == -$a-1, $a);
+
+$a = 2147483648;
+$b = -$a;
+$b=$b-1;
+ok ($b == -(++$a), $a);
+
+$a = undef;
+ok ($a++ eq '0', do { $a=undef; $a++ }, "postinc undef returns '0'");
+
+$a = undef;
+ok (!defined($a--), do { $a=undef; $a-- }, "postdec undef returns undef");
+
+# Verify that shared hash keys become unshared.
+
+sub check_same {
+ my ($orig, $suspect) = @_;
+ my $fail;
+ while (my ($key, $value) = each %$suspect) {
+ if (exists $orig->{$key}) {
+ if ($orig->{$key} ne $value) {
+ print "# key '$key' was '$orig->{$key}' now '$value'\n";
+ $fail = 1;
+ }
+ } else {
+ print "# key '$key' is '$orig->{$key}', unexpect.\n";
+ $fail = 1;
+ }
+ }
+ foreach (keys %$orig) {
+ next if (exists $suspect->{$_});
+ print "# key '$_' was '$orig->{$_}' now missing\n";
+ $fail = 1;
+ }
+ ok (!$fail);
+}
+
+my (%orig) = my (%inc) = my (%dec) = my (%postinc) = my (%postdec)
+ = (1 => 1, ab => "ab");
+my %up = (1=>2, ab => 'ac');
+my %down = (1=>0, ab => -1);
+
+foreach (keys %inc) {
+ my $ans = $up{$_};
+ my $up;
+ eval {$up = ++$_};
+ ok ((defined $up and $up eq $ans), $up, $@);
+}
+
+check_same (\%orig, \%inc);
+
+foreach (keys %dec) {
+ my $ans = $down{$_};
+ my $down;
+ eval {$down = --$_};
+ ok ((defined $down and $down eq $ans), $down, $@);
+}
+
+check_same (\%orig, \%dec);
+
+foreach (keys %postinc) {
+ my $ans = $postinc{$_};
+ my $up;
+ eval {$up = $_++};
+ ok ((defined $up and $up eq $ans), $up, $@);
+}
+
+check_same (\%orig, \%postinc);
+
+foreach (keys %postdec) {
+ my $ans = $postdec{$_};
+ my $down;
+ eval {$down = $_--};
+ ok ((defined $down and $down eq $ans), $down, $@);
+}
+
+check_same (\%orig, \%postdec);
+
+{
+ no warnings 'uninitialized';
+ my ($x, $y);
+ eval {
+ $y ="$x\n";
+ ++$x;
+ };
+ ok($x == 1, $x);
+ ok($@ eq '', $@);
+
+ my ($p, $q);
+ eval {
+ $q ="$p\n";
+ --$p;
+ };
+ ok($p == -1, $p);
+ ok($@ eq '', $@);
+}
+
+$a = 2147483648;
+$c=--$a;
+ok ($a == 2147483647, $a);
+
+
+$a = 2147483648;
+$c=$a--;
+ok ($a == 2147483647, $a);
+
+{
+ use integer;
+ my $x = 0;
+ $x++;
+ ok ($x == 1, "(void) i_postinc");
+ $x--;
+ ok ($x == 0, "(void) i_postdec");
+}
+
+# I'm sure that there's an IBM format with a 48 bit mantissa
+# IEEE doubles have a 53 bit mantissa
+# 80 bit long doubles have a 64 bit mantissa
+# sparcs have a 112 bit mantissa for their long doubles. Just to be awkward :-)
+
+sub check_some_code {
+ my ($start, $warn, $action, $description) = @_;
+ my $warn_line = ($warn ? 'use' : 'no') . " warnings 'imprecision';";
+ my @warnings;
+ local $SIG{__WARN__} = sub {push @warnings, "@_"};
+
+ print "# checking $action under $warn_line\n";
+ my $code = <<"EOC";
+$warn_line
+my \$i = \$start;
+for(0 .. 3) {
+ my \$a = $action;
+}
+1;
+EOC
+ eval $code or die "# $@\n$code";
+
+ if ($warn) {
+ unless (ok (scalar @warnings == 2, scalar @warnings)) {
+ print STDERR "# $_" foreach @warnings;
+ }
+ foreach (@warnings) {
+ unless (ok (/Lost precision when incrementing \d+/, $_)) {
+ print STDERR "# $_"
+ }
+ }
+ } else {
+ unless (ok (scalar @warnings == 0)) {
+ print STDERR "# @$_" foreach @warnings;
+ }
+ }
+}
+
+my $h_uv_max = 1 + (~0 >> 1);
+my $found;
+for my $n (47..113) {
+ my $power_of_2 = 2**$n;
+ my $plus_1 = $power_of_2 + 1;
+ next if $plus_1 != $power_of_2;
+ my ($start_p, $start_n);
+ if ($h_uv_max > $power_of_2 / 2) {
+ my $uv_max = 1 + 2 * (~0 >> 1);
+ # UV_MAX is 2**$something - 1, so subtract 1 to get the start value
+ $start_p = $uv_max - 1;
+ # whereas IV_MIN is -(2**$something), so subtract 2
+ $start_n = -$h_uv_max + 2;
+ print "# Mantissa overflows at 2**$n ($power_of_2)\n";
+ print "# But max UV ($uv_max) is greater so testing that\n";
+ } else {
+ print "# Testing 2**$n ($power_of_2) which overflows the mantissa\n";
+ $start_p = int($power_of_2 - 2);
+ $start_n = -$start_p;
+ my $check = $power_of_2 - 2;
+ die "Something wrong with our rounding assumptions: $check vs $start_p"
+ unless $start_p == $check;
+ }
+
+ foreach my $warn (0, 1) {
+ foreach (['++$i', 'pre-inc'], ['$i++', 'post-inc']) {
+ check_some_code($start_p, $warn, @$_);
+ }
+ foreach (['--$i', 'pre-dec'], ['$i--', 'post-dec']) {
+ check_some_code($start_n, $warn, @$_);
+ }
+ }
+
+ $found = 1;
+ last;
+}
+die "Could not find a value which overflows the mantissa" unless $found;
+
+# these will segfault if they fail
+
+sub PVBM () { 'foo' }
+{ my $dummy = index 'foo', PVBM }
+
+ok (scalar eval { my $pvbm = PVBM; $pvbm++ });
+ok (scalar eval { my $pvbm = PVBM; $pvbm-- });
+ok (scalar eval { my $pvbm = PVBM; ++$pvbm });
+ok (scalar eval { my $pvbm = PVBM; --$pvbm });
+
projects / p5sagit/p5-mst-13.2.git / blobdiff