Commit | Line | Data |
7dca457a |
1 | #!./perl -w |
54310121 |
2 | |
7dca457a |
3 | print "1..109\n"; |
54310121 |
4 | |
5 | sub try ($$) { |
6 | print +($_[1] ? "ok" : "not ok"), " $_[0]\n"; |
7 | } |
7dca457a |
8 | sub tryeq ($$$) { |
9 | if ($_[1] == $_[2]) { |
10 | print "ok $_[0]\n"; |
11 | } else { |
12 | print "not ok $_[0] # $_[1] != $_[2]\n"; |
13 | } |
14 | } |
54310121 |
15 | |
7dca457a |
16 | tryeq 1, 13 % 4, 1; |
17 | tryeq 2, -13 % 4, 3; |
18 | tryeq 3, 13 % -4, -3; |
19 | tryeq 4, -13 % -4, -1; |
65843c0f |
20 | |
21 | my $limit = 1e6; |
22 | |
23 | # Division (and modulo) of floating point numbers |
24 | # seem to be rather sloppy in Cray. |
25 | $limit = 1e8 if $^O eq 'unicos'; |
26 | |
27 | try 5, abs( 13e21 % 4e21 - 1e21) < $limit; |
28 | try 6, abs(-13e21 % 4e21 - 3e21) < $limit; |
29 | try 7, abs( 13e21 % -4e21 - -3e21) < $limit; |
30 | try 8, abs(-13e21 % -4e21 - -1e21) < $limit; |
d658dc55 |
31 | |
32 | # UVs should behave properly |
33 | |
7dca457a |
34 | tryeq 9, 4063328477 % 65535, 27407; |
35 | tryeq 10, 4063328477 % 4063328476, 1; |
36 | tryeq 11, 4063328477 % 2031664238, 1; |
37 | tryeq 12, 2031664238 % 4063328477, 2031664238; |
38 | |
39 | # These should trigger wrapping on 32 bit IVs and UVs |
40 | |
41 | tryeq 13, 2147483647 + 0, 2147483647; |
42 | |
43 | # IV + IV promote to UV |
44 | tryeq 14, 2147483647 + 1, 2147483648; |
45 | tryeq 15, 2147483640 + 10, 2147483650; |
46 | tryeq 16, 2147483647 + 2147483647, 4294967294; |
47 | # IV + UV promote to NV |
48 | tryeq 17, 2147483647 + 2147483649, 4294967296; |
49 | # UV + IV promote to NV |
50 | tryeq 18, 4294967294 + 2, 4294967296; |
51 | # UV + UV promote to NV |
52 | tryeq 19, 4294967295 + 4294967295, 8589934590; |
53 | |
54 | # UV + IV to IV |
55 | tryeq 20, 2147483648 + -1, 2147483647; |
56 | tryeq 21, 2147483650 + -10, 2147483640; |
57 | # IV + UV to IV |
58 | tryeq 22, -1 + 2147483648, 2147483647; |
59 | tryeq 23, -10 + 4294967294, 4294967284; |
60 | # IV + IV to NV |
61 | tryeq 24, -2147483648 + -2147483648, -4294967296; |
62 | tryeq 25, -2147483640 + -10, -2147483650; |
63 | |
64 | # Hmm. Don't forget the simple stuff |
65 | tryeq 26, 1 + 1, 2; |
66 | tryeq 27, 4 + -2, 2; |
67 | tryeq 28, -10 + 100, 90; |
68 | tryeq 29, -7 + -9, -16; |
69 | tryeq 30, -63 + +2, -61; |
70 | tryeq 31, 4 + -1, 3; |
71 | tryeq 32, -1 + 1, 0; |
72 | tryeq 33, +29 + -29, 0; |
73 | tryeq 34, -1 + 4, 3; |
74 | tryeq 35, +4 + -17, -13; |
75 | |
76 | # subtraction |
77 | tryeq 36, 3 - 1, 2; |
78 | tryeq 37, 3 - 15, -12; |
79 | tryeq 38, 3 - -7, 10; |
80 | tryeq 39, -156 - 5, -161; |
81 | tryeq 40, -156 - -5, -151; |
82 | tryeq 41, -5 - -12, 7; |
83 | tryeq 42, -3 - -3, 0; |
84 | tryeq 43, 15 - 15, 0; |
85 | |
86 | tryeq 44, 2147483647 - 0, 2147483647; |
87 | tryeq 45, 2147483648 - 0, 2147483648; |
88 | tryeq 46, -2147483648 - 0, -2147483648; |
89 | |
90 | tryeq 47, 0 - -2147483647, 2147483647; |
91 | tryeq 48, -1 - -2147483648, 2147483647; |
92 | tryeq 49, 2 - -2147483648, 2147483650; |
93 | |
94 | tryeq 50, 4294967294 - 3, 4294967291; |
95 | tryeq 51, -2147483648 - -1, -2147483647; |
96 | |
97 | # IV - IV promote to UV |
98 | tryeq 52, 2147483647 - -1, 2147483648; |
99 | tryeq 53, 2147483647 - -2147483648, 4294967295; |
100 | # UV - IV promote to NV |
101 | tryeq 54, 4294967294 - -3, 4294967297; |
102 | # IV - IV promote to NV |
103 | tryeq 55, -2147483648 - +1, -2147483649; |
104 | # UV - UV promote to IV |
105 | tryeq 56, 2147483648 - 2147483650, -2; |
106 | # IV - UV promote to IV |
107 | tryeq 57, 2000000000 - 4000000000, -2000000000; |
108 | |
109 | # No warnings should appear; |
110 | my $a; |
111 | $a += 1; |
112 | tryeq 58, $a, 1; |
113 | undef $a; |
114 | $a += -1; |
115 | tryeq 59, $a, -1; |
116 | undef $a; |
117 | $a += 4294967290; |
118 | tryeq 60, $a, 4294967290; |
119 | undef $a; |
120 | $a += -4294967290; |
121 | tryeq 61, $a, -4294967290; |
122 | undef $a; |
123 | $a += 4294967297; |
124 | tryeq 62, $a, 4294967297; |
125 | undef $a; |
126 | $a += -4294967297; |
127 | tryeq 63, $a, -4294967297; |
128 | |
129 | my $s; |
130 | $s -= 1; |
131 | tryeq 64, $s, -1; |
132 | undef $s; |
133 | $s -= -1; |
134 | tryeq 65, $s, +1; |
135 | undef $s; |
136 | $s -= -4294967290; |
137 | tryeq 66, $s, +4294967290; |
138 | undef $s; |
139 | $s -= 4294967290; |
140 | tryeq 67, $s, -4294967290; |
141 | undef $s; |
142 | $s -= 4294967297; |
143 | tryeq 68, $s, -4294967297; |
144 | undef $s; |
145 | $s -= -4294967297; |
146 | tryeq 69, $s, +4294967297; |
147 | |
148 | # Multiplication |
149 | |
150 | tryeq 70, 1 * 3, 3; |
151 | tryeq 71, -2 * 3, -6; |
152 | tryeq 72, 3 * -3, -9; |
153 | tryeq 73, -4 * -3, 12; |
154 | |
155 | # check with 0xFFFF and 0xFFFF |
156 | tryeq 74, 65535 * 65535, 4294836225; |
157 | tryeq 75, 65535 * -65535, -4294836225; |
158 | tryeq 76, -65535 * 65535, -4294836225; |
159 | tryeq 77, -65535 * -65535, 4294836225; |
160 | |
161 | # check with 0xFFFF and 0x10001 |
162 | tryeq 78, 65535 * 65537, 4294967295; |
163 | tryeq 79, 65535 * -65537, -4294967295; |
164 | tryeq 80, -65535 * 65537, -4294967295; |
165 | tryeq 81, -65535 * -65537, 4294967295; |
166 | |
167 | # check with 0x10001 and 0xFFFF |
168 | tryeq 82, 65537 * 65535, 4294967295; |
169 | tryeq 83, 65537 * -65535, -4294967295; |
170 | tryeq 84, -65537 * 65535, -4294967295; |
171 | tryeq 85, -65537 * -65535, 4294967295; |
172 | |
173 | # These should all be dones as NVs |
174 | tryeq 86, 65537 * 65537, 4295098369; |
175 | tryeq 87, 65537 * -65537, -4295098369; |
176 | tryeq 88, -65537 * 65537, -4295098369; |
177 | tryeq 89, -65537 * -65537, 4295098369; |
178 | |
179 | # will overflow an IV (in 32-bit) |
180 | tryeq 90, 46340 * 46342, 0x80001218; |
181 | tryeq 91, 46340 * -46342, -0x80001218; |
182 | tryeq 92, -46340 * 46342, -0x80001218; |
183 | tryeq 93, -46340 * -46342, 0x80001218; |
184 | |
185 | tryeq 94, 46342 * 46340, 0x80001218; |
186 | tryeq 95, 46342 * -46340, -0x80001218; |
187 | tryeq 96, -46342 * 46340, -0x80001218; |
188 | tryeq 97, -46342 * -46340, 0x80001218; |
189 | |
190 | # will overflow a positive IV (in 32-bit) |
191 | tryeq 98, 65536 * 32768, 0x80000000; |
192 | tryeq 99, 65536 * -32768, -0x80000000; |
193 | tryeq 100, -65536 * 32768, -0x80000000; |
194 | tryeq 101, -65536 * -32768, 0x80000000; |
195 | |
196 | tryeq 102, 32768 * 65536, 0x80000000; |
197 | tryeq 103, 32768 * -65536, -0x80000000; |
198 | tryeq 104, -32768 * 65536, -0x80000000; |
199 | tryeq 105, -32768 * -65536, 0x80000000; |
200 | |
201 | # 2147483647 is prime. bah. |
202 | |
203 | tryeq 106, 46339 * 46341, 0x7ffea80f; |
204 | tryeq 107, 46339 * -46341, -0x7ffea80f; |
205 | tryeq 108, -46339 * 46341, -0x7ffea80f; |
206 | tryeq 109, -46339 * -46341, 0x7ffea80f; |