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
|
---|