This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Remove an obsolete note.
[perl5.git] / t / op / 64bit.t
index 09419f8..60f72c3 100644 (file)
@@ -1,3 +1,5 @@
+#./perl
+
 BEGIN {
        eval { my $q = pack "q", 0 };
        if ($@) {
@@ -9,15 +11,12 @@ BEGIN {
 }
 
 # This could use a lot of more tests.
-#
-# Nota bene: bit operations (&, |, ^, ~, <<, >>) are not 64-bit clean.
-# See the beginning of pp.c and the explanation next to IBW/UBW.
 
 # so that using > 0xfffffff constants and
-# 32+ bit vector sizes doesn't cause noise
+# 32+ bit integers don't cause noise
 no warnings qw(overflow portable);
 
-print "1..34\n";
+print "1..48\n";
 
 my $q = 12345678901;
 my $r = 23456789012;
@@ -136,7 +135,7 @@ $x = 98765432109 % 12345678901;
 print "not " unless $x == 901;
 print "ok 25\n";
 
-# The following six adapted from op/inc.
+# The following 12 tests adapted from op/inc.
 
 $a = 9223372036854775807;
 $c = $a++;
@@ -145,38 +144,99 @@ print "ok 26\n";
 
 $a = 9223372036854775807;
 $c = ++$a;
-print "not " unless $a == 9223372036854775808;
+print "not " unless $a == 9223372036854775808 && $c == $a;
 print "ok 27\n";
 
 $a = 9223372036854775807;
 $c = $a + 1;
-print "not " unless $a == 9223372036854775808;
+print "not " unless $a == 9223372036854775807 && $c == 9223372036854775808;
 print "ok 28\n";
 
 $a = -9223372036854775808;
 $c = $a--;
-print "not " unless $a == -9223372036854775809;
+print "not " unless $a == -9223372036854775809 && $c == -9223372036854775808;
 print "ok 29\n";
 
 $a = -9223372036854775808;
 $c = --$a;
-print "not " unless $a == -9223372036854775809;
+print "not " unless $a == -9223372036854775809 && $c == $a;
 print "ok 30\n";
 
 $a = -9223372036854775808;
 $c = $a - 1;
-print "not " unless $a == -9223372036854775809;
+print "not " unless $a == -9223372036854775808 && $c == -9223372036854775809;
 print "ok 31\n";
 
+$a = 9223372036854775808;
+$a = -$a;
+$c = $a--;
+print "not " unless $a == -9223372036854775809 && $c == -9223372036854775808;
+print "ok 32\n";
+
+$a = 9223372036854775808;
+$a = -$a;
+$c = --$a;
+print "not " unless $a == -9223372036854775809 && $c == $a;
+print "ok 33\n";
+
+$a = 9223372036854775808;
+$a = -$a;
+$c = $a - 1;
+print "not " unless $a == -9223372036854775808 && $c == -9223372036854775809;
+print "ok 34\n";
+
+$a = 9223372036854775808;
+$b = -$a;
+$c = $b--;
+print "not " unless $b == -$a-1 && $c == -$a;
+print "ok 35\n";
+
+$a = 9223372036854775808;
+$b = -$a;
+$c = --$b;
+print "not " unless $b == -$a-1 && $c == $b;
+print "ok 36\n";
+
+$a = 9223372036854775808;
+$b = -$a;
+$b = $b - 1;
+print "not " unless $b == -(++$a);
+print "ok 37\n";
+
 
 $x = '';
 print "not " unless (vec($x, 1, 64) = $q) == $q;
-print "ok 32\n";
+print "ok 38\n";
 
 print "not " unless vec($x, 1, 64) == $q && vec($x, 1, 64) > $f;
-print "ok 33\n";
+print "ok 39\n";
 
 print "not " unless vec($x, 0, 64) == 0 && vec($x, 2, 64) == 0;
-print "ok 34\n";
+print "ok 40\n";
+
+
+print "not " unless ~0 == 0xffffffffffffffff;
+print "ok 41\n";
+
+print "not " unless (0xffffffff<<32) == 0xffffffff00000000;
+print "ok 42\n";
+
+print "not " unless ((0xffffffff)<<32)>>32 == 0xffffffff;
+print "ok 43\n";
+
+print "not " unless 1<<63 == 0x8000000000000000;
+print "ok 44\n";
+
+print "not " unless (sprintf "%#Vx", 1<<63) eq '0x8000000000000000';
+print "ok 45\n";
+
+print "not " unless (0x8000000000000000 | 1) == 0x8000000000000001;
+print "ok 46\n";
+
+print "not " unless (0xf000000000000000 & 0x8000000000000000) == 0x8000000000000000;
+print "ok 47\n";
+
+print "not " unless (0xf000000000000000 ^ 0xfffffffffffffff0) == 0x0ffffffffffffff0;
+print "ok 48\n";
 
 # eof