author | Claus Gittinger <cg@exept.de> |
Wed, 18 Dec 2019 21:55:08 +0100 | |
changeset 2502 | 78fad3b44fc8 |
parent 2490 | 121b0230557c |
permissions | -rw-r--r-- |
1447 | 1 |
"{ Package: 'stx:goodies/regression' }" |
310 | 2 |
|
3 |
"{ NameSpace: RegressionTests }" |
|
4 |
||
5 |
TestCase subclass:#SmallIntegerTest |
|
6 |
instanceVariableNames:'' |
|
7 |
classVariableNames:'' |
|
8 |
poolDictionaries:'' |
|
1074 | 9 |
category:'tests-Regression-Numbers' |
310 | 10 |
! |
11 |
||
12 |
||
13 |
!SmallIntegerTest methodsFor:'tests-arithmetic'! |
|
14 |
||
15 |
testDivide |
|
1835 | 16 |
|zero us1 us2 us3 us4 usm2 usm4| |
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
17 |
|
1835 | 18 |
"circumvent compiler error about division by zero" |
19 |
zero := 0. |
|
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
20 |
|
1835 | 21 |
self assert: 2 / 1 = 2. |
22 |
self assert: (3 / 2) isFraction. |
|
23 |
self assert: 4 / 2 = 2. |
|
24 |
self assert: 4 / -2 = -2. |
|
25 |
self assert: -4 / 2 = -2. |
|
26 |
self assert: -4 / -2 = 2. |
|
27 |
self should: [ 1 / zero ] raise: ZeroDivide. |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
28 |
|
1835 | 29 |
us1 := 1. |
30 |
us2 := 2. |
|
31 |
us3 := 3. |
|
32 |
us4 := 4. |
|
33 |
usm2 := -2. |
|
34 |
usm4 := -4. |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
35 |
|
1835 | 36 |
self assert: us2 / us1 = us2. |
37 |
self assert: (us3 / us2) isFraction. |
|
38 |
self assert: us4 / us2 = 2. |
|
39 |
self assert: us4 / usm2 = -2. |
|
40 |
self assert: usm4 / us2 = -2. |
|
41 |
self assert: usm4 / usm2 = 2. |
|
364 | 42 |
! |
43 |
||
44 |
testMultiply |
|
45 |
|i ii| |
|
46 |
||
1447 | 47 |
#( |
48 |
16r3fff |
|
49 |
16r7fff |
|
50 |
16rffff |
|
51 |
16r3fffffff |
|
52 |
16r7fffffff |
|
53 |
16rffffffff |
|
54 |
16r20000000 |
|
55 |
16r40000000 |
|
56 |
16r80000000 |
|
57 |
16r100000000 |
|
58 |
16r20000001 |
|
59 |
16r40000001 |
|
60 |
16r80000001 |
|
61 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
62 |
|
1447 | 63 |
"/ for 64 bit machines: |
64 |
16r3fffffffffffffff |
|
65 |
16r7fffffffffffffff |
|
66 |
16rffffffffffffffff |
|
67 |
16r2000000000000000 |
|
68 |
16r4000000000000000 |
|
69 |
16r8000000000000000 |
|
70 |
16r10000000000000000 |
|
71 |
16r2000000000000001 |
|
72 |
16r4000000000000001 |
|
73 |
16r8000000000000001 |
|
74 |
16r10000000000000001 |
|
364 | 75 |
) do:[:x | |
1447 | 76 |
i := x. |
77 |
ii := i * i. |
|
78 |
self assert:((ii / i) = i). |
|
79 |
i class == SmallInteger ifTrue:[ |
|
80 |
self assert:((ii / i) == i). |
|
81 |
]. |
|
364 | 82 |
|
1447 | 83 |
i := x negated. |
84 |
ii := i * i. |
|
85 |
self assert:((ii / i) = i). |
|
86 |
i class == SmallInteger ifTrue:[ |
|
87 |
self assert:((ii / i) == i). |
|
88 |
]. |
|
364 | 89 |
]. |
90 |
! |
|
91 |
||
92 |
testNegation |
|
1596 | 93 |
|i iN iNN iNNN| |
364 | 94 |
|
1447 | 95 |
#( |
1596 | 96 |
16r1fffffff |
97 |
16r3fffffff |
|
98 |
16r7fffffff |
|
99 |
16rffffffff |
|
100 |
16r20000000 |
|
101 |
16r40000000 |
|
102 |
16r80000000 |
|
103 |
16r100000000 |
|
104 |
16r20000001 |
|
105 |
16r40000001 |
|
106 |
16r80000001 |
|
107 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
108 |
|
1596 | 109 |
"/ for 64bit machines: |
110 |
16r3fffffffffffffff |
|
111 |
16r7fffffffffffffff |
|
112 |
16rffffffffffffffff |
|
113 |
16r2000000000000000 |
|
114 |
16r4000000000000000 |
|
115 |
16r8000000000000000 |
|
116 |
16r10000000000000000 |
|
117 |
16r2000000000000001 |
|
118 |
16r4000000000000001 |
|
119 |
16r8000000000000001 |
|
120 |
16r10000000000000001 |
|
364 | 121 |
) do:[:x | |
1596 | 122 |
i := x. |
123 |
iN := i negated. |
|
124 |
iNN := iN negated. |
|
125 |
iNNN := iNN negated. |
|
126 |
self assert:(i = iNN). |
|
127 |
i class == SmallInteger ifTrue:[ |
|
128 |
self assert:(i == iNN). |
|
129 |
]. |
|
130 |
self assert:(iN = iNNN). |
|
131 |
iN class == SmallInteger ifTrue:[ |
|
132 |
self assert:(iN == iNNN). |
|
133 |
]. |
|
364 | 134 |
]. |
1306 | 135 |
self assert:(SmallInteger maxVal negated class == SmallInteger). |
136 |
self assert:(SmallInteger maxVal negated negated == SmallInteger maxVal). |
|
1447 | 137 |
|
1306 | 138 |
self assert:(SmallInteger maxVal negated -1 == SmallInteger minVal). |
139 |
self assert:(SmallInteger minVal negated negated class == SmallInteger). |
|
1596 | 140 |
|
141 |
"Modified: / 28-02-2017 / 16:42:04 / cg" |
|
310 | 142 |
! ! |
143 |
||
2109 | 144 |
!SmallIntegerTest methodsFor:'tests-bit fiddling'! |
145 |
||
146 |
testBitCount |
|
147 |
1 to:1000000 do:[:n | |
|
148 |
self assert:(n bitCount = ((n printStringRadix:2) occurrencesOf:$1)) |
|
149 |
]. |
|
150 |
||
151 |
#( 16r00000000 |
|
152 |
16r00010000 16r00100000 16r01000000 16r10000000 |
|
153 |
16r00020000 16r00200000 16r02000000 16r20000000 |
|
154 |
16r00040000 16r00400000 16r04000000 16r40000000 |
|
155 |
16r00080000 16r00800000 16r08000000 16r80000000 |
|
156 |
||
157 |
16rFFFFFFFF 16r7FFFFFFF 16r3FFFFFFF 16r1FFFFFFF |
|
158 |
16rEEEEEEEE 16r7EEEEEEE 16r3EEEEEEE 16r1EEEEEEE |
|
159 |
16rDDDDDDDD 16r7DDDDDDD 16r3DDDDDDD 16r1DDDDDDD |
|
160 |
16rCCCCCCCC 16r7CCCCCCC 16r3CCCCCCC 16r1CCCCCCC |
|
161 |
||
162 |
16r8000000000010000 16r8000000000100000 16r8000000001000000 16r8000000010000000 |
|
163 |
16r8000000000020000 16r8000000000200000 16r8000000002000000 16r8000000020000000 |
|
164 |
16r8000000000040000 16r8000000000400000 16r8000000004000000 16r8000000040000000 |
|
165 |
16r8000000000080000 16r8000000000800000 16r8000000008000000 16r8000000080000000 |
|
166 |
||
167 |
16r80000000FFFFFFFF 16r800000007FFFFFFF 16r800000003FFFFFFF 16r800000001FFFFFFF |
|
168 |
16r80000000EEEEEEEE 16r800000007EEEEEEE 16r800000003EEEEEEE 16r800000001EEEEEEE |
|
169 |
16r80000000DDDDDDDD 16r800000007DDDDDDD 16r800000003DDDDDDD 16r800000001DDDDDDD |
|
170 |
16r80000000CCCCCCCC 16r800000007CCCCCCC 16r800000003CCCCCCC 16r800000001CCCCCCC |
|
171 |
||
172 |
16rFFFFFFFFFFFFFFFF 16r7FFFFFFFFFFFFFFF 16r3FFFFFFFFFFFFFFF 16r1FFFFFFFFFFFFFFF |
|
173 |
) do:[:n | |
|
174 |
self assert:(n bitCount = ((n printStringRadix:2) occurrencesOf:$1)) |
|
175 |
]. |
|
176 |
||
177 |
"Created: / 20-03-2019 / 12:43:06 / Claus Gittinger" |
|
178 |
! |
|
179 |
||
2144 | 180 |
testBitReversed |
181 |
#( |
|
182 |
2r10000000 2r00000001 |
|
183 |
2r01000000 2r00000010 |
|
184 |
2r00100000 2r00000100 |
|
185 |
2r00010000 2r00001000 |
|
186 |
2r00001000 2r00010000 |
|
187 |
2r00000100 2r00100000 |
|
188 |
2r00000010 2r01000000 |
|
189 |
2r00000001 2r10000000 |
|
190 |
||
191 |
"/ high bits are to be ignored (i.e. clear) |
|
192 |
2r100000001 2r10000000 |
|
193 |
2r110000000 2r00000001 |
|
194 |
) |
|
195 |
pairWiseDo:[:in :expected | |
|
196 |
self assert:(in bitReversed8 == expected) |
|
197 |
]. |
|
198 |
||
199 |
#( |
|
200 |
2r1000000000000000 2r0000000000000001 |
|
201 |
2r0100000000000000 2r0000000000000010 |
|
202 |
2r0010000000000000 2r0000000000000100 |
|
203 |
2r0001000000000000 2r0000000000001000 |
|
204 |
2r0000100000000000 2r0000000000010000 |
|
205 |
2r0000010000000000 2r0000000000100000 |
|
206 |
2r0000001000000000 2r0000000001000000 |
|
207 |
2r0000000100000000 2r0000000010000000 |
|
208 |
||
209 |
2r0000000010000000 2r0000000100000000 |
|
210 |
2r0000000001000000 2r0000001000000000 |
|
211 |
2r0000000000100000 2r0000010000000000 |
|
212 |
2r0000000000010000 2r0000100000000000 |
|
213 |
2r0000000000001000 2r0001000000000000 |
|
214 |
2r0000000000000100 2r0010000000000000 |
|
215 |
2r0000000000000010 2r0100000000000000 |
|
216 |
2r0000000000000001 2r1000000000000000 |
|
217 |
||
218 |
"/ high bits are to be ignored (i.e. clear) |
|
219 |
2r10000000000000001 2r1000000000000000 |
|
220 |
2r11000000000000000 2r0000000000000001 |
|
221 |
) |
|
222 |
pairWiseDo:[:in :expected | |
|
223 |
self assert:(in bitReversed16 == expected) |
|
224 |
]. |
|
225 |
||
226 |
#( |
|
227 |
2r10000000000000000000000000000000 2r00000000000000000000000000000001 |
|
228 |
2r01000000000000000000000000000000 2r00000000000000000000000000000010 |
|
229 |
2r00100000000000000000000000000000 2r00000000000000000000000000000100 |
|
230 |
2r00010000000000000000000000000000 2r00000000000000000000000000001000 |
|
231 |
2r00001000000000000000000000000000 2r00000000000000000000000000010000 |
|
232 |
2r00000100000000000000000000000000 2r00000000000000000000000000100000 |
|
233 |
2r00000010000000000000000000000000 2r00000000000000000000000001000000 |
|
234 |
2r00000001000000000000000000000000 2r00000000000000000000000010000000 |
|
235 |
||
236 |
2r00000000100000000000000000000000 2r00000000000000000000000100000000 |
|
237 |
2r00000000010000000000000000000000 2r00000000000000000000001000000000 |
|
238 |
2r00000000001000000000000000000000 2r00000000000000000000010000000000 |
|
239 |
2r00000000000100000000000000000000 2r00000000000000000000100000000000 |
|
240 |
2r00000000000010000000000000000000 2r00000000000000000001000000000000 |
|
241 |
2r00000000000001000000000000000000 2r00000000000000000010000000000000 |
|
242 |
2r00000000000000100000000000000000 2r00000000000000000100000000000000 |
|
243 |
2r00000000000000010000000000000000 2r00000000000000001000000000000000 |
|
244 |
||
245 |
2r00000000000000001000000000000000 2r00000000000000010000000000000000 |
|
246 |
2r00000000000000000100000000000000 2r00000000000000100000000000000000 |
|
247 |
2r00000000000000000010000000000000 2r00000000000001000000000000000000 |
|
248 |
2r00000000000000000001000000000000 2r00000000000010000000000000000000 |
|
249 |
2r00000000000000000000100000000000 2r00000000000100000000000000000000 |
|
250 |
2r00000000000000000000010000000000 2r00000000001000000000000000000000 |
|
251 |
2r00000000000000000000001000000000 2r00000000010000000000000000000000 |
|
252 |
2r00000000000000000000000100000000 2r00000000100000000000000000000000 |
|
253 |
||
254 |
2r00000000000000000000000010000000 2r00000001000000000000000000000000 |
|
255 |
2r00000000000000000000000001000000 2r00000010000000000000000000000000 |
|
256 |
2r00000000000000000000000000100000 2r00000100000000000000000000000000 |
|
257 |
2r00000000000000000000000000010000 2r00001000000000000000000000000000 |
|
258 |
2r00000000000000000000000000001000 2r00010000000000000000000000000000 |
|
259 |
2r00000000000000000000000000000100 2r00100000000000000000000000000000 |
|
260 |
2r00000000000000000000000000000010 2r01000000000000000000000000000000 |
|
261 |
2r00000000000000000000000000000001 2r10000000000000000000000000000000 |
|
262 |
||
263 |
"/ high bits are to be ignored (i.e. clear) |
|
264 |
2r100000000000000000000000000000001 2r10000000000000000000000000000000 |
|
265 |
2r110000000000000000000000000000000 2r00000000000000000000000000000001 |
|
266 |
) |
|
267 |
pairWiseDo:[:in :expected | |
|
268 |
self assert:(in bitReversed32 = expected) |
|
269 |
]. |
|
270 |
||
271 |
"Created: / 24-03-2019 / 13:13:28 / Claus Gittinger" |
|
272 |
! |
|
273 |
||
2109 | 274 |
testBitShift |
275 |
#( |
|
2326 | 276 |
(1 1 2) |
277 |
(1 2 4) |
|
278 |
(1 3 8) |
|
279 |
(1 7 16r080) |
|
280 |
(1 8 16r100) |
|
281 |
(1 15 16r08000) |
|
282 |
(1 16 16r10000) |
|
283 |
(1 17 16r20000) |
|
284 |
(1 30 16r040000000) |
|
285 |
(1 31 16r080000000) |
|
286 |
(1 32 16r100000000) |
|
287 |
(1 33 16r200000000) |
|
2109 | 288 |
|
2326 | 289 |
(1 62 16r04000000000000000) |
290 |
(1 63 16r08000000000000000) |
|
291 |
(1 64 16r10000000000000000) |
|
292 |
(1 65 16r20000000000000000) |
|
2109 | 293 |
|
2326 | 294 |
(1 126 16r040000000000000000000000000000000) |
295 |
(1 127 16r080000000000000000000000000000000) |
|
296 |
(1 128 16r100000000000000000000000000000000) |
|
297 |
(1 129 16r200000000000000000000000000000000) |
|
2109 | 298 |
|
2326 | 299 |
(16r10 1 16r20) |
300 |
(16r10 2 16r40) |
|
301 |
(16r10 3 16r80) |
|
302 |
(16r10 7 16r0800) |
|
303 |
(16r10 8 16r1000) |
|
304 |
(16r10 15 16r080000) |
|
305 |
(16r10 16 16r100000) |
|
306 |
(16r10 17 16r200000) |
|
307 |
(16r10 30 16r0400000000) |
|
308 |
(16r10 31 16r0800000000) |
|
309 |
(16r10 32 16r1000000000) |
|
310 |
(16r10 33 16r2000000000) |
|
2109 | 311 |
|
2326 | 312 |
(16r10 62 16r040000000000000000) |
313 |
(16r10 63 16r080000000000000000) |
|
314 |
(16r10 64 16r100000000000000000) |
|
315 |
(16r10 65 16r200000000000000000) |
|
2109 | 316 |
|
2326 | 317 |
(16r10 126 16r0400000000000000000000000000000000) |
318 |
(16r10 127 16r0800000000000000000000000000000000) |
|
319 |
(16r10 128 16r1000000000000000000000000000000000) |
|
320 |
(16r10 129 16r2000000000000000000000000000000000) |
|
2109 | 321 |
) triplesDo:[:val :cnt :expected | |
2326 | 322 |
|rslt1 rslt2| |
2109 | 323 |
|
2326 | 324 |
rslt1 := val bitShift:cnt. |
325 |
self assert:(rslt1 = expected). |
|
326 |
expected class == SmallInteger ifTrue:[ |
|
327 |
self assert:(rslt1 == expected) |
|
328 |
]. |
|
329 |
rslt2 := rslt1 bitShift:cnt negated. |
|
330 |
self assert:(rslt2 = val). |
|
331 |
val class == SmallInteger ifTrue:[ |
|
332 |
self assert:(rslt2 == val) |
|
333 |
]. |
|
2109 | 334 |
]. |
2326 | 335 |
|
336 |
"/ negative shifts: |
|
337 |
self assert:(-1 bitShift:-1) == -1. |
|
338 |
self assert:(-1 bitShift:-31) == -1. |
|
339 |
self assert:(-1 bitShift:-32) == -1. |
|
340 |
self assert:(-1 bitShift:-33) == -1. |
|
341 |
self assert:(-1 bitShift:-63) == -1. |
|
342 |
self assert:(-1 bitShift:-64) == -1. |
|
343 |
self assert:(-1 bitShift:-65) == -1. |
|
344 |
self assert:(-1 bitShift:-100) == -1. |
|
2109 | 345 |
! |
346 |
||
347 |
testBitShiftNegative |
|
348 |
#( |
|
349 |
(-1 1 -2) |
|
350 |
(-1 2 -4) |
|
351 |
(-1 3 -8) |
|
352 |
(-1 7 16r-080) |
|
353 |
(-1 8 16r-100) |
|
354 |
(-1 15 16r-08000) |
|
355 |
(-1 16 16r-10000) |
|
356 |
(-1 17 16r-20000) |
|
357 |
(-1 30 16r-040000000) |
|
358 |
(-1 31 16r-080000000) |
|
359 |
(-1 32 16r-100000000) |
|
360 |
(-1 33 16r-200000000) |
|
361 |
||
362 |
(-1 62 16r-04000000000000000) |
|
363 |
(-1 63 16r-08000000000000000) |
|
364 |
(-1 64 16r-10000000000000000) |
|
365 |
(-1 65 16r-20000000000000000) |
|
366 |
||
367 |
(-1 126 16r-040000000000000000000000000000000) |
|
368 |
(-1 127 16r-080000000000000000000000000000000) |
|
369 |
(-1 128 16r-100000000000000000000000000000000) |
|
370 |
(-1 129 16r-200000000000000000000000000000000) |
|
371 |
||
372 |
(16r-10 1 16r-20) |
|
373 |
(16r-10 2 16r-40) |
|
374 |
(16r-10 3 16r-80) |
|
375 |
(16r-10 7 16r-0800) |
|
376 |
(16r-10 8 16r-1000) |
|
377 |
(16r-10 15 16r-080000) |
|
378 |
(16r-10 16 16r-100000) |
|
379 |
(16r-10 17 16r-200000) |
|
380 |
(16r-10 30 16r-0400000000) |
|
381 |
(16r-10 31 16r-0800000000) |
|
382 |
(16r-10 32 16r-1000000000) |
|
383 |
(16r-10 33 16r-2000000000) |
|
384 |
||
385 |
(16r-10 62 16r-040000000000000000) |
|
386 |
(16r-10 63 16r-080000000000000000) |
|
387 |
(16r-10 64 16r-100000000000000000) |
|
388 |
(16r-10 65 16r-200000000000000000) |
|
389 |
||
390 |
(16r-10 126 16r-0400000000000000000000000000000000) |
|
391 |
(16r-10 127 16r-0800000000000000000000000000000000) |
|
392 |
(16r-10 128 16r-1000000000000000000000000000000000) |
|
393 |
(16r-10 129 16r-2000000000000000000000000000000000) |
|
394 |
) triplesDo:[:val :cnt :expected | |
|
395 |
|rslt1 rslt2| |
|
396 |
||
397 |
rslt1 := val bitShift:cnt. |
|
398 |
self assert:(rslt1 = expected). |
|
399 |
expected class == SmallInteger ifTrue:[ |
|
400 |
self assert:(rslt1 == expected) |
|
401 |
]. |
|
402 |
rslt2 := rslt1 bitShift:cnt negated. |
|
403 |
self assert:(rslt2 = val). |
|
404 |
val class == SmallInteger ifTrue:[ |
|
405 |
self assert:(rslt2 == val) |
|
406 |
]. |
|
407 |
]. |
|
408 |
||
409 |
"Modified (format): / 19-09-2017 / 16:29:36 / stefan" |
|
2111 | 410 |
! |
411 |
||
412 |
testParity |
|
413 |
self assert:(1 parityOdd). |
|
414 |
self assert:(2 parityOdd). |
|
415 |
self assert:(3 parityOdd not). |
|
416 |
self assert:(16r20000000 parityOdd). |
|
417 |
self assert:(16r30000000 parityOdd not). |
|
418 |
self assert:(16r40000000 parityOdd). |
|
419 |
self assert:(16r50000000 parityOdd not). |
|
420 |
self assert:(16rFFFFFFFF parityOdd not). |
|
421 |
self assert:(16r2000000000000000 parityOdd). |
|
422 |
self assert:(16r3000000000000000 parityOdd not). |
|
423 |
self assert:(16r4000000000000000 parityOdd). |
|
424 |
self assert:(16r5000000000000000 parityOdd not). |
|
425 |
self assert:(16rFFFFFFFFFFFFFFFF parityOdd not). |
|
426 |
self assert:(16r200000000000000000000000 parityOdd). |
|
427 |
self assert:(16r300000000000000000000000 parityOdd not). |
|
428 |
self assert:(16r400000000000000000000000 parityOdd). |
|
429 |
self assert:(16r500000000000000000000000 parityOdd not). |
|
430 |
self assert:(16rFFFFFFFFFFFFFFFFFFFFFFFF parityOdd not). |
|
431 |
||
432 |
"Created: / 20-03-2019 / 13:38:42 / Claus Gittinger" |
|
2109 | 433 |
! ! |
434 |
||
310 | 435 |
!SmallIntegerTest methodsFor:'tests-class protocol'! |
436 |
||
437 |
testBasicNew |
|
1447 | 438 |
self should: [SmallInteger basicNew] raise: TestResult error. |
310 | 439 |
! |
440 |
||
441 |
testMaxVal |
|
442 |
"/ the original code did not check for pointer-size; |
|
443 |
||
444 |
Smalltalk isSmalltalkX ifTrue:[ |
|
1447 | 445 |
SmallInteger maxBytes == 4 ifTrue:[ |
446 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
|
447 |
self should: [SmallInteger maxVal == 16r3FFFFFFF]. |
|
448 |
] ifFalse:[ |
|
449 |
self should: [SmallInteger maxVal = 16r3FFFFFFFFFFFFFFF]. |
|
450 |
self should: [SmallInteger maxVal == 16r3FFFFFFFFFFFFFFF]. |
|
451 |
]. |
|
310 | 452 |
] ifFalse:[ |
1447 | 453 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
310 | 454 |
] |
455 |
! |
|
456 |
||
1347 | 457 |
testMaxValPointerSizeConsistency |
458 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
1447 | 459 |
self assert: ((SmallInteger maxBits == 31) or:[SmallInteger maxBits == 32]). |
460 |
self assert: (ExternalAddress pointerSize == 4). |
|
1347 | 461 |
] ifFalse:[ |
1447 | 462 |
self assert: ((SmallInteger maxBits == 63) or:[SmallInteger maxBits == 64]). |
463 |
self assert: (ExternalAddress pointerSize == 8). |
|
1347 | 464 |
] |
465 |
! |
|
466 |
||
310 | 467 |
testMinVal |
468 |
"/ the original code did not check for pointer-size; |
|
469 |
||
470 |
Smalltalk isSmalltalkX ifTrue:[ |
|
1709 | 471 |
SmallInteger maxBytes == 4 ifTrue:[ |
472 |
self should: [SmallInteger minVal = 16r-40000000]. |
|
473 |
self should: [SmallInteger minVal == 16r-40000000]. |
|
474 |
] ifFalse:[ |
|
475 |
self should: [SmallInteger minVal = 16r-4000000000000000]. |
|
476 |
self should: [SmallInteger minVal == 16r-4000000000000000]. |
|
477 |
]. |
|
310 | 478 |
] ifFalse:[ |
1709 | 479 |
self should: [SmallInteger minVal = 16r-40000000]. |
310 | 480 |
] |
1709 | 481 |
|
482 |
"Modified (format): / 19-09-2017 / 16:29:45 / stefan" |
|
310 | 483 |
! |
484 |
||
485 |
testNew |
|
2111 | 486 |
self should: [SmallInteger new] raise: Error. |
487 |
||
488 |
"Modified (comment): / 20-03-2019 / 14:57:12 / Claus Gittinger" |
|
310 | 489 |
! ! |
490 |
||
491 |
!SmallIntegerTest class methodsFor:'documentation'! |
|
492 |
||
493 |
version |
|
494 |
^ '$Header$' |
|
2111 | 495 |
! |
496 |
||
497 |
version_CVS |
|
498 |
^ '$Header$' |
|
310 | 499 |
! ! |
1074 | 500 |