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 (a] uk.ibm.com -- 19 ------------------------------------------------------------------------ 20 version: 2.59 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 421