This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
399030a341645c0b584deca00a8460a2942ec77d
[perl5.git] / 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     {
176         no warnings 'imprecision';
177         $c = $a--;
178     }
179     print "not "
180         unless $a == -9223372036854775809 && $c == -9223372036854775808;
181     print "ok 29\n";
182
183     $a = -9223372036854775808;
184     {
185         no warnings 'imprecision';
186         $c = --$a;
187     }
188     print "not "
189         unless $a == -9223372036854775809 && $c == $a;
190     print "ok 30\n";
191
192     $a = -9223372036854775808;
193     $c = $a - 1;
194     print "not "
195         unless $a == -9223372036854775808 && $c == -9223372036854775809;
196     print "ok 31\n";
197     
198     $a = 9223372036854775808;
199     $a = -$a;
200     {
201         no warnings 'imprecision';
202         $c = $a--;
203     }
204     print "not "
205         unless $a == -9223372036854775809 && $c == -9223372036854775808;
206     print "ok 32\n";
207     
208     $a = 9223372036854775808;
209     $a = -$a;
210     {
211         no warnings 'imprecision';
212         $c = --$a;
213     }
214     print "not "
215         unless $a == -9223372036854775809 && $c == $a;
216     print "ok 33\n";
217     
218     $a = 9223372036854775808;
219     $a = -$a;
220     $c = $a - 1;
221     print "not "
222         unless $a == -9223372036854775808 && $c == -9223372036854775809;
223     print "ok 34\n";
224
225     $a = 9223372036854775808;
226     $b = -$a;
227     {
228         no warnings 'imprecision';
229         $c = $b--;
230     }
231     print "not "
232         unless $b == -$a-1 && $c == -$a;
233     print "ok 35\n";
234
235     $a = 9223372036854775808;
236     $b = -$a;
237     {
238         no warnings 'imprecision';
239         $c = --$b;
240     }
241     print "not "
242         unless $b == -$a-1 && $c == $b;
243     print "ok 36\n";
244
245     $a = 9223372036854775808;
246     $b = -$a;
247     $b = $b - 1;
248     print "not "
249         unless $b == -(++$a);
250     print "ok 37\n";
251
252 } else {
253     # Unicos has imprecise doubles (14 decimal digits or so),
254     # especially if operating near the UV/IV limits the low-order bits
255     # become mangled even by simple arithmetic operations.
256     for (23..37) {
257         print "ok $_ # skipped: too imprecise numbers\n";
258     }
259 }
260
261
262 $x = '';
263 print "not " unless (vec($x, 1, 64) = $q) == $q;
264 print "ok 38\n";
265
266 print "not " unless vec($x, 1, 64) == $q && vec($x, 1, 64) > $f;
267 print "ok 39\n";
268
269 print "not " unless vec($x, 0, 64) == 0 && vec($x, 2, 64) == 0;
270 print "ok 40\n";
271
272
273 print "not " unless ~0 == 0xffffffffffffffff;
274 print "ok 41\n";
275
276 print "not " unless (0xffffffff<<32) == 0xffffffff00000000;
277 print "ok 42\n";
278
279 print "not " unless ((0xffffffff)<<32)>>32 == 0xffffffff;
280 print "ok 43\n";
281
282 print "not " unless 1<<63 == 0x8000000000000000;
283 print "ok 44\n";
284
285 print "not " unless (sprintf "%#Vx", 1<<63) eq '0x8000000000000000';
286 print "ok 45\n";
287
288 print "not " unless (0x8000000000000000 | 1) == 0x8000000000000001;
289 print "ok 46\n";
290
291 print "not "
292     unless (0xf000000000000000 & 0x8000000000000000) == 0x8000000000000000;
293 print "ok 47\n";
294
295 print "not "
296     unless (0xf000000000000000 ^ 0xfffffffffffffff0) == 0x0ffffffffffffff0;
297 print "ok 48\n";
298
299
300 print "not "
301     unless (sprintf "%b", ~0)   eq
302            '1111111111111111111111111111111111111111111111111111111111111111';
303 print "ok 49\n";
304
305 print "not "
306     unless (sprintf "%64b", ~0) eq
307            '1111111111111111111111111111111111111111111111111111111111111111';
308 print "ok 50\n";
309
310 print "not " unless (sprintf "%d", ~0>>1) eq '9223372036854775807';
311 print "ok 51\n";
312
313 print "not " unless (sprintf "%u", ~0)    eq '18446744073709551615';
314 print "ok 52\n";
315
316 # If the 53..55 fail you have problems in the parser's string->int conversion,
317 # see toke.c:scan_num().
318
319 $q = -9223372036854775808;
320 print "# $q ne\n# -9223372036854775808\nnot " unless "$q" eq "-9223372036854775808";
321 print "ok 53\n";
322
323 $q =  9223372036854775807;
324 print "# $q ne\n# 9223372036854775807\nnot " unless "$q" eq "9223372036854775807";
325 print "ok 54\n";
326
327 $q = 18446744073709551615;
328 print "# $q ne\n# 18446744073709551615\nnot " unless "$q" eq "18446744073709551615";
329 print "ok 55\n";
330
331 # Test that sv_2nv then sv_2iv is the same as sv_2iv direct
332 # fails if whatever Atol is defined as can't actually cope with >32 bits.
333 my $num = 4294967297;
334 my $string = "4294967297";
335 {
336   use integer;
337   $num += 0;
338   $string += 0;
339 }
340 if ($num eq $string) {
341   print "ok 56\n";
342 } else {
343   print "not ok 56 # \"$num\" ne \"$string\"\n";
344 }
345
346 # Test that sv_2nv then sv_2uv is the same as sv_2uv direct
347 $num = 4294967297;
348 $string = "4294967297";
349 $num &= 0;
350 $string &= 0;
351 if ($num eq $string) {
352   print "ok 57\n";
353 } else {
354   print "not ok 57 # \"$num\" ne \"$string\"\n";
355 }
356
357 $q = "18446744073709551616e0";
358 $q += 0;
359 print "# \"18446744073709551616e0\" += 0 gives $q\nnot " if "$q" eq "18446744073709551615";
360 print "ok 58\n";
361
362 # 0xFFFFFFFFFFFFFFFF ==  1 * 3 * 5 * 17 * 257 * 641 * 65537 * 6700417'
363 $q = 0xFFFFFFFFFFFFFFFF / 3;
364 if ($q == 0x5555555555555555 and ($q != 0x5555555555555556
365                                   or !$maths_preserves_UVs)) {
366   print "ok 59\n";
367 } else {
368   print "not ok 59 # 0xFFFFFFFFFFFFFFFF / 3 = $q\n";
369   print "# Should not be floating point\n" if $q =~ tr/e.//;
370 }
371
372 $q = 0xFFFFFFFFFFFFFFFF % 0x5555555555555555;
373 if ($q == 0) {
374   print "ok 60\n";
375 } else {
376   print "not ok 60 # 0xFFFFFFFFFFFFFFFF % 0x5555555555555555 => $q\n";
377 }
378
379 $q = 0xFFFFFFFFFFFFFFFF % 0xFFFFFFFFFFFFFFF0;
380 if ($q == 0xF) {
381   print "ok 61\n";
382 } else {
383   print "not ok 61 # 0xFFFFFFFFFFFFFFFF % 0xFFFFFFFFFFFFFFF0 => $q\n";
384 }
385
386 $q = 0x8000000000000000 % 9223372036854775807;
387 if ($q == 1) {
388   print "ok 62\n";
389 } else {
390   print "not ok 62 # 0x8000000000000000 % 9223372036854775807 => $q\n";
391 }
392
393 $q = 0x8000000000000000 % -9223372036854775807;
394 if ($q == -9223372036854775806) {
395   print "ok 63\n";
396 } else {
397   print "not ok 63 # 0x8000000000000000 % -9223372036854775807 => $q\n";
398 }
399
400 {
401   use integer;
402   $q = hex "0x123456789abcdef0";
403   if ($q == 0x123456789abcdef0 and $q != 0x123456789abcdef1) {
404     print "ok 64\n";
405   } else {
406     printf "not ok 64 # hex \"0x123456789abcdef0\" = $q (%X)\n", $q;
407     print "# Should not be floating point\n" if $q =~ tr/e.//;
408   }
409
410   $q = oct "0x123456789abcdef0";
411   if ($q == 0x123456789abcdef0 and $q != 0x123456789abcdef1) {
412     print "ok 65\n";
413   } else {
414     printf "not ok 65 # oct \"0x123456789abcdef0\" = $q (%X)\n", $q;
415     print "# Should not be floating point\n" if $q =~ tr/e.//;
416   }
417
418   $q = oct "765432176543217654321";
419   if ($q == 0765432176543217654321 and $q != 0765432176543217654322) {
420     print "ok 66\n";
421   } else {
422     printf "not ok 66 # oct \"765432176543217654321\" = $q (%o)\n", $q;
423     print "# Should not be floating point\n" if $q =~ tr/e.//;
424   }
425
426   $q = oct "0b0101010101010101010101010101010101010101010101010101010101010101";
427   if ($q == 0x5555555555555555 and $q != 0x5555555555555556) {
428     print "ok 67\n";
429   } else {
430     printf "not ok 67 # oct \"0b0101010101010101010101010101010101010101010101010101010101010101\" = $q (%b)\n", $q;
431     print "# Should not be floating point\n" if $q =~ tr/e.//;
432   }
433 }
434
435 # eof