]>
Commit | Line | Data |
---|---|---|
4710c53d | 1 | ------------------------------------------------------------------------\r |
2 | -- dqInvert.decTest -- digitwise logical INVERT for decQuads --\r | |
3 | -- Copyright (c) IBM Corporation, 1981, 2008. All rights reserved. --\r | |
4 | ------------------------------------------------------------------------\r | |
5 | -- Please see the document "General Decimal Arithmetic Testcases" --\r | |
6 | -- at http://www2.hursley.ibm.com/decimal for the description of --\r | |
7 | -- these testcases. --\r | |
8 | -- --\r | |
9 | -- These testcases are experimental ('beta' versions), and they --\r | |
10 | -- may contain errors. They are offered on an as-is basis. In --\r | |
11 | -- particular, achieving the same results as the tests here is not --\r | |
12 | -- a guarantee that an implementation complies with any Standard --\r | |
13 | -- or specification. The tests are not exhaustive. --\r | |
14 | -- --\r | |
15 | -- Please send comments, suggestions, and corrections to the author: --\r | |
16 | -- Mike Cowlishaw, IBM Fellow --\r | |
17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK --\r | |
18 | -- mfc@uk.ibm.com --\r | |
19 | ------------------------------------------------------------------------\r | |
20 | version: 2.59\r | |
21 | \r | |
22 | extended: 1\r | |
23 | clamp: 1\r | |
24 | precision: 34\r | |
25 | maxExponent: 6144\r | |
26 | minExponent: -6143\r | |
27 | rounding: half_even\r | |
28 | \r | |
29 | -- Sanity check (truth table)\r | |
30 | dqinv001 invert 0 -> 1111111111111111111111111111111111\r | |
31 | dqinv002 invert 1 -> 1111111111111111111111111111111110\r | |
32 | dqinv003 invert 10 -> 1111111111111111111111111111111101\r | |
33 | dqinv004 invert 111111111 -> 1111111111111111111111111000000000\r | |
34 | dqinv005 invert 000000000 -> 1111111111111111111111111111111111\r | |
35 | -- and at msd and msd-1\r | |
36 | dqinv007 invert 0000000000000000000000000000000000 -> 1111111111111111111111111111111111\r | |
37 | dqinv008 invert 1000000000000000000000000000000000 -> 111111111111111111111111111111111\r | |
38 | dqinv009 invert 0000000000000000000000000000000000 -> 1111111111111111111111111111111111\r | |
39 | dqinv010 invert 0100000000000000000000000000000000 -> 1011111111111111111111111111111111\r | |
40 | dqinv011 invert 0111111111111111111111111111111111 -> 1000000000000000000000000000000000\r | |
41 | dqinv012 invert 1111111111111111111111111111111111 -> 0\r | |
42 | dqinv013 invert 0011111111111111111111111111111111 -> 1100000000000000000000000000000000\r | |
43 | dqinv014 invert 0111111111111111111111111111111111 -> 1000000000000000000000000000000000\r | |
44 | \r | |
45 | -- Various lengths\r | |
46 | dqinv600 invert 0111111111111111111011111111111111 -> 1000000000000000000100000000000000\r | |
47 | dqinv601 invert 0011111111111111110101111111111111 -> 1100000000000000001010000000000000\r | |
48 | dqinv602 invert 0101111111111111101110111111111111 -> 1010000000000000010001000000000000\r | |
49 | dqinv603 invert 0110111111111111011111011111111111 -> 1001000000000000100000100000000000\r | |
50 | dqinv604 invert 0111011111111110111111101111111111 -> 1000100000000001000000010000000000\r | |
51 | dqinv605 invert 0111101111111101111111110111111111 -> 1000010000000010000000001000000000\r | |
52 | dqinv606 invert 0111110111111011111111111011111111 -> 1000001000000100000000000100000000\r | |
53 | dqinv607 invert 0111111011110111111111111101111111 -> 1000000100001000000000000010000000\r | |
54 | dqinv608 invert 0111111101101111111111111110111111 -> 1000000010010000000000000001000000\r | |
55 | dqinv609 invert 0111111110011111111111111111011111 -> 1000000001100000000000000000100000\r | |
56 | dqinv610 invert 0111111110011111111111111111101111 -> 1000000001100000000000000000010000\r | |
57 | dqinv611 invert 0111111101101111111111111111110111 -> 1000000010010000000000000000001000\r | |
58 | dqinv612 invert 0111111011110111111111111111111011 -> 1000000100001000000000000000000100\r | |
59 | dqinv613 invert 0111110111111011111111111111111101 -> 1000001000000100000000000000000010\r | |
60 | dqinv614 invert 0111101111111101111111111111111110 -> 1000010000000010000000000000000001\r | |
61 | dqinv615 invert 0111011111111110111111111111111111 -> 1000100000000001000000000000000000\r | |
62 | dqinv616 invert 0110111111111111011111111111111110 -> 1001000000000000100000000000000001\r | |
63 | dqinv617 invert 0101111111111111101111111111111101 -> 1010000000000000010000000000000010\r | |
64 | dqinv618 invert 0011111111111111110111111111111011 -> 1100000000000000001000000000000100\r | |
65 | dqinv619 invert 0101111111111111111011111111110111 -> 1010000000000000000100000000001000\r | |
66 | dqinv620 invert 0110111111111111111101111111101111 -> 1001000000000000000010000000010000\r | |
67 | dqinv621 invert 0111011111111111111110111111011111 -> 1000100000000000000001000000100000\r | |
68 | dqinv622 invert 0111101111111111111111011110111111 -> 1000010000000000000000100001000000\r | |
69 | dqinv623 invert 0111110111111111111111101101111111 -> 1000001000000000000000010010000000\r | |
70 | dqinv624 invert 0111111011111111111111110011111111 -> 1000000100000000000000001100000000\r | |
71 | dqinv625 invert 0111111101111111111111110011111111 -> 1000000010000000000000001100000000\r | |
72 | dqinv626 invert 0111111110111111111111101101111111 -> 1000000001000000000000010010000000\r | |
73 | dqinv627 invert 0111111111011111111111011110111111 -> 1000000000100000000000100001000000\r | |
74 | dqinv628 invert 0111111111101111111110111111011111 -> 1000000000010000000001000000100000\r | |
75 | dqinv629 invert 0111111111110111111101111111101111 -> 1000000000001000000010000000010000\r | |
76 | dqinv630 invert 0111111111111011111011111111110111 -> 1000000000000100000100000000001000\r | |
77 | dqinv631 invert 0111111111111101110111111111111011 -> 1000000000000010001000000000000100\r | |
78 | dqinv632 invert 0111111111111110101111111111111101 -> 1000000000000001010000000000000010\r | |
79 | dqinv633 invert 0111111111111111011111111111111110 -> 1000000000000000100000000000000001\r | |
80 | \r | |
81 | dqinv021 invert 111111111 -> 1111111111111111111111111000000000\r | |
82 | dqinv022 invert 111111111111 -> 1111111111111111111111000000000000\r | |
83 | dqinv023 invert 11111111 -> 1111111111111111111111111100000000\r | |
84 | dqinv025 invert 1111111 -> 1111111111111111111111111110000000\r | |
85 | dqinv026 invert 111111 -> 1111111111111111111111111111000000\r | |
86 | dqinv027 invert 11111 -> 1111111111111111111111111111100000\r | |
87 | dqinv028 invert 1111 -> 1111111111111111111111111111110000\r | |
88 | dqinv029 invert 111 -> 1111111111111111111111111111111000\r | |
89 | dqinv031 invert 11 -> 1111111111111111111111111111111100\r | |
90 | dqinv032 invert 1 -> 1111111111111111111111111111111110\r | |
91 | dqinv033 invert 111111111111 -> 1111111111111111111111000000000000\r | |
92 | dqinv034 invert 11111111111 -> 1111111111111111111111100000000000\r | |
93 | dqinv035 invert 1111111111 -> 1111111111111111111111110000000000\r | |
94 | dqinv036 invert 111111111 -> 1111111111111111111111111000000000\r | |
95 | \r | |
96 | dqinv040 invert 011111111 -> 1111111111111111111111111100000000\r | |
97 | dqinv041 invert 101111111 -> 1111111111111111111111111010000000\r | |
98 | dqinv042 invert 110111111 -> 1111111111111111111111111001000000\r | |
99 | dqinv043 invert 111011111 -> 1111111111111111111111111000100000\r | |
100 | dqinv044 invert 111101111 -> 1111111111111111111111111000010000\r | |
101 | dqinv045 invert 111110111 -> 1111111111111111111111111000001000\r | |
102 | dqinv046 invert 111111011 -> 1111111111111111111111111000000100\r | |
103 | dqinv047 invert 111111101 -> 1111111111111111111111111000000010\r | |
104 | dqinv048 invert 111111110 -> 1111111111111111111111111000000001\r | |
105 | dqinv049 invert 011111011 -> 1111111111111111111111111100000100\r | |
106 | dqinv050 invert 101111101 -> 1111111111111111111111111010000010\r | |
107 | dqinv051 invert 110111110 -> 1111111111111111111111111001000001\r | |
108 | dqinv052 invert 111011101 -> 1111111111111111111111111000100010\r | |
109 | dqinv053 invert 111101011 -> 1111111111111111111111111000010100\r | |
110 | dqinv054 invert 111110111 -> 1111111111111111111111111000001000\r | |
111 | dqinv055 invert 111101011 -> 1111111111111111111111111000010100\r | |
112 | dqinv056 invert 111011101 -> 1111111111111111111111111000100010\r | |
113 | dqinv057 invert 110111110 -> 1111111111111111111111111001000001\r | |
114 | dqinv058 invert 101111101 -> 1111111111111111111111111010000010\r | |
115 | dqinv059 invert 011111011 -> 1111111111111111111111111100000100\r | |
116 | \r | |
117 | dqinv080 invert 1000000011111111 -> 1111111111111111110111111100000000\r | |
118 | dqinv081 invert 0100000101111111 -> 1111111111111111111011111010000000\r | |
119 | dqinv082 invert 0010000110111111 -> 1111111111111111111101111001000000\r | |
120 | dqinv083 invert 0001000111011111 -> 1111111111111111111110111000100000\r | |
121 | dqinv084 invert 0000100111101111 -> 1111111111111111111111011000010000\r | |
122 | dqinv085 invert 0000010111110111 -> 1111111111111111111111101000001000\r | |
123 | dqinv086 invert 0000001111111011 -> 1111111111111111111111110000000100\r | |
124 | dqinv087 invert 0000010111111101 -> 1111111111111111111111101000000010\r | |
125 | dqinv088 invert 0000100111111110 -> 1111111111111111111111011000000001\r | |
126 | dqinv089 invert 0001000011111011 -> 1111111111111111111110111100000100\r | |
127 | dqinv090 invert 0010000101111101 -> 1111111111111111111101111010000010\r | |
128 | dqinv091 invert 0100000110111110 -> 1111111111111111111011111001000001\r | |
129 | dqinv092 invert 1000000111011101 -> 1111111111111111110111111000100010\r | |
130 | dqinv093 invert 0100000111101011 -> 1111111111111111111011111000010100\r | |
131 | dqinv094 invert 0010000111110111 -> 1111111111111111111101111000001000\r | |
132 | dqinv095 invert 0001000111101011 -> 1111111111111111111110111000010100\r | |
133 | dqinv096 invert 0000100111011101 -> 1111111111111111111111011000100010\r | |
134 | dqinv097 invert 0000010110111110 -> 1111111111111111111111101001000001\r | |
135 | dqinv098 invert 0000001101111101 -> 1111111111111111111111110010000010\r | |
136 | dqinv099 invert 0000010011111011 -> 1111111111111111111111101100000100\r | |
137 | \r | |
138 | -- and more thorough MSD/LSD tests [8 and 9 mght be encoded differently...]\r | |
139 | dqinv151 invert 1111111111111111111111111111111110 -> 1\r | |
140 | dqinv152 invert 1111111111111111110000000000000000 -> 1111111111111111\r | |
141 | dqinv153 invert 1000000000000000001111111111111111 -> 111111111111111110000000000000000\r | |
142 | dqinv154 invert 1111111111111111111000000000000000 -> 111111111111111\r | |
143 | dqinv155 invert 0100000000000000000111111111111111 -> 1011111111111111111000000000000000\r | |
144 | dqinv156 invert 1011111111111111110100000000000000 -> 100000000000000001011111111111111\r | |
145 | dqinv157 invert 1101111111111111110111111111111111 -> 10000000000000001000000000000000\r | |
146 | dqinv158 invert 1110111111111111110011111111111111 -> 1000000000000001100000000000000\r | |
147 | \r | |
148 | -- non-0/1 should not be accepted, nor should signs\r | |
149 | dqinv220 invert 111111112 -> NaN Invalid_operation\r | |
150 | dqinv221 invert 333333333 -> NaN Invalid_operation\r | |
151 | dqinv222 invert 555555555 -> NaN Invalid_operation\r | |
152 | dqinv223 invert 777777777 -> NaN Invalid_operation\r | |
153 | dqinv224 invert 999999999 -> NaN Invalid_operation\r | |
154 | dqinv225 invert 222222222 -> NaN Invalid_operation\r | |
155 | dqinv226 invert 444444444 -> NaN Invalid_operation\r | |
156 | dqinv227 invert 666666666 -> NaN Invalid_operation\r | |
157 | dqinv228 invert 888888888 -> NaN Invalid_operation\r | |
158 | dqinv229 invert 999999999 -> NaN Invalid_operation\r | |
159 | dqinv230 invert 999999999 -> NaN Invalid_operation\r | |
160 | dqinv231 invert 999999999 -> NaN Invalid_operation\r | |
161 | dqinv232 invert 999999999 -> NaN Invalid_operation\r | |
162 | -- a few randoms\r | |
163 | dqinv240 invert 567468689 -> NaN Invalid_operation\r | |
164 | dqinv241 invert 567367689 -> NaN Invalid_operation\r | |
165 | dqinv242 invert -631917772 -> NaN Invalid_operation\r | |
166 | dqinv243 invert -756253257 -> NaN Invalid_operation\r | |
167 | dqinv244 invert 835590149 -> NaN Invalid_operation\r | |
168 | -- test MSD\r | |
169 | dqinv250 invert 2000000111000111000111000000000000 -> NaN Invalid_operation\r | |
170 | dqinv251 invert 3000000111000111000111000000000000 -> NaN Invalid_operation\r | |
171 | dqinv252 invert 4000000111000111000111000000000000 -> NaN Invalid_operation\r | |
172 | dqinv253 invert 5000000111000111000111000000000000 -> NaN Invalid_operation\r | |
173 | dqinv254 invert 6000000111000111000111000000000000 -> NaN Invalid_operation\r | |
174 | dqinv255 invert 7000000111000111000111000000000000 -> NaN Invalid_operation\r | |
175 | dqinv256 invert 8000000111000111000111000000000000 -> NaN Invalid_operation\r | |
176 | dqinv257 invert 9000000111000111000111000000000000 -> NaN Invalid_operation\r | |
177 | -- test MSD-1\r | |
178 | dqinv270 invert 0200000111000111000111001000000000 -> NaN Invalid_operation\r | |
179 | dqinv271 invert 0300000111000111000111000100000000 -> NaN Invalid_operation\r | |
180 | dqinv272 invert 0400000111000111000111000010000000 -> NaN Invalid_operation\r | |
181 | dqinv273 invert 0500000111000111000111000001000000 -> NaN Invalid_operation\r | |
182 | dqinv274 invert 1600000111000111000111000000100000 -> NaN Invalid_operation\r | |
183 | dqinv275 invert 1700000111000111000111000000010000 -> NaN Invalid_operation\r | |
184 | dqinv276 invert 1800000111000111000111000000001000 -> NaN Invalid_operation\r | |
185 | dqinv277 invert 1900000111000111000111000000000100 -> NaN Invalid_operation\r | |
186 | -- test LSD\r | |
187 | dqinv280 invert 0010000111000111000111000000000002 -> NaN Invalid_operation\r | |
188 | dqinv281 invert 0001000111000111000111000000000003 -> NaN Invalid_operation\r | |
189 | dqinv282 invert 0000000111000111000111100000000004 -> NaN Invalid_operation\r | |
190 | dqinv283 invert 0000000111000111000111010000000005 -> NaN Invalid_operation\r | |
191 | dqinv284 invert 1000000111000111000111001000000006 -> NaN Invalid_operation\r | |
192 | dqinv285 invert 1000000111000111000111000100000007 -> NaN Invalid_operation\r | |
193 | dqinv286 invert 1000000111000111000111000010000008 -> NaN Invalid_operation\r | |
194 | dqinv287 invert 1000000111000111000111000001000009 -> NaN Invalid_operation\r | |
195 | -- test Middie\r | |
196 | dqinv288 invert 0010000111000111000111000020000000 -> NaN Invalid_operation\r | |
197 | dqinv289 invert 0001000111000111000111000030000001 -> NaN Invalid_operation\r | |
198 | dqinv290 invert 0000000111000111000111100040000010 -> NaN Invalid_operation\r | |
199 | dqinv291 invert 0000000111000111000111010050000100 -> NaN Invalid_operation\r | |
200 | dqinv292 invert 1000000111000111000111001060001000 -> NaN Invalid_operation\r | |
201 | dqinv293 invert 1000000111000111000111000170010000 -> NaN Invalid_operation\r | |
202 | dqinv294 invert 1000000111000111000111000080100000 -> NaN Invalid_operation\r | |
203 | dqinv295 invert 1000000111000111000111000091000000 -> NaN Invalid_operation\r | |
204 | -- signs\r | |
205 | dqinv296 invert -1000000111000111000111000001000000 -> NaN Invalid_operation\r | |
206 | dqinv299 invert 1000000111000111000111000001000000 -> 111111000111000111000111110111111\r | |
207 | \r | |
208 | -- Nmax, Nmin, Ntiny-like\r | |
209 | dqinv341 invert 9.99999999E+2998 -> NaN Invalid_operation\r | |
210 | dqinv342 invert 1E-2998 -> NaN Invalid_operation\r | |
211 | dqinv343 invert 1.00000000E-2998 -> NaN Invalid_operation\r | |
212 | dqinv344 invert 1E-2078 -> NaN Invalid_operation\r | |
213 | dqinv345 invert -1E-2078 -> NaN Invalid_operation\r | |
214 | dqinv346 invert -1.00000000E-2998 -> NaN Invalid_operation\r | |
215 | dqinv347 invert -1E-2998 -> NaN Invalid_operation\r | |
216 | dqinv348 invert -9.99999999E+2998 -> NaN Invalid_operation\r | |
217 | \r | |
218 | -- A few other non-integers\r | |
219 | dqinv361 invert 1.0 -> NaN Invalid_operation\r | |
220 | dqinv362 invert 1E+1 -> NaN Invalid_operation\r | |
221 | dqinv363 invert 0.0 -> NaN Invalid_operation\r | |
222 | dqinv364 invert 0E+1 -> NaN Invalid_operation\r | |
223 | dqinv365 invert 9.9 -> NaN Invalid_operation\r | |
224 | dqinv366 invert 9E+1 -> NaN Invalid_operation\r | |
225 | \r | |
226 | -- All Specials are in error\r | |
227 | dqinv788 invert -Inf -> NaN Invalid_operation\r | |
228 | dqinv794 invert Inf -> NaN Invalid_operation\r | |
229 | dqinv821 invert NaN -> NaN Invalid_operation\r | |
230 | dqinv841 invert sNaN -> NaN Invalid_operation\r | |
231 | -- propagating NaNs\r | |
232 | dqinv861 invert NaN1 -> NaN Invalid_operation\r | |
233 | dqinv862 invert +NaN2 -> NaN Invalid_operation\r | |
234 | dqinv863 invert NaN3 -> NaN Invalid_operation\r | |
235 | dqinv864 invert NaN4 -> NaN Invalid_operation\r | |
236 | dqinv865 invert NaN5 -> NaN Invalid_operation\r | |
237 | dqinv871 invert sNaN11 -> NaN Invalid_operation\r | |
238 | dqinv872 invert sNaN12 -> NaN Invalid_operation\r | |
239 | dqinv873 invert sNaN13 -> NaN Invalid_operation\r | |
240 | dqinv874 invert sNaN14 -> NaN Invalid_operation\r | |
241 | dqinv875 invert sNaN15 -> NaN Invalid_operation\r | |
242 | dqinv876 invert NaN16 -> NaN Invalid_operation\r | |
243 | dqinv881 invert +NaN25 -> NaN Invalid_operation\r | |
244 | dqinv882 invert -NaN26 -> NaN Invalid_operation\r | |
245 | dqinv883 invert -sNaN27 -> NaN Invalid_operation\r |