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