[OpenSPARC-T2-SAM] / sam-t2 / devtools / amd64 / lib / python2.4 / test / decimaltestdata / inexact.decTest

------------------------------------------------------------------------
-- inexact.decTest -- decimal inexact and rounded edge cases          --
-- Copyright (c) IBM Corporation, 1981, 2003.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.39

extended:    1
precision:   9
rounding:    half_up
maxExponent: 999
minexponent: -999

inx001 add 1          1              -> 2
inx002 add 123456789  0              -> 123456789
inx003 add 123456789  0.0            -> 123456789 Rounded
inx004 add 123456789  0.00           -> 123456789 Rounded
inx005 add 123456789  1              -> 123456790
inx006 add 123456789  0.1            -> 123456789 Inexact Rounded
inx007 add 123456789  0.01           -> 123456789 Inexact Rounded
inx008 add 123456789  0.001          -> 123456789 Inexact Rounded
inx009 add 123456789  0.000001       -> 123456789 Inexact Rounded
inx010 add 123456789  0.000000001    -> 123456789 Inexact Rounded
inx011 add 123456789  0.000000000001 -> 123456789 Inexact Rounded

inx012 add 123456789  0.9            -> 123456790 Inexact Rounded
inx013 add 123456789  0.09           -> 123456789 Inexact Rounded
inx014 add 123456789  0.009          -> 123456789 Inexact Rounded
inx015 add 123456789  0.000009       -> 123456789 Inexact Rounded
inx016 add 123456789  0.000000009    -> 123456789 Inexact Rounded
inx017 add 123456789  0.000000000009 -> 123456789 Inexact Rounded

inx021 add 1          -1              -> 0
inx022 add 123456789  -0              -> 123456789
inx023 add 123456789  -0.0            -> 123456789 Rounded
inx024 add 123456789  -0.00           -> 123456789 Rounded
inx025 add 123456789  -1              -> 123456788
inx026 add 123456789  -0.1            -> 123456789 Inexact Rounded
inx027 add 123456789  -0.01           -> 123456789 Inexact Rounded
inx028 add 123456789  -0.001          -> 123456789 Inexact Rounded
inx029 add 123456789  -0.000001       -> 123456789 Inexact Rounded
inx030 add 123456789  -0.000000001    -> 123456789 Inexact Rounded
inx031 add 123456789  -0.000000000001 -> 123456789 Inexact Rounded
inx032 add 123456789  -0.9            -> 123456788 Inexact Rounded
inx033 add 123456789  -0.09           -> 123456789 Inexact Rounded
inx034 add 123456789  -0.009          -> 123456789 Inexact Rounded
inx035 add 123456789  -0.000009       -> 123456789 Inexact Rounded
inx036 add 123456789  -0.000000009    -> 123456789 Inexact Rounded
inx037 add 123456789  -0.000000000009 -> 123456789 Inexact Rounded

inx042 add  0               123456789 -> 123456789
inx043 add  0.0             123456789 -> 123456789 Rounded
inx044 add  0.00            123456789 -> 123456789 Rounded
inx045 add  1               123456789 -> 123456790
inx046 add  0.1             123456789 -> 123456789 Inexact Rounded
inx047 add  0.01            123456789 -> 123456789 Inexact Rounded
inx048 add  0.001           123456789 -> 123456789 Inexact Rounded
inx049 add  0.000001        123456789 -> 123456789 Inexact Rounded
inx050 add  0.000000001     123456789 -> 123456789 Inexact Rounded
inx051 add  0.000000000001  123456789 -> 123456789 Inexact Rounded
inx052 add  0.9             123456789 -> 123456790 Inexact Rounded
inx053 add  0.09            123456789 -> 123456789 Inexact Rounded
inx054 add  0.009           123456789 -> 123456789 Inexact Rounded
inx055 add  0.000009        123456789 -> 123456789 Inexact Rounded
inx056 add  0.000000009     123456789 -> 123456789 Inexact Rounded
inx057 add  0.000000000009  123456789 -> 123456789 Inexact Rounded

inx062 add  -0              123456789 -> 123456789
inx063 add  -0.0            123456789 -> 123456789 Rounded
inx064 add  -0.00           123456789 -> 123456789 Rounded
inx065 add  -1              123456789 -> 123456788
inx066 add  -0.1            123456789 -> 123456789 Inexact Rounded
inx067 add  -0.01           123456789 -> 123456789 Inexact Rounded
inx068 add  -0.001          123456789 -> 123456789 Inexact Rounded
inx069 add  -0.000001       123456789 -> 123456789 Inexact Rounded
inx070 add  -0.000000001    123456789 -> 123456789 Inexact Rounded
inx071 add  -0.000000000001 123456789 -> 123456789 Inexact Rounded
inx072 add  -0.9            123456789 -> 123456788 Inexact Rounded
inx073 add  -0.09           123456789 -> 123456789 Inexact Rounded
inx074 add  -0.009          123456789 -> 123456789 Inexact Rounded
inx075 add  -0.000009       123456789 -> 123456789 Inexact Rounded
inx076 add  -0.000000009    123456789 -> 123456789 Inexact Rounded
inx077 add  -0.000000000009 123456789 -> 123456789 Inexact Rounded

-- some boundaries
inx081 add    999999999           0     -> 999999999
inx082 add  0.999999999 0.000000000     -> 0.999999999
inx083 add    999999999           1     -> 1.00000000E+9 Rounded
inx084 add  0.999999999 0.000000001     -> 1.00000000    Rounded
inx085 add    999999999           2     -> 1.00000000E+9 Inexact Rounded
inx086 add  0.999999999 0.000000002     -> 1.00000000    Inexact Rounded
inx087 add    999999999           3     -> 1.00000000E+9 Inexact Rounded
inx089 add  0.999999999 0.000000003     -> 1.00000000    Inexact Rounded

-- minus, plus, and subtract all assumed to work like add.

-- multiply
precision: 8
inx101 multiply  1000  1000        ->  1000000
inx102 multiply  9000  9000        -> 81000000
inx103 multiply  9999  9999        -> 99980001
inx104 multiply  1000 10000        -> 10000000
inx105 multiply 10000 10000        -> 1.0000000E+8 Rounded
inx106 multiply 10001 10000        -> 1.0001000E+8 Rounded
inx107 multiply 10001 10001        -> 1.0002000E+8 Inexact Rounded
inx108 multiply 10101 10001        -> 1.0102010E+8 Inexact Rounded
inx109 multiply 10001 10101        -> 1.0102010E+8 Inexact Rounded

-- divide
precision: 4
inx201 divide  1000  1000        ->  1
inx202 divide  1000     1        ->  1000
inx203 divide  1000     2        ->   500
inx204 divide  1000     3        ->   333.3  Inexact Rounded
inx205 divide  1000     4        ->   250
inx206 divide  1000     5        ->   200
inx207 divide  1000     6        ->   166.7  Inexact Rounded
inx208 divide  1000     7        ->   142.9  Inexact Rounded
inx209 divide  1000     8        ->   125
inx210 divide  1000     9        ->   111.1  Inexact Rounded
inx211 divide  1000    10        ->   100

inx220 divide     1     1        ->   1
inx221 divide     1     2        ->   0.5
inx222 divide     1     4        ->   0.25
inx223 divide     1     8        ->   0.125
inx224 divide     1    16        ->   0.0625
inx225 divide     1    32        ->   0.03125
inx226 divide     1    64        ->   0.01563  Inexact Rounded
inx227 divide     1   128        ->   0.007813 Inexact Rounded

precision: 5
inx230 divide     1     1        ->   1
inx231 divide     1     2        ->   0.5
inx232 divide     1     4        ->   0.25
inx233 divide     1     8        ->   0.125
inx234 divide     1    16        ->   0.0625
inx235 divide     1    32        ->   0.03125
inx236 divide     1    64        ->   0.015625
inx237 divide     1   128        ->   0.0078125

precision: 3
inx240 divide     1     1        ->   1
inx241 divide     1     2        ->   0.5
inx242 divide     1     4        ->   0.25
inx243 divide     1     8        ->   0.125
inx244 divide     1    16        ->   0.0625
inx245 divide     1    32        ->   0.0313   Inexact Rounded
inx246 divide     1    64        ->   0.0156   Inexact Rounded
inx247 divide     1   128        ->   0.00781  Inexact Rounded

precision: 2
inx250 divide     1     1        ->   1
inx251 divide     1     2        ->   0.5
inx252 divide     1     4        ->   0.25
inx253 divide     1     8        ->   0.13     Inexact Rounded
inx254 divide     1    16        ->   0.063    Inexact Rounded
inx255 divide     1    32        ->   0.031    Inexact Rounded
inx256 divide     1    64        ->   0.016    Inexact Rounded
inx257 divide     1   128        ->   0.0078   Inexact Rounded

precision: 1
inx260 divide     1     1        ->   1
inx261 divide     1     2        ->   0.5
inx262 divide     1     4        ->   0.3      Inexact Rounded
inx263 divide     1     8        ->   0.1      Inexact Rounded
inx264 divide     1    16        ->   0.06     Inexact Rounded
inx265 divide     1    32        ->   0.03     Inexact Rounded
inx266 divide     1    64        ->   0.02     Inexact Rounded
inx267 divide     1   128        ->   0.008    Inexact Rounded


-- power
precision: 4
inx301 power    0.5     2        ->   0.25
inx302 power    0.5     4        ->   0.0625
inx303 power    0.5     8        ->   0.003906   Inexact Rounded
inx304 power    0.5    16        ->   0.00001526 Inexact Rounded
inx305 power    0.5    32        ->   2.328E-10  Inexact Rounded

-- compare, divideInteger, and remainder are always exact

-- rescale
precision: 4
inx401 rescale 0       0   -> 0
inx402 rescale 1       0   -> 1
inx403 rescale 0.1    +2   -> 0E+2 Inexact Rounded
inx404 rescale 0.1    +1   -> 0E+1 Inexact Rounded
inx405 rescale 0.1     0   -> 0 Inexact Rounded
inx406 rescale 0.1    -1   -> 0.1
inx407 rescale 0.1    -2   -> 0.10

-- long operands cause rounding too
precision: 9
inx801 plus  123456789  -> 123456789
inx802 plus  1234567890 -> 1.23456789E+9 Rounded
inx803 plus  1234567891 -> 1.23456789E+9 Inexact Rounded
inx804 plus  1234567892 -> 1.23456789E+9 Inexact Rounded
inx805 plus  1234567899 -> 1.23456790E+9 Inexact Rounded
inx806 plus  1234567900 -> 1.23456790E+9 Rounded
Commit	Line	Data
920dae64 AT	1	------------------------------------------------------------------------
	2	-- inexact.decTest -- decimal inexact and rounded edge cases --
	3	-- Copyright (c) IBM Corporation, 1981, 2003. 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.39
	21
	22	extended: 1
	23	precision: 9
	24	rounding: half_up
	25	maxExponent: 999
	26	minexponent: -999
	27
	28	inx001 add 1 1 -> 2
	29	inx002 add 123456789 0 -> 123456789
	30	inx003 add 123456789 0.0 -> 123456789 Rounded
	31	inx004 add 123456789 0.00 -> 123456789 Rounded
	32	inx005 add 123456789 1 -> 123456790
	33	inx006 add 123456789 0.1 -> 123456789 Inexact Rounded
	34	inx007 add 123456789 0.01 -> 123456789 Inexact Rounded
	35	inx008 add 123456789 0.001 -> 123456789 Inexact Rounded
	36	inx009 add 123456789 0.000001 -> 123456789 Inexact Rounded
	37	inx010 add 123456789 0.000000001 -> 123456789 Inexact Rounded
	38	inx011 add 123456789 0.000000000001 -> 123456789 Inexact Rounded
	39
	40	inx012 add 123456789 0.9 -> 123456790 Inexact Rounded
	41	inx013 add 123456789 0.09 -> 123456789 Inexact Rounded
	42	inx014 add 123456789 0.009 -> 123456789 Inexact Rounded
	43	inx015 add 123456789 0.000009 -> 123456789 Inexact Rounded
	44	inx016 add 123456789 0.000000009 -> 123456789 Inexact Rounded
	45	inx017 add 123456789 0.000000000009 -> 123456789 Inexact Rounded
	46
	47	inx021 add 1 -1 -> 0
	48	inx022 add 123456789 -0 -> 123456789
	49	inx023 add 123456789 -0.0 -> 123456789 Rounded
	50	inx024 add 123456789 -0.00 -> 123456789 Rounded
	51	inx025 add 123456789 -1 -> 123456788
	52	inx026 add 123456789 -0.1 -> 123456789 Inexact Rounded
	53	inx027 add 123456789 -0.01 -> 123456789 Inexact Rounded
	54	inx028 add 123456789 -0.001 -> 123456789 Inexact Rounded
	55	inx029 add 123456789 -0.000001 -> 123456789 Inexact Rounded
	56	inx030 add 123456789 -0.000000001 -> 123456789 Inexact Rounded
	57	inx031 add 123456789 -0.000000000001 -> 123456789 Inexact Rounded
	58	inx032 add 123456789 -0.9 -> 123456788 Inexact Rounded
	59	inx033 add 123456789 -0.09 -> 123456789 Inexact Rounded
	60	inx034 add 123456789 -0.009 -> 123456789 Inexact Rounded
	61	inx035 add 123456789 -0.000009 -> 123456789 Inexact Rounded
	62	inx036 add 123456789 -0.000000009 -> 123456789 Inexact Rounded
	63	inx037 add 123456789 -0.000000000009 -> 123456789 Inexact Rounded
	64
65	inx042 add 0 123456789 -> 123456789
66	inx043 add 0.0 123456789 -> 123456789 Rounded
67	inx044 add 0.00 123456789 -> 123456789 Rounded
68	inx045 add 1 123456789 -> 123456790
69	inx046 add 0.1 123456789 -> 123456789 Inexact Rounded
70	inx047 add 0.01 123456789 -> 123456789 Inexact Rounded
71	inx048 add 0.001 123456789 -> 123456789 Inexact Rounded
72	inx049 add 0.000001 123456789 -> 123456789 Inexact Rounded
73	inx050 add 0.000000001 123456789 -> 123456789 Inexact Rounded
74	inx051 add 0.000000000001 123456789 -> 123456789 Inexact Rounded
75	inx052 add 0.9 123456789 -> 123456790 Inexact Rounded
76	inx053 add 0.09 123456789 -> 123456789 Inexact Rounded
77	inx054 add 0.009 123456789 -> 123456789 Inexact Rounded
78	inx055 add 0.000009 123456789 -> 123456789 Inexact Rounded
79	inx056 add 0.000000009 123456789 -> 123456789 Inexact Rounded
80	inx057 add 0.000000000009 123456789 -> 123456789 Inexact Rounded
81
82	inx062 add -0 123456789 -> 123456789
83	inx063 add -0.0 123456789 -> 123456789 Rounded
84	inx064 add -0.00 123456789 -> 123456789 Rounded
85	inx065 add -1 123456789 -> 123456788
86	inx066 add -0.1 123456789 -> 123456789 Inexact Rounded
87	inx067 add -0.01 123456789 -> 123456789 Inexact Rounded
88	inx068 add -0.001 123456789 -> 123456789 Inexact Rounded
89	inx069 add -0.000001 123456789 -> 123456789 Inexact Rounded
90	inx070 add -0.000000001 123456789 -> 123456789 Inexact Rounded
91	inx071 add -0.000000000001 123456789 -> 123456789 Inexact Rounded
92	inx072 add -0.9 123456789 -> 123456788 Inexact Rounded
93	inx073 add -0.09 123456789 -> 123456789 Inexact Rounded
94	inx074 add -0.009 123456789 -> 123456789 Inexact Rounded
95	inx075 add -0.000009 123456789 -> 123456789 Inexact Rounded
96	inx076 add -0.000000009 123456789 -> 123456789 Inexact Rounded
97	inx077 add -0.000000000009 123456789 -> 123456789 Inexact Rounded
98
99	-- some boundaries
100	inx081 add 999999999 0 -> 999999999
101	inx082 add 0.999999999 0.000000000 -> 0.999999999
102	inx083 add 999999999 1 -> 1.00000000E+9 Rounded
103	inx084 add 0.999999999 0.000000001 -> 1.00000000 Rounded
104	inx085 add 999999999 2 -> 1.00000000E+9 Inexact Rounded
105	inx086 add 0.999999999 0.000000002 -> 1.00000000 Inexact Rounded
106	inx087 add 999999999 3 -> 1.00000000E+9 Inexact Rounded
107	inx089 add 0.999999999 0.000000003 -> 1.00000000 Inexact Rounded
108
109	-- minus, plus, and subtract all assumed to work like add.
110
111	-- multiply
112	precision: 8
113	inx101 multiply 1000 1000 -> 1000000
114	inx102 multiply 9000 9000 -> 81000000
115	inx103 multiply 9999 9999 -> 99980001
116	inx104 multiply 1000 10000 -> 10000000
117	inx105 multiply 10000 10000 -> 1.0000000E+8 Rounded
118	inx106 multiply 10001 10000 -> 1.0001000E+8 Rounded
119	inx107 multiply 10001 10001 -> 1.0002000E+8 Inexact Rounded
120	inx108 multiply 10101 10001 -> 1.0102010E+8 Inexact Rounded
121	inx109 multiply 10001 10101 -> 1.0102010E+8 Inexact Rounded
122
123	-- divide
124	precision: 4
125	inx201 divide 1000 1000 -> 1
126	inx202 divide 1000 1 -> 1000
127	inx203 divide 1000 2 -> 500
128	inx204 divide 1000 3 -> 333.3 Inexact Rounded
129	inx205 divide 1000 4 -> 250
130	inx206 divide 1000 5 -> 200
131	inx207 divide 1000 6 -> 166.7 Inexact Rounded
132	inx208 divide 1000 7 -> 142.9 Inexact Rounded
133	inx209 divide 1000 8 -> 125
134	inx210 divide 1000 9 -> 111.1 Inexact Rounded
135	inx211 divide 1000 10 -> 100
136
137	inx220 divide 1 1 -> 1
138	inx221 divide 1 2 -> 0.5
139	inx222 divide 1 4 -> 0.25
140	inx223 divide 1 8 -> 0.125
141	inx224 divide 1 16 -> 0.0625
142	inx225 divide 1 32 -> 0.03125
143	inx226 divide 1 64 -> 0.01563 Inexact Rounded
144	inx227 divide 1 128 -> 0.007813 Inexact Rounded
145
146	precision: 5
147	inx230 divide 1 1 -> 1
148	inx231 divide 1 2 -> 0.5
149	inx232 divide 1 4 -> 0.25
150	inx233 divide 1 8 -> 0.125
151	inx234 divide 1 16 -> 0.0625
152	inx235 divide 1 32 -> 0.03125
153	inx236 divide 1 64 -> 0.015625
154	inx237 divide 1 128 -> 0.0078125
155
156	precision: 3
157	inx240 divide 1 1 -> 1
158	inx241 divide 1 2 -> 0.5
159	inx242 divide 1 4 -> 0.25
160	inx243 divide 1 8 -> 0.125
161	inx244 divide 1 16 -> 0.0625
162	inx245 divide 1 32 -> 0.0313 Inexact Rounded
163	inx246 divide 1 64 -> 0.0156 Inexact Rounded
164	inx247 divide 1 128 -> 0.00781 Inexact Rounded
165
166	precision: 2
167	inx250 divide 1 1 -> 1
168	inx251 divide 1 2 -> 0.5
169	inx252 divide 1 4 -> 0.25
170	inx253 divide 1 8 -> 0.13 Inexact Rounded
171	inx254 divide 1 16 -> 0.063 Inexact Rounded
172	inx255 divide 1 32 -> 0.031 Inexact Rounded
173	inx256 divide 1 64 -> 0.016 Inexact Rounded
174	inx257 divide 1 128 -> 0.0078 Inexact Rounded
175
176	precision: 1
177	inx260 divide 1 1 -> 1
178	inx261 divide 1 2 -> 0.5
179	inx262 divide 1 4 -> 0.3 Inexact Rounded
180	inx263 divide 1 8 -> 0.1 Inexact Rounded
181	inx264 divide 1 16 -> 0.06 Inexact Rounded
182	inx265 divide 1 32 -> 0.03 Inexact Rounded
183	inx266 divide 1 64 -> 0.02 Inexact Rounded
184	inx267 divide 1 128 -> 0.008 Inexact Rounded
185
186
187	-- power
188	precision: 4
189	inx301 power 0.5 2 -> 0.25
190	inx302 power 0.5 4 -> 0.0625
191	inx303 power 0.5 8 -> 0.003906 Inexact Rounded
192	inx304 power 0.5 16 -> 0.00001526 Inexact Rounded
193	inx305 power 0.5 32 -> 2.328E-10 Inexact Rounded
194
195	-- compare, divideInteger, and remainder are always exact
196
197	-- rescale
198	precision: 4
199	inx401 rescale 0 0 -> 0
200	inx402 rescale 1 0 -> 1
201	inx403 rescale 0.1 +2 -> 0E+2 Inexact Rounded
202	inx404 rescale 0.1 +1 -> 0E+1 Inexact Rounded
203	inx405 rescale 0.1 0 -> 0 Inexact Rounded
204	inx406 rescale 0.1 -1 -> 0.1
205	inx407 rescale 0.1 -2 -> 0.10
206
207	-- long operands cause rounding too
208	precision: 9
209	inx801 plus 123456789 -> 123456789
210	inx802 plus 1234567890 -> 1.23456789E+9 Rounded
211	inx803 plus 1234567891 -> 1.23456789E+9 Inexact Rounded
212	inx804 plus 1234567892 -> 1.23456789E+9 Inexact Rounded
213	inx805 plus 1234567899 -> 1.23456790E+9 Inexact Rounded
214	inx806 plus 1234567900 -> 1.23456790E+9 Rounded
215