|
1 ------------------------------------------------------------------------ |
|
2 -- dqAnd.decTest -- digitwise logical AND for decQuads -- |
|
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 clamp: 1 |
|
24 precision: 34 |
|
25 maxExponent: 6144 |
|
26 minExponent: -6143 |
|
27 rounding: half_even |
|
28 |
|
29 -- Sanity check (truth table) |
|
30 dqand001 and 0 0 -> 0 |
|
31 dqand002 and 0 1 -> 0 |
|
32 dqand003 and 1 0 -> 0 |
|
33 dqand004 and 1 1 -> 1 |
|
34 dqand005 and 1100 1010 -> 1000 |
|
35 -- and at msd and msd-1 |
|
36 -- 1234567890123456789012345678901234 |
|
37 dqand006 and 0000000000000000000000000000000000 0000000000000000000000000000000000 -> 0 |
|
38 dqand007 and 0000000000000000000000000000000000 1000000000000000000000000000000000 -> 0 |
|
39 dqand008 and 1000000000000000000000000000000000 0000000000000000000000000000000000 -> 0 |
|
40 dqand009 and 1000000000000000000000000000000000 1000000000000000000000000000000000 -> 1000000000000000000000000000000000 |
|
41 dqand010 and 0000000000000000000000000000000000 0000000000000000000000000000000000 -> 0 |
|
42 dqand011 and 0000000000000000000000000000000000 0100000000000000000000000000000000 -> 0 |
|
43 dqand012 and 0100000000000000000000000000000000 0000000000000000000000000000000000 -> 0 |
|
44 dqand013 and 0100000000000000000000000000000000 0100000000000000000000000000000000 -> 100000000000000000000000000000000 |
|
45 |
|
46 -- Various lengths |
|
47 -- 1234567890123456789012345678901234 |
|
48 |
|
49 dqand601 and 0111111111111111111111111111111111 1111111111111111111111111111111111 -> 111111111111111111111111111111111 |
|
50 dqand602 and 1011111111111111111111111111111111 1111111111111111111111111111111111 -> 1011111111111111111111111111111111 |
|
51 dqand603 and 1101111111111111111111111111111111 1111111111111111111111111111111111 -> 1101111111111111111111111111111111 |
|
52 dqand604 and 1110111111111111111111111111111111 1111111111111111111111111111111111 -> 1110111111111111111111111111111111 |
|
53 dqand605 and 1111011111111111111111111111111111 1111111111111111111111111111111111 -> 1111011111111111111111111111111111 |
|
54 dqand606 and 1111101111111111111111111111111111 1111111111111111111111111111111111 -> 1111101111111111111111111111111111 |
|
55 dqand607 and 1111110111111111111111111111111111 1111111111111111111111111111111111 -> 1111110111111111111111111111111111 |
|
56 dqand608 and 1111111011111111111111111111111111 1111111111111111111111111111111111 -> 1111111011111111111111111111111111 |
|
57 dqand609 and 1111111101111111111111111111111111 1111111111111111111111111111111111 -> 1111111101111111111111111111111111 |
|
58 dqand610 and 1111111110111111111111111111111111 1111111111111111111111111111111111 -> 1111111110111111111111111111111111 |
|
59 dqand611 and 1111111111011111111111111111111111 1111111111111111111111111111111111 -> 1111111111011111111111111111111111 |
|
60 dqand612 and 1111111111101111111111111111111111 1111111111111111111111111111111111 -> 1111111111101111111111111111111111 |
|
61 dqand613 and 1111111111110111111111111111111111 1111111111111111111111111111111111 -> 1111111111110111111111111111111111 |
|
62 dqand614 and 1111111111111011111111111111111111 1111111111111111111111111111111111 -> 1111111111111011111111111111111111 |
|
63 dqand615 and 1111111111111101111111111111111111 1111111111111111111111111111111111 -> 1111111111111101111111111111111111 |
|
64 dqand616 and 1111111111111110111111111111111111 1111111111111111111111111111111111 -> 1111111111111110111111111111111111 |
|
65 dqand617 and 1111111111111111011111111111111111 1111111111111111111111111111111111 -> 1111111111111111011111111111111111 |
|
66 dqand618 and 1111111111111111101111111111111111 1111111111111111111111111111111111 -> 1111111111111111101111111111111111 |
|
67 dqand619 and 1111111111111111110111111111111111 1111111111111111111111111111111111 -> 1111111111111111110111111111111111 |
|
68 dqand620 and 1111111111111111111011111111111111 1111111111111111111111111111111111 -> 1111111111111111111011111111111111 |
|
69 dqand621 and 1111111111111111111101111111111111 1111111111111111111111111111111111 -> 1111111111111111111101111111111111 |
|
70 dqand622 and 1111111111111111111110111111111111 1111111111111111111111111111111111 -> 1111111111111111111110111111111111 |
|
71 dqand623 and 1111111111111111111111011111111111 1111111111111111111111111111111111 -> 1111111111111111111111011111111111 |
|
72 dqand624 and 1111111111111111111111101111111111 1111111111111111111111111111111111 -> 1111111111111111111111101111111111 |
|
73 dqand625 and 1111111111111111111111110111111111 1111111111111111111111111111111111 -> 1111111111111111111111110111111111 |
|
74 dqand626 and 1111111111111111111111111011111111 1111111111111111111111111111111111 -> 1111111111111111111111111011111111 |
|
75 dqand627 and 1111111111111111111111111101111111 1111111111111111111111111111111111 -> 1111111111111111111111111101111111 |
|
76 dqand628 and 1111111111111111111111111110111111 1111111111111111111111111111111111 -> 1111111111111111111111111110111111 |
|
77 dqand629 and 1111111111111111111111111111011111 1111111111111111111111111111111111 -> 1111111111111111111111111111011111 |
|
78 dqand630 and 1111111111111111111111111111101111 1111111111111111111111111111111111 -> 1111111111111111111111111111101111 |
|
79 dqand631 and 1111111111111111111111111111110111 1111111111111111111111111111111111 -> 1111111111111111111111111111110111 |
|
80 dqand632 and 1111111111111111111111111111111011 1111111111111111111111111111111111 -> 1111111111111111111111111111111011 |
|
81 dqand633 and 1111111111111111111111111111111101 1111111111111111111111111111111111 -> 1111111111111111111111111111111101 |
|
82 dqand634 and 1111111111111111111111111111111110 1111111111111111111111111111111111 -> 1111111111111111111111111111111110 |
|
83 |
|
84 dqand641 and 1111111111111111111111111111111111 0111111111111111111111111111111111 -> 111111111111111111111111111111111 |
|
85 dqand642 and 1111111111111111111111111111111111 1011111111111111111111111111111111 -> 1011111111111111111111111111111111 |
|
86 dqand643 and 1111111111111111111111111111111111 1101111111111111111111111111111111 -> 1101111111111111111111111111111111 |
|
87 dqand644 and 1111111111111111111111111111111111 1110111111111111111111111111111111 -> 1110111111111111111111111111111111 |
|
88 dqand645 and 1111111111111111111111111111111111 1111011111111111111111111111111111 -> 1111011111111111111111111111111111 |
|
89 dqand646 and 1111111111111111111111111111111111 1111101111111111111111111111111111 -> 1111101111111111111111111111111111 |
|
90 dqand647 and 1111111111111111111111111111111111 1111110111111111111111111111111111 -> 1111110111111111111111111111111111 |
|
91 dqand648 and 1111111111111111111111111111111111 1111111011111111111111111111111111 -> 1111111011111111111111111111111111 |
|
92 dqand649 and 1111111111111111111111111111111111 1111111101111111111111111111111111 -> 1111111101111111111111111111111111 |
|
93 dqand650 and 1111111111111111111111111111111111 1111111110111111111111111111111111 -> 1111111110111111111111111111111111 |
|
94 dqand651 and 1111111111111111111111111111111111 1111111111011111111111111111111111 -> 1111111111011111111111111111111111 |
|
95 dqand652 and 1111111111111111111111111111111111 1111111111101111111111111111111111 -> 1111111111101111111111111111111111 |
|
96 dqand653 and 1111111111111111111111111111111111 1111111111110111111111111111111111 -> 1111111111110111111111111111111111 |
|
97 dqand654 and 1111111111111111111111111111111111 1111111111111011111111111111111111 -> 1111111111111011111111111111111111 |
|
98 dqand655 and 1111111111111111111111111111111111 1111111111111101111111111111111111 -> 1111111111111101111111111111111111 |
|
99 dqand656 and 1111111111111111111111111111111111 1111111111111110111111111111111111 -> 1111111111111110111111111111111111 |
|
100 dqand657 and 1111111111111111111111111111111111 1111111111111111011111111111111111 -> 1111111111111111011111111111111111 |
|
101 dqand658 and 1111111111111111111111111111111111 1111111111111111101111111111111111 -> 1111111111111111101111111111111111 |
|
102 dqand659 and 1111111111111111111111111111111111 1111111111111111110111111111111111 -> 1111111111111111110111111111111111 |
|
103 dqand660 and 1111111111111111111111111111111111 1111111111111111111011111111111111 -> 1111111111111111111011111111111111 |
|
104 dqand661 and 1111111111111111111111111111111111 1111111111111111111101111111111111 -> 1111111111111111111101111111111111 |
|
105 dqand662 and 1111111111111111111111111111111111 1111111111111111111110111111111111 -> 1111111111111111111110111111111111 |
|
106 dqand663 and 1111111111111111111111111111111111 1111111111111111111111011111111111 -> 1111111111111111111111011111111111 |
|
107 dqand664 and 1111111111111111111111111111111111 1111111111111111111111101111111111 -> 1111111111111111111111101111111111 |
|
108 dqand665 and 1111111111111111111111111111111111 1111111111111111111111110111111111 -> 1111111111111111111111110111111111 |
|
109 dqand666 and 1111111111111111111111111111111111 1111111111111111111111111011111111 -> 1111111111111111111111111011111111 |
|
110 dqand667 and 1111111111111111111111111111111111 1111111111111111111111111101111111 -> 1111111111111111111111111101111111 |
|
111 dqand668 and 1111111111111111111111111111111111 1111111111111111111111111110111111 -> 1111111111111111111111111110111111 |
|
112 dqand669 and 1111111111111111111111111111111111 1111111111111111111111111111011111 -> 1111111111111111111111111111011111 |
|
113 dqand670 and 1111111111111111111111111111111111 1111111111111111111111111111101111 -> 1111111111111111111111111111101111 |
|
114 dqand671 and 1111111111111111111111111111111111 1111111111111111111111111111110111 -> 1111111111111111111111111111110111 |
|
115 dqand672 and 1111111111111111111111111111111111 1111111111111111111111111111111011 -> 1111111111111111111111111111111011 |
|
116 dqand673 and 1111111111111111111111111111111111 1111111111111111111111111111111101 -> 1111111111111111111111111111111101 |
|
117 dqand674 and 1111111111111111111111111111111111 1111111111111111111111111111111110 -> 1111111111111111111111111111111110 |
|
118 dqand675 and 0111111111111111111111111111111111 1111111111111111111111111111111110 -> 111111111111111111111111111111110 |
|
119 dqand676 and 1111111111111111111111111111111111 1111111111111111111111111111111110 -> 1111111111111111111111111111111110 |
|
120 |
|
121 dqand021 and 1111111111111111 1111111111111111 -> 1111111111111111 |
|
122 dqand024 and 1111111111111111 111111111111111 -> 111111111111111 |
|
123 dqand025 and 1111111111111111 11111111111111 -> 11111111111111 |
|
124 dqand026 and 1111111111111111 1111111111111 -> 1111111111111 |
|
125 dqand027 and 1111111111111111 111111111111 -> 111111111111 |
|
126 dqand028 and 1111111111111111 11111111111 -> 11111111111 |
|
127 dqand029 and 1111111111111111 1111111111 -> 1111111111 |
|
128 dqand030 and 1111111111111111 111111111 -> 111111111 |
|
129 dqand031 and 1111111111111111 11111111 -> 11111111 |
|
130 dqand032 and 1111111111111111 1111111 -> 1111111 |
|
131 dqand033 and 1111111111111111 111111 -> 111111 |
|
132 dqand034 and 1111111111111111 11111 -> 11111 |
|
133 dqand035 and 1111111111111111 1111 -> 1111 |
|
134 dqand036 and 1111111111111111 111 -> 111 |
|
135 dqand037 and 1111111111111111 11 -> 11 |
|
136 dqand038 and 1111111111111111 1 -> 1 |
|
137 dqand039 and 1111111111111111 0 -> 0 |
|
138 |
|
139 dqand040 and 1111111111111111 1111111111111111 -> 1111111111111111 |
|
140 dqand041 and 111111111111111 1111111111111111 -> 111111111111111 |
|
141 dqand042 and 111111111111111 1111111111111111 -> 111111111111111 |
|
142 dqand043 and 11111111111111 1111111111111111 -> 11111111111111 |
|
143 dqand044 and 1111111111111 1111111111111111 -> 1111111111111 |
|
144 dqand045 and 111111111111 1111111111111111 -> 111111111111 |
|
145 dqand046 and 11111111111 1111111111111111 -> 11111111111 |
|
146 dqand047 and 1111111111 1111111111111111 -> 1111111111 |
|
147 dqand048 and 111111111 1111111111111111 -> 111111111 |
|
148 dqand049 and 11111111 1111111111111111 -> 11111111 |
|
149 dqand050 and 1111111 1111111111111111 -> 1111111 |
|
150 dqand051 and 111111 1111111111111111 -> 111111 |
|
151 dqand052 and 11111 1111111111111111 -> 11111 |
|
152 dqand053 and 1111 1111111111111111 -> 1111 |
|
153 dqand054 and 111 1111111111111111 -> 111 |
|
154 dqand055 and 11 1111111111111111 -> 11 |
|
155 dqand056 and 1 1111111111111111 -> 1 |
|
156 dqand057 and 0 1111111111111111 -> 0 |
|
157 |
|
158 dqand150 and 1111111111 1 -> 1 |
|
159 dqand151 and 111111111 1 -> 1 |
|
160 dqand152 and 11111111 1 -> 1 |
|
161 dqand153 and 1111111 1 -> 1 |
|
162 dqand154 and 111111 1 -> 1 |
|
163 dqand155 and 11111 1 -> 1 |
|
164 dqand156 and 1111 1 -> 1 |
|
165 dqand157 and 111 1 -> 1 |
|
166 dqand158 and 11 1 -> 1 |
|
167 dqand159 and 1 1 -> 1 |
|
168 |
|
169 dqand160 and 1111111111 0 -> 0 |
|
170 dqand161 and 111111111 0 -> 0 |
|
171 dqand162 and 11111111 0 -> 0 |
|
172 dqand163 and 1111111 0 -> 0 |
|
173 dqand164 and 111111 0 -> 0 |
|
174 dqand165 and 11111 0 -> 0 |
|
175 dqand166 and 1111 0 -> 0 |
|
176 dqand167 and 111 0 -> 0 |
|
177 dqand168 and 11 0 -> 0 |
|
178 dqand169 and 1 0 -> 0 |
|
179 |
|
180 dqand170 and 1 1111111111 -> 1 |
|
181 dqand171 and 1 111111111 -> 1 |
|
182 dqand172 and 1 11111111 -> 1 |
|
183 dqand173 and 1 1111111 -> 1 |
|
184 dqand174 and 1 111111 -> 1 |
|
185 dqand175 and 1 11111 -> 1 |
|
186 dqand176 and 1 1111 -> 1 |
|
187 dqand177 and 1 111 -> 1 |
|
188 dqand178 and 1 11 -> 1 |
|
189 dqand179 and 1 1 -> 1 |
|
190 |
|
191 dqand180 and 0 1111111111 -> 0 |
|
192 dqand181 and 0 111111111 -> 0 |
|
193 dqand182 and 0 11111111 -> 0 |
|
194 dqand183 and 0 1111111 -> 0 |
|
195 dqand184 and 0 111111 -> 0 |
|
196 dqand185 and 0 11111 -> 0 |
|
197 dqand186 and 0 1111 -> 0 |
|
198 dqand187 and 0 111 -> 0 |
|
199 dqand188 and 0 11 -> 0 |
|
200 dqand189 and 0 1 -> 0 |
|
201 |
|
202 dqand090 and 011111111 111111111 -> 11111111 |
|
203 dqand091 and 101111111 111111111 -> 101111111 |
|
204 dqand092 and 110111111 111111111 -> 110111111 |
|
205 dqand093 and 111011111 111111111 -> 111011111 |
|
206 dqand094 and 111101111 111111111 -> 111101111 |
|
207 dqand095 and 111110111 111111111 -> 111110111 |
|
208 dqand096 and 111111011 111111111 -> 111111011 |
|
209 dqand097 and 111111101 111111111 -> 111111101 |
|
210 dqand098 and 111111110 111111111 -> 111111110 |
|
211 |
|
212 dqand100 and 111111111 011111111 -> 11111111 |
|
213 dqand101 and 111111111 101111111 -> 101111111 |
|
214 dqand102 and 111111111 110111111 -> 110111111 |
|
215 dqand103 and 111111111 111011111 -> 111011111 |
|
216 dqand104 and 111111111 111101111 -> 111101111 |
|
217 dqand105 and 111111111 111110111 -> 111110111 |
|
218 dqand106 and 111111111 111111011 -> 111111011 |
|
219 dqand107 and 111111111 111111101 -> 111111101 |
|
220 dqand108 and 111111111 111111110 -> 111111110 |
|
221 |
|
222 -- non-0/1 should not be accepted, nor should signs |
|
223 dqand220 and 111111112 111111111 -> NaN Invalid_operation |
|
224 dqand221 and 333333333 333333333 -> NaN Invalid_operation |
|
225 dqand222 and 555555555 555555555 -> NaN Invalid_operation |
|
226 dqand223 and 777777777 777777777 -> NaN Invalid_operation |
|
227 dqand224 and 999999999 999999999 -> NaN Invalid_operation |
|
228 dqand225 and 222222222 999999999 -> NaN Invalid_operation |
|
229 dqand226 and 444444444 999999999 -> NaN Invalid_operation |
|
230 dqand227 and 666666666 999999999 -> NaN Invalid_operation |
|
231 dqand228 and 888888888 999999999 -> NaN Invalid_operation |
|
232 dqand229 and 999999999 222222222 -> NaN Invalid_operation |
|
233 dqand230 and 999999999 444444444 -> NaN Invalid_operation |
|
234 dqand231 and 999999999 666666666 -> NaN Invalid_operation |
|
235 dqand232 and 999999999 888888888 -> NaN Invalid_operation |
|
236 -- a few randoms |
|
237 dqand240 and 567468689 -934981942 -> NaN Invalid_operation |
|
238 dqand241 and 567367689 934981942 -> NaN Invalid_operation |
|
239 dqand242 and -631917772 -706014634 -> NaN Invalid_operation |
|
240 dqand243 and -756253257 138579234 -> NaN Invalid_operation |
|
241 dqand244 and 835590149 567435400 -> NaN Invalid_operation |
|
242 -- test MSD |
|
243 dqand250 and 2000000111000111000111000000000000 1000000111000111000111000000000000 -> NaN Invalid_operation |
|
244 dqand251 and 7000000111000111000111000000000000 1000000111000111000111000000000000 -> NaN Invalid_operation |
|
245 dqand252 and 8000000111000111000111000000000000 1000000111000111000111000000000000 -> NaN Invalid_operation |
|
246 dqand253 and 9000000111000111000111000000000000 1000000111000111000111000000000000 -> NaN Invalid_operation |
|
247 dqand254 and 2000000111000111000111000000000000 0000000111000111000111000000000000 -> NaN Invalid_operation |
|
248 dqand255 and 7000000111000111000111000000000000 0000000111000111000111000000000000 -> NaN Invalid_operation |
|
249 dqand256 and 8000000111000111000111000000000000 0000000111000111000111000000000000 -> NaN Invalid_operation |
|
250 dqand257 and 9000000111000111000111000000000000 0000000111000111000111000000000000 -> NaN Invalid_operation |
|
251 dqand258 and 1000000111000111000111000000000000 2000000111000111000111000000000000 -> NaN Invalid_operation |
|
252 dqand259 and 1000000111000111000111000000000000 7000000111000111000111000000000000 -> NaN Invalid_operation |
|
253 dqand260 and 1000000111000111000111000000000000 8000000111000111000111000000000000 -> NaN Invalid_operation |
|
254 dqand261 and 1000000111000111000111000000000000 9000000111000111000111000000000000 -> NaN Invalid_operation |
|
255 dqand262 and 0000000111000111000111000000000000 2000000111000111000111000000000000 -> NaN Invalid_operation |
|
256 dqand263 and 0000000111000111000111000000000000 7000000111000111000111000000000000 -> NaN Invalid_operation |
|
257 dqand264 and 0000000111000111000111000000000000 8000000111000111000111000000000000 -> NaN Invalid_operation |
|
258 dqand265 and 0000000111000111000111000000000000 9000000111000111000111000000000000 -> NaN Invalid_operation |
|
259 -- test MSD-1 |
|
260 dqand270 and 0200000111000111000111001000000000 1000000111000111000111100000000010 -> NaN Invalid_operation |
|
261 dqand271 and 0700000111000111000111000100000000 1000000111000111000111010000000100 -> NaN Invalid_operation |
|
262 dqand272 and 0800000111000111000111000010000000 1000000111000111000111001000001000 -> NaN Invalid_operation |
|
263 dqand273 and 0900000111000111000111000001000000 1000000111000111000111000100010000 -> NaN Invalid_operation |
|
264 dqand274 and 1000000111000111000111000000100000 0200000111000111000111000010100000 -> NaN Invalid_operation |
|
265 dqand275 and 1000000111000111000111000000010000 0700000111000111000111000001000000 -> NaN Invalid_operation |
|
266 dqand276 and 1000000111000111000111000000001000 0800000111000111000111000010100000 -> NaN Invalid_operation |
|
267 dqand277 and 1000000111000111000111000000000100 0900000111000111000111000000010000 -> NaN Invalid_operation |
|
268 -- test LSD |
|
269 dqand280 and 0010000111000111000111000000000002 1000000111000111000111000100000001 -> NaN Invalid_operation |
|
270 dqand281 and 0001000111000111000111000000000007 1000000111000111000111001000000011 -> NaN Invalid_operation |
|
271 dqand282 and 0000000111000111000111100000000008 1000000111000111000111010000000001 -> NaN Invalid_operation |
|
272 dqand283 and 0000000111000111000111010000000009 1000000111000111000111100000000001 -> NaN Invalid_operation |
|
273 dqand284 and 1000000111000111000111001000000000 0001000111000111000111000000000002 -> NaN Invalid_operation |
|
274 dqand285 and 1000000111000111000111000100000000 0010000111000111000111000000000007 -> NaN Invalid_operation |
|
275 dqand286 and 1000000111000111000111000010000000 0100000111000111000111000000000008 -> NaN Invalid_operation |
|
276 dqand287 and 1000000111000111000111000001000000 1000000111000111000111000000000009 -> NaN Invalid_operation |
|
277 -- test Middie |
|
278 dqand288 and 0010000111000111000111000020000000 1000000111000111000111001000000000 -> NaN Invalid_operation |
|
279 dqand289 and 0001000111000111000111000070000001 1000000111000111000111000100000000 -> NaN Invalid_operation |
|
280 dqand290 and 0000000111000111000111100080000010 1000000111000111000111000010000000 -> NaN Invalid_operation |
|
281 dqand291 and 0000000111000111000111010090000100 1000000111000111000111000001000000 -> NaN Invalid_operation |
|
282 dqand292 and 1000000111000111000111001000001000 0000000111000111000111000020100000 -> NaN Invalid_operation |
|
283 dqand293 and 1000000111000111000111000100010000 0000000111000111000111000070010000 -> NaN Invalid_operation |
|
284 dqand294 and 1000000111000111000111000010100000 0000000111000111000111000080001000 -> NaN Invalid_operation |
|
285 dqand295 and 1000000111000111000111000001000000 0000000111000111000111000090000100 -> NaN Invalid_operation |
|
286 -- signs |
|
287 dqand296 and -1000000111000111000111000001000000 -0000001110001110001110010000000100 -> NaN Invalid_operation |
|
288 dqand297 and -1000000111000111000111000001000000 0000001110001110001110000010000100 -> NaN Invalid_operation |
|
289 dqand298 and 1000000111000111000111000001000000 -0000001110001110001110001000000100 -> NaN Invalid_operation |
|
290 dqand299 and 1000000111000111000111000001000000 0000001110001110001110000011000100 -> 110000110000110000001000000 |
|
291 |
|
292 -- Nmax, Nmin, Ntiny-like |
|
293 dqand331 and 2 9.99999999E+999 -> NaN Invalid_operation |
|
294 dqand332 and 3 1E-999 -> NaN Invalid_operation |
|
295 dqand333 and 4 1.00000000E-999 -> NaN Invalid_operation |
|
296 dqand334 and 5 1E-900 -> NaN Invalid_operation |
|
297 dqand335 and 6 -1E-900 -> NaN Invalid_operation |
|
298 dqand336 and 7 -1.00000000E-999 -> NaN Invalid_operation |
|
299 dqand337 and 8 -1E-999 -> NaN Invalid_operation |
|
300 dqand338 and 9 -9.99999999E+999 -> NaN Invalid_operation |
|
301 dqand341 and 9.99999999E+999 -18 -> NaN Invalid_operation |
|
302 dqand342 and 1E-999 01 -> NaN Invalid_operation |
|
303 dqand343 and 1.00000000E-999 -18 -> NaN Invalid_operation |
|
304 dqand344 and 1E-900 18 -> NaN Invalid_operation |
|
305 dqand345 and -1E-900 -10 -> NaN Invalid_operation |
|
306 dqand346 and -1.00000000E-999 18 -> NaN Invalid_operation |
|
307 dqand347 and -1E-999 10 -> NaN Invalid_operation |
|
308 dqand348 and -9.99999999E+999 -18 -> NaN Invalid_operation |
|
309 |
|
310 -- A few other non-integers |
|
311 dqand361 and 1.0 1 -> NaN Invalid_operation |
|
312 dqand362 and 1E+1 1 -> NaN Invalid_operation |
|
313 dqand363 and 0.0 1 -> NaN Invalid_operation |
|
314 dqand364 and 0E+1 1 -> NaN Invalid_operation |
|
315 dqand365 and 9.9 1 -> NaN Invalid_operation |
|
316 dqand366 and 9E+1 1 -> NaN Invalid_operation |
|
317 dqand371 and 0 1.0 -> NaN Invalid_operation |
|
318 dqand372 and 0 1E+1 -> NaN Invalid_operation |
|
319 dqand373 and 0 0.0 -> NaN Invalid_operation |
|
320 dqand374 and 0 0E+1 -> NaN Invalid_operation |
|
321 dqand375 and 0 9.9 -> NaN Invalid_operation |
|
322 dqand376 and 0 9E+1 -> NaN Invalid_operation |
|
323 |
|
324 -- All Specials are in error |
|
325 dqand780 and -Inf -Inf -> NaN Invalid_operation |
|
326 dqand781 and -Inf -1000 -> NaN Invalid_operation |
|
327 dqand782 and -Inf -1 -> NaN Invalid_operation |
|
328 dqand783 and -Inf -0 -> NaN Invalid_operation |
|
329 dqand784 and -Inf 0 -> NaN Invalid_operation |
|
330 dqand785 and -Inf 1 -> NaN Invalid_operation |
|
331 dqand786 and -Inf 1000 -> NaN Invalid_operation |
|
332 dqand787 and -1000 -Inf -> NaN Invalid_operation |
|
333 dqand788 and -Inf -Inf -> NaN Invalid_operation |
|
334 dqand789 and -1 -Inf -> NaN Invalid_operation |
|
335 dqand790 and -0 -Inf -> NaN Invalid_operation |
|
336 dqand791 and 0 -Inf -> NaN Invalid_operation |
|
337 dqand792 and 1 -Inf -> NaN Invalid_operation |
|
338 dqand793 and 1000 -Inf -> NaN Invalid_operation |
|
339 dqand794 and Inf -Inf -> NaN Invalid_operation |
|
340 |
|
341 dqand800 and Inf -Inf -> NaN Invalid_operation |
|
342 dqand801 and Inf -1000 -> NaN Invalid_operation |
|
343 dqand802 and Inf -1 -> NaN Invalid_operation |
|
344 dqand803 and Inf -0 -> NaN Invalid_operation |
|
345 dqand804 and Inf 0 -> NaN Invalid_operation |
|
346 dqand805 and Inf 1 -> NaN Invalid_operation |
|
347 dqand806 and Inf 1000 -> NaN Invalid_operation |
|
348 dqand807 and Inf Inf -> NaN Invalid_operation |
|
349 dqand808 and -1000 Inf -> NaN Invalid_operation |
|
350 dqand809 and -Inf Inf -> NaN Invalid_operation |
|
351 dqand810 and -1 Inf -> NaN Invalid_operation |
|
352 dqand811 and -0 Inf -> NaN Invalid_operation |
|
353 dqand812 and 0 Inf -> NaN Invalid_operation |
|
354 dqand813 and 1 Inf -> NaN Invalid_operation |
|
355 dqand814 and 1000 Inf -> NaN Invalid_operation |
|
356 dqand815 and Inf Inf -> NaN Invalid_operation |
|
357 |
|
358 dqand821 and NaN -Inf -> NaN Invalid_operation |
|
359 dqand822 and NaN -1000 -> NaN Invalid_operation |
|
360 dqand823 and NaN -1 -> NaN Invalid_operation |
|
361 dqand824 and NaN -0 -> NaN Invalid_operation |
|
362 dqand825 and NaN 0 -> NaN Invalid_operation |
|
363 dqand826 and NaN 1 -> NaN Invalid_operation |
|
364 dqand827 and NaN 1000 -> NaN Invalid_operation |
|
365 dqand828 and NaN Inf -> NaN Invalid_operation |
|
366 dqand829 and NaN NaN -> NaN Invalid_operation |
|
367 dqand830 and -Inf NaN -> NaN Invalid_operation |
|
368 dqand831 and -1000 NaN -> NaN Invalid_operation |
|
369 dqand832 and -1 NaN -> NaN Invalid_operation |
|
370 dqand833 and -0 NaN -> NaN Invalid_operation |
|
371 dqand834 and 0 NaN -> NaN Invalid_operation |
|
372 dqand835 and 1 NaN -> NaN Invalid_operation |
|
373 dqand836 and 1000 NaN -> NaN Invalid_operation |
|
374 dqand837 and Inf NaN -> NaN Invalid_operation |
|
375 |
|
376 dqand841 and sNaN -Inf -> NaN Invalid_operation |
|
377 dqand842 and sNaN -1000 -> NaN Invalid_operation |
|
378 dqand843 and sNaN -1 -> NaN Invalid_operation |
|
379 dqand844 and sNaN -0 -> NaN Invalid_operation |
|
380 dqand845 and sNaN 0 -> NaN Invalid_operation |
|
381 dqand846 and sNaN 1 -> NaN Invalid_operation |
|
382 dqand847 and sNaN 1000 -> NaN Invalid_operation |
|
383 dqand848 and sNaN NaN -> NaN Invalid_operation |
|
384 dqand849 and sNaN sNaN -> NaN Invalid_operation |
|
385 dqand850 and NaN sNaN -> NaN Invalid_operation |
|
386 dqand851 and -Inf sNaN -> NaN Invalid_operation |
|
387 dqand852 and -1000 sNaN -> NaN Invalid_operation |
|
388 dqand853 and -1 sNaN -> NaN Invalid_operation |
|
389 dqand854 and -0 sNaN -> NaN Invalid_operation |
|
390 dqand855 and 0 sNaN -> NaN Invalid_operation |
|
391 dqand856 and 1 sNaN -> NaN Invalid_operation |
|
392 dqand857 and 1000 sNaN -> NaN Invalid_operation |
|
393 dqand858 and Inf sNaN -> NaN Invalid_operation |
|
394 dqand859 and NaN sNaN -> NaN Invalid_operation |
|
395 |
|
396 -- propagating NaNs |
|
397 dqand861 and NaN1 -Inf -> NaN Invalid_operation |
|
398 dqand862 and +NaN2 -1000 -> NaN Invalid_operation |
|
399 dqand863 and NaN3 1000 -> NaN Invalid_operation |
|
400 dqand864 and NaN4 Inf -> NaN Invalid_operation |
|
401 dqand865 and NaN5 +NaN6 -> NaN Invalid_operation |
|
402 dqand866 and -Inf NaN7 -> NaN Invalid_operation |
|
403 dqand867 and -1000 NaN8 -> NaN Invalid_operation |
|
404 dqand868 and 1000 NaN9 -> NaN Invalid_operation |
|
405 dqand869 and Inf +NaN10 -> NaN Invalid_operation |
|
406 dqand871 and sNaN11 -Inf -> NaN Invalid_operation |
|
407 dqand872 and sNaN12 -1000 -> NaN Invalid_operation |
|
408 dqand873 and sNaN13 1000 -> NaN Invalid_operation |
|
409 dqand874 and sNaN14 NaN17 -> NaN Invalid_operation |
|
410 dqand875 and sNaN15 sNaN18 -> NaN Invalid_operation |
|
411 dqand876 and NaN16 sNaN19 -> NaN Invalid_operation |
|
412 dqand877 and -Inf +sNaN20 -> NaN Invalid_operation |
|
413 dqand878 and -1000 sNaN21 -> NaN Invalid_operation |
|
414 dqand879 and 1000 sNaN22 -> NaN Invalid_operation |
|
415 dqand880 and Inf sNaN23 -> NaN Invalid_operation |
|
416 dqand881 and +NaN25 +sNaN24 -> NaN Invalid_operation |
|
417 dqand882 and -NaN26 NaN28 -> NaN Invalid_operation |
|
418 dqand883 and -sNaN27 sNaN29 -> NaN Invalid_operation |
|
419 dqand884 and 1000 -NaN30 -> NaN Invalid_operation |
|
420 dqand885 and 1000 -sNaN31 -> NaN Invalid_operation |