author | Jan Vrany <jan.vrany@fit.cvut.cz> |
Wed, 29 Jun 2016 21:40:53 +0100 | |
branch | jv |
changeset 1499 | 26a16a04219b |
parent 1485 | 5a1aadddbc7f |
child 1500 | d406a10b2965 |
permissions | -rw-r--r-- |
1499
26a16a04219b
Package renamed from exept:regression to stx:goodies/regression. Hooray!
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
1485
diff
changeset
|
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 |
||
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
13 |
!SmallIntegerTest class methodsFor:'others'! |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
14 |
|
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
15 |
version_CVS |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
16 |
^ '$Header$' |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
17 |
! ! |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
18 |
|
310 | 19 |
!SmallIntegerTest methodsFor:'tests-arithmetic'! |
20 |
||
1485 | 21 |
testBitShift |
22 |
#( |
|
23 |
(1 1 2) |
|
24 |
(1 2 4) |
|
25 |
(1 3 8) |
|
26 |
(1 7 16r080) |
|
27 |
(1 8 16r100) |
|
28 |
(1 15 16r08000) |
|
29 |
(1 16 16r10000) |
|
30 |
(1 17 16r20000) |
|
31 |
(1 30 16r040000000) |
|
32 |
(1 31 16r080000000) |
|
33 |
(1 32 16r100000000) |
|
34 |
(1 33 16r200000000) |
|
35 |
||
36 |
(1 62 16r04000000000000000) |
|
37 |
(1 63 16r08000000000000000) |
|
38 |
(1 64 16r10000000000000000) |
|
39 |
(1 65 16r20000000000000000) |
|
40 |
||
41 |
(1 126 16r040000000000000000000000000000000) |
|
42 |
(1 127 16r080000000000000000000000000000000) |
|
43 |
(1 128 16r100000000000000000000000000000000) |
|
44 |
(1 129 16r200000000000000000000000000000000) |
|
45 |
||
46 |
(16r10 1 16r20) |
|
47 |
(16r10 2 16r40) |
|
48 |
(16r10 3 16r80) |
|
49 |
(16r10 7 16r0800) |
|
50 |
(16r10 8 16r1000) |
|
51 |
(16r10 15 16r080000) |
|
52 |
(16r10 16 16r100000) |
|
53 |
(16r10 17 16r200000) |
|
54 |
(16r10 30 16r0400000000) |
|
55 |
(16r10 31 16r0800000000) |
|
56 |
(16r10 32 16r1000000000) |
|
57 |
(16r10 33 16r2000000000) |
|
58 |
||
59 |
(16r10 62 16r040000000000000000) |
|
60 |
(16r10 63 16r080000000000000000) |
|
61 |
(16r10 64 16r100000000000000000) |
|
62 |
(16r10 65 16r200000000000000000) |
|
63 |
||
64 |
(16r10 126 16r0400000000000000000000000000000000) |
|
65 |
(16r10 127 16r0800000000000000000000000000000000) |
|
66 |
(16r10 128 16r1000000000000000000000000000000000) |
|
67 |
(16r10 129 16r2000000000000000000000000000000000) |
|
68 |
) triplesDo:[:val :cnt :expected | |
|
69 |
|rslt1 rslt2| |
|
70 |
||
71 |
rslt1 := val bitShift:cnt. |
|
72 |
self assert:(rslt1 = expected). |
|
73 |
expected class == SmallInteger ifTrue:[ |
|
74 |
self assert:(rslt1 == expected) |
|
75 |
]. |
|
76 |
rslt2 := rslt1 bitShift:cnt negated. |
|
77 |
self assert:(rslt2 = val). |
|
78 |
val class == SmallInteger ifTrue:[ |
|
79 |
self assert:(rslt2 == val) |
|
80 |
]. |
|
81 |
]. |
|
82 |
! |
|
83 |
||
84 |
testBitShiftNegative |
|
85 |
#( |
|
86 |
(-1 1 -2) |
|
87 |
(-1 2 -4) |
|
88 |
(-1 3 -8) |
|
89 |
(-1 7 -16r080) |
|
90 |
(-1 8 -16r100) |
|
91 |
(-1 15 -16r08000) |
|
92 |
(-1 16 -16r10000) |
|
93 |
(-1 17 -16r20000) |
|
94 |
(-1 30 -16r040000000) |
|
95 |
(-1 31 -16r080000000) |
|
96 |
(-1 32 -16r100000000) |
|
97 |
(-1 33 -16r200000000) |
|
98 |
||
99 |
(-1 62 -16r04000000000000000) |
|
100 |
(-1 63 -16r08000000000000000) |
|
101 |
(-1 64 -16r10000000000000000) |
|
102 |
(-1 65 -16r20000000000000000) |
|
103 |
||
104 |
(-1 126 -16r040000000000000000000000000000000) |
|
105 |
(-1 127 -16r080000000000000000000000000000000) |
|
106 |
(-1 128 -16r100000000000000000000000000000000) |
|
107 |
(-1 129 -16r200000000000000000000000000000000) |
|
108 |
||
109 |
(-16r10 1 -16r20) |
|
110 |
(-16r10 2 -16r40) |
|
111 |
(-16r10 3 -16r80) |
|
112 |
(-16r10 7 -16r0800) |
|
113 |
(-16r10 8 -16r1000) |
|
114 |
(-16r10 15 -16r080000) |
|
115 |
(-16r10 16 -16r100000) |
|
116 |
(-16r10 17 -16r200000) |
|
117 |
(-16r10 30 -16r0400000000) |
|
118 |
(-16r10 31 -16r0800000000) |
|
119 |
(-16r10 32 -16r1000000000) |
|
120 |
(-16r10 33 -16r2000000000) |
|
121 |
||
122 |
(-16r10 62 -16r040000000000000000) |
|
123 |
(-16r10 63 -16r080000000000000000) |
|
124 |
(-16r10 64 -16r100000000000000000) |
|
125 |
(-16r10 65 -16r200000000000000000) |
|
126 |
||
127 |
(-16r10 126 -16r0400000000000000000000000000000000) |
|
128 |
(-16r10 127 -16r0800000000000000000000000000000000) |
|
129 |
(-16r10 128 -16r1000000000000000000000000000000000) |
|
130 |
(-16r10 129 -16r2000000000000000000000000000000000) |
|
131 |
) triplesDo:[:val :cnt :expected | |
|
132 |
|rslt1 rslt2| |
|
133 |
||
134 |
rslt1 := val bitShift:cnt. |
|
135 |
self assert:(rslt1 = expected). |
|
136 |
expected class == SmallInteger ifTrue:[ |
|
137 |
self assert:(rslt1 == expected) |
|
138 |
]. |
|
139 |
rslt2 := rslt1 bitShift:cnt negated. |
|
140 |
self assert:(rslt2 = val). |
|
141 |
val class == SmallInteger ifTrue:[ |
|
142 |
self assert:(rslt2 == val) |
|
143 |
]. |
|
144 |
]. |
|
145 |
! |
|
146 |
||
310 | 147 |
testDivide |
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
148 |
|zero _1 _2 _3 _4 _m2 _m4| |
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
149 |
|
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
150 |
"circumvent compiler error about division by zero" |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
151 |
zero := 0. |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
152 |
|
310 | 153 |
self assert: 2 / 1 = 2. |
154 |
self assert: (3 / 2) isFraction. |
|
155 |
self assert: 4 / 2 = 2. |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
156 |
self assert: 4 / -2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
157 |
self assert: -4 / 2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
158 |
self assert: -4 / -2 = 2. |
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
159 |
self should: [ 1 / zero ] raise: ZeroDivide. |
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
160 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
161 |
_1 := 1. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
162 |
_2 := 2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
163 |
_3 := 3. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
164 |
_4 := 4. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
165 |
_m2 := -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
166 |
_m4 := -4. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
167 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
168 |
self assert: _2 / _1 = _2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
169 |
self assert: (_3 / _2) isFraction. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
170 |
self assert: _4 / _2 = 2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
171 |
self assert: _4 / _m2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
172 |
self assert: _m4 / _2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
173 |
self assert: _m4 / _m2 = 2. |
364 | 174 |
! |
175 |
||
176 |
testMultiply |
|
177 |
|i ii| |
|
178 |
||
179 |
#( |
|
180 |
16r3fff |
|
181 |
16r7fff |
|
182 |
16rffff |
|
183 |
16r3fffffff |
|
184 |
16r7fffffff |
|
185 |
16rffffffff |
|
186 |
16r20000000 |
|
187 |
16r40000000 |
|
188 |
16r80000000 |
|
189 |
16r100000000 |
|
190 |
16r20000001 |
|
191 |
16r40000001 |
|
192 |
16r80000001 |
|
193 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
194 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
195 |
"/ for 64 bit machines: |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
196 |
16r3fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
197 |
16r7fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
198 |
16rffffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
199 |
16r2000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
200 |
16r4000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
201 |
16r8000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
202 |
16r10000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
203 |
16r2000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
204 |
16r4000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
205 |
16r8000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
206 |
16r10000000000000001 |
364 | 207 |
) do:[:x | |
208 |
i := x. |
|
209 |
ii := i * i. |
|
210 |
self assert:((ii / i) = i). |
|
211 |
i class == SmallInteger ifTrue:[ |
|
212 |
self assert:((ii / i) == i). |
|
213 |
]. |
|
214 |
||
215 |
i := x negated. |
|
216 |
ii := i * i. |
|
217 |
self assert:((ii / i) = i). |
|
218 |
i class == SmallInteger ifTrue:[ |
|
219 |
self assert:((ii / i) == i). |
|
220 |
]. |
|
221 |
]. |
|
222 |
! |
|
223 |
||
224 |
testNegation |
|
225 |
|i iN iNN| |
|
226 |
||
227 |
#( |
|
228 |
16r3fffffff |
|
229 |
16r7fffffff |
|
230 |
16rffffffff |
|
231 |
16r20000000 |
|
232 |
16r40000000 |
|
233 |
16r80000000 |
|
234 |
16r100000000 |
|
235 |
16r20000001 |
|
236 |
16r40000001 |
|
237 |
16r80000001 |
|
238 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
239 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
240 |
"/ for 64bit machines: |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
241 |
16r3fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
242 |
16r7fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
243 |
16rffffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
244 |
16r2000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
245 |
16r4000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
246 |
16r8000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
247 |
16r10000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
248 |
16r2000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
249 |
16r4000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
250 |
16r8000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
251 |
16r10000000000000001 |
364 | 252 |
) do:[:x | |
253 |
i := x. |
|
254 |
iN := i negated. |
|
255 |
iNN := iN negated. |
|
256 |
self assert:(i = iNN). |
|
257 |
i class == SmallInteger ifTrue:[ |
|
258 |
self assert:(i == iNN). |
|
259 |
]. |
|
260 |
]. |
|
1477 | 261 |
self assert:(SmallInteger maxVal negated class == SmallInteger). |
262 |
self assert:(SmallInteger maxVal negated negated == SmallInteger maxVal). |
|
263 |
||
264 |
self assert:(SmallInteger maxVal negated -1 == SmallInteger minVal). |
|
265 |
self assert:(SmallInteger minVal negated negated class == SmallInteger). |
|
310 | 266 |
! ! |
267 |
||
268 |
!SmallIntegerTest methodsFor:'tests-class protocol'! |
|
269 |
||
270 |
testBasicNew |
|
271 |
self should: [SmallInteger basicNew] raise: TestResult error. |
|
272 |
! |
|
273 |
||
274 |
testMaxVal |
|
275 |
"/ the original code did not check for pointer-size; |
|
276 |
||
277 |
Smalltalk isSmalltalkX ifTrue:[ |
|
278 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
279 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
|
280 |
self should: [SmallInteger maxVal == 16r3FFFFFFF]. |
|
281 |
] ifFalse:[ |
|
282 |
self should: [SmallInteger maxVal = 16r3FFFFFFFFFFFFFFF]. |
|
283 |
self should: [SmallInteger maxVal == 16r3FFFFFFFFFFFFFFF]. |
|
284 |
]. |
|
285 |
] ifFalse:[ |
|
286 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
|
287 |
] |
|
288 |
! |
|
289 |
||
1485 | 290 |
testMaxValPointerSizeConsistency |
291 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
292 |
self assert: ((SmallInteger maxBits == 31) or:[SmallInteger maxBits == 32]). |
|
293 |
self assert: (ExternalAddress pointerSize == 4). |
|
294 |
] ifFalse:[ |
|
295 |
self assert: ((SmallInteger maxBits == 63) or:[SmallInteger maxBits == 64]). |
|
296 |
self assert: (ExternalAddress pointerSize == 8). |
|
297 |
] |
|
298 |
! |
|
299 |
||
310 | 300 |
testMinVal |
301 |
"/ the original code did not check for pointer-size; |
|
302 |
||
303 |
Smalltalk isSmalltalkX ifTrue:[ |
|
304 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
305 |
self should: [SmallInteger minVal = -16r40000000]. |
|
306 |
self should: [SmallInteger minVal == -16r40000000]. |
|
307 |
] ifFalse:[ |
|
308 |
self should: [SmallInteger minVal = -16r4000000000000000]. |
|
309 |
self should: [SmallInteger minVal == -16r4000000000000000]. |
|
310 |
]. |
|
311 |
] ifFalse:[ |
|
312 |
self should: [SmallInteger minVal = -16r40000000]. |
|
313 |
] |
|
314 |
! |
|
315 |
||
316 |
testNew |
|
317 |
self should: [SmallInteger new] raise: TestResult error. |
|
318 |
! ! |
|
319 |
||
320 |
!SmallIntegerTest class methodsFor:'documentation'! |
|
321 |
||
322 |
version |
|
323 |
^ '$Header$' |
|
324 |
! ! |
|
1074 | 325 |