summaryrefslogtreecommitdiffstats
path: root/Lib/test/decimaltestdata/ddOr.decTest
blob: d36580bf6670ac516cf10a52ef6166f0be8462ea (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
------------------------------------------------------------------------
-- ddOr.decTest -- digitwise logical OR for decDoubles                --
-- Copyright (c) IBM Corporation, 1981, 2008.  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.59

precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- Sanity check (truth table)
ddor001 or             0    0 ->    0
ddor002 or             0    1 ->    1
ddor003 or             1    0 ->    1
ddor004 or             1    1 ->    1
ddor005 or          1100 1010 -> 1110
-- and at msd and msd-1
ddor006 or 0000000000000000 0000000000000000 ->           0
ddor007 or 0000000000000000 1000000000000000 ->   1000000000000000
ddor008 or 1000000000000000 0000000000000000 ->   1000000000000000
ddor009 or 1000000000000000 1000000000000000 ->   1000000000000000
ddor010 or 0000000000000000 0000000000000000 ->           0
ddor011 or 0000000000000000 0100000000000000 ->    100000000000000
ddor012 or 0100000000000000 0000000000000000 ->    100000000000000
ddor013 or 0100000000000000 0100000000000000 ->    100000000000000

-- Various lengths
--         1234567890123456     1234567890123456 1234567890123456
ddor020 or 1111111111111111     1111111111111111  ->  1111111111111111
ddor021 or  111111111111111      111111111111111  ->   111111111111111
ddor022 or   11111111111111       11111111111111  ->    11111111111111
ddor023 or    1111111111111        1111111111111  ->     1111111111111
ddor024 or     111111111111         111111111111  ->      111111111111
ddor025 or      11111111111          11111111111  ->       11111111111
ddor026 or       1111111111           1111111111  ->        1111111111
ddor027 or        111111111            111111111  ->         111111111
ddor028 or         11111111             11111111  ->          11111111
ddor029 or          1111111              1111111  ->           1111111
ddor030 or           111111               111111  ->            111111
ddor031 or            11111                11111  ->             11111
ddor032 or             1111                 1111  ->              1111
ddor033 or              111                  111  ->               111
ddor034 or               11                   11  ->                11
ddor035 or                1                    1  ->                 1
ddor036 or                0                    0  ->                 0

ddor042 or  111111110000000     1111111110000000  ->  1111111110000000
ddor043 or   11111110000000     1000000100000000  ->  1011111110000000
ddor044 or    1111110000000     1000001000000000  ->  1001111110000000
ddor045 or     111110000000     1000010000000000  ->  1000111110000000
ddor046 or      11110000000     1000100000000000  ->  1000111110000000
ddor047 or       1110000000     1001000000000000  ->  1001001110000000
ddor048 or        110000000     1010000000000000  ->  1010000110000000
ddor049 or         10000000     1100000000000000  ->  1100000010000000

ddor090 or 011111111  111101111  ->  111111111
ddor091 or 101111111  111101111  ->  111111111
ddor092 or 110111111  111101111  ->  111111111
ddor093 or 111011111  111101111  ->  111111111
ddor094 or 111101111  111101111  ->  111101111
ddor095 or 111110111  111101111  ->  111111111
ddor096 or 111111011  111101111  ->  111111111
ddor097 or 111111101  111101111  ->  111111111
ddor098 or 111111110  111101111  ->  111111111

ddor100 or 111101111  011111111  ->  111111111
ddor101 or 111101111  101111111  ->  111111111
ddor102 or 111101111  110111111  ->  111111111
ddor103 or 111101111  111011111  ->  111111111
ddor104 or 111101111  111101111  ->  111101111
ddor105 or 111101111  111110111  ->  111111111
ddor106 or 111101111  111111011  ->  111111111
ddor107 or 111101111  111111101  ->  111111111
ddor108 or 111101111  111111110  ->  111111111

-- non-0/1 should not be accepted, nor should signs
ddor220 or 111111112  111111111  ->  NaN Invalid_operation
ddor221 or 333333333  333333333  ->  NaN Invalid_operation
ddor222 or 555555555  555555555  ->  NaN Invalid_operation
ddor223 or 777777777  777777777  ->  NaN Invalid_operation
ddor224 or 999999999  999999999  ->  NaN Invalid_operation
ddor225 or 222222222  999999999  ->  NaN Invalid_operation
ddor226 or 444444444  999999999  ->  NaN Invalid_operation
ddor227 or 666666666  999999999  ->  NaN Invalid_operation
ddor228 or 888888888  999999999  ->  NaN Invalid_operation
ddor229 or 999999999  222222222  ->  NaN Invalid_operation
ddor230 or 999999999  444444444  ->  NaN Invalid_operation
ddor231 or 999999999  666666666  ->  NaN Invalid_operation
ddor232 or 999999999  888888888  ->  NaN Invalid_operation
-- a few randoms
ddor240 or  567468689 -934981942 ->  NaN Invalid_operation
ddor241 or  567367689  934981942 ->  NaN Invalid_operation
ddor242 or -631917772 -706014634 ->  NaN Invalid_operation
ddor243 or -756253257  138579234 ->  NaN Invalid_operation
ddor244 or  835590149  567435400 ->  NaN Invalid_operation
-- test MSD
ddor250 or  2000000000000000 1000000000000000 ->  NaN Invalid_operation
ddor251 or  7000000000000000 1000000000000000 ->  NaN Invalid_operation
ddor252 or  8000000000000000 1000000000000000 ->  NaN Invalid_operation
ddor253 or  9000000000000000 1000000000000000 ->  NaN Invalid_operation
ddor254 or  2000000000000000 0000000000000000 ->  NaN Invalid_operation
ddor255 or  7000000000000000 0000000000000000 ->  NaN Invalid_operation
ddor256 or  8000000000000000 0000000000000000 ->  NaN Invalid_operation
ddor257 or  9000000000000000 0000000000000000 ->  NaN Invalid_operation
ddor258 or  1000000000000000 2000000000000000 ->  NaN Invalid_operation
ddor259 or  1000000000000000 7000000000000000 ->  NaN Invalid_operation
ddor260 or  1000000000000000 8000000000000000 ->  NaN Invalid_operation
ddor261 or  1000000000000000 9000000000000000 ->  NaN Invalid_operation
ddor262 or  0000000000000000 2000000000000000 ->  NaN Invalid_operation
ddor263 or  0000000000000000 7000000000000000 ->  NaN Invalid_operation
ddor264 or  0000000000000000 8000000000000000 ->  NaN Invalid_operation
ddor265 or  0000000000000000 9000000000000000 ->  NaN Invalid_operation
-- test MSD-1
ddor270 or  0200001000000000 1000100000000010 ->  NaN Invalid_operation
ddor271 or  0700000100000000 1000010000000100 ->  NaN Invalid_operation
ddor272 or  0800000010000000 1000001000001000 ->  NaN Invalid_operation
ddor273 or  0900000001000000 1000000100010000 ->  NaN Invalid_operation
ddor274 or  1000000000100000 0200000010100000 ->  NaN Invalid_operation
ddor275 or  1000000000010000 0700000001000000 ->  NaN Invalid_operation
ddor276 or  1000000000001000 0800000010100000 ->  NaN Invalid_operation
ddor277 or  1000000000000100 0900000000010000 ->  NaN Invalid_operation
-- test LSD
ddor280 or  0010000000000002 1000000100000001 ->  NaN Invalid_operation
ddor281 or  0001000000000007 1000001000000011 ->  NaN Invalid_operation
ddor282 or  0000100000000008 1000010000000001 ->  NaN Invalid_operation
ddor283 or  0000010000000009 1000100000000001 ->  NaN Invalid_operation
ddor284 or  1000001000000000 0001000000000002 ->  NaN Invalid_operation
ddor285 or  1000000100000000 0010000000000007 ->  NaN Invalid_operation
ddor286 or  1000000010000000 0100000000000008 ->  NaN Invalid_operation
ddor287 or  1000000001000000 1000000000000009 ->  NaN Invalid_operation
-- test Middie
ddor288 or  0010000020000000 1000001000000000 ->  NaN Invalid_operation
ddor289 or  0001000070000001 1000000100000000 ->  NaN Invalid_operation
ddor290 or  0000100080000010 1000000010000000 ->  NaN Invalid_operation
ddor291 or  0000010090000100 1000000001000000 ->  NaN Invalid_operation
ddor292 or  1000001000001000 0000000020100000 ->  NaN Invalid_operation
ddor293 or  1000000100010000 0000000070010000 ->  NaN Invalid_operation
ddor294 or  1000000010100000 0000000080001000 ->  NaN Invalid_operation
ddor295 or  1000000001000000 0000000090000100 ->  NaN Invalid_operation
-- signs
ddor296 or -1000000001000000 -0000010000000100 ->  NaN Invalid_operation
ddor297 or -1000000001000000  0000000010000100 ->  NaN Invalid_operation
ddor298 or  1000000001000000 -0000001000000100 ->  NaN Invalid_operation
ddor299 or  1000000001000000  0000000011000100 ->  1000000011000100

-- Nmax, Nmin, Ntiny-like
ddor331 or  2   9.99999999E+199     -> NaN Invalid_operation
ddor332 or  3   1E-199              -> NaN Invalid_operation
ddor333 or  4   1.00000000E-199     -> NaN Invalid_operation
ddor334 or  5   1E-100              -> NaN Invalid_operation
ddor335 or  6   -1E-100             -> NaN Invalid_operation
ddor336 or  7   -1.00000000E-199    -> NaN Invalid_operation
ddor337 or  8   -1E-199             -> NaN Invalid_operation
ddor338 or  9   -9.99999999E+199    -> NaN Invalid_operation
ddor341 or  9.99999999E+299     -18 -> NaN Invalid_operation
ddor342 or  1E-299               01 -> NaN Invalid_operation
ddor343 or  1.00000000E-299     -18 -> NaN Invalid_operation
ddor344 or  1E-100               18 -> NaN Invalid_operation
ddor345 or  -1E-100             -10 -> NaN Invalid_operation
ddor346 or  -1.00000000E-299     18 -> NaN Invalid_operation
ddor347 or  -1E-299              10 -> NaN Invalid_operation
ddor348 or  -9.99999999E+299    -18 -> NaN Invalid_operation

-- A few other non-integers
ddor361 or  1.0                  1  -> NaN Invalid_operation
ddor362 or  1E+1                 1  -> NaN Invalid_operation
ddor363 or  0.0                  1  -> NaN Invalid_operation
ddor364 or  0E+1                 1  -> NaN Invalid_operation
ddor365 or  9.9                  1  -> NaN Invalid_operation
ddor366 or  9E+1                 1  -> NaN Invalid_operation
ddor371 or  0 1.0                   -> NaN Invalid_operation
ddor372 or  0 1E+1                  -> NaN Invalid_operation
ddor373 or  0 0.0                   -> NaN Invalid_operation
ddor374 or  0 0E+1                  -> NaN Invalid_operation
ddor375 or  0 9.9                   -> NaN Invalid_operation
ddor376 or  0 9E+1                  -> NaN Invalid_operation

-- All Specials are in error
ddor780 or -Inf  -Inf   -> NaN Invalid_operation
ddor781 or -Inf  -1000  -> NaN Invalid_operation
ddor782 or -Inf  -1     -> NaN Invalid_operation
ddor783 or -Inf  -0     -> NaN Invalid_operation
ddor784 or -Inf   0     -> NaN Invalid_operation
ddor785 or -Inf   1     -> NaN Invalid_operation
ddor786 or -Inf   1000  -> NaN Invalid_operation
ddor787 or -1000 -Inf   -> NaN Invalid_operation
ddor788 or -Inf  -Inf   -> NaN Invalid_operation
ddor789 or -1    -Inf   -> NaN Invalid_operation
ddor790 or -0    -Inf   -> NaN Invalid_operation
ddor791 or  0    -Inf   -> NaN Invalid_operation
ddor792 or  1    -Inf   -> NaN Invalid_operation
ddor793 or  1000 -Inf   -> NaN Invalid_operation
ddor794 or  Inf  -Inf   -> NaN Invalid_operation

ddor800 or  Inf  -Inf   -> NaN Invalid_operation
ddor801 or  Inf  -1000  -> NaN Invalid_operation
ddor802 or  Inf  -1     -> NaN Invalid_operation
ddor803 or  Inf  -0     -> NaN Invalid_operation
ddor804 or  Inf   0     -> NaN Invalid_operation
ddor805 or  Inf   1     -> NaN Invalid_operation
ddor806 or  Inf   1000  -> NaN Invalid_operation
ddor807 or  Inf   Inf   -> NaN Invalid_operation
ddor808 or -1000  Inf   -> NaN Invalid_operation
ddor809 or -Inf   Inf   -> NaN Invalid_operation
ddor810 or -1     Inf   -> NaN Invalid_operation
ddor811 or -0     Inf   -> NaN Invalid_operation
ddor812 or  0     Inf   -> NaN Invalid_operation
ddor813 or  1     Inf   -> NaN Invalid_operation
ddor814 or  1000  Inf   -> NaN Invalid_operation
ddor815 or  Inf   Inf   -> NaN Invalid_operation

ddor821 or  NaN -Inf    -> NaN Invalid_operation
ddor822 or  NaN -1000   -> NaN Invalid_operation
ddor823 or  NaN -1      -> NaN Invalid_operation
ddor824 or  NaN -0      -> NaN Invalid_operation
ddor825 or  NaN  0      -> NaN Invalid_operation
ddor826 or  NaN  1      -> NaN Invalid_operation
ddor827 or  NaN  1000   -> NaN Invalid_operation
ddor828 or  NaN  Inf    -> NaN Invalid_operation
ddor829 or  NaN  NaN    -> NaN Invalid_operation
ddor830 or -Inf  NaN    -> NaN Invalid_operation
ddor831 or -1000 NaN    -> NaN Invalid_operation
ddor832 or -1    NaN    -> NaN Invalid_operation
ddor833 or -0    NaN    -> NaN Invalid_operation
ddor834 or  0    NaN    -> NaN Invalid_operation
ddor835 or  1    NaN    -> NaN Invalid_operation
ddor836 or  1000 NaN    -> NaN Invalid_operation
ddor837 or  Inf  NaN    -> NaN Invalid_operation

ddor841 or  sNaN -Inf   ->  NaN  Invalid_operation
ddor842 or  sNaN -1000  ->  NaN  Invalid_operation
ddor843 or  sNaN -1     ->  NaN  Invalid_operation
ddor844 or  sNaN -0     ->  NaN  Invalid_operation
ddor845 or  sNaN  0     ->  NaN  Invalid_operation
ddor846 or  sNaN  1     ->  NaN  Invalid_operation
ddor847 or  sNaN  1000  ->  NaN  Invalid_operation
ddor848 or  sNaN  NaN   ->  NaN  Invalid_operation
ddor849 or  sNaN sNaN   ->  NaN  Invalid_operation
ddor850 or  NaN  sNaN   ->  NaN  Invalid_operation
ddor851 or -Inf  sNaN   ->  NaN  Invalid_operation
ddor852 or -1000 sNaN   ->  NaN  Invalid_operation
ddor853 or -1    sNaN   ->  NaN  Invalid_operation
ddor854 or -0    sNaN   ->  NaN  Invalid_operation
ddor855 or  0    sNaN   ->  NaN  Invalid_operation
ddor856 or  1    sNaN   ->  NaN  Invalid_operation
ddor857 or  1000 sNaN   ->  NaN  Invalid_operation
ddor858 or  Inf  sNaN   ->  NaN  Invalid_operation
ddor859 or  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
ddor861 or  NaN1   -Inf    -> NaN Invalid_operation
ddor862 or +NaN2   -1000   -> NaN Invalid_operation
ddor863 or  NaN3    1000   -> NaN Invalid_operation
ddor864 or  NaN4    Inf    -> NaN Invalid_operation
ddor865 or  NaN5   +NaN6   -> NaN Invalid_operation
ddor866 or -Inf     NaN7   -> NaN Invalid_operation
ddor867 or -1000    NaN8   -> NaN Invalid_operation
ddor868 or  1000    NaN9   -> NaN Invalid_operation
ddor869 or  Inf    +NaN10  -> NaN Invalid_operation
ddor871 or  sNaN11  -Inf   -> NaN Invalid_operation
ddor872 or  sNaN12  -1000  -> NaN Invalid_operation
ddor873 or  sNaN13   1000  -> NaN Invalid_operation
ddor874 or  sNaN14   NaN17 -> NaN Invalid_operation
ddor875 or  sNaN15  sNaN18 -> NaN Invalid_operation
ddor876 or  NaN16   sNaN19 -> NaN Invalid_operation
ddor877 or -Inf    +sNaN20 -> NaN Invalid_operation
ddor878 or -1000    sNaN21 -> NaN Invalid_operation
ddor879 or  1000    sNaN22 -> NaN Invalid_operation
ddor880 or  Inf     sNaN23 -> NaN Invalid_operation
ddor881 or +NaN25  +sNaN24 -> NaN Invalid_operation
ddor882 or -NaN26    NaN28 -> NaN Invalid_operation
ddor883 or -sNaN27  sNaN29 -> NaN Invalid_operation
ddor884 or  1000    -NaN30 -> NaN Invalid_operation
ddor885 or  1000   -sNaN31 -> NaN Invalid_operation