This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Test case for C<undef %File::Glob::>
[perl5.git] / t / op / 64bitint.t
CommitLineData
e312add1
GS
1#./perl
2
0f4b6630 3BEGIN {
ea2b5ef6 4 eval { my $q = pack "q", 0 };
0f4b6630 5 if ($@) {
868d6b85 6 print "1..0\n# 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
4438c4b7 17no warnings qw(overflow portable);
ea2b5ef6 18
09bb3e27 19print "1..58\n";
0f4b6630
JH
20
21my $q = 12345678901;
22my $r = 23456789012;
20fe1ea2 23my $f = 0xffffffff;
0f4b6630 24my $x;
2d4389e4 25my $y;
0f4b6630
JH
26
27$x = unpack "q", pack "q", $q;
20fe1ea2 28print "not " unless $x == $q && $x > $f;
0f4b6630
JH
29print "ok 1\n";
30
31
22f3ae8c 32$x = sprintf("%lld", 12345678901);
20fe1ea2 33print "not " unless $x eq $q && $x > $f;
0f4b6630
JH
34print "ok 2\n";
35
36
0f4b6630 37$x = sprintf("%lld", $q);
20fe1ea2 38print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 39print "ok 3\n";
0f4b6630
JH
40
41$x = sprintf("%Ld", $q);
20fe1ea2 42print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 43print "ok 4\n";
0f4b6630
JH
44
45$x = sprintf("%qd", $q);
20fe1ea2 46print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 47print "ok 5\n";
0f4b6630 48
0f4b6630
JH
49
50$x = sprintf("%llx", $q);
20fe1ea2 51print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
22f3ae8c 52print "ok 6\n";
0f4b6630
JH
53
54$x = sprintf("%Lx", $q);
20fe1ea2 55print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
22f3ae8c 56print "ok 7\n";
0f4b6630
JH
57
58$x = sprintf("%qx", $q);
20fe1ea2 59print "not " unless hex($x) == 0x2dfdc1c35 && hex($x) > $f;
22f3ae8c 60print "ok 8\n";
0f4b6630 61
0f4b6630
JH
62
63$x = sprintf("%llo", $q);
20fe1ea2 64print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
22f3ae8c 65print "ok 9\n";
0f4b6630
JH
66
67$x = sprintf("%Lo", $q);
20fe1ea2 68print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
22f3ae8c 69print "ok 10\n";
0f4b6630
JH
70
71$x = sprintf("%qo", $q);
20fe1ea2 72print "not " unless oct("0$x") == 0133767016065 && oct($x) > $f;
22f3ae8c 73print "ok 11\n";
0f4b6630 74
0f4b6630
JH
75
76$x = sprintf("%llb", $q);
20fe1ea2
JH
77print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
78 oct("0b$x") > $f;
22f3ae8c 79print "ok 12\n";
0f4b6630
JH
80
81$x = sprintf("%Lb", $q);
20fe1ea2
JH
82print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
83 oct("0b$x") > $f;
22f3ae8c 84print "ok 13\n";
0f4b6630
JH
85
86$x = sprintf("%qb", $q);
20fe1ea2
JH
87print "not " unless oct("0b$x") == 0b1011011111110111000001110000110101 &&
88 oct("0b$x") > $f;
22f3ae8c 89print "ok 14\n";
0f4b6630
JH
90
91
22f3ae8c 92$x = sprintf("%llu", $q);
20fe1ea2 93print "not " unless $x eq $q && $x > $f;
22f3ae8c 94print "ok 15\n";
0f4b6630 95
22f3ae8c 96$x = sprintf("%Lu", $q);
20fe1ea2 97print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 98print "ok 16\n";
0f4b6630 99
22f3ae8c 100$x = sprintf("%qu", $q);
20fe1ea2 101print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 102print "ok 17\n";
0f4b6630
JH
103
104
29fe7a80 105$x = sprintf("%D", $q);
20fe1ea2 106print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 107print "ok 18\n";
29fe7a80
JH
108
109$x = sprintf("%U", $q);
20fe1ea2 110print "not " unless $x == $q && $x eq $q && $x > $f;
22f3ae8c 111print "ok 19\n";
29fe7a80
JH
112
113$x = sprintf("%O", $q);
20fe1ea2 114print "not " unless oct($x) == $q && oct($x) > $f;
22f3ae8c 115print "ok 20\n";
29fe7a80
JH
116
117
0f4b6630 118$x = $q + $r;
20fe1ea2 119print "not " unless $x == 35802467913 && $x > $f;
22f3ae8c 120print "ok 21\n";
0f4b6630
JH
121
122$x = $q - $r;
20fe1ea2 123print "not " unless $x == -11111110111 && -$x > $f;
22f3ae8c 124print "ok 22\n";
0f4b6630 125
f3ff050f
JH
126if ($^O ne 'unicos') {
127 $x = $q * 1234567;
128 print "not " unless $x == 15241567763770867 && $x > $f;
129 print "ok 23\n";
0f4b6630 130
8d489514
JH
131 $x /= 1234567;
132 print "not " unless $x == $q && $x > $f;
133 print "ok 24\n";
2d4389e4 134
8d489514
JH
135 $x = 98765432109 % 12345678901;
136 print "not " unless $x == 901;
137 print "ok 25\n";
138
139 # The following 12 tests adapted from op/inc.
2d4389e4 140
f3ff050f
JH
141 $a = 9223372036854775807;
142 $c = $a++;
143 print "not " unless $a == 9223372036854775808;
144 print "ok 26\n";
145
146 $a = 9223372036854775807;
147 $c = ++$a;
148 print "not "
149 unless $a == 9223372036854775808 && $c == $a;
150 print "ok 27\n";
151
152 $a = 9223372036854775807;
153 $c = $a + 1;
154 print "not "
155 unless $a == 9223372036854775807 && $c == 9223372036854775808;
156 print "ok 28\n";
157
158 $a = -9223372036854775808;
159 $c = $a--;
160 print "not "
161 unless $a == -9223372036854775809 && $c == -9223372036854775808;
162 print "ok 29\n";
163
164 $a = -9223372036854775808;
165 $c = --$a;
166 print "not "
167 unless $a == -9223372036854775809 && $c == $a;
168 print "ok 30\n";
169
170 $a = -9223372036854775808;
171 $c = $a - 1;
172 print "not "
173 unless $a == -9223372036854775808 && $c == -9223372036854775809;
174 print "ok 31\n";
175
176 $a = 9223372036854775808;
177 $a = -$a;
178 $c = $a--;
179 print "not "
180 unless $a == -9223372036854775809 && $c == -9223372036854775808;
181 print "ok 32\n";
182
183 $a = 9223372036854775808;
184 $a = -$a;
185 $c = --$a;
186 print "not "
187 unless $a == -9223372036854775809 && $c == $a;
188 print "ok 33\n";
189
190 $a = 9223372036854775808;
191 $a = -$a;
192 $c = $a - 1;
193 print "not "
194 unless $a == -9223372036854775808 && $c == -9223372036854775809;
195 print "ok 34\n";
196
197 $a = 9223372036854775808;
198 $b = -$a;
199 $c = $b--;
200 print "not "
201 unless $b == -$a-1 && $c == -$a;
202 print "ok 35\n";
203
204 $a = 9223372036854775808;
205 $b = -$a;
206 $c = --$b;
207 print "not "
208 unless $b == -$a-1 && $c == $b;
209 print "ok 36\n";
210
211 $a = 9223372036854775808;
212 $b = -$a;
213 $b = $b - 1;
214 print "not "
215 unless $b == -(++$a);
216 print "ok 37\n";
217
218} else {
219 # Unicos has imprecise doubles (14 decimal digits or so),
8d489514
JH
220 # especially if operating near the UV/IV limits the low-order bits
221 # become mangled even by simple arithmetic operations.
222 for (23..37) {
2f7c487e 223 print "ok $_ # skipped: too imprecise numbers\n";
f3ff050f
JH
224 }
225}
e312add1 226
2d4389e4 227
c5a0f51a
JH
228$x = '';
229print "not " unless (vec($x, 1, 64) = $q) == $q;
e312add1 230print "ok 38\n";
c5a0f51a
JH
231
232print "not " unless vec($x, 1, 64) == $q && vec($x, 1, 64) > $f;
e312add1 233print "ok 39\n";
c5a0f51a
JH
234
235print "not " unless vec($x, 0, 64) == 0 && vec($x, 2, 64) == 0;
e312add1 236print "ok 40\n";
c5a0f51a 237
972b05a9
JH
238
239print "not " unless ~0 == 0xffffffffffffffff;
e312add1 240print "ok 41\n";
972b05a9
JH
241
242print "not " unless (0xffffffff<<32) == 0xffffffff00000000;
e312add1 243print "ok 42\n";
972b05a9
JH
244
245print "not " unless ((0xffffffff)<<32)>>32 == 0xffffffff;
e312add1 246print "ok 43\n";
972b05a9
JH
247
248print "not " unless 1<<63 == 0x8000000000000000;
e312add1 249print "ok 44\n";
972b05a9
JH
250
251print "not " unless (sprintf "%#Vx", 1<<63) eq '0x8000000000000000';
e312add1 252print "ok 45\n";
972b05a9
JH
253
254print "not " unless (0x8000000000000000 | 1) == 0x8000000000000001;
e312add1 255print "ok 46\n";
972b05a9 256
f3ff050f
JH
257print "not "
258 unless (0xf000000000000000 & 0x8000000000000000) == 0x8000000000000000;
e312add1 259print "ok 47\n";
972b05a9 260
f3ff050f
JH
261print "not "
262 unless (0xf000000000000000 ^ 0xfffffffffffffff0) == 0x0ffffffffffffff0;
e312add1 263print "ok 48\n";
972b05a9 264
686fa4bb 265
f3ff050f
JH
266print "not "
267 unless (sprintf "%b", ~0) eq
268 '1111111111111111111111111111111111111111111111111111111111111111';
686fa4bb
JH
269print "ok 49\n";
270
f3ff050f
JH
271print "not "
272 unless (sprintf "%64b", ~0) eq
273 '1111111111111111111111111111111111111111111111111111111111111111';
686fa4bb
JH
274print "ok 50\n";
275
276print "not " unless (sprintf "%d", ~0>>1) eq '9223372036854775807';
277print "ok 51\n";
278
279print "not " unless (sprintf "%u", ~0) eq '18446744073709551615';
280print "ok 52\n";
281
868d6b85
JH
282# If the 53..55 fail you have problems in the parser's string->int conversion,
283# see toke.c:scan_num().
284
285$q = -9223372036854775808;
00450673 286print "# $q ne\n# -9223372036854775808\nnot " unless "$q" eq "-9223372036854775808";
868d6b85
JH
287print "ok 53\n";
288
289$q = 9223372036854775807;
00450673 290print "# $q ne\n# 9223372036854775807\nnot " unless "$q" eq "9223372036854775807";
868d6b85
JH
291print "ok 54\n";
292
293$q = 18446744073709551615;
00450673 294print "# $q ne\n# 18446744073709551615\nnot " unless "$q" eq "18446744073709551615";
868d6b85
JH
295print "ok 55\n";
296
85b81d93
NC
297# Test that sv_2nv then sv_2iv is the same as sv_2iv direct
298# fails if whatever Atol is defined as can't actually cope with >32 bits.
299my $num = 4294967297;
300my $string = "4294967297";
301{
302 use integer;
303 $num += 0;
304 $string += 0;
305}
306if ($num eq $string) {
307 print "ok 56\n";
308} else {
309 print "not ok 56 # \"$num\" ne \"$string\"\n";
310}
311
312# Test that sv_2nv then sv_2uv is the same as sv_2uv direct
313$num = 4294967297;
314$string = "4294967297";
315$num &= 0;
316$string &= 0;
317if ($num eq $string) {
318 print "ok 57\n";
319} else {
320 print "not ok 57 # \"$num\" ne \"$string\"\n";
321}
322
09bb3e27
NC
323$q = "18446744073709551616e0";
324$q += 0;
325print "# \"18446744073709551616e0\" += 0 gives $q\nnot " if "$q" eq "18446744073709551615";
326print "ok 58\n";
327
328
c5a0f51a 329# eof