Small optimisations, by Brandon Black
[p5sagit/p5-mst-13.2.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     $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