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