Commit | Line | Data |
---|---|---|
e312add1 GS |
1 | #./perl |
2 | ||
0f4b6630 | 3 | BEGIN { |
ea2b5ef6 | 4 | eval { my $q = pack "q", 0 }; |
0f4b6630 | 5 | if ($@) { |
195d559b | 6 | print "1..0 # Skip: no 64-bit types\n"; |
0f4b6630 JH |
7 | exit(0); |
8 | } | |
ea2b5ef6 | 9 | chdir 't' if -d 't'; |
20822f61 | 10 | @INC = '../lib'; |
0f4b6630 JH |
11 | } |
12 | ||
686fa4bb | 13 | # This could use many more tests. |
0f4b6630 | 14 | |
d0ba1bd2 | 15 | # so that using > 0xfffffff constants and |
972b05a9 | 16 | # 32+ bit integers don't cause noise |
59d8ce62 | 17 | use warnings; |
4438c4b7 | 18 | no warnings qw(overflow portable); |
ea2b5ef6 | 19 | |
53305cf1 | 20 | print "1..67\n"; |
0f4b6630 | 21 | |
59d8ce62 NC |
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 | ||
0f4b6630 JH |
37 | my $q = 12345678901; |
38 | my $r = 23456789012; | |
20fe1ea2 | 39 | my $f = 0xffffffff; |
0f4b6630 | 40 | my $x; |
2d4389e4 | 41 | my $y; |
0f4b6630 JH |
42 | |
43 | $x = unpack "q", pack "q", $q; | |
20fe1ea2 | 44 | print "not " unless $x == $q && $x > $f; |
0f4b6630 JH |
45 | print "ok 1\n"; |
46 | ||
47 | ||
22f3ae8c | 48 | $x = sprintf("%lld", 12345678901); |
20fe1ea2 | 49 | print "not " unless $x eq $q && $x > $f; |
0f4b6630 JH |
50 | print "ok 2\n"; |
51 | ||
52 | ||
0f4b6630 | 53 | $x = sprintf("%lld", $q); |
20fe1ea2 | 54 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 55 | print "ok 3\n"; |
0f4b6630 JH |
56 | |
57 | $x = sprintf("%Ld", $q); | |
20fe1ea2 | 58 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 59 | print "ok 4\n"; |
0f4b6630 JH |
60 | |
61 | $x = sprintf("%qd", $q); | |
20fe1ea2 | 62 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 63 | print "ok 5\n"; |
0f4b6630 | 64 | |
0f4b6630 JH |
65 | |
66 | $x = sprintf("%llx", $q); | |
20fe1ea2 | 67 | print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f; |
22f3ae8c | 68 | print "ok 6\n"; |
0f4b6630 JH |
69 | |
70 | $x = sprintf("%Lx", $q); | |
20fe1ea2 | 71 | print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f; |
22f3ae8c | 72 | print "ok 7\n"; |
0f4b6630 JH |
73 | |
74 | $x = sprintf("%qx", $q); | |
20fe1ea2 | 75 | print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f; |
22f3ae8c | 76 | print "ok 8\n"; |
0f4b6630 | 77 | |
0f4b6630 JH |
78 | |
79 | $x = sprintf("%llo", $q); | |
20fe1ea2 | 80 | print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f; |
22f3ae8c | 81 | print "ok 9\n"; |
0f4b6630 JH |
82 | |
83 | $x = sprintf("%Lo", $q); | |
20fe1ea2 | 84 | print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f; |
22f3ae8c | 85 | print "ok 10\n"; |
0f4b6630 JH |
86 | |
87 | $x = sprintf("%qo", $q); | |
20fe1ea2 | 88 | print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f; |
22f3ae8c | 89 | print "ok 11\n"; |
0f4b6630 | 90 | |
0f4b6630 JH |
91 | |
92 | $x = sprintf("%llb", $q); | |
20fe1ea2 JH |
93 | print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 && |
94 | oct("0b$x") > $f; | |
22f3ae8c | 95 | print "ok 12\n"; |
0f4b6630 JH |
96 | |
97 | $x = sprintf("%Lb", $q); | |
20fe1ea2 JH |
98 | print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 && |
99 | oct("0b$x") > $f; | |
22f3ae8c | 100 | print "ok 13\n"; |
0f4b6630 JH |
101 | |
102 | $x = sprintf("%qb", $q); | |
20fe1ea2 JH |
103 | print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 && |
104 | oct("0b$x") > $f; | |
22f3ae8c | 105 | print "ok 14\n"; |
0f4b6630 JH |
106 | |
107 | ||
22f3ae8c | 108 | $x = sprintf("%llu", $q); |
20fe1ea2 | 109 | print "not " unless $x eq $q && $x > $f; |
22f3ae8c | 110 | print "ok 15\n"; |
0f4b6630 | 111 | |
22f3ae8c | 112 | $x = sprintf("%Lu", $q); |
20fe1ea2 | 113 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 114 | print "ok 16\n"; |
0f4b6630 | 115 | |
22f3ae8c | 116 | $x = sprintf("%qu", $q); |
20fe1ea2 | 117 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 118 | print "ok 17\n"; |
0f4b6630 JH |
119 | |
120 | ||
29fe7a80 | 121 | $x = sprintf("%D", $q); |
20fe1ea2 | 122 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 123 | print "ok 18\n"; |
29fe7a80 JH |
124 | |
125 | $x = sprintf("%U", $q); | |
20fe1ea2 | 126 | print "not " unless $x == $q && $x eq $q && $x > $f; |
22f3ae8c | 127 | print "ok 19\n"; |
29fe7a80 JH |
128 | |
129 | $x = sprintf("%O", $q); | |
20fe1ea2 | 130 | print "not " unless oct($x) == $q && oct($x) > $f; |
22f3ae8c | 131 | print "ok 20\n"; |
29fe7a80 JH |
132 | |
133 | ||
0f4b6630 | 134 | $x = $q + $r; |
20fe1ea2 | 135 | print "not " unless $x == 35802467913 && $x > $f; |
22f3ae8c | 136 | print "ok 21\n"; |
0f4b6630 JH |
137 | |
138 | $x = $q - $r; | |
20fe1ea2 | 139 | print "not " unless $x == -11111110111 && -$x > $f; |
22f3ae8c | 140 | print "ok 22\n"; |
0f4b6630 | 141 | |
f3ff050f JH |
142 | if ($^O ne 'unicos') { |
143 | $x = $q * 1234567; | |
144 | print "not " unless $x == 15241567763770867 && $x > $f; | |
145 | print "ok 23\n"; | |
0f4b6630 | 146 | |
8d489514 JH |
147 | $x /= 1234567; |
148 | print "not " unless $x == $q && $x > $f; | |
149 | print "ok 24\n"; | |
2d4389e4 | 150 | |
8d489514 JH |
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. | |
2d4389e4 | 156 | |
f3ff050f JH |
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), | |
8d489514 JH |
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) { | |
2f7c487e | 239 | print "ok $_ # skipped: too imprecise numbers\n"; |
f3ff050f JH |
240 | } |
241 | } | |
e312add1 | 242 | |
2d4389e4 | 243 | |
c5a0f51a JH |
244 | $x = ''; |
245 | print "not " unless (vec($x, 1, 64) = $q) == $q; | |
e312add1 | 246 | print "ok 38\n"; |
c5a0f51a JH |
247 | |
248 | print "not " unless vec($x, 1, 64) == $q && vec($x, 1, 64) > $f; | |
e312add1 | 249 | print "ok 39\n"; |
c5a0f51a JH |
250 | |
251 | print "not " unless vec($x, 0, 64) == 0 && vec($x, 2, 64) == 0; | |
e312add1 | 252 | print "ok 40\n"; |
c5a0f51a | 253 | |
972b05a9 JH |
254 | |
255 | print "not " unless ~0 == 0xffffffffffffffff; | |
e312add1 | 256 | print "ok 41\n"; |
972b05a9 JH |
257 | |
258 | print "not " unless (0xffffffff<<32) == 0xffffffff00000000; | |
e312add1 | 259 | print "ok 42\n"; |
972b05a9 JH |
260 | |
261 | print "not " unless ((0xffffffff)<<32)>>32 == 0xffffffff; | |
e312add1 | 262 | print "ok 43\n"; |
972b05a9 JH |
263 | |
264 | print "not " unless 1<<63 == 0x8000000000000000; | |
e312add1 | 265 | print "ok 44\n"; |
972b05a9 JH |
266 | |
267 | print "not " unless (sprintf "%#Vx", 1<<63) eq '0x8000000000000000'; | |
e312add1 | 268 | print "ok 45\n"; |
972b05a9 JH |
269 | |
270 | print "not " unless (0x8000000000000000 | 1) == 0x8000000000000001; | |
e312add1 | 271 | print "ok 46\n"; |
972b05a9 | 272 | |
f3ff050f JH |
273 | print "not " |
274 | unless (0xf000000000000000 & 0x8000000000000000) == 0x8000000000000000; | |
e312add1 | 275 | print "ok 47\n"; |
972b05a9 | 276 | |
f3ff050f JH |
277 | print "not " |
278 | unless (0xf000000000000000 ^ 0xfffffffffffffff0) == 0x0ffffffffffffff0; | |
e312add1 | 279 | print "ok 48\n"; |
972b05a9 | 280 | |
686fa4bb | 281 | |
f3ff050f JH |
282 | print "not " |
283 | unless (sprintf "%b", ~0) eq | |
284 | '1111111111111111111111111111111111111111111111111111111111111111'; | |
686fa4bb JH |
285 | print "ok 49\n"; |
286 | ||
f3ff050f JH |
287 | print "not " |
288 | unless (sprintf "%64b", ~0) eq | |
289 | '1111111111111111111111111111111111111111111111111111111111111111'; | |
686fa4bb JH |
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 | ||
868d6b85 JH |
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; | |
00450673 | 302 | print "# $q ne\n# -9223372036854775808\nnot " unless "$q" eq "-9223372036854775808"; |
868d6b85 JH |
303 | print "ok 53\n"; |
304 | ||
305 | $q = 9223372036854775807; | |
00450673 | 306 | print "# $q ne\n# 9223372036854775807\nnot " unless "$q" eq "9223372036854775807"; |
868d6b85 JH |
307 | print "ok 54\n"; |
308 | ||
309 | $q = 18446744073709551615; | |
00450673 | 310 | print "# $q ne\n# 18446744073709551615\nnot " unless "$q" eq "18446744073709551615"; |
868d6b85 JH |
311 | print "ok 55\n"; |
312 | ||
85b81d93 NC |
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 | ||
09bb3e27 NC |
339 | $q = "18446744073709551616e0"; |
340 | $q += 0; | |
341 | print "# \"18446744073709551616e0\" += 0 gives $q\nnot " if "$q" eq "18446744073709551615"; | |
342 | print "ok 58\n"; | |
343 | ||
5479d192 NC |
344 | # 0xFFFFFFFFFFFFFFFF == 1 * 3 * 5 * 17 * 257 * 641 * 65537 * 6700417' |
345 | $q = 0xFFFFFFFFFFFFFFFF / 3; | |
59d8ce62 NC |
346 | if ($q == 0x5555555555555555 and ($q != 0x5555555555555556 |
347 | or !$maths_preserves_UVs)) { | |
5479d192 NC |
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 | } | |
09bb3e27 | 353 | |
e2c88acc NC |
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 | ||
53305cf1 NC |
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 | ||
c5a0f51a | 417 | # eof |