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 --
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. --
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 --
19
------------------------------------------------------------------------
29
-- Sanity check (truth table)
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
47
-- 1234567890123456789012345678901234
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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