t/op/64bitint.t

   1 #./perl
   2
   3 BEGIN {
   4         eval { my $q = pack "q", 0 };
   5         if ($@) {
   6                 print "1..0 # Skip: no 64-bit types\n";
   7                 exit(0);
   8         }
   9         chdir 't' if -d 't';
  10         @INC = '../lib';
  11 }
  12
  13 # This could use many more tests.
  14
  15 # so that using > 0xfffffff constants and
  16 # 32+ bit integers don't cause noise
  17 use warnings;
  18 no warnings qw(overflow portable);
  19
  20 print "1..67\n";
  21
  22 # as 6 * 6 = 36, the last digit of 6**n will always be six. Hence the last
  23 # digit of 16**n will always be six. Hence 16**n - 1 will always end in 5.
  24 # Assumption is that UVs will always be a multiple of 4 bits long.
  25
  26 my $UV_max = ~0;
  27 die "UV_max eq '$UV_max', doesn't end in 5; your UV isn't 4n bits long :-(."
  28   unless $UV_max =~ /5$/;
  29 my $UV_max_less3 = $UV_max - 3;
  30 my $maths_preserves_UVs = $UV_max_less3 =~ /^\d+2$/;   # 5 - 3 is 2.
  31 if ($maths_preserves_UVs) {
  32   print "# This perl's maths preserves all bits of a UV.\n";
  33 } else {
  34   print "# This perl's maths does not preserve all bits of a UV.\n";
  35 }
  36
  37 my $q = 12345678901;
  38 my $r = 23456789012;
  39 my $f = 0xffffffff;
  40 my $x;
  41 my $y;
  42
  43 $x = unpack "q", pack "q", $q;
  44 print "not " unless $x == $q && $x > $f;
  45 print "ok 1\n";
  46
  47
  48 $x = sprintf("%lld", 12345678901);
  49 print "not " unless $x eq $q && $x > $f;
  50 print "ok 2\n";
  51
  52
  53 $x = sprintf("%lld", $q);
  54 print "not " unless $x == $q && $x eq $q && $x > $f;
  55 print "ok 3\n";
  56
  57 $x = sprintf("%Ld", $q);
  58 print "not " unless $x == $q && $x eq $q && $x > $f;
  59 print "ok 4\n";
  60
  61 $x = sprintf("%qd", $q);
  62 print "not " unless $x == $q && $x eq $q && $x > $f;
  63 print "ok 5\n";
  64
  65
  66 $x = sprintf("%llx", $q);
  67 print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
  68 print "ok 6\n";
  69
  70 $x = sprintf("%Lx", $q);
  71 print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
  72 print "ok 7\n";
  73
  74 $x = sprintf("%qx", $q);
  75 print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
  76 print "ok 8\n";
  77
  78
  79 $x = sprintf("%llo", $q);
  80 print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
  81 print "ok 9\n";
  82
  83 $x = sprintf("%Lo", $q);
  84 print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
  85 print "ok 10\n";
  86
  87 $x = sprintf("%qo", $q);
  88 print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
  89 print "ok 11\n";
  90
  91
  92 $x = sprintf("%llb", $q);
  93 print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
  94                     oct("0b$x") > $f;
  95 print "ok 12\n";
  96
  97 $x = sprintf("%Lb", $q);
  98 print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
  99                                    oct("0b$x") > $f;
 100 print "ok 13\n";
 101
 102 $x = sprintf("%qb", $q);
 103 print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
 104                     oct("0b$x") > $f;
 105 print "ok 14\n";
 106
 107
 108 $x = sprintf("%llu", $q);
 109 print "not " unless $x eq $q && $x > $f;
 110 print "ok 15\n";
 111
 112 $x = sprintf("%Lu", $q);
 113 print "not " unless $x == $q && $x eq $q && $x > $f;
 114 print "ok 16\n";
 115
 116 $x = sprintf("%qu", $q);
 117 print "not " unless $x == $q && $x eq $q && $x > $f;
 118 print "ok 17\n";
 119
 120
 121 $x = sprintf("%D", $q);
 122 print "not " unless $x == $q && $x eq $q && $x > $f;
 123 print "ok 18\n";
 124
 125 $x = sprintf("%U", $q);
 126 print "not " unless $x == $q && $x eq $q && $x > $f;
 127 print "ok 19\n";
 128
 129 $x = sprintf("%O", $q);
 130 print "not " unless oct($x) == $q && oct($x) > $f;
 131 print "ok 20\n";
 132
 133
 134 $x = $q + $r;
 135 print "not " unless $x == 35802467913 && $x > $f;
 136 print "ok 21\n";
 137
 138 $x = $q - $r;
 139 print "not " unless $x == -11111110111 && -$x > $f;
 140 print "ok 22\n";
 141
 142 if ($^O ne 'unicos') {
 143     $x = $q * 1234567;
 144     print "not " unless $x == 15241567763770867 && $x > $f;
 145     print "ok 23\n";
 146
 147     $x /= 1234567;
 148     print "not " unless $x == $q && $x > $f;
 149     print "ok 24\n";
 150
 151     $x = 98765432109 % 12345678901;
 152     print "not " unless $x == 901;
 153     print "ok 25\n";
 154
 155     # The following 12 tests adapted from op/inc.
 156
 157     $a = 9223372036854775807;
 158     $c = $a++;
 159     print "not " unless $a == 9223372036854775808;
 160     print "ok 26\n";
 161
 162     $a = 9223372036854775807;
 163     $c = ++$a;
 164     print "not "
 165         unless $a == 9223372036854775808 && $c == $a;
 166     print "ok 27\n";
 167
 168     $a = 9223372036854775807;
 169     $c = $a + 1;
 170     print "not "
 171         unless $a == 9223372036854775807 && $c == 9223372036854775808;
 172     print "ok 28\n";
 173
 174     $a = -9223372036854775808;
 175     $c = $a--;
 176     print "not "
 177         unless $a == -9223372036854775809 && $c == -9223372036854775808;
 178     print "ok 29\n";
 179
 180     $a = -9223372036854775808;
 181     $c = --$a;
 182     print "not "
 183         unless $a == -9223372036854775809 && $c == $a;
 184     print "ok 30\n";
 185
 186     $a = -9223372036854775808;
 187     $c = $a - 1;
 188     print "not "
 189         unless $a == -9223372036854775808 && $c == -9223372036854775809;
 190     print "ok 31\n";
 191
 192     $a = 9223372036854775808;
 193     $a = -$a;
 194     $c = $a--;
 195     print "not "
 196         unless $a == -9223372036854775809 && $c == -9223372036854775808;
 197     print "ok 32\n";
 198
 199     $a = 9223372036854775808;
 200     $a = -$a;
 201     $c = --$a;
 202     print "not "
 203         unless $a == -9223372036854775809 && $c == $a;
 204     print "ok 33\n";
 205
 206     $a = 9223372036854775808;
 207     $a = -$a;
 208     $c = $a - 1;
 209     print "not "
 210         unless $a == -9223372036854775808 && $c == -9223372036854775809;
 211     print "ok 34\n";
 212
 213     $a = 9223372036854775808;
 214     $b = -$a;
 215     $c = $b--;
 216     print "not "
 217         unless $b == -$a-1 && $c == -$a;
 218     print "ok 35\n";
 219
 220     $a = 9223372036854775808;
 221     $b = -$a;
 222     $c = --$b;
 223     print "not "
 224         unless $b == -$a-1 && $c == $b;
 225     print "ok 36\n";
 226
 227     $a = 9223372036854775808;
 228     $b = -$a;
 229     $b = $b - 1;
 230     print "not "
 231         unless $b == -(++$a);
 232     print "ok 37\n";
 233
 234 } else {
 235     # Unicos has imprecise doubles (14 decimal digits or so),
 236     # especially if operating near the UV/IV limits the low-order bits
 237     # become mangled even by simple arithmetic operations.
 238     for (23..37) {
 239         print "ok $_ # skipped: too imprecise numbers\n";
 240     }
 241 }
 242
 243
 244 $x = '';
 245 print "not " unless (vec($x, 1, 64) = $q) == $q;
 246 print "ok 38\n";
 247
 248 print "not " unless vec($x, 1, 64) == $q && vec($x, 1, 64) > $f;
 249 print "ok 39\n";
 250
 251 print "not " unless vec($x, 0, 64) == 0 && vec($x, 2, 64) == 0;
 252 print "ok 40\n";
 253
 254
 255 print "not " unless ~0 == 0xffffffffffffffff;
 256 print "ok 41\n";
 257
 258 print "not " unless (0xffffffff<<32) == 0xffffffff00000000;
 259 print "ok 42\n";
 260
 261 print "not " unless ((0xffffffff)<<32)>>32 == 0xffffffff;
 262 print "ok 43\n";
 263
 264 print "not " unless 1<<63 == 0x8000000000000000;
 265 print "ok 44\n";
 266
 267 print "not " unless (sprintf "%#Vx", 1<<63) eq '0x8000000000000000';
 268 print "ok 45\n";
 269
 270 print "not " unless (0x8000000000000000 | 1) == 0x8000000000000001;
 271 print "ok 46\n";
 272
 273 print "not "
 274     unless (0xf000000000000000 & 0x8000000000000000) == 0x8000000000000000;
 275 print "ok 47\n";
 276
 277 print "not "
 278     unless (0xf000000000000000 ^ 0xfffffffffffffff0) == 0x0ffffffffffffff0;
 279 print "ok 48\n";
 280
 281
 282 print "not "
 283     unless (sprintf "%b", ~0)   eq
 284            '1111111111111111111111111111111111111111111111111111111111111111';
 285 print "ok 49\n";
 286
 287 print "not "
 288     unless (sprintf "%64b", ~0) eq
 289            '1111111111111111111111111111111111111111111111111111111111111111';
 290 print "ok 50\n";
 291
 292 print "not " unless (sprintf "%d", ~0>>1) eq '9223372036854775807';
 293 print "ok 51\n";
 294
 295 print "not " unless (sprintf "%u", ~0)    eq '18446744073709551615';
 296 print "ok 52\n";
 297
 298 # If the 53..55 fail you have problems in the parser's string->int conversion,
 299 # see toke.c:scan_num().
 300
 301 $q = -9223372036854775808;
 302 print "# $q ne\n# -9223372036854775808\nnot " unless "$q" eq "-9223372036854775808";
 303 print "ok 53\n";
 304
 305 $q =  9223372036854775807;
 306 print "# $q ne\n# 9223372036854775807\nnot " unless "$q" eq "9223372036854775807";
 307 print "ok 54\n";
 308
 309 $q = 18446744073709551615;
 310 print "# $q ne\n# 18446744073709551615\nnot " unless "$q" eq "18446744073709551615";
 311 print "ok 55\n";
 312
 313 # Test that sv_2nv then sv_2iv is the same as sv_2iv direct
 314 # fails if whatever Atol is defined as can't actually cope with >32 bits.
 315 my $num = 4294967297;
 316 my $string = "4294967297";
 317 {
 318   use integer;
 319   $num += 0;
 320   $string += 0;
 321 }
 322 if ($num eq $string) {
 323   print "ok 56\n";
 324 } else {
 325   print "not ok 56 # \"$num\" ne \"$string\"\n";
 326 }
 327
 328 # Test that sv_2nv then sv_2uv is the same as sv_2uv direct
 329 $num = 4294967297;
 330 $string = "4294967297";
 331 $num &= 0;
 332 $string &= 0;
 333 if ($num eq $string) {
 334   print "ok 57\n";
 335 } else {
 336   print "not ok 57 # \"$num\" ne \"$string\"\n";
 337 }
 338
 339 $q = "18446744073709551616e0";
 340 $q += 0;
 341 print "# \"18446744073709551616e0\" += 0 gives $q\nnot " if "$q" eq "18446744073709551615";
 342 print "ok 58\n";
 343
 344 # 0xFFFFFFFFFFFFFFFF ==  1 * 3 * 5 * 17 * 257 * 641 * 65537 * 6700417'
 345 $q = 0xFFFFFFFFFFFFFFFF / 3;
 346 if ($q == 0x5555555555555555 and ($q != 0x5555555555555556
 347                                   or !$maths_preserves_UVs)) {
 348   print "ok 59\n";
 349 } else {
 350   print "not ok 59 # 0xFFFFFFFFFFFFFFFF / 3 = $q\n";
 351   print "# Should not be floating point\n" if $q =~ tr/e.//;
 352 }
 353
 354 $q = 0xFFFFFFFFFFFFFFFF % 0x5555555555555555;
 355 if ($q == 0) {
 356   print "ok 60\n";
 357 } else {
 358   print "not ok 60 # 0xFFFFFFFFFFFFFFFF % 0x5555555555555555 => $q\n";
 359 }
 360
 361 $q = 0xFFFFFFFFFFFFFFFF % 0xFFFFFFFFFFFFFFF0;
 362 if ($q == 0xF) {
 363   print "ok 61\n";
 364 } else {
 365   print "not ok 61 # 0xFFFFFFFFFFFFFFFF % 0xFFFFFFFFFFFFFFF0 => $q\n";
 366 }
 367
 368 $q = 0x8000000000000000 % 9223372036854775807;
 369 if ($q == 1) {
 370   print "ok 62\n";
 371 } else {
 372   print "not ok 62 # 0x8000000000000000 % 9223372036854775807 => $q\n";
 373 }
 374
 375 $q = 0x8000000000000000 % -9223372036854775807;
 376 if ($q == -9223372036854775806) {
 377   print "ok 63\n";
 378 } else {
 379   print "not ok 63 # 0x8000000000000000 % -9223372036854775807 => $q\n";
 380 }
 381
 382 {
 383   use integer;
 384   $q = hex "0x123456789abcdef0";
 385   if ($q == 0x123456789abcdef0 and $q != 0x123456789abcdef1) {
 386     print "ok 64\n";
 387   } else {
 388     printf "not ok 64 # hex \"0x123456789abcdef0\" = $q (%X)\n", $q;
 389     print "# Should not be floating point\n" if $q =~ tr/e.//;
 390   }
 391
 392   $q = oct "0x123456789abcdef0";
 393   if ($q == 0x123456789abcdef0 and $q != 0x123456789abcdef1) {
 394     print "ok 65\n";
 395   } else {
 396     printf "not ok 65 # oct \"0x123456789abcdef0\" = $q (%X)\n", $q;
 397     print "# Should not be floating point\n" if $q =~ tr/e.//;
 398   }
 399
 400   $q = oct "765432176543217654321";
 401   if ($q == 0765432176543217654321 and $q != 0765432176543217654322) {
 402     print "ok 66\n";
 403   } else {
 404     printf "not ok 66 # oct \"765432176543217654321\" = $q (%o)\n", $q;
 405     print "# Should not be floating point\n" if $q =~ tr/e.//;
 406   }
 407
 408   $q = oct "0b0101010101010101010101010101010101010101010101010101010101010101";
 409   if ($q == 0x5555555555555555 and $q != 0x5555555555555556) {
 410     print "ok 67\n";
 411   } else {
 412     printf "not ok 67 # oct \"0b0101010101010101010101010101010101010101010101010101010101010101\" = $q (%b)\n", $q;
 413     print "# Should not be floating point\n" if $q =~ tr/e.//;
 414   }
 415 }
 416
 417 # eof