|
1 ------------------------------------------------------------------------ |
|
2 -- subtract.decTest -- decimal subtraction -- |
|
3 -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. -- |
|
4 ------------------------------------------------------------------------ |
|
5 -- Please see the document "General Decimal Arithmetic Testcases" -- |
|
6 -- at http://www2.hursley.ibm.com/decimal for the description of -- |
|
7 -- these testcases. -- |
|
8 -- -- |
|
9 -- These testcases are experimental ('beta' versions), and they -- |
|
10 -- may contain errors. They are offered on an as-is basis. In -- |
|
11 -- particular, achieving the same results as the tests here is not -- |
|
12 -- a guarantee that an implementation complies with any Standard -- |
|
13 -- or specification. The tests are not exhaustive. -- |
|
14 -- -- |
|
15 -- Please send comments, suggestions, and corrections to the author: -- |
|
16 -- Mike Cowlishaw, IBM Fellow -- |
|
17 -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
|
18 -- mfc@uk.ibm.com -- |
|
19 ------------------------------------------------------------------------ |
|
20 version: 2.58 |
|
21 |
|
22 extended: 1 |
|
23 precision: 9 |
|
24 rounding: half_up |
|
25 maxExponent: 384 |
|
26 minexponent: -383 |
|
27 |
|
28 -- [first group are 'quick confidence check'] |
|
29 subx001 subtract 0 0 -> '0' |
|
30 subx002 subtract 1 1 -> '0' |
|
31 subx003 subtract 1 2 -> '-1' |
|
32 subx004 subtract 2 1 -> '1' |
|
33 subx005 subtract 2 2 -> '0' |
|
34 subx006 subtract 3 2 -> '1' |
|
35 subx007 subtract 2 3 -> '-1' |
|
36 |
|
37 subx011 subtract -0 0 -> '-0' |
|
38 subx012 subtract -1 1 -> '-2' |
|
39 subx013 subtract -1 2 -> '-3' |
|
40 subx014 subtract -2 1 -> '-3' |
|
41 subx015 subtract -2 2 -> '-4' |
|
42 subx016 subtract -3 2 -> '-5' |
|
43 subx017 subtract -2 3 -> '-5' |
|
44 |
|
45 subx021 subtract 0 -0 -> '0' |
|
46 subx022 subtract 1 -1 -> '2' |
|
47 subx023 subtract 1 -2 -> '3' |
|
48 subx024 subtract 2 -1 -> '3' |
|
49 subx025 subtract 2 -2 -> '4' |
|
50 subx026 subtract 3 -2 -> '5' |
|
51 subx027 subtract 2 -3 -> '5' |
|
52 |
|
53 subx030 subtract 11 1 -> 10 |
|
54 subx031 subtract 10 1 -> 9 |
|
55 subx032 subtract 9 1 -> 8 |
|
56 subx033 subtract 1 1 -> 0 |
|
57 subx034 subtract 0 1 -> -1 |
|
58 subx035 subtract -1 1 -> -2 |
|
59 subx036 subtract -9 1 -> -10 |
|
60 subx037 subtract -10 1 -> -11 |
|
61 subx038 subtract -11 1 -> -12 |
|
62 |
|
63 subx040 subtract '5.75' '3.3' -> '2.45' |
|
64 subx041 subtract '5' '-3' -> '8' |
|
65 subx042 subtract '-5' '-3' -> '-2' |
|
66 subx043 subtract '-7' '2.5' -> '-9.5' |
|
67 subx044 subtract '0.7' '0.3' -> '0.4' |
|
68 subx045 subtract '1.3' '0.3' -> '1.0' |
|
69 subx046 subtract '1.25' '1.25' -> '0.00' |
|
70 |
|
71 subx050 subtract '1.23456789' '1.00000000' -> '0.23456789' |
|
72 subx051 subtract '1.23456789' '1.00000089' -> '0.23456700' |
|
73 subx052 subtract '0.5555555559' '0.0000000001' -> '0.555555556' Inexact Rounded |
|
74 subx053 subtract '0.5555555559' '0.0000000005' -> '0.555555555' Inexact Rounded |
|
75 subx054 subtract '0.4444444444' '0.1111111111' -> '0.333333333' Inexact Rounded |
|
76 subx055 subtract '1.0000000000' '0.00000001' -> '0.999999990' Rounded |
|
77 subx056 subtract '0.4444444444999' '0' -> '0.444444444' Inexact Rounded |
|
78 subx057 subtract '0.4444444445000' '0' -> '0.444444445' Inexact Rounded |
|
79 |
|
80 subx060 subtract '70' '10000e+9' -> '-1.00000000E+13' Inexact Rounded |
|
81 subx061 subtract '700' '10000e+9' -> '-1.00000000E+13' Inexact Rounded |
|
82 subx062 subtract '7000' '10000e+9' -> '-9.99999999E+12' Inexact Rounded |
|
83 subx063 subtract '70000' '10000e+9' -> '-9.99999993E+12' Rounded |
|
84 subx064 subtract '700000' '10000e+9' -> '-9.99999930E+12' Rounded |
|
85 -- symmetry: |
|
86 subx065 subtract '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded |
|
87 subx066 subtract '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded |
|
88 subx067 subtract '10000e+9' '7000' -> '9.99999999E+12' Inexact Rounded |
|
89 subx068 subtract '10000e+9' '70000' -> '9.99999993E+12' Rounded |
|
90 subx069 subtract '10000e+9' '700000' -> '9.99999930E+12' Rounded |
|
91 |
|
92 -- change precision |
|
93 subx080 subtract '10000e+9' '70000' -> '9.99999993E+12' Rounded |
|
94 precision: 6 |
|
95 subx081 subtract '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded |
|
96 precision: 9 |
|
97 |
|
98 -- some of the next group are really constructor tests |
|
99 subx090 subtract '00.0' '0.0' -> '0.0' |
|
100 subx091 subtract '00.0' '0.00' -> '0.00' |
|
101 subx092 subtract '0.00' '00.0' -> '0.00' |
|
102 subx093 subtract '00.0' '0.00' -> '0.00' |
|
103 subx094 subtract '0.00' '00.0' -> '0.00' |
|
104 subx095 subtract '3' '.3' -> '2.7' |
|
105 subx096 subtract '3.' '.3' -> '2.7' |
|
106 subx097 subtract '3.0' '.3' -> '2.7' |
|
107 subx098 subtract '3.00' '.3' -> '2.70' |
|
108 subx099 subtract '3' '3' -> '0' |
|
109 subx100 subtract '3' '+3' -> '0' |
|
110 subx101 subtract '3' '-3' -> '6' |
|
111 subx102 subtract '3' '0.3' -> '2.7' |
|
112 subx103 subtract '3.' '0.3' -> '2.7' |
|
113 subx104 subtract '3.0' '0.3' -> '2.7' |
|
114 subx105 subtract '3.00' '0.3' -> '2.70' |
|
115 subx106 subtract '3' '3.0' -> '0.0' |
|
116 subx107 subtract '3' '+3.0' -> '0.0' |
|
117 subx108 subtract '3' '-3.0' -> '6.0' |
|
118 |
|
119 -- the above all from add; massaged and extended. Now some new ones... |
|
120 -- [particularly important for comparisons] |
|
121 -- NB: -xE-8 below were non-exponents pre-ANSI X3-274, and -1E-7 or 0E-7 |
|
122 -- with input rounding. |
|
123 subx120 subtract '10.23456784' '10.23456789' -> '-5E-8' |
|
124 subx121 subtract '10.23456785' '10.23456789' -> '-4E-8' |
|
125 subx122 subtract '10.23456786' '10.23456789' -> '-3E-8' |
|
126 subx123 subtract '10.23456787' '10.23456789' -> '-2E-8' |
|
127 subx124 subtract '10.23456788' '10.23456789' -> '-1E-8' |
|
128 subx125 subtract '10.23456789' '10.23456789' -> '0E-8' |
|
129 subx126 subtract '10.23456790' '10.23456789' -> '1E-8' |
|
130 subx127 subtract '10.23456791' '10.23456789' -> '2E-8' |
|
131 subx128 subtract '10.23456792' '10.23456789' -> '3E-8' |
|
132 subx129 subtract '10.23456793' '10.23456789' -> '4E-8' |
|
133 subx130 subtract '10.23456794' '10.23456789' -> '5E-8' |
|
134 subx131 subtract '10.23456781' '10.23456786' -> '-5E-8' |
|
135 subx132 subtract '10.23456782' '10.23456786' -> '-4E-8' |
|
136 subx133 subtract '10.23456783' '10.23456786' -> '-3E-8' |
|
137 subx134 subtract '10.23456784' '10.23456786' -> '-2E-8' |
|
138 subx135 subtract '10.23456785' '10.23456786' -> '-1E-8' |
|
139 subx136 subtract '10.23456786' '10.23456786' -> '0E-8' |
|
140 subx137 subtract '10.23456787' '10.23456786' -> '1E-8' |
|
141 subx138 subtract '10.23456788' '10.23456786' -> '2E-8' |
|
142 subx139 subtract '10.23456789' '10.23456786' -> '3E-8' |
|
143 subx140 subtract '10.23456790' '10.23456786' -> '4E-8' |
|
144 subx141 subtract '10.23456791' '10.23456786' -> '5E-8' |
|
145 subx142 subtract '1' '0.999999999' -> '1E-9' |
|
146 subx143 subtract '0.999999999' '1' -> '-1E-9' |
|
147 subx144 subtract '-10.23456780' '-10.23456786' -> '6E-8' |
|
148 subx145 subtract '-10.23456790' '-10.23456786' -> '-4E-8' |
|
149 subx146 subtract '-10.23456791' '-10.23456786' -> '-5E-8' |
|
150 |
|
151 precision: 3 |
|
152 subx150 subtract '12345678900000' '9999999999999' -> 2.35E+12 Inexact Rounded |
|
153 subx151 subtract '9999999999999' '12345678900000' -> -2.35E+12 Inexact Rounded |
|
154 precision: 6 |
|
155 subx152 subtract '12345678900000' '9999999999999' -> 2.34568E+12 Inexact Rounded |
|
156 subx153 subtract '9999999999999' '12345678900000' -> -2.34568E+12 Inexact Rounded |
|
157 precision: 9 |
|
158 subx154 subtract '12345678900000' '9999999999999' -> 2.34567890E+12 Inexact Rounded |
|
159 subx155 subtract '9999999999999' '12345678900000' -> -2.34567890E+12 Inexact Rounded |
|
160 precision: 12 |
|
161 subx156 subtract '12345678900000' '9999999999999' -> 2.34567890000E+12 Inexact Rounded |
|
162 subx157 subtract '9999999999999' '12345678900000' -> -2.34567890000E+12 Inexact Rounded |
|
163 precision: 15 |
|
164 subx158 subtract '12345678900000' '9999999999999' -> 2345678900001 |
|
165 subx159 subtract '9999999999999' '12345678900000' -> -2345678900001 |
|
166 precision: 9 |
|
167 |
|
168 -- additional scaled arithmetic tests [0.97 problem] |
|
169 subx160 subtract '0' '.1' -> '-0.1' |
|
170 subx161 subtract '00' '.97983' -> '-0.97983' |
|
171 subx162 subtract '0' '.9' -> '-0.9' |
|
172 subx163 subtract '0' '0.102' -> '-0.102' |
|
173 subx164 subtract '0' '.4' -> '-0.4' |
|
174 subx165 subtract '0' '.307' -> '-0.307' |
|
175 subx166 subtract '0' '.43822' -> '-0.43822' |
|
176 subx167 subtract '0' '.911' -> '-0.911' |
|
177 subx168 subtract '.0' '.02' -> '-0.02' |
|
178 subx169 subtract '00' '.392' -> '-0.392' |
|
179 subx170 subtract '0' '.26' -> '-0.26' |
|
180 subx171 subtract '0' '0.51' -> '-0.51' |
|
181 subx172 subtract '0' '.2234' -> '-0.2234' |
|
182 subx173 subtract '0' '.2' -> '-0.2' |
|
183 subx174 subtract '.0' '.0008' -> '-0.0008' |
|
184 -- 0. on left |
|
185 subx180 subtract '0.0' '-.1' -> '0.1' |
|
186 subx181 subtract '0.00' '-.97983' -> '0.97983' |
|
187 subx182 subtract '0.0' '-.9' -> '0.9' |
|
188 subx183 subtract '0.0' '-0.102' -> '0.102' |
|
189 subx184 subtract '0.0' '-.4' -> '0.4' |
|
190 subx185 subtract '0.0' '-.307' -> '0.307' |
|
191 subx186 subtract '0.0' '-.43822' -> '0.43822' |
|
192 subx187 subtract '0.0' '-.911' -> '0.911' |
|
193 subx188 subtract '0.0' '-.02' -> '0.02' |
|
194 subx189 subtract '0.00' '-.392' -> '0.392' |
|
195 subx190 subtract '0.0' '-.26' -> '0.26' |
|
196 subx191 subtract '0.0' '-0.51' -> '0.51' |
|
197 subx192 subtract '0.0' '-.2234' -> '0.2234' |
|
198 subx193 subtract '0.0' '-.2' -> '0.2' |
|
199 subx194 subtract '0.0' '-.0008' -> '0.0008' |
|
200 -- negatives of same |
|
201 subx200 subtract '0' '-.1' -> '0.1' |
|
202 subx201 subtract '00' '-.97983' -> '0.97983' |
|
203 subx202 subtract '0' '-.9' -> '0.9' |
|
204 subx203 subtract '0' '-0.102' -> '0.102' |
|
205 subx204 subtract '0' '-.4' -> '0.4' |
|
206 subx205 subtract '0' '-.307' -> '0.307' |
|
207 subx206 subtract '0' '-.43822' -> '0.43822' |
|
208 subx207 subtract '0' '-.911' -> '0.911' |
|
209 subx208 subtract '.0' '-.02' -> '0.02' |
|
210 subx209 subtract '00' '-.392' -> '0.392' |
|
211 subx210 subtract '0' '-.26' -> '0.26' |
|
212 subx211 subtract '0' '-0.51' -> '0.51' |
|
213 subx212 subtract '0' '-.2234' -> '0.2234' |
|
214 subx213 subtract '0' '-.2' -> '0.2' |
|
215 subx214 subtract '.0' '-.0008' -> '0.0008' |
|
216 |
|
217 -- more fixed, LHS swaps [really the same as testcases under add] |
|
218 subx220 subtract '-56267E-12' 0 -> '-5.6267E-8' |
|
219 subx221 subtract '-56267E-11' 0 -> '-5.6267E-7' |
|
220 subx222 subtract '-56267E-10' 0 -> '-0.0000056267' |
|
221 subx223 subtract '-56267E-9' 0 -> '-0.000056267' |
|
222 subx224 subtract '-56267E-8' 0 -> '-0.00056267' |
|
223 subx225 subtract '-56267E-7' 0 -> '-0.0056267' |
|
224 subx226 subtract '-56267E-6' 0 -> '-0.056267' |
|
225 subx227 subtract '-56267E-5' 0 -> '-0.56267' |
|
226 subx228 subtract '-56267E-2' 0 -> '-562.67' |
|
227 subx229 subtract '-56267E-1' 0 -> '-5626.7' |
|
228 subx230 subtract '-56267E-0' 0 -> '-56267' |
|
229 -- symmetry ... |
|
230 subx240 subtract 0 '-56267E-12' -> '5.6267E-8' |
|
231 subx241 subtract 0 '-56267E-11' -> '5.6267E-7' |
|
232 subx242 subtract 0 '-56267E-10' -> '0.0000056267' |
|
233 subx243 subtract 0 '-56267E-9' -> '0.000056267' |
|
234 subx244 subtract 0 '-56267E-8' -> '0.00056267' |
|
235 subx245 subtract 0 '-56267E-7' -> '0.0056267' |
|
236 subx246 subtract 0 '-56267E-6' -> '0.056267' |
|
237 subx247 subtract 0 '-56267E-5' -> '0.56267' |
|
238 subx248 subtract 0 '-56267E-2' -> '562.67' |
|
239 subx249 subtract 0 '-56267E-1' -> '5626.7' |
|
240 subx250 subtract 0 '-56267E-0' -> '56267' |
|
241 |
|
242 -- now some more from the 'new' add |
|
243 precision: 9 |
|
244 subx301 subtract '1.23456789' '1.00000000' -> '0.23456789' |
|
245 subx302 subtract '1.23456789' '1.00000011' -> '0.23456778' |
|
246 |
|
247 subx311 subtract '0.4444444444' '0.5555555555' -> '-0.111111111' Inexact Rounded |
|
248 subx312 subtract '0.4444444440' '0.5555555555' -> '-0.111111112' Inexact Rounded |
|
249 subx313 subtract '0.4444444444' '0.5555555550' -> '-0.111111111' Inexact Rounded |
|
250 subx314 subtract '0.44444444449' '0' -> '0.444444444' Inexact Rounded |
|
251 subx315 subtract '0.444444444499' '0' -> '0.444444444' Inexact Rounded |
|
252 subx316 subtract '0.4444444444999' '0' -> '0.444444444' Inexact Rounded |
|
253 subx317 subtract '0.4444444445000' '0' -> '0.444444445' Inexact Rounded |
|
254 subx318 subtract '0.4444444445001' '0' -> '0.444444445' Inexact Rounded |
|
255 subx319 subtract '0.444444444501' '0' -> '0.444444445' Inexact Rounded |
|
256 subx320 subtract '0.44444444451' '0' -> '0.444444445' Inexact Rounded |
|
257 |
|
258 -- some carrying effects |
|
259 subx321 subtract '0.9998' '0.0000' -> '0.9998' |
|
260 subx322 subtract '0.9998' '0.0001' -> '0.9997' |
|
261 subx323 subtract '0.9998' '0.0002' -> '0.9996' |
|
262 subx324 subtract '0.9998' '0.0003' -> '0.9995' |
|
263 subx325 subtract '0.9998' '-0.0000' -> '0.9998' |
|
264 subx326 subtract '0.9998' '-0.0001' -> '0.9999' |
|
265 subx327 subtract '0.9998' '-0.0002' -> '1.0000' |
|
266 subx328 subtract '0.9998' '-0.0003' -> '1.0001' |
|
267 |
|
268 subx330 subtract '70' '10000e+9' -> '-1.00000000E+13' Inexact Rounded |
|
269 subx331 subtract '700' '10000e+9' -> '-1.00000000E+13' Inexact Rounded |
|
270 subx332 subtract '7000' '10000e+9' -> '-9.99999999E+12' Inexact Rounded |
|
271 subx333 subtract '70000' '10000e+9' -> '-9.99999993E+12' Rounded |
|
272 subx334 subtract '700000' '10000e+9' -> '-9.99999930E+12' Rounded |
|
273 subx335 subtract '7000000' '10000e+9' -> '-9.99999300E+12' Rounded |
|
274 -- symmetry: |
|
275 subx340 subtract '10000e+9' '70' -> '1.00000000E+13' Inexact Rounded |
|
276 subx341 subtract '10000e+9' '700' -> '1.00000000E+13' Inexact Rounded |
|
277 subx342 subtract '10000e+9' '7000' -> '9.99999999E+12' Inexact Rounded |
|
278 subx343 subtract '10000e+9' '70000' -> '9.99999993E+12' Rounded |
|
279 subx344 subtract '10000e+9' '700000' -> '9.99999930E+12' Rounded |
|
280 subx345 subtract '10000e+9' '7000000' -> '9.99999300E+12' Rounded |
|
281 |
|
282 -- same, higher precision |
|
283 precision: 15 |
|
284 subx346 subtract '10000e+9' '7' -> '9999999999993' |
|
285 subx347 subtract '10000e+9' '70' -> '9999999999930' |
|
286 subx348 subtract '10000e+9' '700' -> '9999999999300' |
|
287 subx349 subtract '10000e+9' '7000' -> '9999999993000' |
|
288 subx350 subtract '10000e+9' '70000' -> '9999999930000' |
|
289 subx351 subtract '10000e+9' '700000' -> '9999999300000' |
|
290 subx352 subtract '7' '10000e+9' -> '-9999999999993' |
|
291 subx353 subtract '70' '10000e+9' -> '-9999999999930' |
|
292 subx354 subtract '700' '10000e+9' -> '-9999999999300' |
|
293 subx355 subtract '7000' '10000e+9' -> '-9999999993000' |
|
294 subx356 subtract '70000' '10000e+9' -> '-9999999930000' |
|
295 subx357 subtract '700000' '10000e+9' -> '-9999999300000' |
|
296 |
|
297 -- zero preservation |
|
298 precision: 6 |
|
299 subx360 subtract '10000e+9' '70000' -> '1.00000E+13' Inexact Rounded |
|
300 subx361 subtract 1 '0.0001' -> '0.9999' |
|
301 subx362 subtract 1 '0.00001' -> '0.99999' |
|
302 subx363 subtract 1 '0.000001' -> '0.999999' |
|
303 subx364 subtract 1 '0.0000001' -> '1.00000' Inexact Rounded |
|
304 subx365 subtract 1 '0.00000001' -> '1.00000' Inexact Rounded |
|
305 |
|
306 -- some funny zeros [in case of bad signum] |
|
307 subx370 subtract 1 0 -> 1 |
|
308 subx371 subtract 1 0. -> 1 |
|
309 subx372 subtract 1 .0 -> 1.0 |
|
310 subx373 subtract 1 0.0 -> 1.0 |
|
311 subx374 subtract 0 1 -> -1 |
|
312 subx375 subtract 0. 1 -> -1 |
|
313 subx376 subtract .0 1 -> -1.0 |
|
314 subx377 subtract 0.0 1 -> -1.0 |
|
315 |
|
316 precision: 9 |
|
317 |
|
318 -- leading 0 digit before round |
|
319 subx910 subtract -103519362 -51897955.3 -> -51621406.7 |
|
320 subx911 subtract 159579.444 89827.5229 -> 69751.9211 |
|
321 |
|
322 subx920 subtract 333.123456 33.1234566 -> 299.999999 Inexact Rounded |
|
323 subx921 subtract 333.123456 33.1234565 -> 300.000000 Inexact Rounded |
|
324 subx922 subtract 133.123456 33.1234565 -> 99.9999995 |
|
325 subx923 subtract 133.123456 33.1234564 -> 99.9999996 |
|
326 subx924 subtract 133.123456 33.1234540 -> 100.000002 Rounded |
|
327 subx925 subtract 133.123456 43.1234560 -> 90.0000000 |
|
328 subx926 subtract 133.123456 43.1234561 -> 89.9999999 |
|
329 subx927 subtract 133.123456 43.1234566 -> 89.9999994 |
|
330 subx928 subtract 101.123456 91.1234566 -> 9.9999994 |
|
331 subx929 subtract 101.123456 99.1234566 -> 1.9999994 |
|
332 |
|
333 -- more of the same; probe for cluster boundary problems |
|
334 precision: 1 |
|
335 subx930 subtract 11 2 -> 9 |
|
336 precision: 2 |
|
337 subx932 subtract 101 2 -> 99 |
|
338 precision: 3 |
|
339 subx934 subtract 101 2.1 -> 98.9 |
|
340 subx935 subtract 101 92.01 -> 8.99 |
|
341 precision: 4 |
|
342 subx936 subtract 101 2.01 -> 98.99 |
|
343 subx937 subtract 101 92.01 -> 8.99 |
|
344 subx938 subtract 101 92.006 -> 8.994 |
|
345 precision: 5 |
|
346 subx939 subtract 101 2.001 -> 98.999 |
|
347 subx940 subtract 101 92.001 -> 8.999 |
|
348 subx941 subtract 101 92.0006 -> 8.9994 |
|
349 precision: 6 |
|
350 subx942 subtract 101 2.0001 -> 98.9999 |
|
351 subx943 subtract 101 92.0001 -> 8.9999 |
|
352 subx944 subtract 101 92.00006 -> 8.99994 |
|
353 precision: 7 |
|
354 subx945 subtract 101 2.00001 -> 98.99999 |
|
355 subx946 subtract 101 92.00001 -> 8.99999 |
|
356 subx947 subtract 101 92.000006 -> 8.999994 |
|
357 precision: 8 |
|
358 subx948 subtract 101 2.000001 -> 98.999999 |
|
359 subx949 subtract 101 92.000001 -> 8.999999 |
|
360 subx950 subtract 101 92.0000006 -> 8.9999994 |
|
361 precision: 9 |
|
362 subx951 subtract 101 2.0000001 -> 98.9999999 |
|
363 subx952 subtract 101 92.0000001 -> 8.9999999 |
|
364 subx953 subtract 101 92.00000006 -> 8.99999994 |
|
365 |
|
366 precision: 9 |
|
367 |
|
368 -- more LHS swaps [were fixed] |
|
369 subx390 subtract '-56267E-10' 0 -> '-0.0000056267' |
|
370 subx391 subtract '-56267E-6' 0 -> '-0.056267' |
|
371 subx392 subtract '-56267E-5' 0 -> '-0.56267' |
|
372 subx393 subtract '-56267E-4' 0 -> '-5.6267' |
|
373 subx394 subtract '-56267E-3' 0 -> '-56.267' |
|
374 subx395 subtract '-56267E-2' 0 -> '-562.67' |
|
375 subx396 subtract '-56267E-1' 0 -> '-5626.7' |
|
376 subx397 subtract '-56267E-0' 0 -> '-56267' |
|
377 subx398 subtract '-5E-10' 0 -> '-5E-10' |
|
378 subx399 subtract '-5E-7' 0 -> '-5E-7' |
|
379 subx400 subtract '-5E-6' 0 -> '-0.000005' |
|
380 subx401 subtract '-5E-5' 0 -> '-0.00005' |
|
381 subx402 subtract '-5E-4' 0 -> '-0.0005' |
|
382 subx403 subtract '-5E-1' 0 -> '-0.5' |
|
383 subx404 subtract '-5E0' 0 -> '-5' |
|
384 subx405 subtract '-5E1' 0 -> '-50' |
|
385 subx406 subtract '-5E5' 0 -> '-500000' |
|
386 subx407 subtract '-5E8' 0 -> '-500000000' |
|
387 subx408 subtract '-5E9' 0 -> '-5.00000000E+9' Rounded |
|
388 subx409 subtract '-5E10' 0 -> '-5.00000000E+10' Rounded |
|
389 subx410 subtract '-5E11' 0 -> '-5.00000000E+11' Rounded |
|
390 subx411 subtract '-5E100' 0 -> '-5.00000000E+100' Rounded |
|
391 |
|
392 -- more RHS swaps [were fixed] |
|
393 subx420 subtract 0 '-56267E-10' -> '0.0000056267' |
|
394 subx421 subtract 0 '-56267E-6' -> '0.056267' |
|
395 subx422 subtract 0 '-56267E-5' -> '0.56267' |
|
396 subx423 subtract 0 '-56267E-4' -> '5.6267' |
|
397 subx424 subtract 0 '-56267E-3' -> '56.267' |
|
398 subx425 subtract 0 '-56267E-2' -> '562.67' |
|
399 subx426 subtract 0 '-56267E-1' -> '5626.7' |
|
400 subx427 subtract 0 '-56267E-0' -> '56267' |
|
401 subx428 subtract 0 '-5E-10' -> '5E-10' |
|
402 subx429 subtract 0 '-5E-7' -> '5E-7' |
|
403 subx430 subtract 0 '-5E-6' -> '0.000005' |
|
404 subx431 subtract 0 '-5E-5' -> '0.00005' |
|
405 subx432 subtract 0 '-5E-4' -> '0.0005' |
|
406 subx433 subtract 0 '-5E-1' -> '0.5' |
|
407 subx434 subtract 0 '-5E0' -> '5' |
|
408 subx435 subtract 0 '-5E1' -> '50' |
|
409 subx436 subtract 0 '-5E5' -> '500000' |
|
410 subx437 subtract 0 '-5E8' -> '500000000' |
|
411 subx438 subtract 0 '-5E9' -> '5.00000000E+9' Rounded |
|
412 subx439 subtract 0 '-5E10' -> '5.00000000E+10' Rounded |
|
413 subx440 subtract 0 '-5E11' -> '5.00000000E+11' Rounded |
|
414 subx441 subtract 0 '-5E100' -> '5.00000000E+100' Rounded |
|
415 |
|
416 |
|
417 -- try borderline precision, with carries, etc. |
|
418 precision: 15 |
|
419 subx461 subtract '1E+12' '1' -> '999999999999' |
|
420 subx462 subtract '1E+12' '-1.11' -> '1000000000001.11' |
|
421 subx463 subtract '1.11' '-1E+12' -> '1000000000001.11' |
|
422 subx464 subtract '-1' '-1E+12' -> '999999999999' |
|
423 subx465 subtract '7E+12' '1' -> '6999999999999' |
|
424 subx466 subtract '7E+12' '-1.11' -> '7000000000001.11' |
|
425 subx467 subtract '1.11' '-7E+12' -> '7000000000001.11' |
|
426 subx468 subtract '-1' '-7E+12' -> '6999999999999' |
|
427 |
|
428 -- 123456789012345 123456789012345 1 23456789012345 |
|
429 subx470 subtract '0.444444444444444' '-0.555555555555563' -> '1.00000000000001' Inexact Rounded |
|
430 subx471 subtract '0.444444444444444' '-0.555555555555562' -> '1.00000000000001' Inexact Rounded |
|
431 subx472 subtract '0.444444444444444' '-0.555555555555561' -> '1.00000000000001' Inexact Rounded |
|
432 subx473 subtract '0.444444444444444' '-0.555555555555560' -> '1.00000000000000' Inexact Rounded |
|
433 subx474 subtract '0.444444444444444' '-0.555555555555559' -> '1.00000000000000' Inexact Rounded |
|
434 subx475 subtract '0.444444444444444' '-0.555555555555558' -> '1.00000000000000' Inexact Rounded |
|
435 subx476 subtract '0.444444444444444' '-0.555555555555557' -> '1.00000000000000' Inexact Rounded |
|
436 subx477 subtract '0.444444444444444' '-0.555555555555556' -> '1.00000000000000' Rounded |
|
437 subx478 subtract '0.444444444444444' '-0.555555555555555' -> '0.999999999999999' |
|
438 subx479 subtract '0.444444444444444' '-0.555555555555554' -> '0.999999999999998' |
|
439 subx480 subtract '0.444444444444444' '-0.555555555555553' -> '0.999999999999997' |
|
440 subx481 subtract '0.444444444444444' '-0.555555555555552' -> '0.999999999999996' |
|
441 subx482 subtract '0.444444444444444' '-0.555555555555551' -> '0.999999999999995' |
|
442 subx483 subtract '0.444444444444444' '-0.555555555555550' -> '0.999999999999994' |
|
443 |
|
444 -- and some more, including residue effects and different roundings |
|
445 precision: 9 |
|
446 rounding: half_up |
|
447 subx500 subtract '123456789' 0 -> '123456789' |
|
448 subx501 subtract '123456789' 0.000000001 -> '123456789' Inexact Rounded |
|
449 subx502 subtract '123456789' 0.000001 -> '123456789' Inexact Rounded |
|
450 subx503 subtract '123456789' 0.1 -> '123456789' Inexact Rounded |
|
451 subx504 subtract '123456789' 0.4 -> '123456789' Inexact Rounded |
|
452 subx505 subtract '123456789' 0.49 -> '123456789' Inexact Rounded |
|
453 subx506 subtract '123456789' 0.499999 -> '123456789' Inexact Rounded |
|
454 subx507 subtract '123456789' 0.499999999 -> '123456789' Inexact Rounded |
|
455 subx508 subtract '123456789' 0.5 -> '123456789' Inexact Rounded |
|
456 subx509 subtract '123456789' 0.500000001 -> '123456788' Inexact Rounded |
|
457 subx510 subtract '123456789' 0.500001 -> '123456788' Inexact Rounded |
|
458 subx511 subtract '123456789' 0.51 -> '123456788' Inexact Rounded |
|
459 subx512 subtract '123456789' 0.6 -> '123456788' Inexact Rounded |
|
460 subx513 subtract '123456789' 0.9 -> '123456788' Inexact Rounded |
|
461 subx514 subtract '123456789' 0.99999 -> '123456788' Inexact Rounded |
|
462 subx515 subtract '123456789' 0.999999999 -> '123456788' Inexact Rounded |
|
463 subx516 subtract '123456789' 1 -> '123456788' |
|
464 subx517 subtract '123456789' 1.000000001 -> '123456788' Inexact Rounded |
|
465 subx518 subtract '123456789' 1.00001 -> '123456788' Inexact Rounded |
|
466 subx519 subtract '123456789' 1.1 -> '123456788' Inexact Rounded |
|
467 |
|
468 rounding: half_even |
|
469 subx520 subtract '123456789' 0 -> '123456789' |
|
470 subx521 subtract '123456789' 0.000000001 -> '123456789' Inexact Rounded |
|
471 subx522 subtract '123456789' 0.000001 -> '123456789' Inexact Rounded |
|
472 subx523 subtract '123456789' 0.1 -> '123456789' Inexact Rounded |
|
473 subx524 subtract '123456789' 0.4 -> '123456789' Inexact Rounded |
|
474 subx525 subtract '123456789' 0.49 -> '123456789' Inexact Rounded |
|
475 subx526 subtract '123456789' 0.499999 -> '123456789' Inexact Rounded |
|
476 subx527 subtract '123456789' 0.499999999 -> '123456789' Inexact Rounded |
|
477 subx528 subtract '123456789' 0.5 -> '123456788' Inexact Rounded |
|
478 subx529 subtract '123456789' 0.500000001 -> '123456788' Inexact Rounded |
|
479 subx530 subtract '123456789' 0.500001 -> '123456788' Inexact Rounded |
|
480 subx531 subtract '123456789' 0.51 -> '123456788' Inexact Rounded |
|
481 subx532 subtract '123456789' 0.6 -> '123456788' Inexact Rounded |
|
482 subx533 subtract '123456789' 0.9 -> '123456788' Inexact Rounded |
|
483 subx534 subtract '123456789' 0.99999 -> '123456788' Inexact Rounded |
|
484 subx535 subtract '123456789' 0.999999999 -> '123456788' Inexact Rounded |
|
485 subx536 subtract '123456789' 1 -> '123456788' |
|
486 subx537 subtract '123456789' 1.00000001 -> '123456788' Inexact Rounded |
|
487 subx538 subtract '123456789' 1.00001 -> '123456788' Inexact Rounded |
|
488 subx539 subtract '123456789' 1.1 -> '123456788' Inexact Rounded |
|
489 -- critical few with even bottom digit... |
|
490 subx540 subtract '123456788' 0.499999999 -> '123456788' Inexact Rounded |
|
491 subx541 subtract '123456788' 0.5 -> '123456788' Inexact Rounded |
|
492 subx542 subtract '123456788' 0.500000001 -> '123456787' Inexact Rounded |
|
493 |
|
494 rounding: down |
|
495 subx550 subtract '123456789' 0 -> '123456789' |
|
496 subx551 subtract '123456789' 0.000000001 -> '123456788' Inexact Rounded |
|
497 subx552 subtract '123456789' 0.000001 -> '123456788' Inexact Rounded |
|
498 subx553 subtract '123456789' 0.1 -> '123456788' Inexact Rounded |
|
499 subx554 subtract '123456789' 0.4 -> '123456788' Inexact Rounded |
|
500 subx555 subtract '123456789' 0.49 -> '123456788' Inexact Rounded |
|
501 subx556 subtract '123456789' 0.499999 -> '123456788' Inexact Rounded |
|
502 subx557 subtract '123456789' 0.499999999 -> '123456788' Inexact Rounded |
|
503 subx558 subtract '123456789' 0.5 -> '123456788' Inexact Rounded |
|
504 subx559 subtract '123456789' 0.500000001 -> '123456788' Inexact Rounded |
|
505 subx560 subtract '123456789' 0.500001 -> '123456788' Inexact Rounded |
|
506 subx561 subtract '123456789' 0.51 -> '123456788' Inexact Rounded |
|
507 subx562 subtract '123456789' 0.6 -> '123456788' Inexact Rounded |
|
508 subx563 subtract '123456789' 0.9 -> '123456788' Inexact Rounded |
|
509 subx564 subtract '123456789' 0.99999 -> '123456788' Inexact Rounded |
|
510 subx565 subtract '123456789' 0.999999999 -> '123456788' Inexact Rounded |
|
511 subx566 subtract '123456789' 1 -> '123456788' |
|
512 subx567 subtract '123456789' 1.00000001 -> '123456787' Inexact Rounded |
|
513 subx568 subtract '123456789' 1.00001 -> '123456787' Inexact Rounded |
|
514 subx569 subtract '123456789' 1.1 -> '123456787' Inexact Rounded |
|
515 |
|
516 -- symmetry... |
|
517 rounding: half_up |
|
518 subx600 subtract 0 '123456789' -> '-123456789' |
|
519 subx601 subtract 0.000000001 '123456789' -> '-123456789' Inexact Rounded |
|
520 subx602 subtract 0.000001 '123456789' -> '-123456789' Inexact Rounded |
|
521 subx603 subtract 0.1 '123456789' -> '-123456789' Inexact Rounded |
|
522 subx604 subtract 0.4 '123456789' -> '-123456789' Inexact Rounded |
|
523 subx605 subtract 0.49 '123456789' -> '-123456789' Inexact Rounded |
|
524 subx606 subtract 0.499999 '123456789' -> '-123456789' Inexact Rounded |
|
525 subx607 subtract 0.499999999 '123456789' -> '-123456789' Inexact Rounded |
|
526 subx608 subtract 0.5 '123456789' -> '-123456789' Inexact Rounded |
|
527 subx609 subtract 0.500000001 '123456789' -> '-123456788' Inexact Rounded |
|
528 subx610 subtract 0.500001 '123456789' -> '-123456788' Inexact Rounded |
|
529 subx611 subtract 0.51 '123456789' -> '-123456788' Inexact Rounded |
|
530 subx612 subtract 0.6 '123456789' -> '-123456788' Inexact Rounded |
|
531 subx613 subtract 0.9 '123456789' -> '-123456788' Inexact Rounded |
|
532 subx614 subtract 0.99999 '123456789' -> '-123456788' Inexact Rounded |
|
533 subx615 subtract 0.999999999 '123456789' -> '-123456788' Inexact Rounded |
|
534 subx616 subtract 1 '123456789' -> '-123456788' |
|
535 subx617 subtract 1.000000001 '123456789' -> '-123456788' Inexact Rounded |
|
536 subx618 subtract 1.00001 '123456789' -> '-123456788' Inexact Rounded |
|
537 subx619 subtract 1.1 '123456789' -> '-123456788' Inexact Rounded |
|
538 |
|
539 rounding: half_even |
|
540 subx620 subtract 0 '123456789' -> '-123456789' |
|
541 subx621 subtract 0.000000001 '123456789' -> '-123456789' Inexact Rounded |
|
542 subx622 subtract 0.000001 '123456789' -> '-123456789' Inexact Rounded |
|
543 subx623 subtract 0.1 '123456789' -> '-123456789' Inexact Rounded |
|
544 subx624 subtract 0.4 '123456789' -> '-123456789' Inexact Rounded |
|
545 subx625 subtract 0.49 '123456789' -> '-123456789' Inexact Rounded |
|
546 subx626 subtract 0.499999 '123456789' -> '-123456789' Inexact Rounded |
|
547 subx627 subtract 0.499999999 '123456789' -> '-123456789' Inexact Rounded |
|
548 subx628 subtract 0.5 '123456789' -> '-123456788' Inexact Rounded |
|
549 subx629 subtract 0.500000001 '123456789' -> '-123456788' Inexact Rounded |
|
550 subx630 subtract 0.500001 '123456789' -> '-123456788' Inexact Rounded |
|
551 subx631 subtract 0.51 '123456789' -> '-123456788' Inexact Rounded |
|
552 subx632 subtract 0.6 '123456789' -> '-123456788' Inexact Rounded |
|
553 subx633 subtract 0.9 '123456789' -> '-123456788' Inexact Rounded |
|
554 subx634 subtract 0.99999 '123456789' -> '-123456788' Inexact Rounded |
|
555 subx635 subtract 0.999999999 '123456789' -> '-123456788' Inexact Rounded |
|
556 subx636 subtract 1 '123456789' -> '-123456788' |
|
557 subx637 subtract 1.00000001 '123456789' -> '-123456788' Inexact Rounded |
|
558 subx638 subtract 1.00001 '123456789' -> '-123456788' Inexact Rounded |
|
559 subx639 subtract 1.1 '123456789' -> '-123456788' Inexact Rounded |
|
560 -- critical few with even bottom digit... |
|
561 subx640 subtract 0.499999999 '123456788' -> '-123456788' Inexact Rounded |
|
562 subx641 subtract 0.5 '123456788' -> '-123456788' Inexact Rounded |
|
563 subx642 subtract 0.500000001 '123456788' -> '-123456787' Inexact Rounded |
|
564 |
|
565 rounding: down |
|
566 subx650 subtract 0 '123456789' -> '-123456789' |
|
567 subx651 subtract 0.000000001 '123456789' -> '-123456788' Inexact Rounded |
|
568 subx652 subtract 0.000001 '123456789' -> '-123456788' Inexact Rounded |
|
569 subx653 subtract 0.1 '123456789' -> '-123456788' Inexact Rounded |
|
570 subx654 subtract 0.4 '123456789' -> '-123456788' Inexact Rounded |
|
571 subx655 subtract 0.49 '123456789' -> '-123456788' Inexact Rounded |
|
572 subx656 subtract 0.499999 '123456789' -> '-123456788' Inexact Rounded |
|
573 subx657 subtract 0.499999999 '123456789' -> '-123456788' Inexact Rounded |
|
574 subx658 subtract 0.5 '123456789' -> '-123456788' Inexact Rounded |
|
575 subx659 subtract 0.500000001 '123456789' -> '-123456788' Inexact Rounded |
|
576 subx660 subtract 0.500001 '123456789' -> '-123456788' Inexact Rounded |
|
577 subx661 subtract 0.51 '123456789' -> '-123456788' Inexact Rounded |
|
578 subx662 subtract 0.6 '123456789' -> '-123456788' Inexact Rounded |
|
579 subx663 subtract 0.9 '123456789' -> '-123456788' Inexact Rounded |
|
580 subx664 subtract 0.99999 '123456789' -> '-123456788' Inexact Rounded |
|
581 subx665 subtract 0.999999999 '123456789' -> '-123456788' Inexact Rounded |
|
582 subx666 subtract 1 '123456789' -> '-123456788' |
|
583 subx667 subtract 1.00000001 '123456789' -> '-123456787' Inexact Rounded |
|
584 subx668 subtract 1.00001 '123456789' -> '-123456787' Inexact Rounded |
|
585 subx669 subtract 1.1 '123456789' -> '-123456787' Inexact Rounded |
|
586 |
|
587 |
|
588 -- lots of leading zeros in intermediate result, and showing effects of |
|
589 -- input rounding would have affected the following |
|
590 precision: 9 |
|
591 rounding: half_up |
|
592 subx670 subtract '123456789' '123456788.1' -> 0.9 |
|
593 subx671 subtract '123456789' '123456788.9' -> 0.1 |
|
594 subx672 subtract '123456789' '123456789.1' -> -0.1 |
|
595 subx673 subtract '123456789' '123456789.5' -> -0.5 |
|
596 subx674 subtract '123456789' '123456789.9' -> -0.9 |
|
597 |
|
598 rounding: half_even |
|
599 subx680 subtract '123456789' '123456788.1' -> 0.9 |
|
600 subx681 subtract '123456789' '123456788.9' -> 0.1 |
|
601 subx682 subtract '123456789' '123456789.1' -> -0.1 |
|
602 subx683 subtract '123456789' '123456789.5' -> -0.5 |
|
603 subx684 subtract '123456789' '123456789.9' -> -0.9 |
|
604 |
|
605 subx685 subtract '123456788' '123456787.1' -> 0.9 |
|
606 subx686 subtract '123456788' '123456787.9' -> 0.1 |
|
607 subx687 subtract '123456788' '123456788.1' -> -0.1 |
|
608 subx688 subtract '123456788' '123456788.5' -> -0.5 |
|
609 subx689 subtract '123456788' '123456788.9' -> -0.9 |
|
610 |
|
611 rounding: down |
|
612 subx690 subtract '123456789' '123456788.1' -> 0.9 |
|
613 subx691 subtract '123456789' '123456788.9' -> 0.1 |
|
614 subx692 subtract '123456789' '123456789.1' -> -0.1 |
|
615 subx693 subtract '123456789' '123456789.5' -> -0.5 |
|
616 subx694 subtract '123456789' '123456789.9' -> -0.9 |
|
617 |
|
618 -- input preparation tests |
|
619 rounding: half_up |
|
620 precision: 3 |
|
621 |
|
622 subx700 subtract '12345678900000' -9999999999999 -> '2.23E+13' Inexact Rounded |
|
623 subx701 subtract '9999999999999' -12345678900000 -> '2.23E+13' Inexact Rounded |
|
624 subx702 subtract '12E+3' '-3456' -> '1.55E+4' Inexact Rounded |
|
625 subx703 subtract '12E+3' '-3446' -> '1.54E+4' Inexact Rounded |
|
626 subx704 subtract '12E+3' '-3454' -> '1.55E+4' Inexact Rounded |
|
627 subx705 subtract '12E+3' '-3444' -> '1.54E+4' Inexact Rounded |
|
628 |
|
629 subx706 subtract '3456' '-12E+3' -> '1.55E+4' Inexact Rounded |
|
630 subx707 subtract '3446' '-12E+3' -> '1.54E+4' Inexact Rounded |
|
631 subx708 subtract '3454' '-12E+3' -> '1.55E+4' Inexact Rounded |
|
632 subx709 subtract '3444' '-12E+3' -> '1.54E+4' Inexact Rounded |
|
633 |
|
634 -- overflow and underflow tests [subnormals now possible] |
|
635 maxexponent: 999999999 |
|
636 minexponent: -999999999 |
|
637 precision: 9 |
|
638 rounding: down |
|
639 subx710 subtract 1E+999999999 -9E+999999999 -> 9.99999999E+999999999 Overflow Inexact Rounded |
|
640 subx711 subtract 9E+999999999 -1E+999999999 -> 9.99999999E+999999999 Overflow Inexact Rounded |
|
641 rounding: half_up |
|
642 subx712 subtract 1E+999999999 -9E+999999999 -> Infinity Overflow Inexact Rounded |
|
643 subx713 subtract 9E+999999999 -1E+999999999 -> Infinity Overflow Inexact Rounded |
|
644 subx714 subtract -1.1E-999999999 -1E-999999999 -> -1E-1000000000 Subnormal |
|
645 subx715 subtract 1E-999999999 +1.1e-999999999 -> -1E-1000000000 Subnormal |
|
646 subx716 subtract -1E+999999999 +9E+999999999 -> -Infinity Overflow Inexact Rounded |
|
647 subx717 subtract -9E+999999999 +1E+999999999 -> -Infinity Overflow Inexact Rounded |
|
648 subx718 subtract +1.1E-999999999 +1E-999999999 -> 1E-1000000000 Subnormal |
|
649 subx719 subtract -1E-999999999 -1.1e-999999999 -> 1E-1000000000 Subnormal |
|
650 |
|
651 precision: 3 |
|
652 subx720 subtract 1 9.999E+999999999 -> -Infinity Inexact Overflow Rounded |
|
653 subx721 subtract 1 -9.999E+999999999 -> Infinity Inexact Overflow Rounded |
|
654 subx722 subtract 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded |
|
655 subx723 subtract -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded |
|
656 subx724 subtract 1 9.999E+999999999 -> -Infinity Inexact Overflow Rounded |
|
657 subx725 subtract 1 -9.999E+999999999 -> Infinity Inexact Overflow Rounded |
|
658 subx726 subtract 9.999E+999999999 1 -> Infinity Inexact Overflow Rounded |
|
659 subx727 subtract -9.999E+999999999 1 -> -Infinity Inexact Overflow Rounded |
|
660 |
|
661 -- [more below] |
|
662 |
|
663 -- long operand checks |
|
664 maxexponent: 999 |
|
665 minexponent: -999 |
|
666 precision: 9 |
|
667 sub731 subtract 12345678000 0 -> 1.23456780E+10 Rounded |
|
668 sub732 subtract 0 12345678000 -> -1.23456780E+10 Rounded |
|
669 sub733 subtract 1234567800 0 -> 1.23456780E+9 Rounded |
|
670 sub734 subtract 0 1234567800 -> -1.23456780E+9 Rounded |
|
671 sub735 subtract 1234567890 0 -> 1.23456789E+9 Rounded |
|
672 sub736 subtract 0 1234567890 -> -1.23456789E+9 Rounded |
|
673 sub737 subtract 1234567891 0 -> 1.23456789E+9 Inexact Rounded |
|
674 sub738 subtract 0 1234567891 -> -1.23456789E+9 Inexact Rounded |
|
675 sub739 subtract 12345678901 0 -> 1.23456789E+10 Inexact Rounded |
|
676 sub740 subtract 0 12345678901 -> -1.23456789E+10 Inexact Rounded |
|
677 sub741 subtract 1234567896 0 -> 1.23456790E+9 Inexact Rounded |
|
678 sub742 subtract 0 1234567896 -> -1.23456790E+9 Inexact Rounded |
|
679 |
|
680 precision: 15 |
|
681 sub751 subtract 12345678000 0 -> 12345678000 |
|
682 sub752 subtract 0 12345678000 -> -12345678000 |
|
683 sub753 subtract 1234567800 0 -> 1234567800 |
|
684 sub754 subtract 0 1234567800 -> -1234567800 |
|
685 sub755 subtract 1234567890 0 -> 1234567890 |
|
686 sub756 subtract 0 1234567890 -> -1234567890 |
|
687 sub757 subtract 1234567891 0 -> 1234567891 |
|
688 sub758 subtract 0 1234567891 -> -1234567891 |
|
689 sub759 subtract 12345678901 0 -> 12345678901 |
|
690 sub760 subtract 0 12345678901 -> -12345678901 |
|
691 sub761 subtract 1234567896 0 -> 1234567896 |
|
692 sub762 subtract 0 1234567896 -> -1234567896 |
|
693 |
|
694 -- Specials |
|
695 subx780 subtract -Inf Inf -> -Infinity |
|
696 subx781 subtract -Inf 1000 -> -Infinity |
|
697 subx782 subtract -Inf 1 -> -Infinity |
|
698 subx783 subtract -Inf -0 -> -Infinity |
|
699 subx784 subtract -Inf -1 -> -Infinity |
|
700 subx785 subtract -Inf -1000 -> -Infinity |
|
701 subx787 subtract -1000 Inf -> -Infinity |
|
702 subx788 subtract -Inf Inf -> -Infinity |
|
703 subx789 subtract -1 Inf -> -Infinity |
|
704 subx790 subtract 0 Inf -> -Infinity |
|
705 subx791 subtract 1 Inf -> -Infinity |
|
706 subx792 subtract 1000 Inf -> -Infinity |
|
707 |
|
708 subx800 subtract Inf Inf -> NaN Invalid_operation |
|
709 subx801 subtract Inf 1000 -> Infinity |
|
710 subx802 subtract Inf 1 -> Infinity |
|
711 subx803 subtract Inf 0 -> Infinity |
|
712 subx804 subtract Inf -0 -> Infinity |
|
713 subx805 subtract Inf -1 -> Infinity |
|
714 subx806 subtract Inf -1000 -> Infinity |
|
715 subx807 subtract Inf -Inf -> Infinity |
|
716 subx808 subtract -1000 -Inf -> Infinity |
|
717 subx809 subtract -Inf -Inf -> NaN Invalid_operation |
|
718 subx810 subtract -1 -Inf -> Infinity |
|
719 subx811 subtract -0 -Inf -> Infinity |
|
720 subx812 subtract 0 -Inf -> Infinity |
|
721 subx813 subtract 1 -Inf -> Infinity |
|
722 subx814 subtract 1000 -Inf -> Infinity |
|
723 subx815 subtract Inf -Inf -> Infinity |
|
724 |
|
725 subx821 subtract NaN Inf -> NaN |
|
726 subx822 subtract -NaN 1000 -> -NaN |
|
727 subx823 subtract NaN 1 -> NaN |
|
728 subx824 subtract NaN 0 -> NaN |
|
729 subx825 subtract NaN -0 -> NaN |
|
730 subx826 subtract NaN -1 -> NaN |
|
731 subx827 subtract NaN -1000 -> NaN |
|
732 subx828 subtract NaN -Inf -> NaN |
|
733 subx829 subtract -NaN NaN -> -NaN |
|
734 subx830 subtract -Inf NaN -> NaN |
|
735 subx831 subtract -1000 NaN -> NaN |
|
736 subx832 subtract -1 NaN -> NaN |
|
737 subx833 subtract -0 NaN -> NaN |
|
738 subx834 subtract 0 NaN -> NaN |
|
739 subx835 subtract 1 NaN -> NaN |
|
740 subx836 subtract 1000 -NaN -> -NaN |
|
741 subx837 subtract Inf NaN -> NaN |
|
742 |
|
743 subx841 subtract sNaN Inf -> NaN Invalid_operation |
|
744 subx842 subtract -sNaN 1000 -> -NaN Invalid_operation |
|
745 subx843 subtract sNaN 1 -> NaN Invalid_operation |
|
746 subx844 subtract sNaN 0 -> NaN Invalid_operation |
|
747 subx845 subtract sNaN -0 -> NaN Invalid_operation |
|
748 subx846 subtract sNaN -1 -> NaN Invalid_operation |
|
749 subx847 subtract sNaN -1000 -> NaN Invalid_operation |
|
750 subx848 subtract sNaN NaN -> NaN Invalid_operation |
|
751 subx849 subtract sNaN sNaN -> NaN Invalid_operation |
|
752 subx850 subtract NaN sNaN -> NaN Invalid_operation |
|
753 subx851 subtract -Inf -sNaN -> -NaN Invalid_operation |
|
754 subx852 subtract -1000 sNaN -> NaN Invalid_operation |
|
755 subx853 subtract -1 sNaN -> NaN Invalid_operation |
|
756 subx854 subtract -0 sNaN -> NaN Invalid_operation |
|
757 subx855 subtract 0 sNaN -> NaN Invalid_operation |
|
758 subx856 subtract 1 sNaN -> NaN Invalid_operation |
|
759 subx857 subtract 1000 sNaN -> NaN Invalid_operation |
|
760 subx858 subtract Inf sNaN -> NaN Invalid_operation |
|
761 subx859 subtract NaN sNaN -> NaN Invalid_operation |
|
762 |
|
763 -- propagating NaNs |
|
764 subx861 subtract NaN01 -Inf -> NaN1 |
|
765 subx862 subtract -NaN02 -1000 -> -NaN2 |
|
766 subx863 subtract NaN03 1000 -> NaN3 |
|
767 subx864 subtract NaN04 Inf -> NaN4 |
|
768 subx865 subtract NaN05 NaN61 -> NaN5 |
|
769 subx866 subtract -Inf -NaN71 -> -NaN71 |
|
770 subx867 subtract -1000 NaN81 -> NaN81 |
|
771 subx868 subtract 1000 NaN91 -> NaN91 |
|
772 subx869 subtract Inf NaN101 -> NaN101 |
|
773 subx871 subtract sNaN011 -Inf -> NaN11 Invalid_operation |
|
774 subx872 subtract sNaN012 -1000 -> NaN12 Invalid_operation |
|
775 subx873 subtract -sNaN013 1000 -> -NaN13 Invalid_operation |
|
776 subx874 subtract sNaN014 NaN171 -> NaN14 Invalid_operation |
|
777 subx875 subtract sNaN015 sNaN181 -> NaN15 Invalid_operation |
|
778 subx876 subtract NaN016 sNaN191 -> NaN191 Invalid_operation |
|
779 subx877 subtract -Inf sNaN201 -> NaN201 Invalid_operation |
|
780 subx878 subtract -1000 sNaN211 -> NaN211 Invalid_operation |
|
781 subx879 subtract 1000 -sNaN221 -> -NaN221 Invalid_operation |
|
782 subx880 subtract Inf sNaN231 -> NaN231 Invalid_operation |
|
783 subx881 subtract NaN025 sNaN241 -> NaN241 Invalid_operation |
|
784 |
|
785 -- edge case spills |
|
786 subx901 subtract 2.E-3 1.002 -> -1.000 |
|
787 subx902 subtract 2.0E-3 1.002 -> -1.0000 |
|
788 subx903 subtract 2.00E-3 1.0020 -> -1.00000 |
|
789 subx904 subtract 2.000E-3 1.00200 -> -1.000000 |
|
790 subx905 subtract 2.0000E-3 1.002000 -> -1.0000000 |
|
791 subx906 subtract 2.00000E-3 1.0020000 -> -1.00000000 |
|
792 subx907 subtract 2.000000E-3 1.00200000 -> -1.000000000 |
|
793 subx908 subtract 2.0000000E-3 1.002000000 -> -1.0000000000 |
|
794 |
|
795 -- subnormals and underflows |
|
796 precision: 3 |
|
797 maxexponent: 999 |
|
798 minexponent: -999 |
|
799 subx1010 subtract 0 1.00E-999 -> -1.00E-999 |
|
800 subx1011 subtract 0 0.1E-999 -> -1E-1000 Subnormal |
|
801 subx1012 subtract 0 0.10E-999 -> -1.0E-1000 Subnormal |
|
802 subx1013 subtract 0 0.100E-999 -> -1.0E-1000 Subnormal Rounded |
|
803 subx1014 subtract 0 0.01E-999 -> -1E-1001 Subnormal |
|
804 -- next is rounded to Emin |
|
805 subx1015 subtract 0 0.999E-999 -> -1.00E-999 Inexact Rounded Subnormal Underflow |
|
806 subx1016 subtract 0 0.099E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow |
|
807 subx1017 subtract 0 0.009E-999 -> -1E-1001 Inexact Rounded Subnormal Underflow |
|
808 subx1018 subtract 0 0.001E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
809 subx1019 subtract 0 0.0009E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
810 subx1020 subtract 0 0.0001E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
811 |
|
812 subx1030 subtract 0 -1.00E-999 -> 1.00E-999 |
|
813 subx1031 subtract 0 -0.1E-999 -> 1E-1000 Subnormal |
|
814 subx1032 subtract 0 -0.10E-999 -> 1.0E-1000 Subnormal |
|
815 subx1033 subtract 0 -0.100E-999 -> 1.0E-1000 Subnormal Rounded |
|
816 subx1034 subtract 0 -0.01E-999 -> 1E-1001 Subnormal |
|
817 -- next is rounded to Emin |
|
818 subx1035 subtract 0 -0.999E-999 -> 1.00E-999 Inexact Rounded Subnormal Underflow |
|
819 subx1036 subtract 0 -0.099E-999 -> 1.0E-1000 Inexact Rounded Subnormal Underflow |
|
820 subx1037 subtract 0 -0.009E-999 -> 1E-1001 Inexact Rounded Subnormal Underflow |
|
821 subx1038 subtract 0 -0.001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
822 subx1039 subtract 0 -0.0009E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
823 subx1040 subtract 0 -0.0001E-999 -> 0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
824 |
|
825 -- some non-zero subnormal subtracts |
|
826 -- subx1056 is a tricky case |
|
827 rounding: half_up |
|
828 subx1050 subtract 1.00E-999 0.1E-999 -> 9.0E-1000 Subnormal |
|
829 subx1051 subtract 0.1E-999 0.1E-999 -> 0E-1000 |
|
830 subx1052 subtract 0.10E-999 0.1E-999 -> 0E-1001 |
|
831 subx1053 subtract 0.100E-999 0.1E-999 -> 0E-1001 Clamped |
|
832 subx1054 subtract 0.01E-999 0.1E-999 -> -9E-1001 Subnormal |
|
833 subx1055 subtract 0.999E-999 0.1E-999 -> 9.0E-1000 Inexact Rounded Subnormal Underflow |
|
834 subx1056 subtract 0.099E-999 0.1E-999 -> -0E-1001 Inexact Rounded Subnormal Underflow Clamped |
|
835 subx1057 subtract 0.009E-999 0.1E-999 -> -9E-1001 Inexact Rounded Subnormal Underflow |
|
836 subx1058 subtract 0.001E-999 0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow |
|
837 subx1059 subtract 0.0009E-999 0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow |
|
838 subx1060 subtract 0.0001E-999 0.1E-999 -> -1.0E-1000 Inexact Rounded Subnormal Underflow |
|
839 |
|
840 |
|
841 -- check for double-rounded subnormals |
|
842 precision: 5 |
|
843 maxexponent: 79 |
|
844 minexponent: -79 |
|
845 subx1101 subtract 0 1.52444E-80 -> -1.524E-80 Inexact Rounded Subnormal Underflow |
|
846 subx1102 subtract 0 1.52445E-80 -> -1.524E-80 Inexact Rounded Subnormal Underflow |
|
847 subx1103 subtract 0 1.52446E-80 -> -1.524E-80 Inexact Rounded Subnormal Underflow |
|
848 subx1104 subtract 1.52444E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow |
|
849 subx1105 subtract 1.52445E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow |
|
850 subx1106 subtract 1.52446E-80 0 -> 1.524E-80 Inexact Rounded Subnormal Underflow |
|
851 |
|
852 subx1111 subtract 1.2345678E-80 1.2345671E-80 -> 0E-83 Inexact Rounded Subnormal Underflow Clamped |
|
853 subx1112 subtract 1.2345678E-80 1.2345618E-80 -> 0E-83 Inexact Rounded Subnormal Underflow Clamped |
|
854 subx1113 subtract 1.2345678E-80 1.2345178E-80 -> 0E-83 Inexact Rounded Subnormal Underflow Clamped |
|
855 subx1114 subtract 1.2345678E-80 1.2341678E-80 -> 0E-83 Inexact Rounded Subnormal Underflow Clamped |
|
856 subx1115 subtract 1.2345678E-80 1.2315678E-80 -> 3E-83 Rounded Subnormal |
|
857 subx1116 subtract 1.2345678E-80 1.2145678E-80 -> 2.0E-82 Rounded Subnormal |
|
858 subx1117 subtract 1.2345678E-80 1.1345678E-80 -> 1.00E-81 Rounded Subnormal |
|
859 subx1118 subtract 1.2345678E-80 0.2345678E-80 -> 1.000E-80 Rounded Subnormal |
|
860 |
|
861 precision: 34 |
|
862 rounding: half_up |
|
863 maxExponent: 6144 |
|
864 minExponent: -6143 |
|
865 -- Examples from SQL proposal (Krishna Kulkarni) |
|
866 subx1125 subtract 130E-2 120E-2 -> 0.10 |
|
867 subx1126 subtract 130E-2 12E-1 -> 0.10 |
|
868 subx1127 subtract 130E-2 1E0 -> 0.30 |
|
869 subx1128 subtract 1E2 1E4 -> -9.9E+3 |
|
870 |
|
871 -- Null tests |
|
872 subx9990 subtract 10 # -> NaN Invalid_operation |
|
873 subx9991 subtract # 10 -> NaN Invalid_operation |