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