1# Blackfin testcase for divide instructions 2# mach: bfin 3 4 5 .include "testutils.inc" 6 7 start 8 9 /* 10 * Evaluate given a signed integer dividend and signed interger divisor 11 * input is: 12 * r0 = dividend, or numerator 13 * r1 = divisor, or denominator 14 * output is: 15 * r0 = quotient (16-bits) 16 */ 17 .macro divide num:req, den:req 18 imm32 r0 \num 19 r1 = \den (Z); 20 21 r0 <<= 1; /* Left shift dividend by 1 needed for integer division */ 22 p0 = 15; /* Evaluate the quotient to 16 bits. */ 23 24 /* Initialize AQ status bit and dividend for the DIVQ loop. */ 25 divs (r0, r1); 26 27 /* Evaluate DIVQ p0=15 times. */ 28 lsetup (1f, 1f) lc0=p0; 291: 30 divq (r0, r1); 31 32 /* Sign extend the 16-bit quotient to 32bits. */ 33 r0 = r0.l (x); 34 35 imm32 r1, (\num / \den); 36 CC = r0 == r1 37 if CC jump 2f; 38 fail 392: 40 .endm 41 42 /* test a bunch of values, making sure not to : 43 * - exceed a signed 16-bit divisor 44 * - exceed a signed 16-bit answer 45 */ 46 divide 0x00000001, 0x0001 /* expect 0x0001 */ 47 divide 0x00000001, 0x0002 /* expect 0x0000 */ 48 divide 0x00000001, 0x0003 /* expect 0x0000 */ 49 divide 0x00000001, 0x0004 /* expect 0x0000 */ 50 divide 0x00000001, 0x0007 /* expect 0x0000 */ 51 divide 0x00000001, 0x0008 /* expect 0x0000 */ 52 divide 0x00000001, 0x000f /* expect 0x0000 */ 53 divide 0x00000001, 0x0010 /* expect 0x0000 */ 54 divide 0x00000001, 0x001f /* expect 0x0000 */ 55 divide 0x00000001, 0x0020 /* expect 0x0000 */ 56 divide 0x00000001, 0x003f /* expect 0x0000 */ 57 divide 0x00000001, 0x0040 /* expect 0x0000 */ 58 divide 0x00000001, 0x007f /* expect 0x0000 */ 59 divide 0x00000001, 0x0080 /* expect 0x0000 */ 60 divide 0x00000001, 0x00ff /* expect 0x0000 */ 61 divide 0x00000001, 0x0100 /* expect 0x0000 */ 62 divide 0x00000001, 0x01ff /* expect 0x0000 */ 63 divide 0x00000001, 0x0200 /* expect 0x0000 */ 64 divide 0x00000001, 0x03ff /* expect 0x0000 */ 65 divide 0x00000001, 0x0400 /* expect 0x0000 */ 66 divide 0x00000001, 0x07ff /* expect 0x0000 */ 67 divide 0x00000001, 0x0800 /* expect 0x0000 */ 68 divide 0x00000001, 0x0fff /* expect 0x0000 */ 69 divide 0x00000001, 0x1000 /* expect 0x0000 */ 70 divide 0x00000001, 0x1fff /* expect 0x0000 */ 71 divide 0x00000001, 0x2000 /* expect 0x0000 */ 72 divide 0x00000001, 0x3fff /* expect 0x0000 */ 73 divide 0x00000001, 0x4000 /* expect 0x0000 */ 74 divide 0x00000001, 0x7fff /* expect 0x0000 */ 75 divide 0x00000002, 0x0001 /* expect 0x0002 */ 76 divide 0x00000002, 0x0002 /* expect 0x0001 */ 77 divide 0x00000002, 0x0003 /* expect 0x0000 */ 78 divide 0x00000002, 0x0004 /* expect 0x0000 */ 79 divide 0x00000002, 0x0007 /* expect 0x0000 */ 80 divide 0x00000002, 0x0008 /* expect 0x0000 */ 81 divide 0x00000002, 0x000f /* expect 0x0000 */ 82 divide 0x00000002, 0x0010 /* expect 0x0000 */ 83 divide 0x00000002, 0x001f /* expect 0x0000 */ 84 divide 0x00000002, 0x0020 /* expect 0x0000 */ 85 divide 0x00000002, 0x003f /* expect 0x0000 */ 86 divide 0x00000002, 0x0040 /* expect 0x0000 */ 87 divide 0x00000002, 0x007f /* expect 0x0000 */ 88 divide 0x00000002, 0x0080 /* expect 0x0000 */ 89 divide 0x00000002, 0x00ff /* expect 0x0000 */ 90 divide 0x00000002, 0x0100 /* expect 0x0000 */ 91 divide 0x00000002, 0x01ff /* expect 0x0000 */ 92 divide 0x00000002, 0x0200 /* expect 0x0000 */ 93 divide 0x00000002, 0x03ff /* expect 0x0000 */ 94 divide 0x00000002, 0x0400 /* expect 0x0000 */ 95 divide 0x00000002, 0x07ff /* expect 0x0000 */ 96 divide 0x00000002, 0x0800 /* expect 0x0000 */ 97 divide 0x00000002, 0x0fff /* expect 0x0000 */ 98 divide 0x00000002, 0x1000 /* expect 0x0000 */ 99 divide 0x00000002, 0x1fff /* expect 0x0000 */ 100 divide 0x00000002, 0x2000 /* expect 0x0000 */ 101 divide 0x00000002, 0x3fff /* expect 0x0000 */ 102 divide 0x00000002, 0x4000 /* expect 0x0000 */ 103 divide 0x00000002, 0x7fff /* expect 0x0000 */ 104 divide 0x00000003, 0x0001 /* expect 0x0003 */ 105 divide 0x00000003, 0x0002 /* expect 0x0001 */ 106 divide 0x00000003, 0x0003 /* expect 0x0001 */ 107 divide 0x00000003, 0x0004 /* expect 0x0000 */ 108 divide 0x00000003, 0x0007 /* expect 0x0000 */ 109 divide 0x00000003, 0x0008 /* expect 0x0000 */ 110 divide 0x00000003, 0x000f /* expect 0x0000 */ 111 divide 0x00000003, 0x0010 /* expect 0x0000 */ 112 divide 0x00000003, 0x001f /* expect 0x0000 */ 113 divide 0x00000003, 0x0020 /* expect 0x0000 */ 114 divide 0x00000003, 0x003f /* expect 0x0000 */ 115 divide 0x00000003, 0x0040 /* expect 0x0000 */ 116 divide 0x00000003, 0x007f /* expect 0x0000 */ 117 divide 0x00000003, 0x0080 /* expect 0x0000 */ 118 divide 0x00000003, 0x00ff /* expect 0x0000 */ 119 divide 0x00000003, 0x0100 /* expect 0x0000 */ 120 divide 0x00000003, 0x01ff /* expect 0x0000 */ 121 divide 0x00000003, 0x0200 /* expect 0x0000 */ 122 divide 0x00000003, 0x03ff /* expect 0x0000 */ 123 divide 0x00000003, 0x0400 /* expect 0x0000 */ 124 divide 0x00000003, 0x07ff /* expect 0x0000 */ 125 divide 0x00000003, 0x0800 /* expect 0x0000 */ 126 divide 0x00000003, 0x0fff /* expect 0x0000 */ 127 divide 0x00000003, 0x1000 /* expect 0x0000 */ 128 divide 0x00000003, 0x1fff /* expect 0x0000 */ 129 divide 0x00000003, 0x2000 /* expect 0x0000 */ 130 divide 0x00000003, 0x3fff /* expect 0x0000 */ 131 divide 0x00000003, 0x4000 /* expect 0x0000 */ 132 divide 0x00000003, 0x7fff /* expect 0x0000 */ 133 divide 0x00000004, 0x0001 /* expect 0x0004 */ 134 divide 0x00000004, 0x0002 /* expect 0x0002 */ 135 divide 0x00000004, 0x0003 /* expect 0x0001 */ 136 divide 0x00000004, 0x0004 /* expect 0x0001 */ 137 divide 0x00000004, 0x0007 /* expect 0x0000 */ 138 divide 0x00000004, 0x0008 /* expect 0x0000 */ 139 divide 0x00000004, 0x000f /* expect 0x0000 */ 140 divide 0x00000004, 0x0010 /* expect 0x0000 */ 141 divide 0x00000004, 0x001f /* expect 0x0000 */ 142 divide 0x00000004, 0x0020 /* expect 0x0000 */ 143 divide 0x00000004, 0x003f /* expect 0x0000 */ 144 divide 0x00000004, 0x0040 /* expect 0x0000 */ 145 divide 0x00000004, 0x007f /* expect 0x0000 */ 146 divide 0x00000004, 0x0080 /* expect 0x0000 */ 147 divide 0x00000004, 0x00ff /* expect 0x0000 */ 148 divide 0x00000004, 0x0100 /* expect 0x0000 */ 149 divide 0x00000004, 0x01ff /* expect 0x0000 */ 150 divide 0x00000004, 0x0200 /* expect 0x0000 */ 151 divide 0x00000004, 0x03ff /* expect 0x0000 */ 152 divide 0x00000004, 0x0400 /* expect 0x0000 */ 153 divide 0x00000004, 0x07ff /* expect 0x0000 */ 154 divide 0x00000004, 0x0800 /* expect 0x0000 */ 155 divide 0x00000004, 0x0fff /* expect 0x0000 */ 156 divide 0x00000004, 0x1000 /* expect 0x0000 */ 157 divide 0x00000004, 0x1fff /* expect 0x0000 */ 158 divide 0x00000004, 0x2000 /* expect 0x0000 */ 159 divide 0x00000004, 0x3fff /* expect 0x0000 */ 160 divide 0x00000004, 0x4000 /* expect 0x0000 */ 161 divide 0x00000004, 0x7fff /* expect 0x0000 */ 162 divide 0x00000007, 0x0001 /* expect 0x0007 */ 163 divide 0x00000007, 0x0002 /* expect 0x0003 */ 164 divide 0x00000007, 0x0003 /* expect 0x0002 */ 165 divide 0x00000007, 0x0004 /* expect 0x0001 */ 166 divide 0x00000007, 0x0007 /* expect 0x0001 */ 167 divide 0x00000007, 0x0008 /* expect 0x0000 */ 168 divide 0x00000007, 0x000f /* expect 0x0000 */ 169 divide 0x00000007, 0x0010 /* expect 0x0000 */ 170 divide 0x00000007, 0x001f /* expect 0x0000 */ 171 divide 0x00000007, 0x0020 /* expect 0x0000 */ 172 divide 0x00000007, 0x003f /* expect 0x0000 */ 173 divide 0x00000007, 0x0040 /* expect 0x0000 */ 174 divide 0x00000007, 0x007f /* expect 0x0000 */ 175 divide 0x00000007, 0x0080 /* expect 0x0000 */ 176 divide 0x00000007, 0x00ff /* expect 0x0000 */ 177 divide 0x00000007, 0x0100 /* expect 0x0000 */ 178 divide 0x00000007, 0x01ff /* expect 0x0000 */ 179 divide 0x00000007, 0x0200 /* expect 0x0000 */ 180 divide 0x00000007, 0x03ff /* expect 0x0000 */ 181 divide 0x00000007, 0x0400 /* expect 0x0000 */ 182 divide 0x00000007, 0x07ff /* expect 0x0000 */ 183 divide 0x00000007, 0x0800 /* expect 0x0000 */ 184 divide 0x00000007, 0x0fff /* expect 0x0000 */ 185 divide 0x00000007, 0x1000 /* expect 0x0000 */ 186 divide 0x00000007, 0x1fff /* expect 0x0000 */ 187 divide 0x00000007, 0x2000 /* expect 0x0000 */ 188 divide 0x00000007, 0x3fff /* expect 0x0000 */ 189 divide 0x00000007, 0x4000 /* expect 0x0000 */ 190 divide 0x00000007, 0x7fff /* expect 0x0000 */ 191 divide 0x00000008, 0x0001 /* expect 0x0008 */ 192 divide 0x00000008, 0x0002 /* expect 0x0004 */ 193 divide 0x00000008, 0x0003 /* expect 0x0002 */ 194 divide 0x00000008, 0x0004 /* expect 0x0002 */ 195 divide 0x00000008, 0x0007 /* expect 0x0001 */ 196 divide 0x00000008, 0x0008 /* expect 0x0001 */ 197 divide 0x00000008, 0x000f /* expect 0x0000 */ 198 divide 0x00000008, 0x0010 /* expect 0x0000 */ 199 divide 0x00000008, 0x001f /* expect 0x0000 */ 200 divide 0x00000008, 0x0020 /* expect 0x0000 */ 201 divide 0x00000008, 0x003f /* expect 0x0000 */ 202 divide 0x00000008, 0x0040 /* expect 0x0000 */ 203 divide 0x00000008, 0x007f /* expect 0x0000 */ 204 divide 0x00000008, 0x0080 /* expect 0x0000 */ 205 divide 0x00000008, 0x00ff /* expect 0x0000 */ 206 divide 0x00000008, 0x0100 /* expect 0x0000 */ 207 divide 0x00000008, 0x01ff /* expect 0x0000 */ 208 divide 0x00000008, 0x0200 /* expect 0x0000 */ 209 divide 0x00000008, 0x03ff /* expect 0x0000 */ 210 divide 0x00000008, 0x0400 /* expect 0x0000 */ 211 divide 0x00000008, 0x07ff /* expect 0x0000 */ 212 divide 0x00000008, 0x0800 /* expect 0x0000 */ 213 divide 0x00000008, 0x0fff /* expect 0x0000 */ 214 divide 0x00000008, 0x1000 /* expect 0x0000 */ 215 divide 0x00000008, 0x1fff /* expect 0x0000 */ 216 divide 0x00000008, 0x2000 /* expect 0x0000 */ 217 divide 0x00000008, 0x3fff /* expect 0x0000 */ 218 divide 0x00000008, 0x4000 /* expect 0x0000 */ 219 divide 0x00000008, 0x7fff /* expect 0x0000 */ 220 divide 0x0000000f, 0x0001 /* expect 0x000f */ 221 divide 0x0000000f, 0x0002 /* expect 0x0007 */ 222 divide 0x0000000f, 0x0003 /* expect 0x0005 */ 223 divide 0x0000000f, 0x0004 /* expect 0x0003 */ 224 divide 0x0000000f, 0x0007 /* expect 0x0002 */ 225 divide 0x0000000f, 0x0008 /* expect 0x0001 */ 226 divide 0x0000000f, 0x000f /* expect 0x0001 */ 227 divide 0x0000000f, 0x0010 /* expect 0x0000 */ 228 divide 0x0000000f, 0x001f /* expect 0x0000 */ 229 divide 0x0000000f, 0x0020 /* expect 0x0000 */ 230 divide 0x0000000f, 0x003f /* expect 0x0000 */ 231 divide 0x0000000f, 0x0040 /* expect 0x0000 */ 232 divide 0x0000000f, 0x007f /* expect 0x0000 */ 233 divide 0x0000000f, 0x0080 /* expect 0x0000 */ 234 divide 0x0000000f, 0x00ff /* expect 0x0000 */ 235 divide 0x0000000f, 0x0100 /* expect 0x0000 */ 236 divide 0x0000000f, 0x01ff /* expect 0x0000 */ 237 divide 0x0000000f, 0x0200 /* expect 0x0000 */ 238 divide 0x0000000f, 0x03ff /* expect 0x0000 */ 239 divide 0x0000000f, 0x0400 /* expect 0x0000 */ 240 divide 0x0000000f, 0x07ff /* expect 0x0000 */ 241 divide 0x0000000f, 0x0800 /* expect 0x0000 */ 242 divide 0x0000000f, 0x0fff /* expect 0x0000 */ 243 divide 0x0000000f, 0x1000 /* expect 0x0000 */ 244 divide 0x0000000f, 0x1fff /* expect 0x0000 */ 245 divide 0x0000000f, 0x2000 /* expect 0x0000 */ 246 divide 0x0000000f, 0x3fff /* expect 0x0000 */ 247 divide 0x0000000f, 0x4000 /* expect 0x0000 */ 248 divide 0x0000000f, 0x7fff /* expect 0x0000 */ 249 divide 0x00000010, 0x0001 /* expect 0x0010 */ 250 divide 0x00000010, 0x0002 /* expect 0x0008 */ 251 divide 0x00000010, 0x0003 /* expect 0x0005 */ 252 divide 0x00000010, 0x0004 /* expect 0x0004 */ 253 divide 0x00000010, 0x0007 /* expect 0x0002 */ 254 divide 0x00000010, 0x0008 /* expect 0x0002 */ 255 divide 0x00000010, 0x000f /* expect 0x0001 */ 256 divide 0x00000010, 0x0010 /* expect 0x0001 */ 257 divide 0x00000010, 0x001f /* expect 0x0000 */ 258 divide 0x00000010, 0x0020 /* expect 0x0000 */ 259 divide 0x00000010, 0x003f /* expect 0x0000 */ 260 divide 0x00000010, 0x0040 /* expect 0x0000 */ 261 divide 0x00000010, 0x007f /* expect 0x0000 */ 262 divide 0x00000010, 0x0080 /* expect 0x0000 */ 263 divide 0x00000010, 0x00ff /* expect 0x0000 */ 264 divide 0x00000010, 0x0100 /* expect 0x0000 */ 265 divide 0x00000010, 0x01ff /* expect 0x0000 */ 266 divide 0x00000010, 0x0200 /* expect 0x0000 */ 267 divide 0x00000010, 0x03ff /* expect 0x0000 */ 268 divide 0x00000010, 0x0400 /* expect 0x0000 */ 269 divide 0x00000010, 0x07ff /* expect 0x0000 */ 270 divide 0x00000010, 0x0800 /* expect 0x0000 */ 271 divide 0x00000010, 0x0fff /* expect 0x0000 */ 272 divide 0x00000010, 0x1000 /* expect 0x0000 */ 273 divide 0x00000010, 0x1fff /* expect 0x0000 */ 274 divide 0x00000010, 0x2000 /* expect 0x0000 */ 275 divide 0x00000010, 0x3fff /* expect 0x0000 */ 276 divide 0x00000010, 0x4000 /* expect 0x0000 */ 277 divide 0x00000010, 0x7fff /* expect 0x0000 */ 278 divide 0x0000001f, 0x0001 /* expect 0x001f */ 279 divide 0x0000001f, 0x0002 /* expect 0x000f */ 280 divide 0x0000001f, 0x0003 /* expect 0x000a */ 281 divide 0x0000001f, 0x0004 /* expect 0x0007 */ 282 divide 0x0000001f, 0x0007 /* expect 0x0004 */ 283 divide 0x0000001f, 0x0008 /* expect 0x0003 */ 284 divide 0x0000001f, 0x000f /* expect 0x0002 */ 285 divide 0x0000001f, 0x0010 /* expect 0x0001 */ 286 divide 0x0000001f, 0x001f /* expect 0x0001 */ 287 divide 0x0000001f, 0x0020 /* expect 0x0000 */ 288 divide 0x0000001f, 0x003f /* expect 0x0000 */ 289 divide 0x0000001f, 0x0040 /* expect 0x0000 */ 290 divide 0x0000001f, 0x007f /* expect 0x0000 */ 291 divide 0x0000001f, 0x0080 /* expect 0x0000 */ 292 divide 0x0000001f, 0x00ff /* expect 0x0000 */ 293 divide 0x0000001f, 0x0100 /* expect 0x0000 */ 294 divide 0x0000001f, 0x01ff /* expect 0x0000 */ 295 divide 0x0000001f, 0x0200 /* expect 0x0000 */ 296 divide 0x0000001f, 0x03ff /* expect 0x0000 */ 297 divide 0x0000001f, 0x0400 /* expect 0x0000 */ 298 divide 0x0000001f, 0x07ff /* expect 0x0000 */ 299 divide 0x0000001f, 0x0800 /* expect 0x0000 */ 300 divide 0x0000001f, 0x0fff /* expect 0x0000 */ 301 divide 0x0000001f, 0x1000 /* expect 0x0000 */ 302 divide 0x0000001f, 0x1fff /* expect 0x0000 */ 303 divide 0x0000001f, 0x2000 /* expect 0x0000 */ 304 divide 0x0000001f, 0x3fff /* expect 0x0000 */ 305 divide 0x0000001f, 0x4000 /* expect 0x0000 */ 306 divide 0x0000001f, 0x7fff /* expect 0x0000 */ 307 divide 0x00000020, 0x0001 /* expect 0x0020 */ 308 divide 0x00000020, 0x0002 /* expect 0x0010 */ 309 divide 0x00000020, 0x0003 /* expect 0x000a */ 310 divide 0x00000020, 0x0004 /* expect 0x0008 */ 311 divide 0x00000020, 0x0007 /* expect 0x0004 */ 312 divide 0x00000020, 0x0008 /* expect 0x0004 */ 313 divide 0x00000020, 0x000f /* expect 0x0002 */ 314 divide 0x00000020, 0x0010 /* expect 0x0002 */ 315 divide 0x00000020, 0x001f /* expect 0x0001 */ 316 divide 0x00000020, 0x0020 /* expect 0x0001 */ 317 divide 0x00000020, 0x003f /* expect 0x0000 */ 318 divide 0x00000020, 0x0040 /* expect 0x0000 */ 319 divide 0x00000020, 0x007f /* expect 0x0000 */ 320 divide 0x00000020, 0x0080 /* expect 0x0000 */ 321 divide 0x00000020, 0x00ff /* expect 0x0000 */ 322 divide 0x00000020, 0x0100 /* expect 0x0000 */ 323 divide 0x00000020, 0x01ff /* expect 0x0000 */ 324 divide 0x00000020, 0x0200 /* expect 0x0000 */ 325 divide 0x00000020, 0x03ff /* expect 0x0000 */ 326 divide 0x00000020, 0x0400 /* expect 0x0000 */ 327 divide 0x00000020, 0x07ff /* expect 0x0000 */ 328 divide 0x00000020, 0x0800 /* expect 0x0000 */ 329 divide 0x00000020, 0x0fff /* expect 0x0000 */ 330 divide 0x00000020, 0x1000 /* expect 0x0000 */ 331 divide 0x00000020, 0x1fff /* expect 0x0000 */ 332 divide 0x00000020, 0x2000 /* expect 0x0000 */ 333 divide 0x00000020, 0x3fff /* expect 0x0000 */ 334 divide 0x00000020, 0x4000 /* expect 0x0000 */ 335 divide 0x00000020, 0x7fff /* expect 0x0000 */ 336 divide 0x0000003f, 0x0001 /* expect 0x003f */ 337 divide 0x0000003f, 0x0002 /* expect 0x001f */ 338 divide 0x0000003f, 0x0003 /* expect 0x0015 */ 339 divide 0x0000003f, 0x0004 /* expect 0x000f */ 340 divide 0x0000003f, 0x0007 /* expect 0x0009 */ 341 divide 0x0000003f, 0x0008 /* expect 0x0007 */ 342 divide 0x0000003f, 0x000f /* expect 0x0004 */ 343 divide 0x0000003f, 0x0010 /* expect 0x0003 */ 344 divide 0x0000003f, 0x001f /* expect 0x0002 */ 345 divide 0x0000003f, 0x0020 /* expect 0x0001 */ 346 divide 0x0000003f, 0x003f /* expect 0x0001 */ 347 divide 0x0000003f, 0x0040 /* expect 0x0000 */ 348 divide 0x0000003f, 0x007f /* expect 0x0000 */ 349 divide 0x0000003f, 0x0080 /* expect 0x0000 */ 350 divide 0x0000003f, 0x00ff /* expect 0x0000 */ 351 divide 0x0000003f, 0x0100 /* expect 0x0000 */ 352 divide 0x0000003f, 0x01ff /* expect 0x0000 */ 353 divide 0x0000003f, 0x0200 /* expect 0x0000 */ 354 divide 0x0000003f, 0x03ff /* expect 0x0000 */ 355 divide 0x0000003f, 0x0400 /* expect 0x0000 */ 356 divide 0x0000003f, 0x07ff /* expect 0x0000 */ 357 divide 0x0000003f, 0x0800 /* expect 0x0000 */ 358 divide 0x0000003f, 0x0fff /* expect 0x0000 */ 359 divide 0x0000003f, 0x1000 /* expect 0x0000 */ 360 divide 0x0000003f, 0x1fff /* expect 0x0000 */ 361 divide 0x0000003f, 0x2000 /* expect 0x0000 */ 362 divide 0x0000003f, 0x3fff /* expect 0x0000 */ 363 divide 0x0000003f, 0x4000 /* expect 0x0000 */ 364 divide 0x0000003f, 0x7fff /* expect 0x0000 */ 365 divide 0x00000040, 0x0001 /* expect 0x0040 */ 366 divide 0x00000040, 0x0002 /* expect 0x0020 */ 367 divide 0x00000040, 0x0003 /* expect 0x0015 */ 368 divide 0x00000040, 0x0004 /* expect 0x0010 */ 369 divide 0x00000040, 0x0007 /* expect 0x0009 */ 370 divide 0x00000040, 0x0008 /* expect 0x0008 */ 371 divide 0x00000040, 0x000f /* expect 0x0004 */ 372 divide 0x00000040, 0x0010 /* expect 0x0004 */ 373 divide 0x00000040, 0x001f /* expect 0x0002 */ 374 divide 0x00000040, 0x0020 /* expect 0x0002 */ 375 divide 0x00000040, 0x003f /* expect 0x0001 */ 376 divide 0x00000040, 0x0040 /* expect 0x0001 */ 377 divide 0x00000040, 0x007f /* expect 0x0000 */ 378 divide 0x00000040, 0x0080 /* expect 0x0000 */ 379 divide 0x00000040, 0x00ff /* expect 0x0000 */ 380 divide 0x00000040, 0x0100 /* expect 0x0000 */ 381 divide 0x00000040, 0x01ff /* expect 0x0000 */ 382 divide 0x00000040, 0x0200 /* expect 0x0000 */ 383 divide 0x00000040, 0x03ff /* expect 0x0000 */ 384 divide 0x00000040, 0x0400 /* expect 0x0000 */ 385 divide 0x00000040, 0x07ff /* expect 0x0000 */ 386 divide 0x00000040, 0x0800 /* expect 0x0000 */ 387 divide 0x00000040, 0x0fff /* expect 0x0000 */ 388 divide 0x00000040, 0x1000 /* expect 0x0000 */ 389 divide 0x00000040, 0x1fff /* expect 0x0000 */ 390 divide 0x00000040, 0x2000 /* expect 0x0000 */ 391 divide 0x00000040, 0x3fff /* expect 0x0000 */ 392 divide 0x00000040, 0x4000 /* expect 0x0000 */ 393 divide 0x00000040, 0x7fff /* expect 0x0000 */ 394 divide 0x0000007f, 0x0001 /* expect 0x007f */ 395 divide 0x0000007f, 0x0002 /* expect 0x003f */ 396 divide 0x0000007f, 0x0003 /* expect 0x002a */ 397 divide 0x0000007f, 0x0004 /* expect 0x001f */ 398 divide 0x0000007f, 0x0007 /* expect 0x0012 */ 399 divide 0x0000007f, 0x0008 /* expect 0x000f */ 400 divide 0x0000007f, 0x000f /* expect 0x0008 */ 401 divide 0x0000007f, 0x0010 /* expect 0x0007 */ 402 divide 0x0000007f, 0x001f /* expect 0x0004 */ 403 divide 0x0000007f, 0x0020 /* expect 0x0003 */ 404 divide 0x0000007f, 0x003f /* expect 0x0002 */ 405 divide 0x0000007f, 0x0040 /* expect 0x0001 */ 406 divide 0x0000007f, 0x007f /* expect 0x0001 */ 407 divide 0x0000007f, 0x0080 /* expect 0x0000 */ 408 divide 0x0000007f, 0x00ff /* expect 0x0000 */ 409 divide 0x0000007f, 0x0100 /* expect 0x0000 */ 410 divide 0x0000007f, 0x01ff /* expect 0x0000 */ 411 divide 0x0000007f, 0x0200 /* expect 0x0000 */ 412 divide 0x0000007f, 0x03ff /* expect 0x0000 */ 413 divide 0x0000007f, 0x0400 /* expect 0x0000 */ 414 divide 0x0000007f, 0x07ff /* expect 0x0000 */ 415 divide 0x0000007f, 0x0800 /* expect 0x0000 */ 416 divide 0x0000007f, 0x0fff /* expect 0x0000 */ 417 divide 0x0000007f, 0x1000 /* expect 0x0000 */ 418 divide 0x0000007f, 0x1fff /* expect 0x0000 */ 419 divide 0x0000007f, 0x2000 /* expect 0x0000 */ 420 divide 0x0000007f, 0x3fff /* expect 0x0000 */ 421 divide 0x0000007f, 0x4000 /* expect 0x0000 */ 422 divide 0x0000007f, 0x7fff /* expect 0x0000 */ 423 divide 0x00000080, 0x0001 /* expect 0x0080 */ 424 divide 0x00000080, 0x0002 /* expect 0x0040 */ 425 divide 0x00000080, 0x0003 /* expect 0x002a */ 426 divide 0x00000080, 0x0004 /* expect 0x0020 */ 427 divide 0x00000080, 0x0007 /* expect 0x0012 */ 428 divide 0x00000080, 0x0008 /* expect 0x0010 */ 429 divide 0x00000080, 0x000f /* expect 0x0008 */ 430 divide 0x00000080, 0x0010 /* expect 0x0008 */ 431 divide 0x00000080, 0x001f /* expect 0x0004 */ 432 divide 0x00000080, 0x0020 /* expect 0x0004 */ 433 divide 0x00000080, 0x003f /* expect 0x0002 */ 434 divide 0x00000080, 0x0040 /* expect 0x0002 */ 435 divide 0x00000080, 0x007f /* expect 0x0001 */ 436 divide 0x00000080, 0x0080 /* expect 0x0001 */ 437 divide 0x00000080, 0x00ff /* expect 0x0000 */ 438 divide 0x00000080, 0x0100 /* expect 0x0000 */ 439 divide 0x00000080, 0x01ff /* expect 0x0000 */ 440 divide 0x00000080, 0x0200 /* expect 0x0000 */ 441 divide 0x00000080, 0x03ff /* expect 0x0000 */ 442 divide 0x00000080, 0x0400 /* expect 0x0000 */ 443 divide 0x00000080, 0x07ff /* expect 0x0000 */ 444 divide 0x00000080, 0x0800 /* expect 0x0000 */ 445 divide 0x00000080, 0x0fff /* expect 0x0000 */ 446 divide 0x00000080, 0x1000 /* expect 0x0000 */ 447 divide 0x00000080, 0x1fff /* expect 0x0000 */ 448 divide 0x00000080, 0x2000 /* expect 0x0000 */ 449 divide 0x00000080, 0x3fff /* expect 0x0000 */ 450 divide 0x00000080, 0x4000 /* expect 0x0000 */ 451 divide 0x00000080, 0x7fff /* expect 0x0000 */ 452 divide 0x000000ff, 0x0001 /* expect 0x00ff */ 453 divide 0x000000ff, 0x0002 /* expect 0x007f */ 454 divide 0x000000ff, 0x0003 /* expect 0x0055 */ 455 divide 0x000000ff, 0x0004 /* expect 0x003f */ 456 divide 0x000000ff, 0x0007 /* expect 0x0024 */ 457 divide 0x000000ff, 0x0008 /* expect 0x001f */ 458 divide 0x000000ff, 0x000f /* expect 0x0011 */ 459 divide 0x000000ff, 0x0010 /* expect 0x000f */ 460 divide 0x000000ff, 0x001f /* expect 0x0008 */ 461 divide 0x000000ff, 0x0020 /* expect 0x0007 */ 462 divide 0x000000ff, 0x003f /* expect 0x0004 */ 463 divide 0x000000ff, 0x0040 /* expect 0x0003 */ 464 divide 0x000000ff, 0x007f /* expect 0x0002 */ 465 divide 0x000000ff, 0x0080 /* expect 0x0001 */ 466 divide 0x000000ff, 0x00ff /* expect 0x0001 */ 467 divide 0x000000ff, 0x0100 /* expect 0x0000 */ 468 divide 0x000000ff, 0x01ff /* expect 0x0000 */ 469 divide 0x000000ff, 0x0200 /* expect 0x0000 */ 470 divide 0x000000ff, 0x03ff /* expect 0x0000 */ 471 divide 0x000000ff, 0x0400 /* expect 0x0000 */ 472 divide 0x000000ff, 0x07ff /* expect 0x0000 */ 473 divide 0x000000ff, 0x0800 /* expect 0x0000 */ 474 divide 0x000000ff, 0x0fff /* expect 0x0000 */ 475 divide 0x000000ff, 0x1000 /* expect 0x0000 */ 476 divide 0x000000ff, 0x1fff /* expect 0x0000 */ 477 divide 0x000000ff, 0x2000 /* expect 0x0000 */ 478 divide 0x000000ff, 0x3fff /* expect 0x0000 */ 479 divide 0x000000ff, 0x4000 /* expect 0x0000 */ 480 divide 0x000000ff, 0x7fff /* expect 0x0000 */ 481 divide 0x00000100, 0x0001 /* expect 0x0100 */ 482 divide 0x00000100, 0x0002 /* expect 0x0080 */ 483 divide 0x00000100, 0x0003 /* expect 0x0055 */ 484 divide 0x00000100, 0x0004 /* expect 0x0040 */ 485 divide 0x00000100, 0x0007 /* expect 0x0024 */ 486 divide 0x00000100, 0x0008 /* expect 0x0020 */ 487 divide 0x00000100, 0x000f /* expect 0x0011 */ 488 divide 0x00000100, 0x0010 /* expect 0x0010 */ 489 divide 0x00000100, 0x001f /* expect 0x0008 */ 490 divide 0x00000100, 0x0020 /* expect 0x0008 */ 491 divide 0x00000100, 0x003f /* expect 0x0004 */ 492 divide 0x00000100, 0x0040 /* expect 0x0004 */ 493 divide 0x00000100, 0x007f /* expect 0x0002 */ 494 divide 0x00000100, 0x0080 /* expect 0x0002 */ 495 divide 0x00000100, 0x00ff /* expect 0x0001 */ 496 divide 0x00000100, 0x0100 /* expect 0x0001 */ 497 divide 0x00000100, 0x01ff /* expect 0x0000 */ 498 divide 0x00000100, 0x0200 /* expect 0x0000 */ 499 divide 0x00000100, 0x03ff /* expect 0x0000 */ 500 divide 0x00000100, 0x0400 /* expect 0x0000 */ 501 divide 0x00000100, 0x07ff /* expect 0x0000 */ 502 divide 0x00000100, 0x0800 /* expect 0x0000 */ 503 divide 0x00000100, 0x0fff /* expect 0x0000 */ 504 divide 0x00000100, 0x1000 /* expect 0x0000 */ 505 divide 0x00000100, 0x1fff /* expect 0x0000 */ 506 divide 0x00000100, 0x2000 /* expect 0x0000 */ 507 divide 0x00000100, 0x3fff /* expect 0x0000 */ 508 divide 0x00000100, 0x4000 /* expect 0x0000 */ 509 divide 0x00000100, 0x7fff /* expect 0x0000 */ 510 divide 0x000001ff, 0x0001 /* expect 0x01ff */ 511 divide 0x000001ff, 0x0002 /* expect 0x00ff */ 512 divide 0x000001ff, 0x0003 /* expect 0x00aa */ 513 divide 0x000001ff, 0x0004 /* expect 0x007f */ 514 divide 0x000001ff, 0x0007 /* expect 0x0049 */ 515 divide 0x000001ff, 0x0008 /* expect 0x003f */ 516 divide 0x000001ff, 0x000f /* expect 0x0022 */ 517 divide 0x000001ff, 0x0010 /* expect 0x001f */ 518 divide 0x000001ff, 0x001f /* expect 0x0010 */ 519 divide 0x000001ff, 0x0020 /* expect 0x000f */ 520 divide 0x000001ff, 0x003f /* expect 0x0008 */ 521 divide 0x000001ff, 0x0040 /* expect 0x0007 */ 522 divide 0x000001ff, 0x007f /* expect 0x0004 */ 523 divide 0x000001ff, 0x0080 /* expect 0x0003 */ 524 divide 0x000001ff, 0x00ff /* expect 0x0002 */ 525 divide 0x000001ff, 0x0100 /* expect 0x0001 */ 526 divide 0x000001ff, 0x01ff /* expect 0x0001 */ 527 divide 0x000001ff, 0x0200 /* expect 0x0000 */ 528 divide 0x000001ff, 0x03ff /* expect 0x0000 */ 529 divide 0x000001ff, 0x0400 /* expect 0x0000 */ 530 divide 0x000001ff, 0x07ff /* expect 0x0000 */ 531 divide 0x000001ff, 0x0800 /* expect 0x0000 */ 532 divide 0x000001ff, 0x0fff /* expect 0x0000 */ 533 divide 0x000001ff, 0x1000 /* expect 0x0000 */ 534 divide 0x000001ff, 0x1fff /* expect 0x0000 */ 535 divide 0x000001ff, 0x2000 /* expect 0x0000 */ 536 divide 0x000001ff, 0x3fff /* expect 0x0000 */ 537 divide 0x000001ff, 0x4000 /* expect 0x0000 */ 538 divide 0x000001ff, 0x7fff /* expect 0x0000 */ 539 divide 0x00000200, 0x0001 /* expect 0x0200 */ 540 divide 0x00000200, 0x0002 /* expect 0x0100 */ 541 divide 0x00000200, 0x0003 /* expect 0x00aa */ 542 divide 0x00000200, 0x0004 /* expect 0x0080 */ 543 divide 0x00000200, 0x0007 /* expect 0x0049 */ 544 divide 0x00000200, 0x0008 /* expect 0x0040 */ 545 divide 0x00000200, 0x000f /* expect 0x0022 */ 546 divide 0x00000200, 0x0010 /* expect 0x0020 */ 547 divide 0x00000200, 0x001f /* expect 0x0010 */ 548 divide 0x00000200, 0x0020 /* expect 0x0010 */ 549 divide 0x00000200, 0x003f /* expect 0x0008 */ 550 divide 0x00000200, 0x0040 /* expect 0x0008 */ 551 divide 0x00000200, 0x007f /* expect 0x0004 */ 552 divide 0x00000200, 0x0080 /* expect 0x0004 */ 553 divide 0x00000200, 0x00ff /* expect 0x0002 */ 554 divide 0x00000200, 0x0100 /* expect 0x0002 */ 555 divide 0x00000200, 0x01ff /* expect 0x0001 */ 556 divide 0x00000200, 0x0200 /* expect 0x0001 */ 557 divide 0x00000200, 0x03ff /* expect 0x0000 */ 558 divide 0x00000200, 0x0400 /* expect 0x0000 */ 559 divide 0x00000200, 0x07ff /* expect 0x0000 */ 560 divide 0x00000200, 0x0800 /* expect 0x0000 */ 561 divide 0x00000200, 0x0fff /* expect 0x0000 */ 562 divide 0x00000200, 0x1000 /* expect 0x0000 */ 563 divide 0x00000200, 0x1fff /* expect 0x0000 */ 564 divide 0x00000200, 0x2000 /* expect 0x0000 */ 565 divide 0x00000200, 0x3fff /* expect 0x0000 */ 566 divide 0x00000200, 0x4000 /* expect 0x0000 */ 567 divide 0x00000200, 0x7fff /* expect 0x0000 */ 568 divide 0x000003ff, 0x0001 /* expect 0x03ff */ 569 divide 0x000003ff, 0x0002 /* expect 0x01ff */ 570 divide 0x000003ff, 0x0003 /* expect 0x0155 */ 571 divide 0x000003ff, 0x0004 /* expect 0x00ff */ 572 divide 0x000003ff, 0x0007 /* expect 0x0092 */ 573 divide 0x000003ff, 0x0008 /* expect 0x007f */ 574 divide 0x000003ff, 0x000f /* expect 0x0044 */ 575 divide 0x000003ff, 0x0010 /* expect 0x003f */ 576 divide 0x000003ff, 0x001f /* expect 0x0021 */ 577 divide 0x000003ff, 0x0020 /* expect 0x001f */ 578 divide 0x000003ff, 0x003f /* expect 0x0010 */ 579 divide 0x000003ff, 0x0040 /* expect 0x000f */ 580 divide 0x000003ff, 0x007f /* expect 0x0008 */ 581 divide 0x000003ff, 0x0080 /* expect 0x0007 */ 582 divide 0x000003ff, 0x00ff /* expect 0x0004 */ 583 divide 0x000003ff, 0x0100 /* expect 0x0003 */ 584 divide 0x000003ff, 0x01ff /* expect 0x0002 */ 585 divide 0x000003ff, 0x0200 /* expect 0x0001 */ 586 divide 0x000003ff, 0x03ff /* expect 0x0001 */ 587 divide 0x000003ff, 0x0400 /* expect 0x0000 */ 588 divide 0x000003ff, 0x07ff /* expect 0x0000 */ 589 divide 0x000003ff, 0x0800 /* expect 0x0000 */ 590 divide 0x000003ff, 0x0fff /* expect 0x0000 */ 591 divide 0x000003ff, 0x1000 /* expect 0x0000 */ 592 divide 0x000003ff, 0x1fff /* expect 0x0000 */ 593 divide 0x000003ff, 0x2000 /* expect 0x0000 */ 594 divide 0x000003ff, 0x3fff /* expect 0x0000 */ 595 divide 0x000003ff, 0x4000 /* expect 0x0000 */ 596 divide 0x000003ff, 0x7fff /* expect 0x0000 */ 597 divide 0x00000400, 0x0001 /* expect 0x0400 */ 598 divide 0x00000400, 0x0002 /* expect 0x0200 */ 599 divide 0x00000400, 0x0003 /* expect 0x0155 */ 600 divide 0x00000400, 0x0004 /* expect 0x0100 */ 601 divide 0x00000400, 0x0007 /* expect 0x0092 */ 602 divide 0x00000400, 0x0008 /* expect 0x0080 */ 603 divide 0x00000400, 0x000f /* expect 0x0044 */ 604 divide 0x00000400, 0x0010 /* expect 0x0040 */ 605 divide 0x00000400, 0x001f /* expect 0x0021 */ 606 divide 0x00000400, 0x0020 /* expect 0x0020 */ 607 divide 0x00000400, 0x003f /* expect 0x0010 */ 608 divide 0x00000400, 0x0040 /* expect 0x0010 */ 609 divide 0x00000400, 0x007f /* expect 0x0008 */ 610 divide 0x00000400, 0x0080 /* expect 0x0008 */ 611 divide 0x00000400, 0x00ff /* expect 0x0004 */ 612 divide 0x00000400, 0x0100 /* expect 0x0004 */ 613 divide 0x00000400, 0x01ff /* expect 0x0002 */ 614 divide 0x00000400, 0x0200 /* expect 0x0002 */ 615 divide 0x00000400, 0x03ff /* expect 0x0001 */ 616 divide 0x00000400, 0x0400 /* expect 0x0001 */ 617 divide 0x00000400, 0x07ff /* expect 0x0000 */ 618 divide 0x00000400, 0x0800 /* expect 0x0000 */ 619 divide 0x00000400, 0x0fff /* expect 0x0000 */ 620 divide 0x00000400, 0x1000 /* expect 0x0000 */ 621 divide 0x00000400, 0x1fff /* expect 0x0000 */ 622 divide 0x00000400, 0x2000 /* expect 0x0000 */ 623 divide 0x00000400, 0x3fff /* expect 0x0000 */ 624 divide 0x00000400, 0x4000 /* expect 0x0000 */ 625 divide 0x00000400, 0x7fff /* expect 0x0000 */ 626 divide 0x000007ff, 0x0001 /* expect 0x07ff */ 627 divide 0x000007ff, 0x0002 /* expect 0x03ff */ 628 divide 0x000007ff, 0x0003 /* expect 0x02aa */ 629 divide 0x000007ff, 0x0004 /* expect 0x01ff */ 630 divide 0x000007ff, 0x0007 /* expect 0x0124 */ 631 divide 0x000007ff, 0x0008 /* expect 0x00ff */ 632 divide 0x000007ff, 0x000f /* expect 0x0088 */ 633 divide 0x000007ff, 0x0010 /* expect 0x007f */ 634 divide 0x000007ff, 0x001f /* expect 0x0042 */ 635 divide 0x000007ff, 0x0020 /* expect 0x003f */ 636 divide 0x000007ff, 0x003f /* expect 0x0020 */ 637 divide 0x000007ff, 0x0040 /* expect 0x001f */ 638 divide 0x000007ff, 0x007f /* expect 0x0010 */ 639 divide 0x000007ff, 0x0080 /* expect 0x000f */ 640 divide 0x000007ff, 0x00ff /* expect 0x0008 */ 641 divide 0x000007ff, 0x0100 /* expect 0x0007 */ 642 divide 0x000007ff, 0x01ff /* expect 0x0004 */ 643 divide 0x000007ff, 0x0200 /* expect 0x0003 */ 644 divide 0x000007ff, 0x03ff /* expect 0x0002 */ 645 divide 0x000007ff, 0x0400 /* expect 0x0001 */ 646 divide 0x000007ff, 0x07ff /* expect 0x0001 */ 647 divide 0x000007ff, 0x0800 /* expect 0x0000 */ 648 divide 0x000007ff, 0x0fff /* expect 0x0000 */ 649 divide 0x000007ff, 0x1000 /* expect 0x0000 */ 650 divide 0x000007ff, 0x1fff /* expect 0x0000 */ 651 divide 0x000007ff, 0x2000 /* expect 0x0000 */ 652 divide 0x000007ff, 0x3fff /* expect 0x0000 */ 653 divide 0x000007ff, 0x4000 /* expect 0x0000 */ 654 divide 0x000007ff, 0x7fff /* expect 0x0000 */ 655 divide 0x00000800, 0x0001 /* expect 0x0800 */ 656 divide 0x00000800, 0x0002 /* expect 0x0400 */ 657 divide 0x00000800, 0x0003 /* expect 0x02aa */ 658 divide 0x00000800, 0x0004 /* expect 0x0200 */ 659 divide 0x00000800, 0x0007 /* expect 0x0124 */ 660 divide 0x00000800, 0x0008 /* expect 0x0100 */ 661 divide 0x00000800, 0x000f /* expect 0x0088 */ 662 divide 0x00000800, 0x0010 /* expect 0x0080 */ 663 divide 0x00000800, 0x001f /* expect 0x0042 */ 664 divide 0x00000800, 0x0020 /* expect 0x0040 */ 665 divide 0x00000800, 0x003f /* expect 0x0020 */ 666 divide 0x00000800, 0x0040 /* expect 0x0020 */ 667 divide 0x00000800, 0x007f /* expect 0x0010 */ 668 divide 0x00000800, 0x0080 /* expect 0x0010 */ 669 divide 0x00000800, 0x00ff /* expect 0x0008 */ 670 divide 0x00000800, 0x0100 /* expect 0x0008 */ 671 divide 0x00000800, 0x01ff /* expect 0x0004 */ 672 divide 0x00000800, 0x0200 /* expect 0x0004 */ 673 divide 0x00000800, 0x03ff /* expect 0x0002 */ 674 divide 0x00000800, 0x0400 /* expect 0x0002 */ 675 divide 0x00000800, 0x07ff /* expect 0x0001 */ 676 divide 0x00000800, 0x0800 /* expect 0x0001 */ 677 divide 0x00000800, 0x0fff /* expect 0x0000 */ 678 divide 0x00000800, 0x1000 /* expect 0x0000 */ 679 divide 0x00000800, 0x1fff /* expect 0x0000 */ 680 divide 0x00000800, 0x2000 /* expect 0x0000 */ 681 divide 0x00000800, 0x3fff /* expect 0x0000 */ 682 divide 0x00000800, 0x4000 /* expect 0x0000 */ 683 divide 0x00000800, 0x7fff /* expect 0x0000 */ 684 divide 0x00000fff, 0x0001 /* expect 0x0fff */ 685 divide 0x00000fff, 0x0002 /* expect 0x07ff */ 686 divide 0x00000fff, 0x0003 /* expect 0x0555 */ 687 divide 0x00000fff, 0x0004 /* expect 0x03ff */ 688 divide 0x00000fff, 0x0007 /* expect 0x0249 */ 689 divide 0x00000fff, 0x0008 /* expect 0x01ff */ 690 divide 0x00000fff, 0x000f /* expect 0x0111 */ 691 divide 0x00000fff, 0x0010 /* expect 0x00ff */ 692 divide 0x00000fff, 0x001f /* expect 0x0084 */ 693 divide 0x00000fff, 0x0020 /* expect 0x007f */ 694 divide 0x00000fff, 0x003f /* expect 0x0041 */ 695 divide 0x00000fff, 0x0040 /* expect 0x003f */ 696 divide 0x00000fff, 0x007f /* expect 0x0020 */ 697 divide 0x00000fff, 0x0080 /* expect 0x001f */ 698 divide 0x00000fff, 0x00ff /* expect 0x0010 */ 699 divide 0x00000fff, 0x0100 /* expect 0x000f */ 700 divide 0x00000fff, 0x01ff /* expect 0x0008 */ 701 divide 0x00000fff, 0x0200 /* expect 0x0007 */ 702 divide 0x00000fff, 0x03ff /* expect 0x0004 */ 703 divide 0x00000fff, 0x0400 /* expect 0x0003 */ 704 divide 0x00000fff, 0x07ff /* expect 0x0002 */ 705 divide 0x00000fff, 0x0800 /* expect 0x0001 */ 706 divide 0x00000fff, 0x0fff /* expect 0x0001 */ 707 divide 0x00000fff, 0x1000 /* expect 0x0000 */ 708 divide 0x00000fff, 0x1fff /* expect 0x0000 */ 709 divide 0x00000fff, 0x2000 /* expect 0x0000 */ 710 divide 0x00000fff, 0x3fff /* expect 0x0000 */ 711 divide 0x00000fff, 0x4000 /* expect 0x0000 */ 712 divide 0x00000fff, 0x7fff /* expect 0x0000 */ 713 divide 0x00001000, 0x0001 /* expect 0x1000 */ 714 divide 0x00001000, 0x0002 /* expect 0x0800 */ 715 divide 0x00001000, 0x0003 /* expect 0x0555 */ 716 divide 0x00001000, 0x0004 /* expect 0x0400 */ 717 divide 0x00001000, 0x0007 /* expect 0x0249 */ 718 divide 0x00001000, 0x0008 /* expect 0x0200 */ 719 divide 0x00001000, 0x000f /* expect 0x0111 */ 720 divide 0x00001000, 0x0010 /* expect 0x0100 */ 721 divide 0x00001000, 0x001f /* expect 0x0084 */ 722 divide 0x00001000, 0x0020 /* expect 0x0080 */ 723 divide 0x00001000, 0x003f /* expect 0x0041 */ 724 divide 0x00001000, 0x0040 /* expect 0x0040 */ 725 divide 0x00001000, 0x007f /* expect 0x0020 */ 726 divide 0x00001000, 0x0080 /* expect 0x0020 */ 727 divide 0x00001000, 0x00ff /* expect 0x0010 */ 728 divide 0x00001000, 0x0100 /* expect 0x0010 */ 729 divide 0x00001000, 0x01ff /* expect 0x0008 */ 730 divide 0x00001000, 0x0200 /* expect 0x0008 */ 731 divide 0x00001000, 0x03ff /* expect 0x0004 */ 732 divide 0x00001000, 0x0400 /* expect 0x0004 */ 733 divide 0x00001000, 0x07ff /* expect 0x0002 */ 734 divide 0x00001000, 0x0800 /* expect 0x0002 */ 735 divide 0x00001000, 0x0fff /* expect 0x0001 */ 736 divide 0x00001000, 0x1000 /* expect 0x0001 */ 737 divide 0x00001000, 0x1fff /* expect 0x0000 */ 738 divide 0x00001000, 0x2000 /* expect 0x0000 */ 739 divide 0x00001000, 0x3fff /* expect 0x0000 */ 740 divide 0x00001000, 0x4000 /* expect 0x0000 */ 741 divide 0x00001000, 0x7fff /* expect 0x0000 */ 742 divide 0x00001fff, 0x0001 /* expect 0x1fff */ 743 divide 0x00001fff, 0x0002 /* expect 0x0fff */ 744 divide 0x00001fff, 0x0003 /* expect 0x0aaa */ 745 divide 0x00001fff, 0x0004 /* expect 0x07ff */ 746 divide 0x00001fff, 0x0007 /* expect 0x0492 */ 747 divide 0x00001fff, 0x0008 /* expect 0x03ff */ 748 divide 0x00001fff, 0x000f /* expect 0x0222 */ 749 divide 0x00001fff, 0x0010 /* expect 0x01ff */ 750 divide 0x00001fff, 0x001f /* expect 0x0108 */ 751 divide 0x00001fff, 0x0020 /* expect 0x00ff */ 752 divide 0x00001fff, 0x003f /* expect 0x0082 */ 753 divide 0x00001fff, 0x0040 /* expect 0x007f */ 754 divide 0x00001fff, 0x007f /* expect 0x0040 */ 755 divide 0x00001fff, 0x0080 /* expect 0x003f */ 756 divide 0x00001fff, 0x00ff /* expect 0x0020 */ 757 divide 0x00001fff, 0x0100 /* expect 0x001f */ 758 divide 0x00001fff, 0x01ff /* expect 0x0010 */ 759 divide 0x00001fff, 0x0200 /* expect 0x000f */ 760 divide 0x00001fff, 0x03ff /* expect 0x0008 */ 761 divide 0x00001fff, 0x0400 /* expect 0x0007 */ 762 divide 0x00001fff, 0x07ff /* expect 0x0004 */ 763 divide 0x00001fff, 0x0800 /* expect 0x0003 */ 764 divide 0x00001fff, 0x0fff /* expect 0x0002 */ 765 divide 0x00001fff, 0x1000 /* expect 0x0001 */ 766 divide 0x00001fff, 0x1fff /* expect 0x0001 */ 767 divide 0x00001fff, 0x2000 /* expect 0x0000 */ 768 divide 0x00001fff, 0x3fff /* expect 0x0000 */ 769 divide 0x00001fff, 0x4000 /* expect 0x0000 */ 770 divide 0x00001fff, 0x7fff /* expect 0x0000 */ 771 divide 0x00002000, 0x0001 /* expect 0x2000 */ 772 divide 0x00002000, 0x0002 /* expect 0x1000 */ 773 divide 0x00002000, 0x0003 /* expect 0x0aaa */ 774 divide 0x00002000, 0x0004 /* expect 0x0800 */ 775 divide 0x00002000, 0x0007 /* expect 0x0492 */ 776 divide 0x00002000, 0x0008 /* expect 0x0400 */ 777 divide 0x00002000, 0x000f /* expect 0x0222 */ 778 divide 0x00002000, 0x0010 /* expect 0x0200 */ 779 divide 0x00002000, 0x001f /* expect 0x0108 */ 780 divide 0x00002000, 0x0020 /* expect 0x0100 */ 781 divide 0x00002000, 0x003f /* expect 0x0082 */ 782 divide 0x00002000, 0x0040 /* expect 0x0080 */ 783 divide 0x00002000, 0x007f /* expect 0x0040 */ 784 divide 0x00002000, 0x0080 /* expect 0x0040 */ 785 divide 0x00002000, 0x00ff /* expect 0x0020 */ 786 divide 0x00002000, 0x0100 /* expect 0x0020 */ 787 divide 0x00002000, 0x01ff /* expect 0x0010 */ 788 divide 0x00002000, 0x0200 /* expect 0x0010 */ 789 divide 0x00002000, 0x03ff /* expect 0x0008 */ 790 divide 0x00002000, 0x0400 /* expect 0x0008 */ 791 divide 0x00002000, 0x07ff /* expect 0x0004 */ 792 divide 0x00002000, 0x0800 /* expect 0x0004 */ 793 divide 0x00002000, 0x0fff /* expect 0x0002 */ 794 divide 0x00002000, 0x1000 /* expect 0x0002 */ 795 divide 0x00002000, 0x1fff /* expect 0x0001 */ 796 divide 0x00002000, 0x2000 /* expect 0x0001 */ 797 divide 0x00002000, 0x3fff /* expect 0x0000 */ 798 divide 0x00002000, 0x4000 /* expect 0x0000 */ 799 divide 0x00002000, 0x7fff /* expect 0x0000 */ 800 divide 0x00003fff, 0x0001 /* expect 0x3fff */ 801 divide 0x00003fff, 0x0002 /* expect 0x1fff */ 802 divide 0x00003fff, 0x0003 /* expect 0x1555 */ 803 divide 0x00003fff, 0x0004 /* expect 0x0fff */ 804 divide 0x00003fff, 0x0007 /* expect 0x0924 */ 805 divide 0x00003fff, 0x0008 /* expect 0x07ff */ 806 divide 0x00003fff, 0x000f /* expect 0x0444 */ 807 divide 0x00003fff, 0x0010 /* expect 0x03ff */ 808 divide 0x00003fff, 0x001f /* expect 0x0210 */ 809 divide 0x00003fff, 0x0020 /* expect 0x01ff */ 810 divide 0x00003fff, 0x003f /* expect 0x0104 */ 811 divide 0x00003fff, 0x0040 /* expect 0x00ff */ 812 divide 0x00003fff, 0x007f /* expect 0x0081 */ 813 divide 0x00003fff, 0x0080 /* expect 0x007f */ 814 divide 0x00003fff, 0x00ff /* expect 0x0040 */ 815 divide 0x00003fff, 0x0100 /* expect 0x003f */ 816 divide 0x00003fff, 0x01ff /* expect 0x0020 */ 817 divide 0x00003fff, 0x0200 /* expect 0x001f */ 818 divide 0x00003fff, 0x03ff /* expect 0x0010 */ 819 divide 0x00003fff, 0x0400 /* expect 0x000f */ 820 divide 0x00003fff, 0x07ff /* expect 0x0008 */ 821 divide 0x00003fff, 0x0800 /* expect 0x0007 */ 822 divide 0x00003fff, 0x0fff /* expect 0x0004 */ 823 divide 0x00003fff, 0x1000 /* expect 0x0003 */ 824 divide 0x00003fff, 0x1fff /* expect 0x0002 */ 825 divide 0x00003fff, 0x2000 /* expect 0x0001 */ 826 divide 0x00003fff, 0x3fff /* expect 0x0001 */ 827 divide 0x00003fff, 0x4000 /* expect 0x0000 */ 828 divide 0x00003fff, 0x7fff /* expect 0x0000 */ 829 divide 0x00004000, 0x0001 /* expect 0x4000 */ 830 divide 0x00004000, 0x0002 /* expect 0x2000 */ 831 divide 0x00004000, 0x0003 /* expect 0x1555 */ 832 divide 0x00004000, 0x0004 /* expect 0x1000 */ 833 divide 0x00004000, 0x0007 /* expect 0x0924 */ 834 divide 0x00004000, 0x0008 /* expect 0x0800 */ 835 divide 0x00004000, 0x000f /* expect 0x0444 */ 836 divide 0x00004000, 0x0010 /* expect 0x0400 */ 837 divide 0x00004000, 0x001f /* expect 0x0210 */ 838 divide 0x00004000, 0x0020 /* expect 0x0200 */ 839 divide 0x00004000, 0x003f /* expect 0x0104 */ 840 divide 0x00004000, 0x0040 /* expect 0x0100 */ 841 divide 0x00004000, 0x007f /* expect 0x0081 */ 842 divide 0x00004000, 0x0080 /* expect 0x0080 */ 843 divide 0x00004000, 0x00ff /* expect 0x0040 */ 844 divide 0x00004000, 0x0100 /* expect 0x0040 */ 845 divide 0x00004000, 0x01ff /* expect 0x0020 */ 846 divide 0x00004000, 0x0200 /* expect 0x0020 */ 847 divide 0x00004000, 0x03ff /* expect 0x0010 */ 848 divide 0x00004000, 0x0400 /* expect 0x0010 */ 849 divide 0x00004000, 0x07ff /* expect 0x0008 */ 850 divide 0x00004000, 0x0800 /* expect 0x0008 */ 851 divide 0x00004000, 0x0fff /* expect 0x0004 */ 852 divide 0x00004000, 0x1000 /* expect 0x0004 */ 853 divide 0x00004000, 0x1fff /* expect 0x0002 */ 854 divide 0x00004000, 0x2000 /* expect 0x0002 */ 855 divide 0x00004000, 0x3fff /* expect 0x0001 */ 856 divide 0x00004000, 0x4000 /* expect 0x0001 */ 857 divide 0x00004000, 0x7fff /* expect 0x0000 */ 858 divide 0x00007fff, 0x0001 /* expect 0x7fff */ 859 divide 0x00007fff, 0x0002 /* expect 0x3fff */ 860 divide 0x00007fff, 0x0003 /* expect 0x2aaa */ 861 divide 0x00007fff, 0x0004 /* expect 0x1fff */ 862 divide 0x00007fff, 0x0007 /* expect 0x1249 */ 863 divide 0x00007fff, 0x0008 /* expect 0x0fff */ 864 divide 0x00007fff, 0x000f /* expect 0x0888 */ 865 divide 0x00007fff, 0x0010 /* expect 0x07ff */ 866 divide 0x00007fff, 0x001f /* expect 0x0421 */ 867 divide 0x00007fff, 0x0020 /* expect 0x03ff */ 868 divide 0x00007fff, 0x003f /* expect 0x0208 */ 869 divide 0x00007fff, 0x0040 /* expect 0x01ff */ 870 divide 0x00007fff, 0x007f /* expect 0x0102 */ 871 divide 0x00007fff, 0x0080 /* expect 0x00ff */ 872 divide 0x00007fff, 0x00ff /* expect 0x0080 */ 873 divide 0x00007fff, 0x0100 /* expect 0x007f */ 874 divide 0x00007fff, 0x01ff /* expect 0x0040 */ 875 divide 0x00007fff, 0x0200 /* expect 0x003f */ 876 divide 0x00007fff, 0x03ff /* expect 0x0020 */ 877 divide 0x00007fff, 0x0400 /* expect 0x001f */ 878 divide 0x00007fff, 0x07ff /* expect 0x0010 */ 879 divide 0x00007fff, 0x0800 /* expect 0x000f */ 880 divide 0x00007fff, 0x0fff /* expect 0x0008 */ 881 divide 0x00007fff, 0x1000 /* expect 0x0007 */ 882 divide 0x00007fff, 0x1fff /* expect 0x0004 */ 883 divide 0x00007fff, 0x2000 /* expect 0x0003 */ 884 divide 0x00007fff, 0x3fff /* expect 0x0002 */ 885 divide 0x00007fff, 0x4000 /* expect 0x0001 */ 886 divide 0x00007fff, 0x7fff /* expect 0x0001 */ 887 divide 0x00008000, 0x0002 /* expect 0x4000 */ 888 divide 0x00008000, 0x0003 /* expect 0x2aaa */ 889 divide 0x00008000, 0x0004 /* expect 0x2000 */ 890 divide 0x00008000, 0x0007 /* expect 0x1249 */ 891 divide 0x00008000, 0x0008 /* expect 0x1000 */ 892 divide 0x00008000, 0x000f /* expect 0x0888 */ 893 divide 0x00008000, 0x0010 /* expect 0x0800 */ 894 divide 0x00008000, 0x001f /* expect 0x0421 */ 895 divide 0x00008000, 0x0020 /* expect 0x0400 */ 896 divide 0x00008000, 0x003f /* expect 0x0208 */ 897 divide 0x00008000, 0x0040 /* expect 0x0200 */ 898 divide 0x00008000, 0x007f /* expect 0x0102 */ 899 divide 0x00008000, 0x0080 /* expect 0x0100 */ 900 divide 0x00008000, 0x00ff /* expect 0x0080 */ 901 divide 0x00008000, 0x0100 /* expect 0x0080 */ 902 divide 0x00008000, 0x01ff /* expect 0x0040 */ 903 divide 0x00008000, 0x0200 /* expect 0x0040 */ 904 divide 0x00008000, 0x03ff /* expect 0x0020 */ 905 divide 0x00008000, 0x0400 /* expect 0x0020 */ 906 divide 0x00008000, 0x07ff /* expect 0x0010 */ 907 divide 0x00008000, 0x0800 /* expect 0x0010 */ 908 divide 0x00008000, 0x0fff /* expect 0x0008 */ 909 divide 0x00008000, 0x1000 /* expect 0x0008 */ 910 divide 0x00008000, 0x1fff /* expect 0x0004 */ 911 divide 0x00008000, 0x2000 /* expect 0x0004 */ 912 divide 0x00008000, 0x3fff /* expect 0x0002 */ 913 divide 0x00008000, 0x4000 /* expect 0x0002 */ 914 divide 0x00008000, 0x7fff /* expect 0x0001 */ 915 divide 0x0000ffff, 0x0002 /* expect 0x7fff */ 916 divide 0x0000ffff, 0x0003 /* expect 0x5555 */ 917 divide 0x0000ffff, 0x0004 /* expect 0x3fff */ 918 divide 0x0000ffff, 0x0007 /* expect 0x2492 */ 919 divide 0x0000ffff, 0x0008 /* expect 0x1fff */ 920 divide 0x0000ffff, 0x000f /* expect 0x1111 */ 921 divide 0x0000ffff, 0x0010 /* expect 0x0fff */ 922 divide 0x0000ffff, 0x001f /* expect 0x0842 */ 923 divide 0x0000ffff, 0x0020 /* expect 0x07ff */ 924 divide 0x0000ffff, 0x003f /* expect 0x0410 */ 925 divide 0x0000ffff, 0x0040 /* expect 0x03ff */ 926 divide 0x0000ffff, 0x007f /* expect 0x0204 */ 927 divide 0x0000ffff, 0x0080 /* expect 0x01ff */ 928 divide 0x0000ffff, 0x00ff /* expect 0x0101 */ 929 divide 0x0000ffff, 0x0100 /* expect 0x00ff */ 930 divide 0x0000ffff, 0x01ff /* expect 0x0080 */ 931 divide 0x0000ffff, 0x0200 /* expect 0x007f */ 932 divide 0x0000ffff, 0x03ff /* expect 0x0040 */ 933 divide 0x0000ffff, 0x0400 /* expect 0x003f */ 934 divide 0x0000ffff, 0x07ff /* expect 0x0020 */ 935 divide 0x0000ffff, 0x0800 /* expect 0x001f */ 936 divide 0x0000ffff, 0x0fff /* expect 0x0010 */ 937 divide 0x0000ffff, 0x1000 /* expect 0x000f */ 938 divide 0x0000ffff, 0x1fff /* expect 0x0008 */ 939 divide 0x0000ffff, 0x2000 /* expect 0x0007 */ 940 divide 0x0000ffff, 0x3fff /* expect 0x0004 */ 941 divide 0x0000ffff, 0x4000 /* expect 0x0003 */ 942 divide 0x0000ffff, 0x7fff /* expect 0x0002 */ 943 divide 0x00010000, 0x0003 /* expect 0x5555 */ 944 divide 0x00010000, 0x0004 /* expect 0x4000 */ 945 divide 0x00010000, 0x0007 /* expect 0x2492 */ 946 divide 0x00010000, 0x0008 /* expect 0x2000 */ 947 divide 0x00010000, 0x000f /* expect 0x1111 */ 948 divide 0x00010000, 0x0010 /* expect 0x1000 */ 949 divide 0x00010000, 0x001f /* expect 0x0842 */ 950 divide 0x00010000, 0x0020 /* expect 0x0800 */ 951 divide 0x00010000, 0x003f /* expect 0x0410 */ 952 divide 0x00010000, 0x0040 /* expect 0x0400 */ 953 divide 0x00010000, 0x007f /* expect 0x0204 */ 954 divide 0x00010000, 0x0080 /* expect 0x0200 */ 955 divide 0x00010000, 0x00ff /* expect 0x0101 */ 956 divide 0x00010000, 0x0100 /* expect 0x0100 */ 957 divide 0x00010000, 0x01ff /* expect 0x0080 */ 958 divide 0x00010000, 0x0200 /* expect 0x0080 */ 959 divide 0x00010000, 0x03ff /* expect 0x0040 */ 960 divide 0x00010000, 0x0400 /* expect 0x0040 */ 961 divide 0x00010000, 0x07ff /* expect 0x0020 */ 962 divide 0x00010000, 0x0800 /* expect 0x0020 */ 963 divide 0x00010000, 0x0fff /* expect 0x0010 */ 964 divide 0x00010000, 0x1000 /* expect 0x0010 */ 965 divide 0x00010000, 0x1fff /* expect 0x0008 */ 966 divide 0x00010000, 0x2000 /* expect 0x0008 */ 967 divide 0x00010000, 0x3fff /* expect 0x0004 */ 968 divide 0x00010000, 0x4000 /* expect 0x0004 */ 969 divide 0x00010000, 0x7fff /* expect 0x0002 */ 970 divide 0x0001ffff, 0x0004 /* expect 0x7fff */ 971 divide 0x0001ffff, 0x0007 /* expect 0x4924 */ 972 divide 0x0001ffff, 0x0008 /* expect 0x3fff */ 973 divide 0x0001ffff, 0x000f /* expect 0x2222 */ 974 divide 0x0001ffff, 0x0010 /* expect 0x1fff */ 975 divide 0x0001ffff, 0x001f /* expect 0x1084 */ 976 divide 0x0001ffff, 0x0020 /* expect 0x0fff */ 977 divide 0x0001ffff, 0x003f /* expect 0x0820 */ 978 divide 0x0001ffff, 0x0040 /* expect 0x07ff */ 979 divide 0x0001ffff, 0x007f /* expect 0x0408 */ 980 divide 0x0001ffff, 0x0080 /* expect 0x03ff */ 981 divide 0x0001ffff, 0x00ff /* expect 0x0202 */ 982 divide 0x0001ffff, 0x0100 /* expect 0x01ff */ 983 divide 0x0001ffff, 0x01ff /* expect 0x0100 */ 984 divide 0x0001ffff, 0x0200 /* expect 0x00ff */ 985 divide 0x0001ffff, 0x03ff /* expect 0x0080 */ 986 divide 0x0001ffff, 0x0400 /* expect 0x007f */ 987 divide 0x0001ffff, 0x07ff /* expect 0x0040 */ 988 divide 0x0001ffff, 0x0800 /* expect 0x003f */ 989 divide 0x0001ffff, 0x0fff /* expect 0x0020 */ 990 divide 0x0001ffff, 0x1000 /* expect 0x001f */ 991 divide 0x0001ffff, 0x1fff /* expect 0x0010 */ 992 divide 0x0001ffff, 0x2000 /* expect 0x000f */ 993 divide 0x0001ffff, 0x3fff /* expect 0x0008 */ 994 divide 0x0001ffff, 0x4000 /* expect 0x0007 */ 995 divide 0x0001ffff, 0x7fff /* expect 0x0004 */ 996 divide 0x00020000, 0x0007 /* expect 0x4924 */ 997 divide 0x00020000, 0x0008 /* expect 0x4000 */ 998 divide 0x00020000, 0x000f /* expect 0x2222 */ 999 divide 0x00020000, 0x0010 /* expect 0x2000 */ 1000 divide 0x00020000, 0x001f /* expect 0x1084 */ 1001 divide 0x00020000, 0x0020 /* expect 0x1000 */ 1002 divide 0x00020000, 0x003f /* expect 0x0820 */ 1003 divide 0x00020000, 0x0040 /* expect 0x0800 */ 1004 divide 0x00020000, 0x007f /* expect 0x0408 */ 1005 divide 0x00020000, 0x0080 /* expect 0x0400 */ 1006 divide 0x00020000, 0x00ff /* expect 0x0202 */ 1007 divide 0x00020000, 0x0100 /* expect 0x0200 */ 1008 divide 0x00020000, 0x01ff /* expect 0x0100 */ 1009 divide 0x00020000, 0x0200 /* expect 0x0100 */ 1010 divide 0x00020000, 0x03ff /* expect 0x0080 */ 1011 divide 0x00020000, 0x0400 /* expect 0x0080 */ 1012 divide 0x00020000, 0x07ff /* expect 0x0040 */ 1013 divide 0x00020000, 0x0800 /* expect 0x0040 */ 1014 divide 0x00020000, 0x0fff /* expect 0x0020 */ 1015 divide 0x00020000, 0x1000 /* expect 0x0020 */ 1016 divide 0x00020000, 0x1fff /* expect 0x0010 */ 1017 divide 0x00020000, 0x2000 /* expect 0x0010 */ 1018 divide 0x00020000, 0x3fff /* expect 0x0008 */ 1019 divide 0x00020000, 0x4000 /* expect 0x0008 */ 1020 divide 0x00020000, 0x7fff /* expect 0x0004 */ 1021 divide 0x0003ffff, 0x0008 /* expect 0x7fff */ 1022 divide 0x0003ffff, 0x000f /* expect 0x4444 */ 1023 divide 0x0003ffff, 0x0010 /* expect 0x3fff */ 1024 divide 0x0003ffff, 0x001f /* expect 0x2108 */ 1025 divide 0x0003ffff, 0x0020 /* expect 0x1fff */ 1026 divide 0x0003ffff, 0x003f /* expect 0x1041 */ 1027 divide 0x0003ffff, 0x0040 /* expect 0x0fff */ 1028 divide 0x0003ffff, 0x007f /* expect 0x0810 */ 1029 divide 0x0003ffff, 0x0080 /* expect 0x07ff */ 1030 divide 0x0003ffff, 0x00ff /* expect 0x0404 */ 1031 divide 0x0003ffff, 0x0100 /* expect 0x03ff */ 1032 divide 0x0003ffff, 0x01ff /* expect 0x0201 */ 1033 divide 0x0003ffff, 0x0200 /* expect 0x01ff */ 1034 divide 0x0003ffff, 0x03ff /* expect 0x0100 */ 1035 divide 0x0003ffff, 0x0400 /* expect 0x00ff */ 1036 divide 0x0003ffff, 0x07ff /* expect 0x0080 */ 1037 divide 0x0003ffff, 0x0800 /* expect 0x007f */ 1038 divide 0x0003ffff, 0x0fff /* expect 0x0040 */ 1039 divide 0x0003ffff, 0x1000 /* expect 0x003f */ 1040 divide 0x0003ffff, 0x1fff /* expect 0x0020 */ 1041 divide 0x0003ffff, 0x2000 /* expect 0x001f */ 1042 divide 0x0003ffff, 0x3fff /* expect 0x0010 */ 1043 divide 0x0003ffff, 0x4000 /* expect 0x000f */ 1044 divide 0x0003ffff, 0x7fff /* expect 0x0008 */ 1045 divide 0x00040000, 0x000f /* expect 0x4444 */ 1046 divide 0x00040000, 0x0010 /* expect 0x4000 */ 1047 divide 0x00040000, 0x001f /* expect 0x2108 */ 1048 divide 0x00040000, 0x0020 /* expect 0x2000 */ 1049 divide 0x00040000, 0x003f /* expect 0x1041 */ 1050 divide 0x00040000, 0x0040 /* expect 0x1000 */ 1051 divide 0x00040000, 0x007f /* expect 0x0810 */ 1052 divide 0x00040000, 0x0080 /* expect 0x0800 */ 1053 divide 0x00040000, 0x00ff /* expect 0x0404 */ 1054 divide 0x00040000, 0x0100 /* expect 0x0400 */ 1055 divide 0x00040000, 0x01ff /* expect 0x0201 */ 1056 divide 0x00040000, 0x0200 /* expect 0x0200 */ 1057 divide 0x00040000, 0x03ff /* expect 0x0100 */ 1058 divide 0x00040000, 0x0400 /* expect 0x0100 */ 1059 divide 0x00040000, 0x07ff /* expect 0x0080 */ 1060 divide 0x00040000, 0x0800 /* expect 0x0080 */ 1061 divide 0x00040000, 0x0fff /* expect 0x0040 */ 1062 divide 0x00040000, 0x1000 /* expect 0x0040 */ 1063 divide 0x00040000, 0x1fff /* expect 0x0020 */ 1064 divide 0x00040000, 0x2000 /* expect 0x0020 */ 1065 divide 0x00040000, 0x3fff /* expect 0x0010 */ 1066 divide 0x00040000, 0x4000 /* expect 0x0010 */ 1067 divide 0x00040000, 0x7fff /* expect 0x0008 */ 1068 divide 0x0007ffff, 0x0010 /* expect 0x7fff */ 1069 divide 0x0007ffff, 0x001f /* expect 0x4210 */ 1070 divide 0x0007ffff, 0x0020 /* expect 0x3fff */ 1071 divide 0x0007ffff, 0x003f /* expect 0x2082 */ 1072 divide 0x0007ffff, 0x0040 /* expect 0x1fff */ 1073 divide 0x0007ffff, 0x007f /* expect 0x1020 */ 1074 divide 0x0007ffff, 0x0080 /* expect 0x0fff */ 1075 divide 0x0007ffff, 0x00ff /* expect 0x0808 */ 1076 divide 0x0007ffff, 0x0100 /* expect 0x07ff */ 1077 divide 0x0007ffff, 0x01ff /* expect 0x0402 */ 1078 divide 0x0007ffff, 0x0200 /* expect 0x03ff */ 1079 divide 0x0007ffff, 0x03ff /* expect 0x0200 */ 1080 divide 0x0007ffff, 0x0400 /* expect 0x01ff */ 1081 divide 0x0007ffff, 0x07ff /* expect 0x0100 */ 1082 divide 0x0007ffff, 0x0800 /* expect 0x00ff */ 1083 divide 0x0007ffff, 0x0fff /* expect 0x0080 */ 1084 divide 0x0007ffff, 0x1000 /* expect 0x007f */ 1085 divide 0x0007ffff, 0x1fff /* expect 0x0040 */ 1086 divide 0x0007ffff, 0x2000 /* expect 0x003f */ 1087 divide 0x0007ffff, 0x3fff /* expect 0x0020 */ 1088 divide 0x0007ffff, 0x4000 /* expect 0x001f */ 1089 divide 0x0007ffff, 0x7fff /* expect 0x0010 */ 1090 divide 0x00080000, 0x001f /* expect 0x4210 */ 1091 divide 0x00080000, 0x0020 /* expect 0x4000 */ 1092 divide 0x00080000, 0x003f /* expect 0x2082 */ 1093 divide 0x00080000, 0x0040 /* expect 0x2000 */ 1094 divide 0x00080000, 0x007f /* expect 0x1020 */ 1095 divide 0x00080000, 0x0080 /* expect 0x1000 */ 1096 divide 0x00080000, 0x00ff /* expect 0x0808 */ 1097 divide 0x00080000, 0x0100 /* expect 0x0800 */ 1098 divide 0x00080000, 0x01ff /* expect 0x0402 */ 1099 divide 0x00080000, 0x0200 /* expect 0x0400 */ 1100 divide 0x00080000, 0x03ff /* expect 0x0200 */ 1101 divide 0x00080000, 0x0400 /* expect 0x0200 */ 1102 divide 0x00080000, 0x07ff /* expect 0x0100 */ 1103 divide 0x00080000, 0x0800 /* expect 0x0100 */ 1104 divide 0x00080000, 0x0fff /* expect 0x0080 */ 1105 divide 0x00080000, 0x1000 /* expect 0x0080 */ 1106 divide 0x00080000, 0x1fff /* expect 0x0040 */ 1107 divide 0x00080000, 0x2000 /* expect 0x0040 */ 1108 divide 0x00080000, 0x3fff /* expect 0x0020 */ 1109 divide 0x00080000, 0x4000 /* expect 0x0020 */ 1110 divide 0x00080000, 0x7fff /* expect 0x0010 */ 1111 divide 0x000fffff, 0x0020 /* expect 0x7fff */ 1112 divide 0x000fffff, 0x003f /* expect 0x4104 */ 1113 divide 0x000fffff, 0x0040 /* expect 0x3fff */ 1114 divide 0x000fffff, 0x007f /* expect 0x2040 */ 1115 divide 0x000fffff, 0x0080 /* expect 0x1fff */ 1116 divide 0x000fffff, 0x00ff /* expect 0x1010 */ 1117 divide 0x000fffff, 0x0100 /* expect 0x0fff */ 1118 divide 0x000fffff, 0x01ff /* expect 0x0804 */ 1119 divide 0x000fffff, 0x0200 /* expect 0x07ff */ 1120 divide 0x000fffff, 0x03ff /* expect 0x0401 */ 1121 divide 0x000fffff, 0x0400 /* expect 0x03ff */ 1122 divide 0x000fffff, 0x07ff /* expect 0x0200 */ 1123 divide 0x000fffff, 0x0800 /* expect 0x01ff */ 1124 divide 0x000fffff, 0x0fff /* expect 0x0100 */ 1125 divide 0x000fffff, 0x1000 /* expect 0x00ff */ 1126 divide 0x000fffff, 0x1fff /* expect 0x0080 */ 1127 divide 0x000fffff, 0x2000 /* expect 0x007f */ 1128 divide 0x000fffff, 0x3fff /* expect 0x0040 */ 1129 divide 0x000fffff, 0x4000 /* expect 0x003f */ 1130 divide 0x000fffff, 0x7fff /* expect 0x0020 */ 1131 divide 0x00100000, 0x003f /* expect 0x4104 */ 1132 divide 0x00100000, 0x0040 /* expect 0x4000 */ 1133 divide 0x00100000, 0x007f /* expect 0x2040 */ 1134 divide 0x00100000, 0x0080 /* expect 0x2000 */ 1135 divide 0x00100000, 0x00ff /* expect 0x1010 */ 1136 divide 0x00100000, 0x0100 /* expect 0x1000 */ 1137 divide 0x00100000, 0x01ff /* expect 0x0804 */ 1138 divide 0x00100000, 0x0200 /* expect 0x0800 */ 1139 divide 0x00100000, 0x03ff /* expect 0x0401 */ 1140 divide 0x00100000, 0x0400 /* expect 0x0400 */ 1141 divide 0x00100000, 0x07ff /* expect 0x0200 */ 1142 divide 0x00100000, 0x0800 /* expect 0x0200 */ 1143 divide 0x00100000, 0x0fff /* expect 0x0100 */ 1144 divide 0x00100000, 0x1000 /* expect 0x0100 */ 1145 divide 0x00100000, 0x1fff /* expect 0x0080 */ 1146 divide 0x00100000, 0x2000 /* expect 0x0080 */ 1147 divide 0x00100000, 0x3fff /* expect 0x0040 */ 1148 divide 0x00100000, 0x4000 /* expect 0x0040 */ 1149 divide 0x00100000, 0x7fff /* expect 0x0020 */ 1150 divide 0x001fffff, 0x0040 /* expect 0x7fff */ 1151 divide 0x001fffff, 0x007f /* expect 0x4081 */ 1152 divide 0x001fffff, 0x0080 /* expect 0x3fff */ 1153 divide 0x001fffff, 0x00ff /* expect 0x2020 */ 1154 divide 0x001fffff, 0x0100 /* expect 0x1fff */ 1155 divide 0x001fffff, 0x01ff /* expect 0x1008 */ 1156 divide 0x001fffff, 0x0200 /* expect 0x0fff */ 1157 divide 0x001fffff, 0x03ff /* expect 0x0802 */ 1158 divide 0x001fffff, 0x0400 /* expect 0x07ff */ 1159 divide 0x001fffff, 0x07ff /* expect 0x0400 */ 1160 divide 0x001fffff, 0x0800 /* expect 0x03ff */ 1161 divide 0x001fffff, 0x0fff /* expect 0x0200 */ 1162 divide 0x001fffff, 0x1000 /* expect 0x01ff */ 1163 divide 0x001fffff, 0x1fff /* expect 0x0100 */ 1164 divide 0x001fffff, 0x2000 /* expect 0x00ff */ 1165 divide 0x001fffff, 0x3fff /* expect 0x0080 */ 1166 divide 0x001fffff, 0x4000 /* expect 0x007f */ 1167 divide 0x001fffff, 0x7fff /* expect 0x0040 */ 1168 divide 0x00200000, 0x007f /* expect 0x4081 */ 1169 divide 0x00200000, 0x0080 /* expect 0x4000 */ 1170 divide 0x00200000, 0x00ff /* expect 0x2020 */ 1171 divide 0x00200000, 0x0100 /* expect 0x2000 */ 1172 divide 0x00200000, 0x01ff /* expect 0x1008 */ 1173 divide 0x00200000, 0x0200 /* expect 0x1000 */ 1174 divide 0x00200000, 0x03ff /* expect 0x0802 */ 1175 divide 0x00200000, 0x0400 /* expect 0x0800 */ 1176 divide 0x00200000, 0x07ff /* expect 0x0400 */ 1177 divide 0x00200000, 0x0800 /* expect 0x0400 */ 1178 divide 0x00200000, 0x0fff /* expect 0x0200 */ 1179 divide 0x00200000, 0x1000 /* expect 0x0200 */ 1180 divide 0x00200000, 0x1fff /* expect 0x0100 */ 1181 divide 0x00200000, 0x2000 /* expect 0x0100 */ 1182 divide 0x00200000, 0x3fff /* expect 0x0080 */ 1183 divide 0x00200000, 0x4000 /* expect 0x0080 */ 1184 divide 0x00200000, 0x7fff /* expect 0x0040 */ 1185 divide 0x003fffff, 0x0080 /* expect 0x7fff */ 1186 divide 0x003fffff, 0x00ff /* expect 0x4040 */ 1187 divide 0x003fffff, 0x0100 /* expect 0x3fff */ 1188 divide 0x003fffff, 0x01ff /* expect 0x2010 */ 1189 divide 0x003fffff, 0x0200 /* expect 0x1fff */ 1190 divide 0x003fffff, 0x03ff /* expect 0x1004 */ 1191 divide 0x003fffff, 0x0400 /* expect 0x0fff */ 1192 divide 0x003fffff, 0x07ff /* expect 0x0801 */ 1193 divide 0x003fffff, 0x0800 /* expect 0x07ff */ 1194 divide 0x003fffff, 0x0fff /* expect 0x0400 */ 1195 divide 0x003fffff, 0x1000 /* expect 0x03ff */ 1196 divide 0x003fffff, 0x1fff /* expect 0x0200 */ 1197 divide 0x003fffff, 0x2000 /* expect 0x01ff */ 1198 divide 0x003fffff, 0x3fff /* expect 0x0100 */ 1199 divide 0x003fffff, 0x4000 /* expect 0x00ff */ 1200 divide 0x003fffff, 0x7fff /* expect 0x0080 */ 1201 divide 0x00400000, 0x00ff /* expect 0x4040 */ 1202 divide 0x00400000, 0x0100 /* expect 0x4000 */ 1203 divide 0x00400000, 0x01ff /* expect 0x2010 */ 1204 divide 0x00400000, 0x0200 /* expect 0x2000 */ 1205 divide 0x00400000, 0x03ff /* expect 0x1004 */ 1206 divide 0x00400000, 0x0400 /* expect 0x1000 */ 1207 divide 0x00400000, 0x07ff /* expect 0x0801 */ 1208 divide 0x00400000, 0x0800 /* expect 0x0800 */ 1209 divide 0x00400000, 0x0fff /* expect 0x0400 */ 1210 divide 0x00400000, 0x1000 /* expect 0x0400 */ 1211 divide 0x00400000, 0x1fff /* expect 0x0200 */ 1212 divide 0x00400000, 0x2000 /* expect 0x0200 */ 1213 divide 0x00400000, 0x3fff /* expect 0x0100 */ 1214 divide 0x00400000, 0x4000 /* expect 0x0100 */ 1215 divide 0x00400000, 0x7fff /* expect 0x0080 */ 1216 divide 0x007fffff, 0x0100 /* expect 0x7fff */ 1217 divide 0x007fffff, 0x01ff /* expect 0x4020 */ 1218 divide 0x007fffff, 0x0200 /* expect 0x3fff */ 1219 divide 0x007fffff, 0x03ff /* expect 0x2008 */ 1220 divide 0x007fffff, 0x0400 /* expect 0x1fff */ 1221 divide 0x007fffff, 0x07ff /* expect 0x1002 */ 1222 divide 0x007fffff, 0x0800 /* expect 0x0fff */ 1223 divide 0x007fffff, 0x0fff /* expect 0x0800 */ 1224 divide 0x007fffff, 0x1000 /* expect 0x07ff */ 1225 divide 0x007fffff, 0x1fff /* expect 0x0400 */ 1226 divide 0x007fffff, 0x2000 /* expect 0x03ff */ 1227 divide 0x007fffff, 0x3fff /* expect 0x0200 */ 1228 divide 0x007fffff, 0x4000 /* expect 0x01ff */ 1229 divide 0x007fffff, 0x7fff /* expect 0x0100 */ 1230 divide 0x00800000, 0x01ff /* expect 0x4020 */ 1231 divide 0x00800000, 0x0200 /* expect 0x4000 */ 1232 divide 0x00800000, 0x03ff /* expect 0x2008 */ 1233 divide 0x00800000, 0x0400 /* expect 0x2000 */ 1234 divide 0x00800000, 0x07ff /* expect 0x1002 */ 1235 divide 0x00800000, 0x0800 /* expect 0x1000 */ 1236 divide 0x00800000, 0x0fff /* expect 0x0800 */ 1237 divide 0x00800000, 0x1000 /* expect 0x0800 */ 1238 divide 0x00800000, 0x1fff /* expect 0x0400 */ 1239 divide 0x00800000, 0x2000 /* expect 0x0400 */ 1240 divide 0x00800000, 0x3fff /* expect 0x0200 */ 1241 divide 0x00800000, 0x4000 /* expect 0x0200 */ 1242 divide 0x00800000, 0x7fff /* expect 0x0100 */ 1243 divide 0x00ffffff, 0x0200 /* expect 0x7fff */ 1244 divide 0x00ffffff, 0x03ff /* expect 0x4010 */ 1245 divide 0x00ffffff, 0x0400 /* expect 0x3fff */ 1246 divide 0x00ffffff, 0x07ff /* expect 0x2004 */ 1247 divide 0x00ffffff, 0x0800 /* expect 0x1fff */ 1248 divide 0x00ffffff, 0x0fff /* expect 0x1001 */ 1249 divide 0x00ffffff, 0x1000 /* expect 0x0fff */ 1250 divide 0x00ffffff, 0x1fff /* expect 0x0800 */ 1251 divide 0x00ffffff, 0x2000 /* expect 0x07ff */ 1252 divide 0x00ffffff, 0x3fff /* expect 0x0400 */ 1253 divide 0x00ffffff, 0x4000 /* expect 0x03ff */ 1254 divide 0x00ffffff, 0x7fff /* expect 0x0200 */ 1255 divide 0x01000000, 0x03ff /* expect 0x4010 */ 1256 divide 0x01000000, 0x0400 /* expect 0x4000 */ 1257 divide 0x01000000, 0x07ff /* expect 0x2004 */ 1258 divide 0x01000000, 0x0800 /* expect 0x2000 */ 1259 divide 0x01000000, 0x0fff /* expect 0x1001 */ 1260 divide 0x01000000, 0x1000 /* expect 0x1000 */ 1261 divide 0x01000000, 0x1fff /* expect 0x0800 */ 1262 divide 0x01000000, 0x2000 /* expect 0x0800 */ 1263 divide 0x01000000, 0x3fff /* expect 0x0400 */ 1264 divide 0x01000000, 0x4000 /* expect 0x0400 */ 1265 divide 0x01000000, 0x7fff /* expect 0x0200 */ 1266 divide 0x01ffffff, 0x0400 /* expect 0x7fff */ 1267 divide 0x01ffffff, 0x07ff /* expect 0x4008 */ 1268 divide 0x01ffffff, 0x0800 /* expect 0x3fff */ 1269 divide 0x01ffffff, 0x0fff /* expect 0x2002 */ 1270 divide 0x01ffffff, 0x1000 /* expect 0x1fff */ 1271 divide 0x01ffffff, 0x1fff /* expect 0x1000 */ 1272 divide 0x01ffffff, 0x2000 /* expect 0x0fff */ 1273 divide 0x01ffffff, 0x3fff /* expect 0x0800 */ 1274 divide 0x01ffffff, 0x4000 /* expect 0x07ff */ 1275 divide 0x01ffffff, 0x7fff /* expect 0x0400 */ 1276 divide 0x02000000, 0x07ff /* expect 0x4008 */ 1277 divide 0x02000000, 0x0800 /* expect 0x4000 */ 1278 divide 0x02000000, 0x0fff /* expect 0x2002 */ 1279 divide 0x02000000, 0x1000 /* expect 0x2000 */ 1280 divide 0x02000000, 0x1fff /* expect 0x1000 */ 1281 divide 0x02000000, 0x2000 /* expect 0x1000 */ 1282 divide 0x02000000, 0x3fff /* expect 0x0800 */ 1283 divide 0x02000000, 0x4000 /* expect 0x0800 */ 1284 divide 0x02000000, 0x7fff /* expect 0x0400 */ 1285 divide 0x03ffffff, 0x0800 /* expect 0x7fff */ 1286 divide 0x03ffffff, 0x0fff /* expect 0x4004 */ 1287 divide 0x03ffffff, 0x1000 /* expect 0x3fff */ 1288 divide 0x03ffffff, 0x1fff /* expect 0x2001 */ 1289 divide 0x03ffffff, 0x2000 /* expect 0x1fff */ 1290 divide 0x03ffffff, 0x3fff /* expect 0x1000 */ 1291 divide 0x03ffffff, 0x4000 /* expect 0x0fff */ 1292 divide 0x03ffffff, 0x7fff /* expect 0x0800 */ 1293 divide 0x04000000, 0x0fff /* expect 0x4004 */ 1294 divide 0x04000000, 0x1000 /* expect 0x4000 */ 1295 divide 0x04000000, 0x1fff /* expect 0x2001 */ 1296 divide 0x04000000, 0x2000 /* expect 0x2000 */ 1297 divide 0x04000000, 0x3fff /* expect 0x1000 */ 1298 divide 0x04000000, 0x4000 /* expect 0x1000 */ 1299 divide 0x04000000, 0x7fff /* expect 0x0800 */ 1300 divide 0x07ffffff, 0x1000 /* expect 0x7fff */ 1301 divide 0x07ffffff, 0x1fff /* expect 0x4002 */ 1302 divide 0x07ffffff, 0x2000 /* expect 0x3fff */ 1303 divide 0x07ffffff, 0x3fff /* expect 0x2000 */ 1304 divide 0x07ffffff, 0x4000 /* expect 0x1fff */ 1305 divide 0x07ffffff, 0x7fff /* expect 0x1000 */ 1306 divide 0x08000000, 0x1fff /* expect 0x4002 */ 1307 divide 0x08000000, 0x2000 /* expect 0x4000 */ 1308 divide 0x08000000, 0x3fff /* expect 0x2000 */ 1309 divide 0x08000000, 0x4000 /* expect 0x2000 */ 1310 divide 0x08000000, 0x7fff /* expect 0x1000 */ 1311 divide 0x0fffffff, 0x2000 /* expect 0x7fff */ 1312 divide 0x0fffffff, 0x3fff /* expect 0x4001 */ 1313 divide 0x0fffffff, 0x4000 /* expect 0x3fff */ 1314 divide 0x0fffffff, 0x7fff /* expect 0x2000 */ 1315 divide 0x10000000, 0x3fff /* expect 0x4001 */ 1316 divide 0x10000000, 0x4000 /* expect 0x4000 */ 1317 divide 0x10000000, 0x7fff /* expect 0x2000 */ 1318 divide 0x1fffffff, 0x4000 /* expect 0x7fff */ 1319 divide 0x1fffffff, 0x7fff /* expect 0x4000 */ 1320 divide 0x20000000, 0x7fff /* expect 0x4000 */ 1321 1322 pass 1323