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