binutils-gdb/sim/testsuite/bfin/divq.s
Mike Frysinger 1368b914e9 sim: testsuite: flatten tree
Now that all port tests live under testsuite/sim/*/, and none live
in testsuite/ directly, flatten the structure by moving all of the
dirs under testsuite/sim/ to testsuite/ directly.

We need to stop passing --tool to dejagnu so that it searches all
dirs and not just ones that start with "sim".  Since we have no
other dirs in this tree, and no plans to add any, should be fine.
2021-01-15 19:18:34 -05:00

1323 lines
76 KiB
ArmAsm

# Blackfin testcase for divide instructions
# mach: bfin
.include "testutils.inc"
start
/*
* Evaluate given a signed integer dividend and signed interger divisor
* input is:
* r0 = dividend, or numerator
* r1 = divisor, or denominator
* output is:
* r0 = quotient (16-bits)
*/
.macro divide num:req, den:req
imm32 r0 \num
r1 = \den (Z);
r0 <<= 1; /* Left shift dividend by 1 needed for integer division */
p0 = 15; /* Evaluate the quotient to 16 bits. */
/* Initialize AQ status bit and dividend for the DIVQ loop. */
divs (r0, r1);
/* Evaluate DIVQ p0=15 times. */
lsetup (1f, 1f) lc0=p0;
1:
divq (r0, r1);
/* Sign extend the 16-bit quotient to 32bits. */
r0 = r0.l (x);
imm32 r1, (\num / \den);
CC = r0 == r1
if CC jump 2f;
fail
2:
.endm
/* test a bunch of values, making sure not to :
* - exceed a signed 16-bit divisor
* - exceed a signed 16-bit answer
*/
divide 0x00000001, 0x0001 /* expect 0x0001 */
divide 0x00000001, 0x0002 /* expect 0x0000 */
divide 0x00000001, 0x0003 /* expect 0x0000 */
divide 0x00000001, 0x0004 /* expect 0x0000 */
divide 0x00000001, 0x0007 /* expect 0x0000 */
divide 0x00000001, 0x0008 /* expect 0x0000 */
divide 0x00000001, 0x000f /* expect 0x0000 */
divide 0x00000001, 0x0010 /* expect 0x0000 */
divide 0x00000001, 0x001f /* expect 0x0000 */
divide 0x00000001, 0x0020 /* expect 0x0000 */
divide 0x00000001, 0x003f /* expect 0x0000 */
divide 0x00000001, 0x0040 /* expect 0x0000 */
divide 0x00000001, 0x007f /* expect 0x0000 */
divide 0x00000001, 0x0080 /* expect 0x0000 */
divide 0x00000001, 0x00ff /* expect 0x0000 */
divide 0x00000001, 0x0100 /* expect 0x0000 */
divide 0x00000001, 0x01ff /* expect 0x0000 */
divide 0x00000001, 0x0200 /* expect 0x0000 */
divide 0x00000001, 0x03ff /* expect 0x0000 */
divide 0x00000001, 0x0400 /* expect 0x0000 */
divide 0x00000001, 0x07ff /* expect 0x0000 */
divide 0x00000001, 0x0800 /* expect 0x0000 */
divide 0x00000001, 0x0fff /* expect 0x0000 */
divide 0x00000001, 0x1000 /* expect 0x0000 */
divide 0x00000001, 0x1fff /* expect 0x0000 */
divide 0x00000001, 0x2000 /* expect 0x0000 */
divide 0x00000001, 0x3fff /* expect 0x0000 */
divide 0x00000001, 0x4000 /* expect 0x0000 */
divide 0x00000001, 0x7fff /* expect 0x0000 */
divide 0x00000002, 0x0001 /* expect 0x0002 */
divide 0x00000002, 0x0002 /* expect 0x0001 */
divide 0x00000002, 0x0003 /* expect 0x0000 */
divide 0x00000002, 0x0004 /* expect 0x0000 */
divide 0x00000002, 0x0007 /* expect 0x0000 */
divide 0x00000002, 0x0008 /* expect 0x0000 */
divide 0x00000002, 0x000f /* expect 0x0000 */
divide 0x00000002, 0x0010 /* expect 0x0000 */
divide 0x00000002, 0x001f /* expect 0x0000 */
divide 0x00000002, 0x0020 /* expect 0x0000 */
divide 0x00000002, 0x003f /* expect 0x0000 */
divide 0x00000002, 0x0040 /* expect 0x0000 */
divide 0x00000002, 0x007f /* expect 0x0000 */
divide 0x00000002, 0x0080 /* expect 0x0000 */
divide 0x00000002, 0x00ff /* expect 0x0000 */
divide 0x00000002, 0x0100 /* expect 0x0000 */
divide 0x00000002, 0x01ff /* expect 0x0000 */
divide 0x00000002, 0x0200 /* expect 0x0000 */
divide 0x00000002, 0x03ff /* expect 0x0000 */
divide 0x00000002, 0x0400 /* expect 0x0000 */
divide 0x00000002, 0x07ff /* expect 0x0000 */
divide 0x00000002, 0x0800 /* expect 0x0000 */
divide 0x00000002, 0x0fff /* expect 0x0000 */
divide 0x00000002, 0x1000 /* expect 0x0000 */
divide 0x00000002, 0x1fff /* expect 0x0000 */
divide 0x00000002, 0x2000 /* expect 0x0000 */
divide 0x00000002, 0x3fff /* expect 0x0000 */
divide 0x00000002, 0x4000 /* expect 0x0000 */
divide 0x00000002, 0x7fff /* expect 0x0000 */
divide 0x00000003, 0x0001 /* expect 0x0003 */
divide 0x00000003, 0x0002 /* expect 0x0001 */
divide 0x00000003, 0x0003 /* expect 0x0001 */
divide 0x00000003, 0x0004 /* expect 0x0000 */
divide 0x00000003, 0x0007 /* expect 0x0000 */
divide 0x00000003, 0x0008 /* expect 0x0000 */
divide 0x00000003, 0x000f /* expect 0x0000 */
divide 0x00000003, 0x0010 /* expect 0x0000 */
divide 0x00000003, 0x001f /* expect 0x0000 */
divide 0x00000003, 0x0020 /* expect 0x0000 */
divide 0x00000003, 0x003f /* expect 0x0000 */
divide 0x00000003, 0x0040 /* expect 0x0000 */
divide 0x00000003, 0x007f /* expect 0x0000 */
divide 0x00000003, 0x0080 /* expect 0x0000 */
divide 0x00000003, 0x00ff /* expect 0x0000 */
divide 0x00000003, 0x0100 /* expect 0x0000 */
divide 0x00000003, 0x01ff /* expect 0x0000 */
divide 0x00000003, 0x0200 /* expect 0x0000 */
divide 0x00000003, 0x03ff /* expect 0x0000 */
divide 0x00000003, 0x0400 /* expect 0x0000 */
divide 0x00000003, 0x07ff /* expect 0x0000 */
divide 0x00000003, 0x0800 /* expect 0x0000 */
divide 0x00000003, 0x0fff /* expect 0x0000 */
divide 0x00000003, 0x1000 /* expect 0x0000 */
divide 0x00000003, 0x1fff /* expect 0x0000 */
divide 0x00000003, 0x2000 /* expect 0x0000 */
divide 0x00000003, 0x3fff /* expect 0x0000 */
divide 0x00000003, 0x4000 /* expect 0x0000 */
divide 0x00000003, 0x7fff /* expect 0x0000 */
divide 0x00000004, 0x0001 /* expect 0x0004 */
divide 0x00000004, 0x0002 /* expect 0x0002 */
divide 0x00000004, 0x0003 /* expect 0x0001 */
divide 0x00000004, 0x0004 /* expect 0x0001 */
divide 0x00000004, 0x0007 /* expect 0x0000 */
divide 0x00000004, 0x0008 /* expect 0x0000 */
divide 0x00000004, 0x000f /* expect 0x0000 */
divide 0x00000004, 0x0010 /* expect 0x0000 */
divide 0x00000004, 0x001f /* expect 0x0000 */
divide 0x00000004, 0x0020 /* expect 0x0000 */
divide 0x00000004, 0x003f /* expect 0x0000 */
divide 0x00000004, 0x0040 /* expect 0x0000 */
divide 0x00000004, 0x007f /* expect 0x0000 */
divide 0x00000004, 0x0080 /* expect 0x0000 */
divide 0x00000004, 0x00ff /* expect 0x0000 */
divide 0x00000004, 0x0100 /* expect 0x0000 */
divide 0x00000004, 0x01ff /* expect 0x0000 */
divide 0x00000004, 0x0200 /* expect 0x0000 */
divide 0x00000004, 0x03ff /* expect 0x0000 */
divide 0x00000004, 0x0400 /* expect 0x0000 */
divide 0x00000004, 0x07ff /* expect 0x0000 */
divide 0x00000004, 0x0800 /* expect 0x0000 */
divide 0x00000004, 0x0fff /* expect 0x0000 */
divide 0x00000004, 0x1000 /* expect 0x0000 */
divide 0x00000004, 0x1fff /* expect 0x0000 */
divide 0x00000004, 0x2000 /* expect 0x0000 */
divide 0x00000004, 0x3fff /* expect 0x0000 */
divide 0x00000004, 0x4000 /* expect 0x0000 */
divide 0x00000004, 0x7fff /* expect 0x0000 */
divide 0x00000007, 0x0001 /* expect 0x0007 */
divide 0x00000007, 0x0002 /* expect 0x0003 */
divide 0x00000007, 0x0003 /* expect 0x0002 */
divide 0x00000007, 0x0004 /* expect 0x0001 */
divide 0x00000007, 0x0007 /* expect 0x0001 */
divide 0x00000007, 0x0008 /* expect 0x0000 */
divide 0x00000007, 0x000f /* expect 0x0000 */
divide 0x00000007, 0x0010 /* expect 0x0000 */
divide 0x00000007, 0x001f /* expect 0x0000 */
divide 0x00000007, 0x0020 /* expect 0x0000 */
divide 0x00000007, 0x003f /* expect 0x0000 */
divide 0x00000007, 0x0040 /* expect 0x0000 */
divide 0x00000007, 0x007f /* expect 0x0000 */
divide 0x00000007, 0x0080 /* expect 0x0000 */
divide 0x00000007, 0x00ff /* expect 0x0000 */
divide 0x00000007, 0x0100 /* expect 0x0000 */
divide 0x00000007, 0x01ff /* expect 0x0000 */
divide 0x00000007, 0x0200 /* expect 0x0000 */
divide 0x00000007, 0x03ff /* expect 0x0000 */
divide 0x00000007, 0x0400 /* expect 0x0000 */
divide 0x00000007, 0x07ff /* expect 0x0000 */
divide 0x00000007, 0x0800 /* expect 0x0000 */
divide 0x00000007, 0x0fff /* expect 0x0000 */
divide 0x00000007, 0x1000 /* expect 0x0000 */
divide 0x00000007, 0x1fff /* expect 0x0000 */
divide 0x00000007, 0x2000 /* expect 0x0000 */
divide 0x00000007, 0x3fff /* expect 0x0000 */
divide 0x00000007, 0x4000 /* expect 0x0000 */
divide 0x00000007, 0x7fff /* expect 0x0000 */
divide 0x00000008, 0x0001 /* expect 0x0008 */
divide 0x00000008, 0x0002 /* expect 0x0004 */
divide 0x00000008, 0x0003 /* expect 0x0002 */
divide 0x00000008, 0x0004 /* expect 0x0002 */
divide 0x00000008, 0x0007 /* expect 0x0001 */
divide 0x00000008, 0x0008 /* expect 0x0001 */
divide 0x00000008, 0x000f /* expect 0x0000 */
divide 0x00000008, 0x0010 /* expect 0x0000 */
divide 0x00000008, 0x001f /* expect 0x0000 */
divide 0x00000008, 0x0020 /* expect 0x0000 */
divide 0x00000008, 0x003f /* expect 0x0000 */
divide 0x00000008, 0x0040 /* expect 0x0000 */
divide 0x00000008, 0x007f /* expect 0x0000 */
divide 0x00000008, 0x0080 /* expect 0x0000 */
divide 0x00000008, 0x00ff /* expect 0x0000 */
divide 0x00000008, 0x0100 /* expect 0x0000 */
divide 0x00000008, 0x01ff /* expect 0x0000 */
divide 0x00000008, 0x0200 /* expect 0x0000 */
divide 0x00000008, 0x03ff /* expect 0x0000 */
divide 0x00000008, 0x0400 /* expect 0x0000 */
divide 0x00000008, 0x07ff /* expect 0x0000 */
divide 0x00000008, 0x0800 /* expect 0x0000 */
divide 0x00000008, 0x0fff /* expect 0x0000 */
divide 0x00000008, 0x1000 /* expect 0x0000 */
divide 0x00000008, 0x1fff /* expect 0x0000 */
divide 0x00000008, 0x2000 /* expect 0x0000 */
divide 0x00000008, 0x3fff /* expect 0x0000 */
divide 0x00000008, 0x4000 /* expect 0x0000 */
divide 0x00000008, 0x7fff /* expect 0x0000 */
divide 0x0000000f, 0x0001 /* expect 0x000f */
divide 0x0000000f, 0x0002 /* expect 0x0007 */
divide 0x0000000f, 0x0003 /* expect 0x0005 */
divide 0x0000000f, 0x0004 /* expect 0x0003 */
divide 0x0000000f, 0x0007 /* expect 0x0002 */
divide 0x0000000f, 0x0008 /* expect 0x0001 */
divide 0x0000000f, 0x000f /* expect 0x0001 */
divide 0x0000000f, 0x0010 /* expect 0x0000 */
divide 0x0000000f, 0x001f /* expect 0x0000 */
divide 0x0000000f, 0x0020 /* expect 0x0000 */
divide 0x0000000f, 0x003f /* expect 0x0000 */
divide 0x0000000f, 0x0040 /* expect 0x0000 */
divide 0x0000000f, 0x007f /* expect 0x0000 */
divide 0x0000000f, 0x0080 /* expect 0x0000 */
divide 0x0000000f, 0x00ff /* expect 0x0000 */
divide 0x0000000f, 0x0100 /* expect 0x0000 */
divide 0x0000000f, 0x01ff /* expect 0x0000 */
divide 0x0000000f, 0x0200 /* expect 0x0000 */
divide 0x0000000f, 0x03ff /* expect 0x0000 */
divide 0x0000000f, 0x0400 /* expect 0x0000 */
divide 0x0000000f, 0x07ff /* expect 0x0000 */
divide 0x0000000f, 0x0800 /* expect 0x0000 */
divide 0x0000000f, 0x0fff /* expect 0x0000 */
divide 0x0000000f, 0x1000 /* expect 0x0000 */
divide 0x0000000f, 0x1fff /* expect 0x0000 */
divide 0x0000000f, 0x2000 /* expect 0x0000 */
divide 0x0000000f, 0x3fff /* expect 0x0000 */
divide 0x0000000f, 0x4000 /* expect 0x0000 */
divide 0x0000000f, 0x7fff /* expect 0x0000 */
divide 0x00000010, 0x0001 /* expect 0x0010 */
divide 0x00000010, 0x0002 /* expect 0x0008 */
divide 0x00000010, 0x0003 /* expect 0x0005 */
divide 0x00000010, 0x0004 /* expect 0x0004 */
divide 0x00000010, 0x0007 /* expect 0x0002 */
divide 0x00000010, 0x0008 /* expect 0x0002 */
divide 0x00000010, 0x000f /* expect 0x0001 */
divide 0x00000010, 0x0010 /* expect 0x0001 */
divide 0x00000010, 0x001f /* expect 0x0000 */
divide 0x00000010, 0x0020 /* expect 0x0000 */
divide 0x00000010, 0x003f /* expect 0x0000 */
divide 0x00000010, 0x0040 /* expect 0x0000 */
divide 0x00000010, 0x007f /* expect 0x0000 */
divide 0x00000010, 0x0080 /* expect 0x0000 */
divide 0x00000010, 0x00ff /* expect 0x0000 */
divide 0x00000010, 0x0100 /* expect 0x0000 */
divide 0x00000010, 0x01ff /* expect 0x0000 */
divide 0x00000010, 0x0200 /* expect 0x0000 */
divide 0x00000010, 0x03ff /* expect 0x0000 */
divide 0x00000010, 0x0400 /* expect 0x0000 */
divide 0x00000010, 0x07ff /* expect 0x0000 */
divide 0x00000010, 0x0800 /* expect 0x0000 */
divide 0x00000010, 0x0fff /* expect 0x0000 */
divide 0x00000010, 0x1000 /* expect 0x0000 */
divide 0x00000010, 0x1fff /* expect 0x0000 */
divide 0x00000010, 0x2000 /* expect 0x0000 */
divide 0x00000010, 0x3fff /* expect 0x0000 */
divide 0x00000010, 0x4000 /* expect 0x0000 */
divide 0x00000010, 0x7fff /* expect 0x0000 */
divide 0x0000001f, 0x0001 /* expect 0x001f */
divide 0x0000001f, 0x0002 /* expect 0x000f */
divide 0x0000001f, 0x0003 /* expect 0x000a */
divide 0x0000001f, 0x0004 /* expect 0x0007 */
divide 0x0000001f, 0x0007 /* expect 0x0004 */
divide 0x0000001f, 0x0008 /* expect 0x0003 */
divide 0x0000001f, 0x000f /* expect 0x0002 */
divide 0x0000001f, 0x0010 /* expect 0x0001 */
divide 0x0000001f, 0x001f /* expect 0x0001 */
divide 0x0000001f, 0x0020 /* expect 0x0000 */
divide 0x0000001f, 0x003f /* expect 0x0000 */
divide 0x0000001f, 0x0040 /* expect 0x0000 */
divide 0x0000001f, 0x007f /* expect 0x0000 */
divide 0x0000001f, 0x0080 /* expect 0x0000 */
divide 0x0000001f, 0x00ff /* expect 0x0000 */
divide 0x0000001f, 0x0100 /* expect 0x0000 */
divide 0x0000001f, 0x01ff /* expect 0x0000 */
divide 0x0000001f, 0x0200 /* expect 0x0000 */
divide 0x0000001f, 0x03ff /* expect 0x0000 */
divide 0x0000001f, 0x0400 /* expect 0x0000 */
divide 0x0000001f, 0x07ff /* expect 0x0000 */
divide 0x0000001f, 0x0800 /* expect 0x0000 */
divide 0x0000001f, 0x0fff /* expect 0x0000 */
divide 0x0000001f, 0x1000 /* expect 0x0000 */
divide 0x0000001f, 0x1fff /* expect 0x0000 */
divide 0x0000001f, 0x2000 /* expect 0x0000 */
divide 0x0000001f, 0x3fff /* expect 0x0000 */
divide 0x0000001f, 0x4000 /* expect 0x0000 */
divide 0x0000001f, 0x7fff /* expect 0x0000 */
divide 0x00000020, 0x0001 /* expect 0x0020 */
divide 0x00000020, 0x0002 /* expect 0x0010 */
divide 0x00000020, 0x0003 /* expect 0x000a */
divide 0x00000020, 0x0004 /* expect 0x0008 */
divide 0x00000020, 0x0007 /* expect 0x0004 */
divide 0x00000020, 0x0008 /* expect 0x0004 */
divide 0x00000020, 0x000f /* expect 0x0002 */
divide 0x00000020, 0x0010 /* expect 0x0002 */
divide 0x00000020, 0x001f /* expect 0x0001 */
divide 0x00000020, 0x0020 /* expect 0x0001 */
divide 0x00000020, 0x003f /* expect 0x0000 */
divide 0x00000020, 0x0040 /* expect 0x0000 */
divide 0x00000020, 0x007f /* expect 0x0000 */
divide 0x00000020, 0x0080 /* expect 0x0000 */
divide 0x00000020, 0x00ff /* expect 0x0000 */
divide 0x00000020, 0x0100 /* expect 0x0000 */
divide 0x00000020, 0x01ff /* expect 0x0000 */
divide 0x00000020, 0x0200 /* expect 0x0000 */
divide 0x00000020, 0x03ff /* expect 0x0000 */
divide 0x00000020, 0x0400 /* expect 0x0000 */
divide 0x00000020, 0x07ff /* expect 0x0000 */
divide 0x00000020, 0x0800 /* expect 0x0000 */
divide 0x00000020, 0x0fff /* expect 0x0000 */
divide 0x00000020, 0x1000 /* expect 0x0000 */
divide 0x00000020, 0x1fff /* expect 0x0000 */
divide 0x00000020, 0x2000 /* expect 0x0000 */
divide 0x00000020, 0x3fff /* expect 0x0000 */
divide 0x00000020, 0x4000 /* expect 0x0000 */
divide 0x00000020, 0x7fff /* expect 0x0000 */
divide 0x0000003f, 0x0001 /* expect 0x003f */
divide 0x0000003f, 0x0002 /* expect 0x001f */
divide 0x0000003f, 0x0003 /* expect 0x0015 */
divide 0x0000003f, 0x0004 /* expect 0x000f */
divide 0x0000003f, 0x0007 /* expect 0x0009 */
divide 0x0000003f, 0x0008 /* expect 0x0007 */
divide 0x0000003f, 0x000f /* expect 0x0004 */
divide 0x0000003f, 0x0010 /* expect 0x0003 */
divide 0x0000003f, 0x001f /* expect 0x0002 */
divide 0x0000003f, 0x0020 /* expect 0x0001 */
divide 0x0000003f, 0x003f /* expect 0x0001 */
divide 0x0000003f, 0x0040 /* expect 0x0000 */
divide 0x0000003f, 0x007f /* expect 0x0000 */
divide 0x0000003f, 0x0080 /* expect 0x0000 */
divide 0x0000003f, 0x00ff /* expect 0x0000 */
divide 0x0000003f, 0x0100 /* expect 0x0000 */
divide 0x0000003f, 0x01ff /* expect 0x0000 */
divide 0x0000003f, 0x0200 /* expect 0x0000 */
divide 0x0000003f, 0x03ff /* expect 0x0000 */
divide 0x0000003f, 0x0400 /* expect 0x0000 */
divide 0x0000003f, 0x07ff /* expect 0x0000 */
divide 0x0000003f, 0x0800 /* expect 0x0000 */
divide 0x0000003f, 0x0fff /* expect 0x0000 */
divide 0x0000003f, 0x1000 /* expect 0x0000 */
divide 0x0000003f, 0x1fff /* expect 0x0000 */
divide 0x0000003f, 0x2000 /* expect 0x0000 */
divide 0x0000003f, 0x3fff /* expect 0x0000 */
divide 0x0000003f, 0x4000 /* expect 0x0000 */
divide 0x0000003f, 0x7fff /* expect 0x0000 */
divide 0x00000040, 0x0001 /* expect 0x0040 */
divide 0x00000040, 0x0002 /* expect 0x0020 */
divide 0x00000040, 0x0003 /* expect 0x0015 */
divide 0x00000040, 0x0004 /* expect 0x0010 */
divide 0x00000040, 0x0007 /* expect 0x0009 */
divide 0x00000040, 0x0008 /* expect 0x0008 */
divide 0x00000040, 0x000f /* expect 0x0004 */
divide 0x00000040, 0x0010 /* expect 0x0004 */
divide 0x00000040, 0x001f /* expect 0x0002 */
divide 0x00000040, 0x0020 /* expect 0x0002 */
divide 0x00000040, 0x003f /* expect 0x0001 */
divide 0x00000040, 0x0040 /* expect 0x0001 */
divide 0x00000040, 0x007f /* expect 0x0000 */
divide 0x00000040, 0x0080 /* expect 0x0000 */
divide 0x00000040, 0x00ff /* expect 0x0000 */
divide 0x00000040, 0x0100 /* expect 0x0000 */
divide 0x00000040, 0x01ff /* expect 0x0000 */
divide 0x00000040, 0x0200 /* expect 0x0000 */
divide 0x00000040, 0x03ff /* expect 0x0000 */
divide 0x00000040, 0x0400 /* expect 0x0000 */
divide 0x00000040, 0x07ff /* expect 0x0000 */
divide 0x00000040, 0x0800 /* expect 0x0000 */
divide 0x00000040, 0x0fff /* expect 0x0000 */
divide 0x00000040, 0x1000 /* expect 0x0000 */
divide 0x00000040, 0x1fff /* expect 0x0000 */
divide 0x00000040, 0x2000 /* expect 0x0000 */
divide 0x00000040, 0x3fff /* expect 0x0000 */
divide 0x00000040, 0x4000 /* expect 0x0000 */
divide 0x00000040, 0x7fff /* expect 0x0000 */
divide 0x0000007f, 0x0001 /* expect 0x007f */
divide 0x0000007f, 0x0002 /* expect 0x003f */
divide 0x0000007f, 0x0003 /* expect 0x002a */
divide 0x0000007f, 0x0004 /* expect 0x001f */
divide 0x0000007f, 0x0007 /* expect 0x0012 */
divide 0x0000007f, 0x0008 /* expect 0x000f */
divide 0x0000007f, 0x000f /* expect 0x0008 */
divide 0x0000007f, 0x0010 /* expect 0x0007 */
divide 0x0000007f, 0x001f /* expect 0x0004 */
divide 0x0000007f, 0x0020 /* expect 0x0003 */
divide 0x0000007f, 0x003f /* expect 0x0002 */
divide 0x0000007f, 0x0040 /* expect 0x0001 */
divide 0x0000007f, 0x007f /* expect 0x0001 */
divide 0x0000007f, 0x0080 /* expect 0x0000 */
divide 0x0000007f, 0x00ff /* expect 0x0000 */
divide 0x0000007f, 0x0100 /* expect 0x0000 */
divide 0x0000007f, 0x01ff /* expect 0x0000 */
divide 0x0000007f, 0x0200 /* expect 0x0000 */
divide 0x0000007f, 0x03ff /* expect 0x0000 */
divide 0x0000007f, 0x0400 /* expect 0x0000 */
divide 0x0000007f, 0x07ff /* expect 0x0000 */
divide 0x0000007f, 0x0800 /* expect 0x0000 */
divide 0x0000007f, 0x0fff /* expect 0x0000 */
divide 0x0000007f, 0x1000 /* expect 0x0000 */
divide 0x0000007f, 0x1fff /* expect 0x0000 */
divide 0x0000007f, 0x2000 /* expect 0x0000 */
divide 0x0000007f, 0x3fff /* expect 0x0000 */
divide 0x0000007f, 0x4000 /* expect 0x0000 */
divide 0x0000007f, 0x7fff /* expect 0x0000 */
divide 0x00000080, 0x0001 /* expect 0x0080 */
divide 0x00000080, 0x0002 /* expect 0x0040 */
divide 0x00000080, 0x0003 /* expect 0x002a */
divide 0x00000080, 0x0004 /* expect 0x0020 */
divide 0x00000080, 0x0007 /* expect 0x0012 */
divide 0x00000080, 0x0008 /* expect 0x0010 */
divide 0x00000080, 0x000f /* expect 0x0008 */
divide 0x00000080, 0x0010 /* expect 0x0008 */
divide 0x00000080, 0x001f /* expect 0x0004 */
divide 0x00000080, 0x0020 /* expect 0x0004 */
divide 0x00000080, 0x003f /* expect 0x0002 */
divide 0x00000080, 0x0040 /* expect 0x0002 */
divide 0x00000080, 0x007f /* expect 0x0001 */
divide 0x00000080, 0x0080 /* expect 0x0001 */
divide 0x00000080, 0x00ff /* expect 0x0000 */
divide 0x00000080, 0x0100 /* expect 0x0000 */
divide 0x00000080, 0x01ff /* expect 0x0000 */
divide 0x00000080, 0x0200 /* expect 0x0000 */
divide 0x00000080, 0x03ff /* expect 0x0000 */
divide 0x00000080, 0x0400 /* expect 0x0000 */
divide 0x00000080, 0x07ff /* expect 0x0000 */
divide 0x00000080, 0x0800 /* expect 0x0000 */
divide 0x00000080, 0x0fff /* expect 0x0000 */
divide 0x00000080, 0x1000 /* expect 0x0000 */
divide 0x00000080, 0x1fff /* expect 0x0000 */
divide 0x00000080, 0x2000 /* expect 0x0000 */
divide 0x00000080, 0x3fff /* expect 0x0000 */
divide 0x00000080, 0x4000 /* expect 0x0000 */
divide 0x00000080, 0x7fff /* expect 0x0000 */
divide 0x000000ff, 0x0001 /* expect 0x00ff */
divide 0x000000ff, 0x0002 /* expect 0x007f */
divide 0x000000ff, 0x0003 /* expect 0x0055 */
divide 0x000000ff, 0x0004 /* expect 0x003f */
divide 0x000000ff, 0x0007 /* expect 0x0024 */
divide 0x000000ff, 0x0008 /* expect 0x001f */
divide 0x000000ff, 0x000f /* expect 0x0011 */
divide 0x000000ff, 0x0010 /* expect 0x000f */
divide 0x000000ff, 0x001f /* expect 0x0008 */
divide 0x000000ff, 0x0020 /* expect 0x0007 */
divide 0x000000ff, 0x003f /* expect 0x0004 */
divide 0x000000ff, 0x0040 /* expect 0x0003 */
divide 0x000000ff, 0x007f /* expect 0x0002 */
divide 0x000000ff, 0x0080 /* expect 0x0001 */
divide 0x000000ff, 0x00ff /* expect 0x0001 */
divide 0x000000ff, 0x0100 /* expect 0x0000 */
divide 0x000000ff, 0x01ff /* expect 0x0000 */
divide 0x000000ff, 0x0200 /* expect 0x0000 */
divide 0x000000ff, 0x03ff /* expect 0x0000 */
divide 0x000000ff, 0x0400 /* expect 0x0000 */
divide 0x000000ff, 0x07ff /* expect 0x0000 */
divide 0x000000ff, 0x0800 /* expect 0x0000 */
divide 0x000000ff, 0x0fff /* expect 0x0000 */
divide 0x000000ff, 0x1000 /* expect 0x0000 */
divide 0x000000ff, 0x1fff /* expect 0x0000 */
divide 0x000000ff, 0x2000 /* expect 0x0000 */
divide 0x000000ff, 0x3fff /* expect 0x0000 */
divide 0x000000ff, 0x4000 /* expect 0x0000 */
divide 0x000000ff, 0x7fff /* expect 0x0000 */
divide 0x00000100, 0x0001 /* expect 0x0100 */
divide 0x00000100, 0x0002 /* expect 0x0080 */
divide 0x00000100, 0x0003 /* expect 0x0055 */
divide 0x00000100, 0x0004 /* expect 0x0040 */
divide 0x00000100, 0x0007 /* expect 0x0024 */
divide 0x00000100, 0x0008 /* expect 0x0020 */
divide 0x00000100, 0x000f /* expect 0x0011 */
divide 0x00000100, 0x0010 /* expect 0x0010 */
divide 0x00000100, 0x001f /* expect 0x0008 */
divide 0x00000100, 0x0020 /* expect 0x0008 */
divide 0x00000100, 0x003f /* expect 0x0004 */
divide 0x00000100, 0x0040 /* expect 0x0004 */
divide 0x00000100, 0x007f /* expect 0x0002 */
divide 0x00000100, 0x0080 /* expect 0x0002 */
divide 0x00000100, 0x00ff /* expect 0x0001 */
divide 0x00000100, 0x0100 /* expect 0x0001 */
divide 0x00000100, 0x01ff /* expect 0x0000 */
divide 0x00000100, 0x0200 /* expect 0x0000 */
divide 0x00000100, 0x03ff /* expect 0x0000 */
divide 0x00000100, 0x0400 /* expect 0x0000 */
divide 0x00000100, 0x07ff /* expect 0x0000 */
divide 0x00000100, 0x0800 /* expect 0x0000 */
divide 0x00000100, 0x0fff /* expect 0x0000 */
divide 0x00000100, 0x1000 /* expect 0x0000 */
divide 0x00000100, 0x1fff /* expect 0x0000 */
divide 0x00000100, 0x2000 /* expect 0x0000 */
divide 0x00000100, 0x3fff /* expect 0x0000 */
divide 0x00000100, 0x4000 /* expect 0x0000 */
divide 0x00000100, 0x7fff /* expect 0x0000 */
divide 0x000001ff, 0x0001 /* expect 0x01ff */
divide 0x000001ff, 0x0002 /* expect 0x00ff */
divide 0x000001ff, 0x0003 /* expect 0x00aa */
divide 0x000001ff, 0x0004 /* expect 0x007f */
divide 0x000001ff, 0x0007 /* expect 0x0049 */
divide 0x000001ff, 0x0008 /* expect 0x003f */
divide 0x000001ff, 0x000f /* expect 0x0022 */
divide 0x000001ff, 0x0010 /* expect 0x001f */
divide 0x000001ff, 0x001f /* expect 0x0010 */
divide 0x000001ff, 0x0020 /* expect 0x000f */
divide 0x000001ff, 0x003f /* expect 0x0008 */
divide 0x000001ff, 0x0040 /* expect 0x0007 */
divide 0x000001ff, 0x007f /* expect 0x0004 */
divide 0x000001ff, 0x0080 /* expect 0x0003 */
divide 0x000001ff, 0x00ff /* expect 0x0002 */
divide 0x000001ff, 0x0100 /* expect 0x0001 */
divide 0x000001ff, 0x01ff /* expect 0x0001 */
divide 0x000001ff, 0x0200 /* expect 0x0000 */
divide 0x000001ff, 0x03ff /* expect 0x0000 */
divide 0x000001ff, 0x0400 /* expect 0x0000 */
divide 0x000001ff, 0x07ff /* expect 0x0000 */
divide 0x000001ff, 0x0800 /* expect 0x0000 */
divide 0x000001ff, 0x0fff /* expect 0x0000 */
divide 0x000001ff, 0x1000 /* expect 0x0000 */
divide 0x000001ff, 0x1fff /* expect 0x0000 */
divide 0x000001ff, 0x2000 /* expect 0x0000 */
divide 0x000001ff, 0x3fff /* expect 0x0000 */
divide 0x000001ff, 0x4000 /* expect 0x0000 */
divide 0x000001ff, 0x7fff /* expect 0x0000 */
divide 0x00000200, 0x0001 /* expect 0x0200 */
divide 0x00000200, 0x0002 /* expect 0x0100 */
divide 0x00000200, 0x0003 /* expect 0x00aa */
divide 0x00000200, 0x0004 /* expect 0x0080 */
divide 0x00000200, 0x0007 /* expect 0x0049 */
divide 0x00000200, 0x0008 /* expect 0x0040 */
divide 0x00000200, 0x000f /* expect 0x0022 */
divide 0x00000200, 0x0010 /* expect 0x0020 */
divide 0x00000200, 0x001f /* expect 0x0010 */
divide 0x00000200, 0x0020 /* expect 0x0010 */
divide 0x00000200, 0x003f /* expect 0x0008 */
divide 0x00000200, 0x0040 /* expect 0x0008 */
divide 0x00000200, 0x007f /* expect 0x0004 */
divide 0x00000200, 0x0080 /* expect 0x0004 */
divide 0x00000200, 0x00ff /* expect 0x0002 */
divide 0x00000200, 0x0100 /* expect 0x0002 */
divide 0x00000200, 0x01ff /* expect 0x0001 */
divide 0x00000200, 0x0200 /* expect 0x0001 */
divide 0x00000200, 0x03ff /* expect 0x0000 */
divide 0x00000200, 0x0400 /* expect 0x0000 */
divide 0x00000200, 0x07ff /* expect 0x0000 */
divide 0x00000200, 0x0800 /* expect 0x0000 */
divide 0x00000200, 0x0fff /* expect 0x0000 */
divide 0x00000200, 0x1000 /* expect 0x0000 */
divide 0x00000200, 0x1fff /* expect 0x0000 */
divide 0x00000200, 0x2000 /* expect 0x0000 */
divide 0x00000200, 0x3fff /* expect 0x0000 */
divide 0x00000200, 0x4000 /* expect 0x0000 */
divide 0x00000200, 0x7fff /* expect 0x0000 */
divide 0x000003ff, 0x0001 /* expect 0x03ff */
divide 0x000003ff, 0x0002 /* expect 0x01ff */
divide 0x000003ff, 0x0003 /* expect 0x0155 */
divide 0x000003ff, 0x0004 /* expect 0x00ff */
divide 0x000003ff, 0x0007 /* expect 0x0092 */
divide 0x000003ff, 0x0008 /* expect 0x007f */
divide 0x000003ff, 0x000f /* expect 0x0044 */
divide 0x000003ff, 0x0010 /* expect 0x003f */
divide 0x000003ff, 0x001f /* expect 0x0021 */
divide 0x000003ff, 0x0020 /* expect 0x001f */
divide 0x000003ff, 0x003f /* expect 0x0010 */
divide 0x000003ff, 0x0040 /* expect 0x000f */
divide 0x000003ff, 0x007f /* expect 0x0008 */
divide 0x000003ff, 0x0080 /* expect 0x0007 */
divide 0x000003ff, 0x00ff /* expect 0x0004 */
divide 0x000003ff, 0x0100 /* expect 0x0003 */
divide 0x000003ff, 0x01ff /* expect 0x0002 */
divide 0x000003ff, 0x0200 /* expect 0x0001 */
divide 0x000003ff, 0x03ff /* expect 0x0001 */
divide 0x000003ff, 0x0400 /* expect 0x0000 */
divide 0x000003ff, 0x07ff /* expect 0x0000 */
divide 0x000003ff, 0x0800 /* expect 0x0000 */
divide 0x000003ff, 0x0fff /* expect 0x0000 */
divide 0x000003ff, 0x1000 /* expect 0x0000 */
divide 0x000003ff, 0x1fff /* expect 0x0000 */
divide 0x000003ff, 0x2000 /* expect 0x0000 */
divide 0x000003ff, 0x3fff /* expect 0x0000 */
divide 0x000003ff, 0x4000 /* expect 0x0000 */
divide 0x000003ff, 0x7fff /* expect 0x0000 */
divide 0x00000400, 0x0001 /* expect 0x0400 */
divide 0x00000400, 0x0002 /* expect 0x0200 */
divide 0x00000400, 0x0003 /* expect 0x0155 */
divide 0x00000400, 0x0004 /* expect 0x0100 */
divide 0x00000400, 0x0007 /* expect 0x0092 */
divide 0x00000400, 0x0008 /* expect 0x0080 */
divide 0x00000400, 0x000f /* expect 0x0044 */
divide 0x00000400, 0x0010 /* expect 0x0040 */
divide 0x00000400, 0x001f /* expect 0x0021 */
divide 0x00000400, 0x0020 /* expect 0x0020 */
divide 0x00000400, 0x003f /* expect 0x0010 */
divide 0x00000400, 0x0040 /* expect 0x0010 */
divide 0x00000400, 0x007f /* expect 0x0008 */
divide 0x00000400, 0x0080 /* expect 0x0008 */
divide 0x00000400, 0x00ff /* expect 0x0004 */
divide 0x00000400, 0x0100 /* expect 0x0004 */
divide 0x00000400, 0x01ff /* expect 0x0002 */
divide 0x00000400, 0x0200 /* expect 0x0002 */
divide 0x00000400, 0x03ff /* expect 0x0001 */
divide 0x00000400, 0x0400 /* expect 0x0001 */
divide 0x00000400, 0x07ff /* expect 0x0000 */
divide 0x00000400, 0x0800 /* expect 0x0000 */
divide 0x00000400, 0x0fff /* expect 0x0000 */
divide 0x00000400, 0x1000 /* expect 0x0000 */
divide 0x00000400, 0x1fff /* expect 0x0000 */
divide 0x00000400, 0x2000 /* expect 0x0000 */
divide 0x00000400, 0x3fff /* expect 0x0000 */
divide 0x00000400, 0x4000 /* expect 0x0000 */
divide 0x00000400, 0x7fff /* expect 0x0000 */
divide 0x000007ff, 0x0001 /* expect 0x07ff */
divide 0x000007ff, 0x0002 /* expect 0x03ff */
divide 0x000007ff, 0x0003 /* expect 0x02aa */
divide 0x000007ff, 0x0004 /* expect 0x01ff */
divide 0x000007ff, 0x0007 /* expect 0x0124 */
divide 0x000007ff, 0x0008 /* expect 0x00ff */
divide 0x000007ff, 0x000f /* expect 0x0088 */
divide 0x000007ff, 0x0010 /* expect 0x007f */
divide 0x000007ff, 0x001f /* expect 0x0042 */
divide 0x000007ff, 0x0020 /* expect 0x003f */
divide 0x000007ff, 0x003f /* expect 0x0020 */
divide 0x000007ff, 0x0040 /* expect 0x001f */
divide 0x000007ff, 0x007f /* expect 0x0010 */
divide 0x000007ff, 0x0080 /* expect 0x000f */
divide 0x000007ff, 0x00ff /* expect 0x0008 */
divide 0x000007ff, 0x0100 /* expect 0x0007 */
divide 0x000007ff, 0x01ff /* expect 0x0004 */
divide 0x000007ff, 0x0200 /* expect 0x0003 */
divide 0x000007ff, 0x03ff /* expect 0x0002 */
divide 0x000007ff, 0x0400 /* expect 0x0001 */
divide 0x000007ff, 0x07ff /* expect 0x0001 */
divide 0x000007ff, 0x0800 /* expect 0x0000 */
divide 0x000007ff, 0x0fff /* expect 0x0000 */
divide 0x000007ff, 0x1000 /* expect 0x0000 */
divide 0x000007ff, 0x1fff /* expect 0x0000 */
divide 0x000007ff, 0x2000 /* expect 0x0000 */
divide 0x000007ff, 0x3fff /* expect 0x0000 */
divide 0x000007ff, 0x4000 /* expect 0x0000 */
divide 0x000007ff, 0x7fff /* expect 0x0000 */
divide 0x00000800, 0x0001 /* expect 0x0800 */
divide 0x00000800, 0x0002 /* expect 0x0400 */
divide 0x00000800, 0x0003 /* expect 0x02aa */
divide 0x00000800, 0x0004 /* expect 0x0200 */
divide 0x00000800, 0x0007 /* expect 0x0124 */
divide 0x00000800, 0x0008 /* expect 0x0100 */
divide 0x00000800, 0x000f /* expect 0x0088 */
divide 0x00000800, 0x0010 /* expect 0x0080 */
divide 0x00000800, 0x001f /* expect 0x0042 */
divide 0x00000800, 0x0020 /* expect 0x0040 */
divide 0x00000800, 0x003f /* expect 0x0020 */
divide 0x00000800, 0x0040 /* expect 0x0020 */
divide 0x00000800, 0x007f /* expect 0x0010 */
divide 0x00000800, 0x0080 /* expect 0x0010 */
divide 0x00000800, 0x00ff /* expect 0x0008 */
divide 0x00000800, 0x0100 /* expect 0x0008 */
divide 0x00000800, 0x01ff /* expect 0x0004 */
divide 0x00000800, 0x0200 /* expect 0x0004 */
divide 0x00000800, 0x03ff /* expect 0x0002 */
divide 0x00000800, 0x0400 /* expect 0x0002 */
divide 0x00000800, 0x07ff /* expect 0x0001 */
divide 0x00000800, 0x0800 /* expect 0x0001 */
divide 0x00000800, 0x0fff /* expect 0x0000 */
divide 0x00000800, 0x1000 /* expect 0x0000 */
divide 0x00000800, 0x1fff /* expect 0x0000 */
divide 0x00000800, 0x2000 /* expect 0x0000 */
divide 0x00000800, 0x3fff /* expect 0x0000 */
divide 0x00000800, 0x4000 /* expect 0x0000 */
divide 0x00000800, 0x7fff /* expect 0x0000 */
divide 0x00000fff, 0x0001 /* expect 0x0fff */
divide 0x00000fff, 0x0002 /* expect 0x07ff */
divide 0x00000fff, 0x0003 /* expect 0x0555 */
divide 0x00000fff, 0x0004 /* expect 0x03ff */
divide 0x00000fff, 0x0007 /* expect 0x0249 */
divide 0x00000fff, 0x0008 /* expect 0x01ff */
divide 0x00000fff, 0x000f /* expect 0x0111 */
divide 0x00000fff, 0x0010 /* expect 0x00ff */
divide 0x00000fff, 0x001f /* expect 0x0084 */
divide 0x00000fff, 0x0020 /* expect 0x007f */
divide 0x00000fff, 0x003f /* expect 0x0041 */
divide 0x00000fff, 0x0040 /* expect 0x003f */
divide 0x00000fff, 0x007f /* expect 0x0020 */
divide 0x00000fff, 0x0080 /* expect 0x001f */
divide 0x00000fff, 0x00ff /* expect 0x0010 */
divide 0x00000fff, 0x0100 /* expect 0x000f */
divide 0x00000fff, 0x01ff /* expect 0x0008 */
divide 0x00000fff, 0x0200 /* expect 0x0007 */
divide 0x00000fff, 0x03ff /* expect 0x0004 */
divide 0x00000fff, 0x0400 /* expect 0x0003 */
divide 0x00000fff, 0x07ff /* expect 0x0002 */
divide 0x00000fff, 0x0800 /* expect 0x0001 */
divide 0x00000fff, 0x0fff /* expect 0x0001 */
divide 0x00000fff, 0x1000 /* expect 0x0000 */
divide 0x00000fff, 0x1fff /* expect 0x0000 */
divide 0x00000fff, 0x2000 /* expect 0x0000 */
divide 0x00000fff, 0x3fff /* expect 0x0000 */
divide 0x00000fff, 0x4000 /* expect 0x0000 */
divide 0x00000fff, 0x7fff /* expect 0x0000 */
divide 0x00001000, 0x0001 /* expect 0x1000 */
divide 0x00001000, 0x0002 /* expect 0x0800 */
divide 0x00001000, 0x0003 /* expect 0x0555 */
divide 0x00001000, 0x0004 /* expect 0x0400 */
divide 0x00001000, 0x0007 /* expect 0x0249 */
divide 0x00001000, 0x0008 /* expect 0x0200 */
divide 0x00001000, 0x000f /* expect 0x0111 */
divide 0x00001000, 0x0010 /* expect 0x0100 */
divide 0x00001000, 0x001f /* expect 0x0084 */
divide 0x00001000, 0x0020 /* expect 0x0080 */
divide 0x00001000, 0x003f /* expect 0x0041 */
divide 0x00001000, 0x0040 /* expect 0x0040 */
divide 0x00001000, 0x007f /* expect 0x0020 */
divide 0x00001000, 0x0080 /* expect 0x0020 */
divide 0x00001000, 0x00ff /* expect 0x0010 */
divide 0x00001000, 0x0100 /* expect 0x0010 */
divide 0x00001000, 0x01ff /* expect 0x0008 */
divide 0x00001000, 0x0200 /* expect 0x0008 */
divide 0x00001000, 0x03ff /* expect 0x0004 */
divide 0x00001000, 0x0400 /* expect 0x0004 */
divide 0x00001000, 0x07ff /* expect 0x0002 */
divide 0x00001000, 0x0800 /* expect 0x0002 */
divide 0x00001000, 0x0fff /* expect 0x0001 */
divide 0x00001000, 0x1000 /* expect 0x0001 */
divide 0x00001000, 0x1fff /* expect 0x0000 */
divide 0x00001000, 0x2000 /* expect 0x0000 */
divide 0x00001000, 0x3fff /* expect 0x0000 */
divide 0x00001000, 0x4000 /* expect 0x0000 */
divide 0x00001000, 0x7fff /* expect 0x0000 */
divide 0x00001fff, 0x0001 /* expect 0x1fff */
divide 0x00001fff, 0x0002 /* expect 0x0fff */
divide 0x00001fff, 0x0003 /* expect 0x0aaa */
divide 0x00001fff, 0x0004 /* expect 0x07ff */
divide 0x00001fff, 0x0007 /* expect 0x0492 */
divide 0x00001fff, 0x0008 /* expect 0x03ff */
divide 0x00001fff, 0x000f /* expect 0x0222 */
divide 0x00001fff, 0x0010 /* expect 0x01ff */
divide 0x00001fff, 0x001f /* expect 0x0108 */
divide 0x00001fff, 0x0020 /* expect 0x00ff */
divide 0x00001fff, 0x003f /* expect 0x0082 */
divide 0x00001fff, 0x0040 /* expect 0x007f */
divide 0x00001fff, 0x007f /* expect 0x0040 */
divide 0x00001fff, 0x0080 /* expect 0x003f */
divide 0x00001fff, 0x00ff /* expect 0x0020 */
divide 0x00001fff, 0x0100 /* expect 0x001f */
divide 0x00001fff, 0x01ff /* expect 0x0010 */
divide 0x00001fff, 0x0200 /* expect 0x000f */
divide 0x00001fff, 0x03ff /* expect 0x0008 */
divide 0x00001fff, 0x0400 /* expect 0x0007 */
divide 0x00001fff, 0x07ff /* expect 0x0004 */
divide 0x00001fff, 0x0800 /* expect 0x0003 */
divide 0x00001fff, 0x0fff /* expect 0x0002 */
divide 0x00001fff, 0x1000 /* expect 0x0001 */
divide 0x00001fff, 0x1fff /* expect 0x0001 */
divide 0x00001fff, 0x2000 /* expect 0x0000 */
divide 0x00001fff, 0x3fff /* expect 0x0000 */
divide 0x00001fff, 0x4000 /* expect 0x0000 */
divide 0x00001fff, 0x7fff /* expect 0x0000 */
divide 0x00002000, 0x0001 /* expect 0x2000 */
divide 0x00002000, 0x0002 /* expect 0x1000 */
divide 0x00002000, 0x0003 /* expect 0x0aaa */
divide 0x00002000, 0x0004 /* expect 0x0800 */
divide 0x00002000, 0x0007 /* expect 0x0492 */
divide 0x00002000, 0x0008 /* expect 0x0400 */
divide 0x00002000, 0x000f /* expect 0x0222 */
divide 0x00002000, 0x0010 /* expect 0x0200 */
divide 0x00002000, 0x001f /* expect 0x0108 */
divide 0x00002000, 0x0020 /* expect 0x0100 */
divide 0x00002000, 0x003f /* expect 0x0082 */
divide 0x00002000, 0x0040 /* expect 0x0080 */
divide 0x00002000, 0x007f /* expect 0x0040 */
divide 0x00002000, 0x0080 /* expect 0x0040 */
divide 0x00002000, 0x00ff /* expect 0x0020 */
divide 0x00002000, 0x0100 /* expect 0x0020 */
divide 0x00002000, 0x01ff /* expect 0x0010 */
divide 0x00002000, 0x0200 /* expect 0x0010 */
divide 0x00002000, 0x03ff /* expect 0x0008 */
divide 0x00002000, 0x0400 /* expect 0x0008 */
divide 0x00002000, 0x07ff /* expect 0x0004 */
divide 0x00002000, 0x0800 /* expect 0x0004 */
divide 0x00002000, 0x0fff /* expect 0x0002 */
divide 0x00002000, 0x1000 /* expect 0x0002 */
divide 0x00002000, 0x1fff /* expect 0x0001 */
divide 0x00002000, 0x2000 /* expect 0x0001 */
divide 0x00002000, 0x3fff /* expect 0x0000 */
divide 0x00002000, 0x4000 /* expect 0x0000 */
divide 0x00002000, 0x7fff /* expect 0x0000 */
divide 0x00003fff, 0x0001 /* expect 0x3fff */
divide 0x00003fff, 0x0002 /* expect 0x1fff */
divide 0x00003fff, 0x0003 /* expect 0x1555 */
divide 0x00003fff, 0x0004 /* expect 0x0fff */
divide 0x00003fff, 0x0007 /* expect 0x0924 */
divide 0x00003fff, 0x0008 /* expect 0x07ff */
divide 0x00003fff, 0x000f /* expect 0x0444 */
divide 0x00003fff, 0x0010 /* expect 0x03ff */
divide 0x00003fff, 0x001f /* expect 0x0210 */
divide 0x00003fff, 0x0020 /* expect 0x01ff */
divide 0x00003fff, 0x003f /* expect 0x0104 */
divide 0x00003fff, 0x0040 /* expect 0x00ff */
divide 0x00003fff, 0x007f /* expect 0x0081 */
divide 0x00003fff, 0x0080 /* expect 0x007f */
divide 0x00003fff, 0x00ff /* expect 0x0040 */
divide 0x00003fff, 0x0100 /* expect 0x003f */
divide 0x00003fff, 0x01ff /* expect 0x0020 */
divide 0x00003fff, 0x0200 /* expect 0x001f */
divide 0x00003fff, 0x03ff /* expect 0x0010 */
divide 0x00003fff, 0x0400 /* expect 0x000f */
divide 0x00003fff, 0x07ff /* expect 0x0008 */
divide 0x00003fff, 0x0800 /* expect 0x0007 */
divide 0x00003fff, 0x0fff /* expect 0x0004 */
divide 0x00003fff, 0x1000 /* expect 0x0003 */
divide 0x00003fff, 0x1fff /* expect 0x0002 */
divide 0x00003fff, 0x2000 /* expect 0x0001 */
divide 0x00003fff, 0x3fff /* expect 0x0001 */
divide 0x00003fff, 0x4000 /* expect 0x0000 */
divide 0x00003fff, 0x7fff /* expect 0x0000 */
divide 0x00004000, 0x0001 /* expect 0x4000 */
divide 0x00004000, 0x0002 /* expect 0x2000 */
divide 0x00004000, 0x0003 /* expect 0x1555 */
divide 0x00004000, 0x0004 /* expect 0x1000 */
divide 0x00004000, 0x0007 /* expect 0x0924 */
divide 0x00004000, 0x0008 /* expect 0x0800 */
divide 0x00004000, 0x000f /* expect 0x0444 */
divide 0x00004000, 0x0010 /* expect 0x0400 */
divide 0x00004000, 0x001f /* expect 0x0210 */
divide 0x00004000, 0x0020 /* expect 0x0200 */
divide 0x00004000, 0x003f /* expect 0x0104 */
divide 0x00004000, 0x0040 /* expect 0x0100 */
divide 0x00004000, 0x007f /* expect 0x0081 */
divide 0x00004000, 0x0080 /* expect 0x0080 */
divide 0x00004000, 0x00ff /* expect 0x0040 */
divide 0x00004000, 0x0100 /* expect 0x0040 */
divide 0x00004000, 0x01ff /* expect 0x0020 */
divide 0x00004000, 0x0200 /* expect 0x0020 */
divide 0x00004000, 0x03ff /* expect 0x0010 */
divide 0x00004000, 0x0400 /* expect 0x0010 */
divide 0x00004000, 0x07ff /* expect 0x0008 */
divide 0x00004000, 0x0800 /* expect 0x0008 */
divide 0x00004000, 0x0fff /* expect 0x0004 */
divide 0x00004000, 0x1000 /* expect 0x0004 */
divide 0x00004000, 0x1fff /* expect 0x0002 */
divide 0x00004000, 0x2000 /* expect 0x0002 */
divide 0x00004000, 0x3fff /* expect 0x0001 */
divide 0x00004000, 0x4000 /* expect 0x0001 */
divide 0x00004000, 0x7fff /* expect 0x0000 */
divide 0x00007fff, 0x0001 /* expect 0x7fff */
divide 0x00007fff, 0x0002 /* expect 0x3fff */
divide 0x00007fff, 0x0003 /* expect 0x2aaa */
divide 0x00007fff, 0x0004 /* expect 0x1fff */
divide 0x00007fff, 0x0007 /* expect 0x1249 */
divide 0x00007fff, 0x0008 /* expect 0x0fff */
divide 0x00007fff, 0x000f /* expect 0x0888 */
divide 0x00007fff, 0x0010 /* expect 0x07ff */
divide 0x00007fff, 0x001f /* expect 0x0421 */
divide 0x00007fff, 0x0020 /* expect 0x03ff */
divide 0x00007fff, 0x003f /* expect 0x0208 */
divide 0x00007fff, 0x0040 /* expect 0x01ff */
divide 0x00007fff, 0x007f /* expect 0x0102 */
divide 0x00007fff, 0x0080 /* expect 0x00ff */
divide 0x00007fff, 0x00ff /* expect 0x0080 */
divide 0x00007fff, 0x0100 /* expect 0x007f */
divide 0x00007fff, 0x01ff /* expect 0x0040 */
divide 0x00007fff, 0x0200 /* expect 0x003f */
divide 0x00007fff, 0x03ff /* expect 0x0020 */
divide 0x00007fff, 0x0400 /* expect 0x001f */
divide 0x00007fff, 0x07ff /* expect 0x0010 */
divide 0x00007fff, 0x0800 /* expect 0x000f */
divide 0x00007fff, 0x0fff /* expect 0x0008 */
divide 0x00007fff, 0x1000 /* expect 0x0007 */
divide 0x00007fff, 0x1fff /* expect 0x0004 */
divide 0x00007fff, 0x2000 /* expect 0x0003 */
divide 0x00007fff, 0x3fff /* expect 0x0002 */
divide 0x00007fff, 0x4000 /* expect 0x0001 */
divide 0x00007fff, 0x7fff /* expect 0x0001 */
divide 0x00008000, 0x0002 /* expect 0x4000 */
divide 0x00008000, 0x0003 /* expect 0x2aaa */
divide 0x00008000, 0x0004 /* expect 0x2000 */
divide 0x00008000, 0x0007 /* expect 0x1249 */
divide 0x00008000, 0x0008 /* expect 0x1000 */
divide 0x00008000, 0x000f /* expect 0x0888 */
divide 0x00008000, 0x0010 /* expect 0x0800 */
divide 0x00008000, 0x001f /* expect 0x0421 */
divide 0x00008000, 0x0020 /* expect 0x0400 */
divide 0x00008000, 0x003f /* expect 0x0208 */
divide 0x00008000, 0x0040 /* expect 0x0200 */
divide 0x00008000, 0x007f /* expect 0x0102 */
divide 0x00008000, 0x0080 /* expect 0x0100 */
divide 0x00008000, 0x00ff /* expect 0x0080 */
divide 0x00008000, 0x0100 /* expect 0x0080 */
divide 0x00008000, 0x01ff /* expect 0x0040 */
divide 0x00008000, 0x0200 /* expect 0x0040 */
divide 0x00008000, 0x03ff /* expect 0x0020 */
divide 0x00008000, 0x0400 /* expect 0x0020 */
divide 0x00008000, 0x07ff /* expect 0x0010 */
divide 0x00008000, 0x0800 /* expect 0x0010 */
divide 0x00008000, 0x0fff /* expect 0x0008 */
divide 0x00008000, 0x1000 /* expect 0x0008 */
divide 0x00008000, 0x1fff /* expect 0x0004 */
divide 0x00008000, 0x2000 /* expect 0x0004 */
divide 0x00008000, 0x3fff /* expect 0x0002 */
divide 0x00008000, 0x4000 /* expect 0x0002 */
divide 0x00008000, 0x7fff /* expect 0x0001 */
divide 0x0000ffff, 0x0002 /* expect 0x7fff */
divide 0x0000ffff, 0x0003 /* expect 0x5555 */
divide 0x0000ffff, 0x0004 /* expect 0x3fff */
divide 0x0000ffff, 0x0007 /* expect 0x2492 */
divide 0x0000ffff, 0x0008 /* expect 0x1fff */
divide 0x0000ffff, 0x000f /* expect 0x1111 */
divide 0x0000ffff, 0x0010 /* expect 0x0fff */
divide 0x0000ffff, 0x001f /* expect 0x0842 */
divide 0x0000ffff, 0x0020 /* expect 0x07ff */
divide 0x0000ffff, 0x003f /* expect 0x0410 */
divide 0x0000ffff, 0x0040 /* expect 0x03ff */
divide 0x0000ffff, 0x007f /* expect 0x0204 */
divide 0x0000ffff, 0x0080 /* expect 0x01ff */
divide 0x0000ffff, 0x00ff /* expect 0x0101 */
divide 0x0000ffff, 0x0100 /* expect 0x00ff */
divide 0x0000ffff, 0x01ff /* expect 0x0080 */
divide 0x0000ffff, 0x0200 /* expect 0x007f */
divide 0x0000ffff, 0x03ff /* expect 0x0040 */
divide 0x0000ffff, 0x0400 /* expect 0x003f */
divide 0x0000ffff, 0x07ff /* expect 0x0020 */
divide 0x0000ffff, 0x0800 /* expect 0x001f */
divide 0x0000ffff, 0x0fff /* expect 0x0010 */
divide 0x0000ffff, 0x1000 /* expect 0x000f */
divide 0x0000ffff, 0x1fff /* expect 0x0008 */
divide 0x0000ffff, 0x2000 /* expect 0x0007 */
divide 0x0000ffff, 0x3fff /* expect 0x0004 */
divide 0x0000ffff, 0x4000 /* expect 0x0003 */
divide 0x0000ffff, 0x7fff /* expect 0x0002 */
divide 0x00010000, 0x0003 /* expect 0x5555 */
divide 0x00010000, 0x0004 /* expect 0x4000 */
divide 0x00010000, 0x0007 /* expect 0x2492 */
divide 0x00010000, 0x0008 /* expect 0x2000 */
divide 0x00010000, 0x000f /* expect 0x1111 */
divide 0x00010000, 0x0010 /* expect 0x1000 */
divide 0x00010000, 0x001f /* expect 0x0842 */
divide 0x00010000, 0x0020 /* expect 0x0800 */
divide 0x00010000, 0x003f /* expect 0x0410 */
divide 0x00010000, 0x0040 /* expect 0x0400 */
divide 0x00010000, 0x007f /* expect 0x0204 */
divide 0x00010000, 0x0080 /* expect 0x0200 */
divide 0x00010000, 0x00ff /* expect 0x0101 */
divide 0x00010000, 0x0100 /* expect 0x0100 */
divide 0x00010000, 0x01ff /* expect 0x0080 */
divide 0x00010000, 0x0200 /* expect 0x0080 */
divide 0x00010000, 0x03ff /* expect 0x0040 */
divide 0x00010000, 0x0400 /* expect 0x0040 */
divide 0x00010000, 0x07ff /* expect 0x0020 */
divide 0x00010000, 0x0800 /* expect 0x0020 */
divide 0x00010000, 0x0fff /* expect 0x0010 */
divide 0x00010000, 0x1000 /* expect 0x0010 */
divide 0x00010000, 0x1fff /* expect 0x0008 */
divide 0x00010000, 0x2000 /* expect 0x0008 */
divide 0x00010000, 0x3fff /* expect 0x0004 */
divide 0x00010000, 0x4000 /* expect 0x0004 */
divide 0x00010000, 0x7fff /* expect 0x0002 */
divide 0x0001ffff, 0x0004 /* expect 0x7fff */
divide 0x0001ffff, 0x0007 /* expect 0x4924 */
divide 0x0001ffff, 0x0008 /* expect 0x3fff */
divide 0x0001ffff, 0x000f /* expect 0x2222 */
divide 0x0001ffff, 0x0010 /* expect 0x1fff */
divide 0x0001ffff, 0x001f /* expect 0x1084 */
divide 0x0001ffff, 0x0020 /* expect 0x0fff */
divide 0x0001ffff, 0x003f /* expect 0x0820 */
divide 0x0001ffff, 0x0040 /* expect 0x07ff */
divide 0x0001ffff, 0x007f /* expect 0x0408 */
divide 0x0001ffff, 0x0080 /* expect 0x03ff */
divide 0x0001ffff, 0x00ff /* expect 0x0202 */
divide 0x0001ffff, 0x0100 /* expect 0x01ff */
divide 0x0001ffff, 0x01ff /* expect 0x0100 */
divide 0x0001ffff, 0x0200 /* expect 0x00ff */
divide 0x0001ffff, 0x03ff /* expect 0x0080 */
divide 0x0001ffff, 0x0400 /* expect 0x007f */
divide 0x0001ffff, 0x07ff /* expect 0x0040 */
divide 0x0001ffff, 0x0800 /* expect 0x003f */
divide 0x0001ffff, 0x0fff /* expect 0x0020 */
divide 0x0001ffff, 0x1000 /* expect 0x001f */
divide 0x0001ffff, 0x1fff /* expect 0x0010 */
divide 0x0001ffff, 0x2000 /* expect 0x000f */
divide 0x0001ffff, 0x3fff /* expect 0x0008 */
divide 0x0001ffff, 0x4000 /* expect 0x0007 */
divide 0x0001ffff, 0x7fff /* expect 0x0004 */
divide 0x00020000, 0x0007 /* expect 0x4924 */
divide 0x00020000, 0x0008 /* expect 0x4000 */
divide 0x00020000, 0x000f /* expect 0x2222 */
divide 0x00020000, 0x0010 /* expect 0x2000 */
divide 0x00020000, 0x001f /* expect 0x1084 */
divide 0x00020000, 0x0020 /* expect 0x1000 */
divide 0x00020000, 0x003f /* expect 0x0820 */
divide 0x00020000, 0x0040 /* expect 0x0800 */
divide 0x00020000, 0x007f /* expect 0x0408 */
divide 0x00020000, 0x0080 /* expect 0x0400 */
divide 0x00020000, 0x00ff /* expect 0x0202 */
divide 0x00020000, 0x0100 /* expect 0x0200 */
divide 0x00020000, 0x01ff /* expect 0x0100 */
divide 0x00020000, 0x0200 /* expect 0x0100 */
divide 0x00020000, 0x03ff /* expect 0x0080 */
divide 0x00020000, 0x0400 /* expect 0x0080 */
divide 0x00020000, 0x07ff /* expect 0x0040 */
divide 0x00020000, 0x0800 /* expect 0x0040 */
divide 0x00020000, 0x0fff /* expect 0x0020 */
divide 0x00020000, 0x1000 /* expect 0x0020 */
divide 0x00020000, 0x1fff /* expect 0x0010 */
divide 0x00020000, 0x2000 /* expect 0x0010 */
divide 0x00020000, 0x3fff /* expect 0x0008 */
divide 0x00020000, 0x4000 /* expect 0x0008 */
divide 0x00020000, 0x7fff /* expect 0x0004 */
divide 0x0003ffff, 0x0008 /* expect 0x7fff */
divide 0x0003ffff, 0x000f /* expect 0x4444 */
divide 0x0003ffff, 0x0010 /* expect 0x3fff */
divide 0x0003ffff, 0x001f /* expect 0x2108 */
divide 0x0003ffff, 0x0020 /* expect 0x1fff */
divide 0x0003ffff, 0x003f /* expect 0x1041 */
divide 0x0003ffff, 0x0040 /* expect 0x0fff */
divide 0x0003ffff, 0x007f /* expect 0x0810 */
divide 0x0003ffff, 0x0080 /* expect 0x07ff */
divide 0x0003ffff, 0x00ff /* expect 0x0404 */
divide 0x0003ffff, 0x0100 /* expect 0x03ff */
divide 0x0003ffff, 0x01ff /* expect 0x0201 */
divide 0x0003ffff, 0x0200 /* expect 0x01ff */
divide 0x0003ffff, 0x03ff /* expect 0x0100 */
divide 0x0003ffff, 0x0400 /* expect 0x00ff */
divide 0x0003ffff, 0x07ff /* expect 0x0080 */
divide 0x0003ffff, 0x0800 /* expect 0x007f */
divide 0x0003ffff, 0x0fff /* expect 0x0040 */
divide 0x0003ffff, 0x1000 /* expect 0x003f */
divide 0x0003ffff, 0x1fff /* expect 0x0020 */
divide 0x0003ffff, 0x2000 /* expect 0x001f */
divide 0x0003ffff, 0x3fff /* expect 0x0010 */
divide 0x0003ffff, 0x4000 /* expect 0x000f */
divide 0x0003ffff, 0x7fff /* expect 0x0008 */
divide 0x00040000, 0x000f /* expect 0x4444 */
divide 0x00040000, 0x0010 /* expect 0x4000 */
divide 0x00040000, 0x001f /* expect 0x2108 */
divide 0x00040000, 0x0020 /* expect 0x2000 */
divide 0x00040000, 0x003f /* expect 0x1041 */
divide 0x00040000, 0x0040 /* expect 0x1000 */
divide 0x00040000, 0x007f /* expect 0x0810 */
divide 0x00040000, 0x0080 /* expect 0x0800 */
divide 0x00040000, 0x00ff /* expect 0x0404 */
divide 0x00040000, 0x0100 /* expect 0x0400 */
divide 0x00040000, 0x01ff /* expect 0x0201 */
divide 0x00040000, 0x0200 /* expect 0x0200 */
divide 0x00040000, 0x03ff /* expect 0x0100 */
divide 0x00040000, 0x0400 /* expect 0x0100 */
divide 0x00040000, 0x07ff /* expect 0x0080 */
divide 0x00040000, 0x0800 /* expect 0x0080 */
divide 0x00040000, 0x0fff /* expect 0x0040 */
divide 0x00040000, 0x1000 /* expect 0x0040 */
divide 0x00040000, 0x1fff /* expect 0x0020 */
divide 0x00040000, 0x2000 /* expect 0x0020 */
divide 0x00040000, 0x3fff /* expect 0x0010 */
divide 0x00040000, 0x4000 /* expect 0x0010 */
divide 0x00040000, 0x7fff /* expect 0x0008 */
divide 0x0007ffff, 0x0010 /* expect 0x7fff */
divide 0x0007ffff, 0x001f /* expect 0x4210 */
divide 0x0007ffff, 0x0020 /* expect 0x3fff */
divide 0x0007ffff, 0x003f /* expect 0x2082 */
divide 0x0007ffff, 0x0040 /* expect 0x1fff */
divide 0x0007ffff, 0x007f /* expect 0x1020 */
divide 0x0007ffff, 0x0080 /* expect 0x0fff */
divide 0x0007ffff, 0x00ff /* expect 0x0808 */
divide 0x0007ffff, 0x0100 /* expect 0x07ff */
divide 0x0007ffff, 0x01ff /* expect 0x0402 */
divide 0x0007ffff, 0x0200 /* expect 0x03ff */
divide 0x0007ffff, 0x03ff /* expect 0x0200 */
divide 0x0007ffff, 0x0400 /* expect 0x01ff */
divide 0x0007ffff, 0x07ff /* expect 0x0100 */
divide 0x0007ffff, 0x0800 /* expect 0x00ff */
divide 0x0007ffff, 0x0fff /* expect 0x0080 */
divide 0x0007ffff, 0x1000 /* expect 0x007f */
divide 0x0007ffff, 0x1fff /* expect 0x0040 */
divide 0x0007ffff, 0x2000 /* expect 0x003f */
divide 0x0007ffff, 0x3fff /* expect 0x0020 */
divide 0x0007ffff, 0x4000 /* expect 0x001f */
divide 0x0007ffff, 0x7fff /* expect 0x0010 */
divide 0x00080000, 0x001f /* expect 0x4210 */
divide 0x00080000, 0x0020 /* expect 0x4000 */
divide 0x00080000, 0x003f /* expect 0x2082 */
divide 0x00080000, 0x0040 /* expect 0x2000 */
divide 0x00080000, 0x007f /* expect 0x1020 */
divide 0x00080000, 0x0080 /* expect 0x1000 */
divide 0x00080000, 0x00ff /* expect 0x0808 */
divide 0x00080000, 0x0100 /* expect 0x0800 */
divide 0x00080000, 0x01ff /* expect 0x0402 */
divide 0x00080000, 0x0200 /* expect 0x0400 */
divide 0x00080000, 0x03ff /* expect 0x0200 */
divide 0x00080000, 0x0400 /* expect 0x0200 */
divide 0x00080000, 0x07ff /* expect 0x0100 */
divide 0x00080000, 0x0800 /* expect 0x0100 */
divide 0x00080000, 0x0fff /* expect 0x0080 */
divide 0x00080000, 0x1000 /* expect 0x0080 */
divide 0x00080000, 0x1fff /* expect 0x0040 */
divide 0x00080000, 0x2000 /* expect 0x0040 */
divide 0x00080000, 0x3fff /* expect 0x0020 */
divide 0x00080000, 0x4000 /* expect 0x0020 */
divide 0x00080000, 0x7fff /* expect 0x0010 */
divide 0x000fffff, 0x0020 /* expect 0x7fff */
divide 0x000fffff, 0x003f /* expect 0x4104 */
divide 0x000fffff, 0x0040 /* expect 0x3fff */
divide 0x000fffff, 0x007f /* expect 0x2040 */
divide 0x000fffff, 0x0080 /* expect 0x1fff */
divide 0x000fffff, 0x00ff /* expect 0x1010 */
divide 0x000fffff, 0x0100 /* expect 0x0fff */
divide 0x000fffff, 0x01ff /* expect 0x0804 */
divide 0x000fffff, 0x0200 /* expect 0x07ff */
divide 0x000fffff, 0x03ff /* expect 0x0401 */
divide 0x000fffff, 0x0400 /* expect 0x03ff */
divide 0x000fffff, 0x07ff /* expect 0x0200 */
divide 0x000fffff, 0x0800 /* expect 0x01ff */
divide 0x000fffff, 0x0fff /* expect 0x0100 */
divide 0x000fffff, 0x1000 /* expect 0x00ff */
divide 0x000fffff, 0x1fff /* expect 0x0080 */
divide 0x000fffff, 0x2000 /* expect 0x007f */
divide 0x000fffff, 0x3fff /* expect 0x0040 */
divide 0x000fffff, 0x4000 /* expect 0x003f */
divide 0x000fffff, 0x7fff /* expect 0x0020 */
divide 0x00100000, 0x003f /* expect 0x4104 */
divide 0x00100000, 0x0040 /* expect 0x4000 */
divide 0x00100000, 0x007f /* expect 0x2040 */
divide 0x00100000, 0x0080 /* expect 0x2000 */
divide 0x00100000, 0x00ff /* expect 0x1010 */
divide 0x00100000, 0x0100 /* expect 0x1000 */
divide 0x00100000, 0x01ff /* expect 0x0804 */
divide 0x00100000, 0x0200 /* expect 0x0800 */
divide 0x00100000, 0x03ff /* expect 0x0401 */
divide 0x00100000, 0x0400 /* expect 0x0400 */
divide 0x00100000, 0x07ff /* expect 0x0200 */
divide 0x00100000, 0x0800 /* expect 0x0200 */
divide 0x00100000, 0x0fff /* expect 0x0100 */
divide 0x00100000, 0x1000 /* expect 0x0100 */
divide 0x00100000, 0x1fff /* expect 0x0080 */
divide 0x00100000, 0x2000 /* expect 0x0080 */
divide 0x00100000, 0x3fff /* expect 0x0040 */
divide 0x00100000, 0x4000 /* expect 0x0040 */
divide 0x00100000, 0x7fff /* expect 0x0020 */
divide 0x001fffff, 0x0040 /* expect 0x7fff */
divide 0x001fffff, 0x007f /* expect 0x4081 */
divide 0x001fffff, 0x0080 /* expect 0x3fff */
divide 0x001fffff, 0x00ff /* expect 0x2020 */
divide 0x001fffff, 0x0100 /* expect 0x1fff */
divide 0x001fffff, 0x01ff /* expect 0x1008 */
divide 0x001fffff, 0x0200 /* expect 0x0fff */
divide 0x001fffff, 0x03ff /* expect 0x0802 */
divide 0x001fffff, 0x0400 /* expect 0x07ff */
divide 0x001fffff, 0x07ff /* expect 0x0400 */
divide 0x001fffff, 0x0800 /* expect 0x03ff */
divide 0x001fffff, 0x0fff /* expect 0x0200 */
divide 0x001fffff, 0x1000 /* expect 0x01ff */
divide 0x001fffff, 0x1fff /* expect 0x0100 */
divide 0x001fffff, 0x2000 /* expect 0x00ff */
divide 0x001fffff, 0x3fff /* expect 0x0080 */
divide 0x001fffff, 0x4000 /* expect 0x007f */
divide 0x001fffff, 0x7fff /* expect 0x0040 */
divide 0x00200000, 0x007f /* expect 0x4081 */
divide 0x00200000, 0x0080 /* expect 0x4000 */
divide 0x00200000, 0x00ff /* expect 0x2020 */
divide 0x00200000, 0x0100 /* expect 0x2000 */
divide 0x00200000, 0x01ff /* expect 0x1008 */
divide 0x00200000, 0x0200 /* expect 0x1000 */
divide 0x00200000, 0x03ff /* expect 0x0802 */
divide 0x00200000, 0x0400 /* expect 0x0800 */
divide 0x00200000, 0x07ff /* expect 0x0400 */
divide 0x00200000, 0x0800 /* expect 0x0400 */
divide 0x00200000, 0x0fff /* expect 0x0200 */
divide 0x00200000, 0x1000 /* expect 0x0200 */
divide 0x00200000, 0x1fff /* expect 0x0100 */
divide 0x00200000, 0x2000 /* expect 0x0100 */
divide 0x00200000, 0x3fff /* expect 0x0080 */
divide 0x00200000, 0x4000 /* expect 0x0080 */
divide 0x00200000, 0x7fff /* expect 0x0040 */
divide 0x003fffff, 0x0080 /* expect 0x7fff */
divide 0x003fffff, 0x00ff /* expect 0x4040 */
divide 0x003fffff, 0x0100 /* expect 0x3fff */
divide 0x003fffff, 0x01ff /* expect 0x2010 */
divide 0x003fffff, 0x0200 /* expect 0x1fff */
divide 0x003fffff, 0x03ff /* expect 0x1004 */
divide 0x003fffff, 0x0400 /* expect 0x0fff */
divide 0x003fffff, 0x07ff /* expect 0x0801 */
divide 0x003fffff, 0x0800 /* expect 0x07ff */
divide 0x003fffff, 0x0fff /* expect 0x0400 */
divide 0x003fffff, 0x1000 /* expect 0x03ff */
divide 0x003fffff, 0x1fff /* expect 0x0200 */
divide 0x003fffff, 0x2000 /* expect 0x01ff */
divide 0x003fffff, 0x3fff /* expect 0x0100 */
divide 0x003fffff, 0x4000 /* expect 0x00ff */
divide 0x003fffff, 0x7fff /* expect 0x0080 */
divide 0x00400000, 0x00ff /* expect 0x4040 */
divide 0x00400000, 0x0100 /* expect 0x4000 */
divide 0x00400000, 0x01ff /* expect 0x2010 */
divide 0x00400000, 0x0200 /* expect 0x2000 */
divide 0x00400000, 0x03ff /* expect 0x1004 */
divide 0x00400000, 0x0400 /* expect 0x1000 */
divide 0x00400000, 0x07ff /* expect 0x0801 */
divide 0x00400000, 0x0800 /* expect 0x0800 */
divide 0x00400000, 0x0fff /* expect 0x0400 */
divide 0x00400000, 0x1000 /* expect 0x0400 */
divide 0x00400000, 0x1fff /* expect 0x0200 */
divide 0x00400000, 0x2000 /* expect 0x0200 */
divide 0x00400000, 0x3fff /* expect 0x0100 */
divide 0x00400000, 0x4000 /* expect 0x0100 */
divide 0x00400000, 0x7fff /* expect 0x0080 */
divide 0x007fffff, 0x0100 /* expect 0x7fff */
divide 0x007fffff, 0x01ff /* expect 0x4020 */
divide 0x007fffff, 0x0200 /* expect 0x3fff */
divide 0x007fffff, 0x03ff /* expect 0x2008 */
divide 0x007fffff, 0x0400 /* expect 0x1fff */
divide 0x007fffff, 0x07ff /* expect 0x1002 */
divide 0x007fffff, 0x0800 /* expect 0x0fff */
divide 0x007fffff, 0x0fff /* expect 0x0800 */
divide 0x007fffff, 0x1000 /* expect 0x07ff */
divide 0x007fffff, 0x1fff /* expect 0x0400 */
divide 0x007fffff, 0x2000 /* expect 0x03ff */
divide 0x007fffff, 0x3fff /* expect 0x0200 */
divide 0x007fffff, 0x4000 /* expect 0x01ff */
divide 0x007fffff, 0x7fff /* expect 0x0100 */
divide 0x00800000, 0x01ff /* expect 0x4020 */
divide 0x00800000, 0x0200 /* expect 0x4000 */
divide 0x00800000, 0x03ff /* expect 0x2008 */
divide 0x00800000, 0x0400 /* expect 0x2000 */
divide 0x00800000, 0x07ff /* expect 0x1002 */
divide 0x00800000, 0x0800 /* expect 0x1000 */
divide 0x00800000, 0x0fff /* expect 0x0800 */
divide 0x00800000, 0x1000 /* expect 0x0800 */
divide 0x00800000, 0x1fff /* expect 0x0400 */
divide 0x00800000, 0x2000 /* expect 0x0400 */
divide 0x00800000, 0x3fff /* expect 0x0200 */
divide 0x00800000, 0x4000 /* expect 0x0200 */
divide 0x00800000, 0x7fff /* expect 0x0100 */
divide 0x00ffffff, 0x0200 /* expect 0x7fff */
divide 0x00ffffff, 0x03ff /* expect 0x4010 */
divide 0x00ffffff, 0x0400 /* expect 0x3fff */
divide 0x00ffffff, 0x07ff /* expect 0x2004 */
divide 0x00ffffff, 0x0800 /* expect 0x1fff */
divide 0x00ffffff, 0x0fff /* expect 0x1001 */
divide 0x00ffffff, 0x1000 /* expect 0x0fff */
divide 0x00ffffff, 0x1fff /* expect 0x0800 */
divide 0x00ffffff, 0x2000 /* expect 0x07ff */
divide 0x00ffffff, 0x3fff /* expect 0x0400 */
divide 0x00ffffff, 0x4000 /* expect 0x03ff */
divide 0x00ffffff, 0x7fff /* expect 0x0200 */
divide 0x01000000, 0x03ff /* expect 0x4010 */
divide 0x01000000, 0x0400 /* expect 0x4000 */
divide 0x01000000, 0x07ff /* expect 0x2004 */
divide 0x01000000, 0x0800 /* expect 0x2000 */
divide 0x01000000, 0x0fff /* expect 0x1001 */
divide 0x01000000, 0x1000 /* expect 0x1000 */
divide 0x01000000, 0x1fff /* expect 0x0800 */
divide 0x01000000, 0x2000 /* expect 0x0800 */
divide 0x01000000, 0x3fff /* expect 0x0400 */
divide 0x01000000, 0x4000 /* expect 0x0400 */
divide 0x01000000, 0x7fff /* expect 0x0200 */
divide 0x01ffffff, 0x0400 /* expect 0x7fff */
divide 0x01ffffff, 0x07ff /* expect 0x4008 */
divide 0x01ffffff, 0x0800 /* expect 0x3fff */
divide 0x01ffffff, 0x0fff /* expect 0x2002 */
divide 0x01ffffff, 0x1000 /* expect 0x1fff */
divide 0x01ffffff, 0x1fff /* expect 0x1000 */
divide 0x01ffffff, 0x2000 /* expect 0x0fff */
divide 0x01ffffff, 0x3fff /* expect 0x0800 */
divide 0x01ffffff, 0x4000 /* expect 0x07ff */
divide 0x01ffffff, 0x7fff /* expect 0x0400 */
divide 0x02000000, 0x07ff /* expect 0x4008 */
divide 0x02000000, 0x0800 /* expect 0x4000 */
divide 0x02000000, 0x0fff /* expect 0x2002 */
divide 0x02000000, 0x1000 /* expect 0x2000 */
divide 0x02000000, 0x1fff /* expect 0x1000 */
divide 0x02000000, 0x2000 /* expect 0x1000 */
divide 0x02000000, 0x3fff /* expect 0x0800 */
divide 0x02000000, 0x4000 /* expect 0x0800 */
divide 0x02000000, 0x7fff /* expect 0x0400 */
divide 0x03ffffff, 0x0800 /* expect 0x7fff */
divide 0x03ffffff, 0x0fff /* expect 0x4004 */
divide 0x03ffffff, 0x1000 /* expect 0x3fff */
divide 0x03ffffff, 0x1fff /* expect 0x2001 */
divide 0x03ffffff, 0x2000 /* expect 0x1fff */
divide 0x03ffffff, 0x3fff /* expect 0x1000 */
divide 0x03ffffff, 0x4000 /* expect 0x0fff */
divide 0x03ffffff, 0x7fff /* expect 0x0800 */
divide 0x04000000, 0x0fff /* expect 0x4004 */
divide 0x04000000, 0x1000 /* expect 0x4000 */
divide 0x04000000, 0x1fff /* expect 0x2001 */
divide 0x04000000, 0x2000 /* expect 0x2000 */
divide 0x04000000, 0x3fff /* expect 0x1000 */
divide 0x04000000, 0x4000 /* expect 0x1000 */
divide 0x04000000, 0x7fff /* expect 0x0800 */
divide 0x07ffffff, 0x1000 /* expect 0x7fff */
divide 0x07ffffff, 0x1fff /* expect 0x4002 */
divide 0x07ffffff, 0x2000 /* expect 0x3fff */
divide 0x07ffffff, 0x3fff /* expect 0x2000 */
divide 0x07ffffff, 0x4000 /* expect 0x1fff */
divide 0x07ffffff, 0x7fff /* expect 0x1000 */
divide 0x08000000, 0x1fff /* expect 0x4002 */
divide 0x08000000, 0x2000 /* expect 0x4000 */
divide 0x08000000, 0x3fff /* expect 0x2000 */
divide 0x08000000, 0x4000 /* expect 0x2000 */
divide 0x08000000, 0x7fff /* expect 0x1000 */
divide 0x0fffffff, 0x2000 /* expect 0x7fff */
divide 0x0fffffff, 0x3fff /* expect 0x4001 */
divide 0x0fffffff, 0x4000 /* expect 0x3fff */
divide 0x0fffffff, 0x7fff /* expect 0x2000 */
divide 0x10000000, 0x3fff /* expect 0x4001 */
divide 0x10000000, 0x4000 /* expect 0x4000 */
divide 0x10000000, 0x7fff /* expect 0x2000 */
divide 0x1fffffff, 0x4000 /* expect 0x7fff */
divide 0x1fffffff, 0x7fff /* expect 0x4000 */
divide 0x20000000, 0x7fff /* expect 0x4000 */
pass