author | Claus Gittinger <cg@exept.de> |
Thu, 06 Nov 2014 17:03:19 +0100 | |
changeset 1223 | 708a62eac280 |
parent 1074 | 905aea054cf4 |
child 1306 | 9b2ba728b70e |
permissions | -rw-r--r-- |
310 | 1 |
"{ Package: 'exept:regression' }" |
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 |
||
21 |
testDivide |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
22 |
|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
|
23 |
|
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
24 |
"circumvent compiler error about division by zero" |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
25 |
zero := 0. |
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
26 |
|
310 | 27 |
self assert: 2 / 1 = 2. |
28 |
self assert: (3 / 2) isFraction. |
|
29 |
self assert: 4 / 2 = 2. |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
30 |
self assert: 4 / -2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
31 |
self assert: -4 / 2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
32 |
self assert: -4 / -2 = 2. |
619
f918fa22ad81
Circumvent compiler error about div by zero
Stefan Vogel <sv@exept.de>
parents:
364
diff
changeset
|
33 |
self should: [ 1 / zero ] raise: ZeroDivide. |
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
34 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
35 |
_1 := 1. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
36 |
_2 := 2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
37 |
_3 := 3. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
38 |
_4 := 4. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
39 |
_m2 := -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
40 |
_m4 := -4. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
41 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
42 |
self assert: _2 / _1 = _2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
43 |
self assert: (_3 / _2) isFraction. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
44 |
self assert: _4 / _2 = 2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
45 |
self assert: _4 / _m2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
46 |
self assert: _m4 / _2 = -2. |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
47 |
self assert: _m4 / _m2 = 2. |
364 | 48 |
! |
49 |
||
50 |
testMultiply |
|
51 |
|i ii| |
|
52 |
||
53 |
#( |
|
54 |
16r3fff |
|
55 |
16r7fff |
|
56 |
16rffff |
|
57 |
16r3fffffff |
|
58 |
16r7fffffff |
|
59 |
16rffffffff |
|
60 |
16r20000000 |
|
61 |
16r40000000 |
|
62 |
16r80000000 |
|
63 |
16r100000000 |
|
64 |
16r20000001 |
|
65 |
16r40000001 |
|
66 |
16r80000001 |
|
67 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
68 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
69 |
"/ for 64 bit machines: |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
70 |
16r3fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
71 |
16r7fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
72 |
16rffffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
73 |
16r2000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
74 |
16r4000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
75 |
16r8000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
76 |
16r10000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
77 |
16r2000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
78 |
16r4000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
79 |
16r8000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
80 |
16r10000000000000001 |
364 | 81 |
) do:[:x | |
82 |
i := x. |
|
83 |
ii := i * i. |
|
84 |
self assert:((ii / i) = i). |
|
85 |
i class == SmallInteger ifTrue:[ |
|
86 |
self assert:((ii / i) == i). |
|
87 |
]. |
|
88 |
||
89 |
i := x negated. |
|
90 |
ii := i * i. |
|
91 |
self assert:((ii / i) = i). |
|
92 |
i class == SmallInteger ifTrue:[ |
|
93 |
self assert:((ii / i) == i). |
|
94 |
]. |
|
95 |
]. |
|
96 |
! |
|
97 |
||
98 |
testNegation |
|
99 |
|i iN iNN| |
|
100 |
||
101 |
#( |
|
102 |
16r3fffffff |
|
103 |
16r7fffffff |
|
104 |
16rffffffff |
|
105 |
16r20000000 |
|
106 |
16r40000000 |
|
107 |
16r80000000 |
|
108 |
16r100000000 |
|
109 |
16r20000001 |
|
110 |
16r40000001 |
|
111 |
16r80000001 |
|
112 |
16r100000001 |
|
1223
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
113 |
|
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
114 |
"/ for 64bit machines: |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
115 |
16r3fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
116 |
16r7fffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
117 |
16rffffffffffffffff |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
118 |
16r2000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
119 |
16r4000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
120 |
16r8000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
121 |
16r10000000000000000 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
122 |
16r2000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
123 |
16r4000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
124 |
16r8000000000000001 |
708a62eac280
class: RegressionTests::SmallIntegerTest
Claus Gittinger <cg@exept.de>
parents:
1074
diff
changeset
|
125 |
16r10000000000000001 |
364 | 126 |
) do:[:x | |
127 |
i := x. |
|
128 |
iN := i negated. |
|
129 |
iNN := iN negated. |
|
130 |
self assert:(i = iNN). |
|
131 |
i class == SmallInteger ifTrue:[ |
|
132 |
self assert:(i == iNN). |
|
133 |
]. |
|
134 |
]. |
|
310 | 135 |
! ! |
136 |
||
137 |
!SmallIntegerTest methodsFor:'tests-class protocol'! |
|
138 |
||
139 |
testBasicNew |
|
140 |
self should: [SmallInteger basicNew] raise: TestResult error. |
|
141 |
! |
|
142 |
||
143 |
testMaxVal |
|
144 |
"/ the original code did not check for pointer-size; |
|
145 |
||
146 |
Smalltalk isSmalltalkX ifTrue:[ |
|
147 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
148 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
|
149 |
self should: [SmallInteger maxVal == 16r3FFFFFFF]. |
|
150 |
] ifFalse:[ |
|
151 |
self should: [SmallInteger maxVal = 16r3FFFFFFFFFFFFFFF]. |
|
152 |
self should: [SmallInteger maxVal == 16r3FFFFFFFFFFFFFFF]. |
|
153 |
]. |
|
154 |
] ifFalse:[ |
|
155 |
self should: [SmallInteger maxVal = 16r3FFFFFFF]. |
|
156 |
] |
|
157 |
! |
|
158 |
||
159 |
testMinVal |
|
160 |
"/ the original code did not check for pointer-size; |
|
161 |
||
162 |
Smalltalk isSmalltalkX ifTrue:[ |
|
163 |
SmallInteger maxBytes == 4 ifTrue:[ |
|
164 |
self should: [SmallInteger minVal = -16r40000000]. |
|
165 |
self should: [SmallInteger minVal == -16r40000000]. |
|
166 |
] ifFalse:[ |
|
167 |
self should: [SmallInteger minVal = -16r4000000000000000]. |
|
168 |
self should: [SmallInteger minVal == -16r4000000000000000]. |
|
169 |
]. |
|
170 |
] ifFalse:[ |
|
171 |
self should: [SmallInteger minVal = -16r40000000]. |
|
172 |
] |
|
173 |
! |
|
174 |
||
175 |
testNew |
|
176 |
self should: [SmallInteger new] raise: TestResult error. |
|
177 |
! ! |
|
178 |
||
179 |
!SmallIntegerTest class methodsFor:'documentation'! |
|
180 |
||
181 |
version |
|
182 |
^ '$Header$' |
|
183 |
! ! |
|
1074 | 184 |