Statistics
| Branch: | Revision:

root / tests / test-i386.c @ e3b32540

History | View | Annotate | Download (32.7 kB)

1 3a27ad0b bellard
#define _GNU_SOURCE
2 4d1135e4 bellard
#include <stdlib.h>
3 4d1135e4 bellard
#include <stdio.h>
4 6dbad63e bellard
#include <inttypes.h>
5 4d1135e4 bellard
#include <math.h>
6 3a27ad0b bellard
#include <signal.h>
7 3a27ad0b bellard
#include <setjmp.h>
8 3a27ad0b bellard
#include <sys/ucontext.h>
9 3a27ad0b bellard
#include <sys/mman.h>
10 3a27ad0b bellard
#include <asm/vm86.h>
11 4d1135e4 bellard
12 5dd9488c bellard
#define TEST_CMOV 0
13 5dd9488c bellard
14 4d1135e4 bellard
#define xglue(x, y) x ## y
15 4d1135e4 bellard
#define glue(x, y) xglue(x, y)
16 4d1135e4 bellard
#define stringify(s)        tostring(s)
17 4d1135e4 bellard
#define tostring(s)        #s
18 4d1135e4 bellard
19 4d1135e4 bellard
#define CC_C           0x0001
20 4d1135e4 bellard
#define CC_P         0x0004
21 4d1135e4 bellard
#define CC_A        0x0010
22 4d1135e4 bellard
#define CC_Z        0x0040
23 4d1135e4 bellard
#define CC_S    0x0080
24 4d1135e4 bellard
#define CC_O    0x0800
25 4d1135e4 bellard
26 4d1135e4 bellard
#define __init_call        __attribute__ ((unused,__section__ (".initcall.init")))
27 4d1135e4 bellard
28 4d1135e4 bellard
static void *call_start __init_call = NULL;
29 4d1135e4 bellard
30 4b74fe1f bellard
#define CC_MASK (CC_C | CC_P | CC_Z | CC_S | CC_O | CC_A)
31 4b74fe1f bellard
32 4d1135e4 bellard
#define OP add
33 4d1135e4 bellard
#include "test-i386.h"
34 4d1135e4 bellard
35 4d1135e4 bellard
#define OP sub
36 4d1135e4 bellard
#include "test-i386.h"
37 4d1135e4 bellard
38 4d1135e4 bellard
#define OP xor
39 4d1135e4 bellard
#include "test-i386.h"
40 4d1135e4 bellard
41 4d1135e4 bellard
#define OP and
42 4d1135e4 bellard
#include "test-i386.h"
43 4d1135e4 bellard
44 4d1135e4 bellard
#define OP or
45 4d1135e4 bellard
#include "test-i386.h"
46 4d1135e4 bellard
47 4d1135e4 bellard
#define OP cmp
48 4d1135e4 bellard
#include "test-i386.h"
49 4d1135e4 bellard
50 4d1135e4 bellard
#define OP adc
51 4d1135e4 bellard
#define OP_CC
52 4d1135e4 bellard
#include "test-i386.h"
53 4d1135e4 bellard
54 4d1135e4 bellard
#define OP sbb
55 4d1135e4 bellard
#define OP_CC
56 4d1135e4 bellard
#include "test-i386.h"
57 4d1135e4 bellard
58 4d1135e4 bellard
#define OP inc
59 4d1135e4 bellard
#define OP_CC
60 4d1135e4 bellard
#define OP1
61 4d1135e4 bellard
#include "test-i386.h"
62 4d1135e4 bellard
63 4d1135e4 bellard
#define OP dec
64 4d1135e4 bellard
#define OP_CC
65 4d1135e4 bellard
#define OP1
66 4d1135e4 bellard
#include "test-i386.h"
67 4d1135e4 bellard
68 4d1135e4 bellard
#define OP neg
69 4d1135e4 bellard
#define OP_CC
70 4d1135e4 bellard
#define OP1
71 4d1135e4 bellard
#include "test-i386.h"
72 4d1135e4 bellard
73 4d1135e4 bellard
#define OP not
74 4d1135e4 bellard
#define OP_CC
75 4d1135e4 bellard
#define OP1
76 4d1135e4 bellard
#include "test-i386.h"
77 4d1135e4 bellard
78 4b74fe1f bellard
#undef CC_MASK
79 4b74fe1f bellard
#define CC_MASK (CC_C | CC_P | CC_Z | CC_S | CC_O)
80 4b74fe1f bellard
81 379ca80d bellard
#define OP shl
82 379ca80d bellard
#include "test-i386-shift.h"
83 379ca80d bellard
84 379ca80d bellard
#define OP shr
85 379ca80d bellard
#include "test-i386-shift.h"
86 379ca80d bellard
87 379ca80d bellard
#define OP sar
88 379ca80d bellard
#include "test-i386-shift.h"
89 379ca80d bellard
90 379ca80d bellard
#define OP rol
91 379ca80d bellard
#include "test-i386-shift.h"
92 379ca80d bellard
93 379ca80d bellard
#define OP ror
94 379ca80d bellard
#include "test-i386-shift.h"
95 379ca80d bellard
96 379ca80d bellard
#define OP rcr
97 379ca80d bellard
#define OP_CC
98 379ca80d bellard
#include "test-i386-shift.h"
99 379ca80d bellard
100 379ca80d bellard
#define OP rcl
101 379ca80d bellard
#define OP_CC
102 379ca80d bellard
#include "test-i386-shift.h"
103 379ca80d bellard
104 d57c4e01 bellard
#define OP shld
105 d57c4e01 bellard
#define OP_SHIFTD
106 d57c4e01 bellard
#define OP_NOBYTE
107 d57c4e01 bellard
#include "test-i386-shift.h"
108 d57c4e01 bellard
109 d57c4e01 bellard
#define OP shrd
110 d57c4e01 bellard
#define OP_SHIFTD
111 d57c4e01 bellard
#define OP_NOBYTE
112 d57c4e01 bellard
#include "test-i386-shift.h"
113 d57c4e01 bellard
114 d57c4e01 bellard
/* XXX: should be more precise ? */
115 d57c4e01 bellard
#undef CC_MASK
116 d57c4e01 bellard
#define CC_MASK (CC_C)
117 d57c4e01 bellard
118 d57c4e01 bellard
#define OP bt
119 d57c4e01 bellard
#define OP_NOBYTE
120 d57c4e01 bellard
#include "test-i386-shift.h"
121 d57c4e01 bellard
122 d57c4e01 bellard
#define OP bts
123 d57c4e01 bellard
#define OP_NOBYTE
124 d57c4e01 bellard
#include "test-i386-shift.h"
125 d57c4e01 bellard
126 d57c4e01 bellard
#define OP btr
127 d57c4e01 bellard
#define OP_NOBYTE
128 d57c4e01 bellard
#include "test-i386-shift.h"
129 d57c4e01 bellard
130 d57c4e01 bellard
#define OP btc
131 d57c4e01 bellard
#define OP_NOBYTE
132 d57c4e01 bellard
#include "test-i386-shift.h"
133 379ca80d bellard
134 4d1135e4 bellard
/* lea test (modrm support) */
135 4d1135e4 bellard
#define TEST_LEA(STR)\
136 4d1135e4 bellard
{\
137 4d1135e4 bellard
    asm("leal " STR ", %0"\
138 4d1135e4 bellard
        : "=r" (res)\
139 4d1135e4 bellard
        : "a" (eax), "b" (ebx), "c" (ecx), "d" (edx), "S" (esi), "D" (edi));\
140 4d1135e4 bellard
    printf("lea %s = %08x\n", STR, res);\
141 4d1135e4 bellard
}
142 4d1135e4 bellard
143 4d1135e4 bellard
#define TEST_LEA16(STR)\
144 4d1135e4 bellard
{\
145 4d1135e4 bellard
    asm(".code16 ; .byte 0x67 ; leal " STR ", %0 ; .code32"\
146 4d1135e4 bellard
        : "=wq" (res)\
147 4d1135e4 bellard
        : "a" (eax), "b" (ebx), "c" (ecx), "d" (edx), "S" (esi), "D" (edi));\
148 4d1135e4 bellard
    printf("lea %s = %08x\n", STR, res);\
149 4d1135e4 bellard
}
150 4d1135e4 bellard
151 4d1135e4 bellard
152 4d1135e4 bellard
void test_lea(void)
153 4d1135e4 bellard
{
154 4d1135e4 bellard
    int eax, ebx, ecx, edx, esi, edi, res;
155 4d1135e4 bellard
    eax = 0x0001;
156 4d1135e4 bellard
    ebx = 0x0002;
157 4d1135e4 bellard
    ecx = 0x0004;
158 4d1135e4 bellard
    edx = 0x0008;
159 4d1135e4 bellard
    esi = 0x0010;
160 4d1135e4 bellard
    edi = 0x0020;
161 4d1135e4 bellard
162 4d1135e4 bellard
    TEST_LEA("0x4000");
163 4d1135e4 bellard
164 4d1135e4 bellard
    TEST_LEA("(%%eax)");
165 4d1135e4 bellard
    TEST_LEA("(%%ebx)");
166 4d1135e4 bellard
    TEST_LEA("(%%ecx)");
167 4d1135e4 bellard
    TEST_LEA("(%%edx)");
168 4d1135e4 bellard
    TEST_LEA("(%%esi)");
169 4d1135e4 bellard
    TEST_LEA("(%%edi)");
170 4d1135e4 bellard
171 4d1135e4 bellard
    TEST_LEA("0x40(%%eax)");
172 4d1135e4 bellard
    TEST_LEA("0x40(%%ebx)");
173 4d1135e4 bellard
    TEST_LEA("0x40(%%ecx)");
174 4d1135e4 bellard
    TEST_LEA("0x40(%%edx)");
175 4d1135e4 bellard
    TEST_LEA("0x40(%%esi)");
176 4d1135e4 bellard
    TEST_LEA("0x40(%%edi)");
177 4d1135e4 bellard
178 4d1135e4 bellard
    TEST_LEA("0x4000(%%eax)");
179 4d1135e4 bellard
    TEST_LEA("0x4000(%%ebx)");
180 4d1135e4 bellard
    TEST_LEA("0x4000(%%ecx)");
181 4d1135e4 bellard
    TEST_LEA("0x4000(%%edx)");
182 4d1135e4 bellard
    TEST_LEA("0x4000(%%esi)");
183 4d1135e4 bellard
    TEST_LEA("0x4000(%%edi)");
184 4d1135e4 bellard
185 4d1135e4 bellard
    TEST_LEA("(%%eax, %%ecx)");
186 4d1135e4 bellard
    TEST_LEA("(%%ebx, %%edx)");
187 4d1135e4 bellard
    TEST_LEA("(%%ecx, %%ecx)");
188 4d1135e4 bellard
    TEST_LEA("(%%edx, %%ecx)");
189 4d1135e4 bellard
    TEST_LEA("(%%esi, %%ecx)");
190 4d1135e4 bellard
    TEST_LEA("(%%edi, %%ecx)");
191 4d1135e4 bellard
192 4d1135e4 bellard
    TEST_LEA("0x40(%%eax, %%ecx)");
193 4d1135e4 bellard
    TEST_LEA("0x4000(%%ebx, %%edx)");
194 4d1135e4 bellard
195 4d1135e4 bellard
    TEST_LEA("(%%ecx, %%ecx, 2)");
196 4d1135e4 bellard
    TEST_LEA("(%%edx, %%ecx, 4)");
197 4d1135e4 bellard
    TEST_LEA("(%%esi, %%ecx, 8)");
198 4d1135e4 bellard
199 4d1135e4 bellard
    TEST_LEA("(,%%eax, 2)");
200 4d1135e4 bellard
    TEST_LEA("(,%%ebx, 4)");
201 4d1135e4 bellard
    TEST_LEA("(,%%ecx, 8)");
202 4d1135e4 bellard
203 4d1135e4 bellard
    TEST_LEA("0x40(,%%eax, 2)");
204 4d1135e4 bellard
    TEST_LEA("0x40(,%%ebx, 4)");
205 4d1135e4 bellard
    TEST_LEA("0x40(,%%ecx, 8)");
206 4d1135e4 bellard
207 4d1135e4 bellard
208 4d1135e4 bellard
    TEST_LEA("-10(%%ecx, %%ecx, 2)");
209 4d1135e4 bellard
    TEST_LEA("-10(%%edx, %%ecx, 4)");
210 4d1135e4 bellard
    TEST_LEA("-10(%%esi, %%ecx, 8)");
211 4d1135e4 bellard
212 4d1135e4 bellard
    TEST_LEA("0x4000(%%ecx, %%ecx, 2)");
213 4d1135e4 bellard
    TEST_LEA("0x4000(%%edx, %%ecx, 4)");
214 4d1135e4 bellard
    TEST_LEA("0x4000(%%esi, %%ecx, 8)");
215 4d1135e4 bellard
216 4d1135e4 bellard
    /* limited 16 bit addressing test */
217 4d1135e4 bellard
    TEST_LEA16("0x4000");
218 4d1135e4 bellard
    TEST_LEA16("(%%bx)");
219 4d1135e4 bellard
    TEST_LEA16("(%%si)");
220 4d1135e4 bellard
    TEST_LEA16("(%%di)");
221 4d1135e4 bellard
    TEST_LEA16("0x40(%%bx)");
222 4d1135e4 bellard
    TEST_LEA16("0x40(%%si)");
223 4d1135e4 bellard
    TEST_LEA16("0x40(%%di)");
224 4d1135e4 bellard
    TEST_LEA16("0x4000(%%bx)");
225 4d1135e4 bellard
    TEST_LEA16("0x4000(%%si)");
226 4d1135e4 bellard
    TEST_LEA16("(%%bx,%%si)");
227 4d1135e4 bellard
    TEST_LEA16("(%%bx,%%di)");
228 4d1135e4 bellard
    TEST_LEA16("0x40(%%bx,%%si)");
229 4d1135e4 bellard
    TEST_LEA16("0x40(%%bx,%%di)");
230 4d1135e4 bellard
    TEST_LEA16("0x4000(%%bx,%%si)");
231 4d1135e4 bellard
    TEST_LEA16("0x4000(%%bx,%%di)");
232 4d1135e4 bellard
}
233 4d1135e4 bellard
234 4d1135e4 bellard
#define TEST_JCC(JCC, v1, v2)\
235 4d1135e4 bellard
{\
236 5dd9488c bellard
    int res;\
237 4d1135e4 bellard
    asm("movl $1, %0\n\t"\
238 4d1135e4 bellard
        "cmpl %2, %1\n\t"\
239 5dd9488c bellard
        "j" JCC " 1f\n\t"\
240 4d1135e4 bellard
        "movl $0, %0\n\t"\
241 4d1135e4 bellard
        "1:\n\t"\
242 4d1135e4 bellard
        : "=r" (res)\
243 4d1135e4 bellard
        : "r" (v1), "r" (v2));\
244 5dd9488c bellard
    printf("%-10s %d\n", "j" JCC, res);\
245 5dd9488c bellard
\
246 5dd9488c bellard
    asm("movl $0, %0\n\t"\
247 5dd9488c bellard
        "cmpl %2, %1\n\t"\
248 5dd9488c bellard
        "set" JCC " %b0\n\t"\
249 5dd9488c bellard
        : "=r" (res)\
250 5dd9488c bellard
        : "r" (v1), "r" (v2));\
251 5dd9488c bellard
    printf("%-10s %d\n", "set" JCC, res);\
252 5dd9488c bellard
 if (TEST_CMOV) {\
253 5dd9488c bellard
    asm("movl $0x12345678, %0\n\t"\
254 5dd9488c bellard
        "cmpl %2, %1\n\t"\
255 5dd9488c bellard
        "cmov" JCC "l %3, %0\n\t"\
256 5dd9488c bellard
        : "=r" (res)\
257 5dd9488c bellard
        : "r" (v1), "r" (v2), "m" (1));\
258 5dd9488c bellard
        printf("%-10s R=0x%08x\n", "cmov" JCC "l", res);\
259 5dd9488c bellard
    asm("movl $0x12345678, %0\n\t"\
260 5dd9488c bellard
        "cmpl %2, %1\n\t"\
261 5dd9488c bellard
        "cmov" JCC "w %w3, %w0\n\t"\
262 5dd9488c bellard
        : "=r" (res)\
263 5dd9488c bellard
        : "r" (v1), "r" (v2), "r" (1));\
264 5dd9488c bellard
        printf("%-10s R=0x%08x\n", "cmov" JCC "w", res);\
265 5dd9488c bellard
 } \
266 4d1135e4 bellard
}
267 4d1135e4 bellard
268 4d1135e4 bellard
/* various jump tests */
269 4d1135e4 bellard
void test_jcc(void)
270 4d1135e4 bellard
{
271 5dd9488c bellard
    TEST_JCC("ne", 1, 1);
272 5dd9488c bellard
    TEST_JCC("ne", 1, 0);
273 4d1135e4 bellard
274 5dd9488c bellard
    TEST_JCC("e", 1, 1);
275 5dd9488c bellard
    TEST_JCC("e", 1, 0);
276 4d1135e4 bellard
277 5dd9488c bellard
    TEST_JCC("l", 1, 1);
278 5dd9488c bellard
    TEST_JCC("l", 1, 0);
279 5dd9488c bellard
    TEST_JCC("l", 1, -1);
280 4d1135e4 bellard
281 5dd9488c bellard
    TEST_JCC("le", 1, 1);
282 5dd9488c bellard
    TEST_JCC("le", 1, 0);
283 5dd9488c bellard
    TEST_JCC("le", 1, -1);
284 4d1135e4 bellard
285 5dd9488c bellard
    TEST_JCC("ge", 1, 1);
286 5dd9488c bellard
    TEST_JCC("ge", 1, 0);
287 5dd9488c bellard
    TEST_JCC("ge", -1, 1);
288 4d1135e4 bellard
289 5dd9488c bellard
    TEST_JCC("g", 1, 1);
290 5dd9488c bellard
    TEST_JCC("g", 1, 0);
291 5dd9488c bellard
    TEST_JCC("g", 1, -1);
292 4d1135e4 bellard
293 5dd9488c bellard
    TEST_JCC("b", 1, 1);
294 5dd9488c bellard
    TEST_JCC("b", 1, 0);
295 5dd9488c bellard
    TEST_JCC("b", 1, -1);
296 4d1135e4 bellard
297 5dd9488c bellard
    TEST_JCC("be", 1, 1);
298 5dd9488c bellard
    TEST_JCC("be", 1, 0);
299 5dd9488c bellard
    TEST_JCC("be", 1, -1);
300 4d1135e4 bellard
301 5dd9488c bellard
    TEST_JCC("ae", 1, 1);
302 5dd9488c bellard
    TEST_JCC("ae", 1, 0);
303 5dd9488c bellard
    TEST_JCC("ae", 1, -1);
304 4d1135e4 bellard
305 5dd9488c bellard
    TEST_JCC("a", 1, 1);
306 5dd9488c bellard
    TEST_JCC("a", 1, 0);
307 5dd9488c bellard
    TEST_JCC("a", 1, -1);
308 4d1135e4 bellard
309 4d1135e4 bellard
310 5dd9488c bellard
    TEST_JCC("p", 1, 1);
311 5dd9488c bellard
    TEST_JCC("p", 1, 0);
312 4d1135e4 bellard
313 5dd9488c bellard
    TEST_JCC("np", 1, 1);
314 5dd9488c bellard
    TEST_JCC("np", 1, 0);
315 4d1135e4 bellard
316 5dd9488c bellard
    TEST_JCC("o", 0x7fffffff, 0);
317 5dd9488c bellard
    TEST_JCC("o", 0x7fffffff, -1);
318 4d1135e4 bellard
319 5dd9488c bellard
    TEST_JCC("no", 0x7fffffff, 0);
320 5dd9488c bellard
    TEST_JCC("no", 0x7fffffff, -1);
321 4d1135e4 bellard
322 5dd9488c bellard
    TEST_JCC("s", 0, 1);
323 5dd9488c bellard
    TEST_JCC("s", 0, -1);
324 5dd9488c bellard
    TEST_JCC("s", 0, 0);
325 4d1135e4 bellard
326 5dd9488c bellard
    TEST_JCC("ns", 0, 1);
327 5dd9488c bellard
    TEST_JCC("ns", 0, -1);
328 5dd9488c bellard
    TEST_JCC("ns", 0, 0);
329 4d1135e4 bellard
}
330 4d1135e4 bellard
331 4b74fe1f bellard
#undef CC_MASK
332 4b74fe1f bellard
#define CC_MASK (CC_O | CC_C)
333 4b74fe1f bellard
334 4b74fe1f bellard
#define OP mul
335 4b74fe1f bellard
#include "test-i386-muldiv.h"
336 4b74fe1f bellard
337 4b74fe1f bellard
#define OP imul
338 4b74fe1f bellard
#include "test-i386-muldiv.h"
339 4b74fe1f bellard
340 4b74fe1f bellard
#undef CC_MASK
341 4b74fe1f bellard
#define CC_MASK (0)
342 4b74fe1f bellard
343 4b74fe1f bellard
#define OP div
344 4b74fe1f bellard
#include "test-i386-muldiv.h"
345 4b74fe1f bellard
346 4b74fe1f bellard
#define OP idiv
347 4b74fe1f bellard
#include "test-i386-muldiv.h"
348 4b74fe1f bellard
349 4b74fe1f bellard
void test_imulw2(int op0, int op1) 
350 4b74fe1f bellard
{
351 4b74fe1f bellard
    int res, s1, s0, flags;
352 4b74fe1f bellard
    s0 = op0;
353 4b74fe1f bellard
    s1 = op1;
354 4b74fe1f bellard
    res = s0;
355 4b74fe1f bellard
    flags = 0;
356 4b74fe1f bellard
    asm ("push %4\n\t"
357 4b74fe1f bellard
         "popf\n\t"
358 4b74fe1f bellard
         "imulw %w2, %w0\n\t" 
359 4b74fe1f bellard
         "pushf\n\t"
360 4b74fe1f bellard
         "popl %1\n\t"
361 4b74fe1f bellard
         : "=q" (res), "=g" (flags)
362 4b74fe1f bellard
         : "q" (s1), "0" (res), "1" (flags));
363 4b74fe1f bellard
    printf("%-10s A=%08x B=%08x R=%08x CC=%04x\n",
364 4b74fe1f bellard
           "imulw", s0, s1, res, flags & CC_MASK);
365 4b74fe1f bellard
}
366 4b74fe1f bellard
367 4b74fe1f bellard
void test_imull2(int op0, int op1) 
368 4b74fe1f bellard
{
369 4b74fe1f bellard
    int res, s1, s0, flags;
370 4b74fe1f bellard
    s0 = op0;
371 4b74fe1f bellard
    s1 = op1;
372 4b74fe1f bellard
    res = s0;
373 4b74fe1f bellard
    flags = 0;
374 4b74fe1f bellard
    asm ("push %4\n\t"
375 4b74fe1f bellard
         "popf\n\t"
376 4b74fe1f bellard
         "imull %2, %0\n\t" 
377 4b74fe1f bellard
         "pushf\n\t"
378 4b74fe1f bellard
         "popl %1\n\t"
379 4b74fe1f bellard
         : "=q" (res), "=g" (flags)
380 4b74fe1f bellard
         : "q" (s1), "0" (res), "1" (flags));
381 4b74fe1f bellard
    printf("%-10s A=%08x B=%08x R=%08x CC=%04x\n",
382 4b74fe1f bellard
           "imull", s0, s1, res, flags & CC_MASK);
383 4b74fe1f bellard
}
384 4b74fe1f bellard
385 4b74fe1f bellard
void test_mul(void)
386 4b74fe1f bellard
{
387 4b74fe1f bellard
    test_imulb(0x1234561d, 4);
388 4b74fe1f bellard
    test_imulb(3, -4);
389 4b74fe1f bellard
    test_imulb(0x80, 0x80);
390 4b74fe1f bellard
    test_imulb(0x10, 0x10);
391 4b74fe1f bellard
392 4b74fe1f bellard
    test_imulw(0, 0x1234001d, 45);
393 4b74fe1f bellard
    test_imulw(0, 23, -45);
394 4b74fe1f bellard
    test_imulw(0, 0x8000, 0x8000);
395 4b74fe1f bellard
    test_imulw(0, 0x100, 0x100);
396 4b74fe1f bellard
397 4b74fe1f bellard
    test_imull(0, 0x1234001d, 45);
398 4b74fe1f bellard
    test_imull(0, 23, -45);
399 4b74fe1f bellard
    test_imull(0, 0x80000000, 0x80000000);
400 4b74fe1f bellard
    test_imull(0, 0x10000, 0x10000);
401 4b74fe1f bellard
402 4b74fe1f bellard
    test_mulb(0x1234561d, 4);
403 4b74fe1f bellard
    test_mulb(3, -4);
404 4b74fe1f bellard
    test_mulb(0x80, 0x80);
405 4b74fe1f bellard
    test_mulb(0x10, 0x10);
406 4b74fe1f bellard
407 4b74fe1f bellard
    test_mulw(0, 0x1234001d, 45);
408 4b74fe1f bellard
    test_mulw(0, 23, -45);
409 4b74fe1f bellard
    test_mulw(0, 0x8000, 0x8000);
410 4b74fe1f bellard
    test_mulw(0, 0x100, 0x100);
411 4b74fe1f bellard
412 4b74fe1f bellard
    test_mull(0, 0x1234001d, 45);
413 4b74fe1f bellard
    test_mull(0, 23, -45);
414 4b74fe1f bellard
    test_mull(0, 0x80000000, 0x80000000);
415 4b74fe1f bellard
    test_mull(0, 0x10000, 0x10000);
416 4b74fe1f bellard
417 4b74fe1f bellard
    test_imulw2(0x1234001d, 45);
418 4b74fe1f bellard
    test_imulw2(23, -45);
419 4b74fe1f bellard
    test_imulw2(0x8000, 0x8000);
420 4b74fe1f bellard
    test_imulw2(0x100, 0x100);
421 4b74fe1f bellard
422 4b74fe1f bellard
    test_imull2(0x1234001d, 45);
423 4b74fe1f bellard
    test_imull2(23, -45);
424 4b74fe1f bellard
    test_imull2(0x80000000, 0x80000000);
425 4b74fe1f bellard
    test_imull2(0x10000, 0x10000);
426 4b74fe1f bellard
427 4b74fe1f bellard
    test_idivb(0x12341678, 0x127e);
428 4b74fe1f bellard
    test_idivb(0x43210123, -5);
429 4b74fe1f bellard
    test_idivb(0x12340004, -1);
430 4b74fe1f bellard
431 4b74fe1f bellard
    test_idivw(0, 0x12345678, 12347);
432 4b74fe1f bellard
    test_idivw(0, -23223, -45);
433 4b74fe1f bellard
    test_idivw(0, 0x12348000, -1);
434 4b74fe1f bellard
    test_idivw(0x12343, 0x12345678, 0x81238567);
435 4b74fe1f bellard
436 4b74fe1f bellard
    test_idivl(0, 0x12345678, 12347);
437 4b74fe1f bellard
    test_idivl(0, -233223, -45);
438 4b74fe1f bellard
    test_idivl(0, 0x80000000, -1);
439 4b74fe1f bellard
    test_idivl(0x12343, 0x12345678, 0x81234567);
440 4b74fe1f bellard
441 4b74fe1f bellard
    test_divb(0x12341678, 0x127e);
442 4b74fe1f bellard
    test_divb(0x43210123, -5);
443 4b74fe1f bellard
    test_divb(0x12340004, -1);
444 4b74fe1f bellard
445 4b74fe1f bellard
    test_divw(0, 0x12345678, 12347);
446 4b74fe1f bellard
    test_divw(0, -23223, -45);
447 4b74fe1f bellard
    test_divw(0, 0x12348000, -1);
448 4b74fe1f bellard
    test_divw(0x12343, 0x12345678, 0x81238567);
449 4b74fe1f bellard
450 4b74fe1f bellard
    test_divl(0, 0x12345678, 12347);
451 4b74fe1f bellard
    test_divl(0, -233223, -45);
452 4b74fe1f bellard
    test_divl(0, 0x80000000, -1);
453 4b74fe1f bellard
    test_divl(0x12343, 0x12345678, 0x81234567);
454 4b74fe1f bellard
}
455 4b74fe1f bellard
456 9d8e9c09 bellard
#define TEST_BSX(op, size, op0)\
457 9d8e9c09 bellard
{\
458 9d8e9c09 bellard
    int res, val, resz;\
459 9d8e9c09 bellard
    val = op0;\
460 9d8e9c09 bellard
    asm("xorl %1, %1 ; " #op " %" size "2, %" size "0 ; setz %b1" \
461 9d8e9c09 bellard
        : "=r" (res), "=q" (resz)\
462 9d8e9c09 bellard
        : "g" (val));\
463 9d8e9c09 bellard
    printf("%-10s A=%08x R=%08x %d\n", #op, val, resz ? 0 : res, resz);\
464 9d8e9c09 bellard
}
465 9d8e9c09 bellard
466 9d8e9c09 bellard
void test_bsx(void)
467 9d8e9c09 bellard
{
468 9d8e9c09 bellard
    TEST_BSX(bsrw, "w", 0);
469 9d8e9c09 bellard
    TEST_BSX(bsrw, "w", 0x12340128);
470 9d8e9c09 bellard
    TEST_BSX(bsrl, "", 0);
471 9d8e9c09 bellard
    TEST_BSX(bsrl, "", 0x00340128);
472 9d8e9c09 bellard
    TEST_BSX(bsfw, "w", 0);
473 9d8e9c09 bellard
    TEST_BSX(bsfw, "w", 0x12340128);
474 9d8e9c09 bellard
    TEST_BSX(bsfl, "", 0);
475 9d8e9c09 bellard
    TEST_BSX(bsfl, "", 0x00340128);
476 9d8e9c09 bellard
}
477 9d8e9c09 bellard
478 55480af8 bellard
/**********************************************/
479 55480af8 bellard
480 9d8e9c09 bellard
void test_fops(double a, double b)
481 9d8e9c09 bellard
{
482 9d8e9c09 bellard
    printf("a=%f b=%f a+b=%f\n", a, b, a + b);
483 9d8e9c09 bellard
    printf("a=%f b=%f a-b=%f\n", a, b, a - b);
484 9d8e9c09 bellard
    printf("a=%f b=%f a*b=%f\n", a, b, a * b);
485 9d8e9c09 bellard
    printf("a=%f b=%f a/b=%f\n", a, b, a / b);
486 9d8e9c09 bellard
    printf("a=%f b=%f fmod(a, b)=%f\n", a, b, fmod(a, b));
487 9d8e9c09 bellard
    printf("a=%f sqrt(a)=%f\n", a, sqrt(a));
488 9d8e9c09 bellard
    printf("a=%f sin(a)=%f\n", a, sin(a));
489 9d8e9c09 bellard
    printf("a=%f cos(a)=%f\n", a, cos(a));
490 9d8e9c09 bellard
    printf("a=%f tan(a)=%f\n", a, tan(a));
491 9d8e9c09 bellard
    printf("a=%f log(a)=%f\n", a, log(a));
492 9d8e9c09 bellard
    printf("a=%f exp(a)=%f\n", a, exp(a));
493 9d8e9c09 bellard
    printf("a=%f b=%f atan2(a, b)=%f\n", a, b, atan2(a, b));
494 9d8e9c09 bellard
    /* just to test some op combining */
495 9d8e9c09 bellard
    printf("a=%f asin(sin(a))=%f\n", a, asin(sin(a)));
496 9d8e9c09 bellard
    printf("a=%f acos(cos(a))=%f\n", a, acos(cos(a)));
497 9d8e9c09 bellard
    printf("a=%f atan(tan(a))=%f\n", a, atan(tan(a)));
498 9d8e9c09 bellard
499 9d8e9c09 bellard
}
500 9d8e9c09 bellard
501 9d8e9c09 bellard
void test_fcmp(double a, double b)
502 9d8e9c09 bellard
{
503 9d8e9c09 bellard
    printf("(%f<%f)=%d\n",
504 9d8e9c09 bellard
           a, b, a < b);
505 9d8e9c09 bellard
    printf("(%f<=%f)=%d\n",
506 9d8e9c09 bellard
           a, b, a <= b);
507 9d8e9c09 bellard
    printf("(%f==%f)=%d\n",
508 9d8e9c09 bellard
           a, b, a == b);
509 9d8e9c09 bellard
    printf("(%f>%f)=%d\n",
510 9d8e9c09 bellard
           a, b, a > b);
511 9d8e9c09 bellard
    printf("(%f<=%f)=%d\n",
512 9d8e9c09 bellard
           a, b, a >= b);
513 9d8e9c09 bellard
}
514 9d8e9c09 bellard
515 9d8e9c09 bellard
void test_fcvt(double a)
516 9d8e9c09 bellard
{
517 9d8e9c09 bellard
    float fa;
518 9d8e9c09 bellard
    long double la;
519 9d8e9c09 bellard
520 9d8e9c09 bellard
    fa = a;
521 9d8e9c09 bellard
    la = a;
522 9d8e9c09 bellard
    printf("(float)%f = %f\n", a, fa);
523 9d8e9c09 bellard
    printf("(long double)%f = %Lf\n", a, la);
524 c5e9815d bellard
    printf("a=%016Lx\n", *(long long *)&a);
525 c5e9815d bellard
    printf("la=%016Lx %04x\n", *(long long *)&la, 
526 c5e9815d bellard
           *(unsigned short *)((char *)(&la) + 8));
527 9d8e9c09 bellard
    printf("a=%f floor(a)=%f\n", a, floor(a));
528 9d8e9c09 bellard
    printf("a=%f ceil(a)=%f\n", a, ceil(a));
529 9d8e9c09 bellard
    printf("a=%f rint(a)=%f\n", a, rint(a));
530 9d8e9c09 bellard
}
531 9d8e9c09 bellard
532 9d8e9c09 bellard
#define TEST(N) \
533 9d8e9c09 bellard
    asm("fld" #N : "=t" (a)); \
534 9d8e9c09 bellard
    printf("fld" #N "= %f\n", a);
535 9d8e9c09 bellard
536 9d8e9c09 bellard
void test_fconst(void)
537 9d8e9c09 bellard
{
538 9d8e9c09 bellard
    double a;
539 9d8e9c09 bellard
    TEST(1);
540 9d8e9c09 bellard
    TEST(l2t);
541 9d8e9c09 bellard
    TEST(l2e);
542 9d8e9c09 bellard
    TEST(pi);
543 9d8e9c09 bellard
    TEST(lg2);
544 9d8e9c09 bellard
    TEST(ln2);
545 9d8e9c09 bellard
    TEST(z);
546 9d8e9c09 bellard
}
547 9d8e9c09 bellard
548 c5e9815d bellard
void test_fbcd(double a)
549 c5e9815d bellard
{
550 c5e9815d bellard
    unsigned short bcd[5];
551 c5e9815d bellard
    double b;
552 c5e9815d bellard
553 c5e9815d bellard
    asm("fbstp %0" : "=m" (bcd[0]) : "t" (a) : "st");
554 c5e9815d bellard
    asm("fbld %1" : "=t" (b) : "m" (bcd[0]));
555 c5e9815d bellard
    printf("a=%f bcd=%04x%04x%04x%04x%04x b=%f\n", 
556 c5e9815d bellard
           a, bcd[4], bcd[3], bcd[2], bcd[1], bcd[0], b);
557 c5e9815d bellard
}
558 c5e9815d bellard
559 9d8e9c09 bellard
void test_floats(void)
560 9d8e9c09 bellard
{
561 9d8e9c09 bellard
    test_fops(2, 3);
562 9d8e9c09 bellard
    test_fops(1.4, -5);
563 9d8e9c09 bellard
    test_fcmp(2, -1);
564 9d8e9c09 bellard
    test_fcmp(2, 2);
565 9d8e9c09 bellard
    test_fcmp(2, 3);
566 9d8e9c09 bellard
    test_fcvt(1.0/7.0);
567 9d8e9c09 bellard
    test_fcvt(-1.0/9.0);
568 9d8e9c09 bellard
    test_fcvt(1e30);
569 9d8e9c09 bellard
    test_fconst();
570 c5e9815d bellard
    test_fbcd(1234567890123456);
571 c5e9815d bellard
    test_fbcd(-123451234567890);
572 9d8e9c09 bellard
}
573 4b74fe1f bellard
574 55480af8 bellard
/**********************************************/
575 55480af8 bellard
576 55480af8 bellard
#define TEST_BCD(op, op0, cc_in, cc_mask)\
577 55480af8 bellard
{\
578 55480af8 bellard
    int res, flags;\
579 55480af8 bellard
    res = op0;\
580 55480af8 bellard
    flags = cc_in;\
581 55480af8 bellard
    asm ("push %3\n\t"\
582 55480af8 bellard
         "popf\n\t"\
583 55480af8 bellard
         #op "\n\t"\
584 55480af8 bellard
         "pushf\n\t"\
585 55480af8 bellard
         "popl %1\n\t"\
586 55480af8 bellard
        : "=a" (res), "=g" (flags)\
587 55480af8 bellard
        : "0" (res), "1" (flags));\
588 55480af8 bellard
    printf("%-10s A=%08x R=%08x CCIN=%04x CC=%04x\n",\
589 55480af8 bellard
           #op, op0, res, cc_in, flags & cc_mask);\
590 55480af8 bellard
}
591 55480af8 bellard
592 55480af8 bellard
void test_bcd(void)
593 55480af8 bellard
{
594 55480af8 bellard
    TEST_BCD(daa, 0x12340503, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
595 55480af8 bellard
    TEST_BCD(daa, 0x12340506, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
596 55480af8 bellard
    TEST_BCD(daa, 0x12340507, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
597 55480af8 bellard
    TEST_BCD(daa, 0x12340559, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
598 55480af8 bellard
    TEST_BCD(daa, 0x12340560, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
599 55480af8 bellard
    TEST_BCD(daa, 0x1234059f, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
600 55480af8 bellard
    TEST_BCD(daa, 0x123405a0, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
601 55480af8 bellard
    TEST_BCD(daa, 0x12340503, 0, (CC_C | CC_P | CC_Z | CC_S | CC_A));
602 55480af8 bellard
    TEST_BCD(daa, 0x12340506, 0, (CC_C | CC_P | CC_Z | CC_S | CC_A));
603 55480af8 bellard
    TEST_BCD(daa, 0x12340503, CC_C, (CC_C | CC_P | CC_Z | CC_S | CC_A));
604 55480af8 bellard
    TEST_BCD(daa, 0x12340506, CC_C, (CC_C | CC_P | CC_Z | CC_S | CC_A));
605 55480af8 bellard
    TEST_BCD(daa, 0x12340503, CC_C | CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
606 55480af8 bellard
    TEST_BCD(daa, 0x12340506, CC_C | CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
607 55480af8 bellard
608 55480af8 bellard
    TEST_BCD(das, 0x12340503, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
609 55480af8 bellard
    TEST_BCD(das, 0x12340506, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
610 55480af8 bellard
    TEST_BCD(das, 0x12340507, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
611 55480af8 bellard
    TEST_BCD(das, 0x12340559, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
612 55480af8 bellard
    TEST_BCD(das, 0x12340560, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
613 55480af8 bellard
    TEST_BCD(das, 0x1234059f, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
614 55480af8 bellard
    TEST_BCD(das, 0x123405a0, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
615 55480af8 bellard
    TEST_BCD(das, 0x12340503, 0, (CC_C | CC_P | CC_Z | CC_S | CC_A));
616 55480af8 bellard
    TEST_BCD(das, 0x12340506, 0, (CC_C | CC_P | CC_Z | CC_S | CC_A));
617 55480af8 bellard
    TEST_BCD(das, 0x12340503, CC_C, (CC_C | CC_P | CC_Z | CC_S | CC_A));
618 55480af8 bellard
    TEST_BCD(das, 0x12340506, CC_C, (CC_C | CC_P | CC_Z | CC_S | CC_A));
619 55480af8 bellard
    TEST_BCD(das, 0x12340503, CC_C | CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
620 55480af8 bellard
    TEST_BCD(das, 0x12340506, CC_C | CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_A));
621 55480af8 bellard
622 55480af8 bellard
    TEST_BCD(aaa, 0x12340205, CC_A, (CC_C | CC_A));
623 55480af8 bellard
    TEST_BCD(aaa, 0x12340306, CC_A, (CC_C | CC_A));
624 55480af8 bellard
    TEST_BCD(aaa, 0x1234040a, CC_A, (CC_C | CC_A));
625 55480af8 bellard
    TEST_BCD(aaa, 0x123405fa, CC_A, (CC_C | CC_A));
626 55480af8 bellard
    TEST_BCD(aaa, 0x12340205, 0, (CC_C | CC_A));
627 55480af8 bellard
    TEST_BCD(aaa, 0x12340306, 0, (CC_C | CC_A));
628 55480af8 bellard
    TEST_BCD(aaa, 0x1234040a, 0, (CC_C | CC_A));
629 55480af8 bellard
    TEST_BCD(aaa, 0x123405fa, 0, (CC_C | CC_A));
630 55480af8 bellard
    
631 55480af8 bellard
    TEST_BCD(aas, 0x12340205, CC_A, (CC_C | CC_A));
632 55480af8 bellard
    TEST_BCD(aas, 0x12340306, CC_A, (CC_C | CC_A));
633 55480af8 bellard
    TEST_BCD(aas, 0x1234040a, CC_A, (CC_C | CC_A));
634 55480af8 bellard
    TEST_BCD(aas, 0x123405fa, CC_A, (CC_C | CC_A));
635 55480af8 bellard
    TEST_BCD(aas, 0x12340205, 0, (CC_C | CC_A));
636 55480af8 bellard
    TEST_BCD(aas, 0x12340306, 0, (CC_C | CC_A));
637 55480af8 bellard
    TEST_BCD(aas, 0x1234040a, 0, (CC_C | CC_A));
638 55480af8 bellard
    TEST_BCD(aas, 0x123405fa, 0, (CC_C | CC_A));
639 55480af8 bellard
640 55480af8 bellard
    TEST_BCD(aam, 0x12340547, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_O | CC_A));
641 55480af8 bellard
    TEST_BCD(aad, 0x12340407, CC_A, (CC_C | CC_P | CC_Z | CC_S | CC_O | CC_A));
642 55480af8 bellard
}
643 55480af8 bellard
644 e5918247 bellard
#define TEST_XCHG(op, size, opconst)\
645 e5918247 bellard
{\
646 e5918247 bellard
    int op0, op1;\
647 e5918247 bellard
    op0 = 0x12345678;\
648 e5918247 bellard
    op1 = 0xfbca7654;\
649 e5918247 bellard
    asm(#op " %" size "0, %" size "1" \
650 e5918247 bellard
        : "=q" (op0), opconst (op1) \
651 e5918247 bellard
        : "0" (op0), "1" (op1));\
652 e5918247 bellard
    printf("%-10s A=%08x B=%08x\n",\
653 e5918247 bellard
           #op, op0, op1);\
654 e5918247 bellard
}
655 e5918247 bellard
656 e5918247 bellard
#define TEST_CMPXCHG(op, size, opconst, eax)\
657 e5918247 bellard
{\
658 e5918247 bellard
    int op0, op1;\
659 e5918247 bellard
    op0 = 0x12345678;\
660 e5918247 bellard
    op1 = 0xfbca7654;\
661 e5918247 bellard
    asm(#op " %" size "0, %" size "1" \
662 e5918247 bellard
        : "=q" (op0), opconst (op1) \
663 e5918247 bellard
        : "0" (op0), "1" (op1), "a" (eax));\
664 e5918247 bellard
    printf("%-10s EAX=%08x A=%08x C=%08x\n",\
665 e5918247 bellard
           #op, eax, op0, op1);\
666 e5918247 bellard
}
667 e5918247 bellard
668 e5918247 bellard
void test_xchg(void)
669 e5918247 bellard
{
670 e5918247 bellard
    TEST_XCHG(xchgl, "", "=q");
671 e5918247 bellard
    TEST_XCHG(xchgw, "w", "=q");
672 e5918247 bellard
    TEST_XCHG(xchgb, "b", "=q");
673 e5918247 bellard
674 e5918247 bellard
    TEST_XCHG(xchgl, "", "=m");
675 e5918247 bellard
    TEST_XCHG(xchgw, "w", "=m");
676 e5918247 bellard
    TEST_XCHG(xchgb, "b", "=m");
677 e5918247 bellard
678 e5918247 bellard
    TEST_XCHG(xaddl, "", "=q");
679 e5918247 bellard
    TEST_XCHG(xaddw, "w", "=q");
680 e5918247 bellard
    TEST_XCHG(xaddb, "b", "=q");
681 e5918247 bellard
682 e5918247 bellard
    TEST_XCHG(xaddl, "", "=m");
683 e5918247 bellard
    TEST_XCHG(xaddw, "w", "=m");
684 e5918247 bellard
    TEST_XCHG(xaddb, "b", "=m");
685 e5918247 bellard
686 e5918247 bellard
    TEST_CMPXCHG(cmpxchgl, "", "=q", 0xfbca7654);
687 e5918247 bellard
    TEST_CMPXCHG(cmpxchgw, "w", "=q", 0xfbca7654);
688 e5918247 bellard
    TEST_CMPXCHG(cmpxchgb, "b", "=q", 0xfbca7654);
689 e5918247 bellard
690 e5918247 bellard
    TEST_CMPXCHG(cmpxchgl, "", "=q", 0xfffefdfc);
691 e5918247 bellard
    TEST_CMPXCHG(cmpxchgw, "w", "=q", 0xfffefdfc);
692 e5918247 bellard
    TEST_CMPXCHG(cmpxchgb, "b", "=q", 0xfffefdfc);
693 e5918247 bellard
694 e5918247 bellard
    TEST_CMPXCHG(cmpxchgl, "", "=m", 0xfbca7654);
695 e5918247 bellard
    TEST_CMPXCHG(cmpxchgw, "w", "=m", 0xfbca7654);
696 e5918247 bellard
    TEST_CMPXCHG(cmpxchgb, "b", "=m", 0xfbca7654);
697 e5918247 bellard
698 e5918247 bellard
    TEST_CMPXCHG(cmpxchgl, "", "=m", 0xfffefdfc);
699 e5918247 bellard
    TEST_CMPXCHG(cmpxchgw, "w", "=m", 0xfffefdfc);
700 e5918247 bellard
    TEST_CMPXCHG(cmpxchgb, "b", "=m", 0xfffefdfc);
701 e5918247 bellard
}
702 e5918247 bellard
703 6dbad63e bellard
/**********************************************/
704 6dbad63e bellard
/* segmentation tests */
705 6dbad63e bellard
706 6dbad63e bellard
#include <asm/ldt.h>
707 6dbad63e bellard
#include <linux/unistd.h>
708 6dbad63e bellard
709 6dbad63e bellard
_syscall3(int, modify_ldt, int, func, void *, ptr, unsigned long, bytecount)
710 6dbad63e bellard
711 6dbad63e bellard
uint8_t seg_data1[4096];
712 6dbad63e bellard
uint8_t seg_data2[4096];
713 6dbad63e bellard
714 e5918247 bellard
#define MK_SEL(n) (((n) << 3) | 7)
715 6dbad63e bellard
716 288426fe bellard
#define TEST_LR(op, size, seg, mask)\
717 288426fe bellard
{\
718 288426fe bellard
    int res, res2;\
719 288426fe bellard
    res = 0x12345678;\
720 288426fe bellard
    asm (op " %" size "2, %" size "0\n" \
721 288426fe bellard
         "movl $0, %1\n"\
722 288426fe bellard
         "jnz 1f\n"\
723 288426fe bellard
         "movl $1, %1\n"\
724 288426fe bellard
         "1:\n"\
725 288426fe bellard
         : "=r" (res), "=r" (res2) : "m" (seg), "0" (res));\
726 288426fe bellard
    printf(op ": Z=%d %08x\n", res2, res & ~(mask));\
727 288426fe bellard
}
728 288426fe bellard
729 6dbad63e bellard
/* NOTE: we use Linux modify_ldt syscall */
730 6dbad63e bellard
void test_segs(void)
731 6dbad63e bellard
{
732 6dbad63e bellard
    struct modify_ldt_ldt_s ldt;
733 6dbad63e bellard
    long long ldt_table[3];
734 04369ff2 bellard
    int res, res2;
735 6dbad63e bellard
    char tmp;
736 e1d4294a bellard
    struct {
737 e1d4294a bellard
        uint32_t offset;
738 e1d4294a bellard
        uint16_t seg;
739 e1d4294a bellard
    } __attribute__((packed)) segoff;
740 6dbad63e bellard
741 6dbad63e bellard
    ldt.entry_number = 1;
742 6dbad63e bellard
    ldt.base_addr = (unsigned long)&seg_data1;
743 6dbad63e bellard
    ldt.limit = (sizeof(seg_data1) + 0xfff) >> 12;
744 6dbad63e bellard
    ldt.seg_32bit = 1;
745 6dbad63e bellard
    ldt.contents = MODIFY_LDT_CONTENTS_DATA;
746 6dbad63e bellard
    ldt.read_exec_only = 0;
747 6dbad63e bellard
    ldt.limit_in_pages = 1;
748 6dbad63e bellard
    ldt.seg_not_present = 0;
749 6dbad63e bellard
    ldt.useable = 1;
750 6dbad63e bellard
    modify_ldt(1, &ldt, sizeof(ldt)); /* write ldt entry */
751 6dbad63e bellard
752 6dbad63e bellard
    ldt.entry_number = 2;
753 6dbad63e bellard
    ldt.base_addr = (unsigned long)&seg_data2;
754 6dbad63e bellard
    ldt.limit = (sizeof(seg_data2) + 0xfff) >> 12;
755 6dbad63e bellard
    ldt.seg_32bit = 1;
756 6dbad63e bellard
    ldt.contents = MODIFY_LDT_CONTENTS_DATA;
757 6dbad63e bellard
    ldt.read_exec_only = 0;
758 6dbad63e bellard
    ldt.limit_in_pages = 1;
759 6dbad63e bellard
    ldt.seg_not_present = 0;
760 6dbad63e bellard
    ldt.useable = 1;
761 6dbad63e bellard
    modify_ldt(1, &ldt, sizeof(ldt)); /* write ldt entry */
762 6dbad63e bellard
763 6dbad63e bellard
    modify_ldt(0, &ldt_table, sizeof(ldt_table)); /* read ldt entries */
764 04369ff2 bellard
#if 0
765 04369ff2 bellard
    {
766 04369ff2 bellard
        int i;
767 04369ff2 bellard
        for(i=0;i<3;i++)
768 04369ff2 bellard
            printf("%d: %016Lx\n", i, ldt_table[i]);
769 04369ff2 bellard
    }
770 04369ff2 bellard
#endif
771 6dbad63e bellard
    /* do some tests with fs or gs */
772 6dbad63e bellard
    asm volatile ("movl %0, %%fs" : : "r" (MK_SEL(1)));
773 6dbad63e bellard
    asm volatile ("movl %0, %%gs" : : "r" (MK_SEL(2)));
774 6dbad63e bellard
775 6dbad63e bellard
    seg_data1[1] = 0xaa;
776 6dbad63e bellard
    seg_data2[1] = 0x55;
777 6dbad63e bellard
778 6dbad63e bellard
    asm volatile ("fs movzbl 0x1, %0" : "=r" (res));
779 6dbad63e bellard
    printf("FS[1] = %02x\n", res);
780 6dbad63e bellard
781 6dbad63e bellard
    asm volatile ("gs movzbl 0x1, %0" : "=r" (res));
782 6dbad63e bellard
    printf("GS[1] = %02x\n", res);
783 6dbad63e bellard
784 6dbad63e bellard
    /* tests with ds/ss (implicit segment case) */
785 6dbad63e bellard
    tmp = 0xa5;
786 6dbad63e bellard
    asm volatile ("pushl %%ebp\n\t"
787 6dbad63e bellard
                  "pushl %%ds\n\t"
788 6dbad63e bellard
                  "movl %2, %%ds\n\t"
789 6dbad63e bellard
                  "movl %3, %%ebp\n\t"
790 6dbad63e bellard
                  "movzbl 0x1, %0\n\t"
791 6dbad63e bellard
                  "movzbl (%%ebp), %1\n\t"
792 6dbad63e bellard
                  "popl %%ds\n\t"
793 6dbad63e bellard
                  "popl %%ebp\n\t"
794 6dbad63e bellard
                  : "=r" (res), "=r" (res2)
795 6dbad63e bellard
                  : "r" (MK_SEL(1)), "r" (&tmp));
796 6dbad63e bellard
    printf("DS[1] = %02x\n", res);
797 6dbad63e bellard
    printf("SS[tmp] = %02x\n", res2);
798 e1d4294a bellard
799 e1d4294a bellard
    segoff.seg = MK_SEL(2);
800 e1d4294a bellard
    segoff.offset = 0xabcdef12;
801 e1d4294a bellard
    asm volatile("lfs %2, %0\n\t" 
802 e1d4294a bellard
                 "movl %%fs, %1\n\t"
803 e1d4294a bellard
                 : "=r" (res), "=g" (res2) 
804 e1d4294a bellard
                 : "m" (segoff));
805 e1d4294a bellard
    printf("FS:reg = %04x:%08x\n", res2, res);
806 288426fe bellard
807 288426fe bellard
    TEST_LR("larw", "w", MK_SEL(2), 0x0100);
808 288426fe bellard
    TEST_LR("larl", "", MK_SEL(2), 0x0100);
809 288426fe bellard
    TEST_LR("lslw", "w", MK_SEL(2), 0);
810 288426fe bellard
    TEST_LR("lsll", "", MK_SEL(2), 0);
811 288426fe bellard
812 288426fe bellard
    TEST_LR("larw", "w", 0xfff8, 0);
813 288426fe bellard
    TEST_LR("larl", "", 0xfff8, 0);
814 288426fe bellard
    TEST_LR("lslw", "w", 0xfff8, 0);
815 288426fe bellard
    TEST_LR("lsll", "", 0xfff8, 0);
816 6dbad63e bellard
}
817 55480af8 bellard
818 e5918247 bellard
/* 16 bit code test */
819 e5918247 bellard
extern char code16_start, code16_end;
820 e5918247 bellard
extern char code16_func1;
821 e5918247 bellard
extern char code16_func2;
822 e5918247 bellard
extern char code16_func3;
823 a300e691 bellard
824 e5918247 bellard
void test_code16(void)
825 1a9353d2 bellard
{
826 e5918247 bellard
    struct modify_ldt_ldt_s ldt;
827 e5918247 bellard
    int res, res2;
828 a300e691 bellard
829 e5918247 bellard
    /* build a code segment */
830 e5918247 bellard
    ldt.entry_number = 1;
831 e5918247 bellard
    ldt.base_addr = (unsigned long)&code16_start;
832 e5918247 bellard
    ldt.limit = &code16_end - &code16_start;
833 e5918247 bellard
    ldt.seg_32bit = 0;
834 e5918247 bellard
    ldt.contents = MODIFY_LDT_CONTENTS_CODE;
835 e5918247 bellard
    ldt.read_exec_only = 0;
836 e5918247 bellard
    ldt.limit_in_pages = 0;
837 e5918247 bellard
    ldt.seg_not_present = 0;
838 e5918247 bellard
    ldt.useable = 1;
839 e5918247 bellard
    modify_ldt(1, &ldt, sizeof(ldt)); /* write ldt entry */
840 a300e691 bellard
841 e5918247 bellard
    /* call the first function */
842 e5918247 bellard
    asm volatile ("lcall %1, %2" 
843 e5918247 bellard
                  : "=a" (res)
844 e5918247 bellard
                  : "i" (MK_SEL(1)), "i" (&code16_func1): "memory", "cc");
845 e5918247 bellard
    printf("func1() = 0x%08x\n", res);
846 e5918247 bellard
    asm volatile ("lcall %2, %3" 
847 e5918247 bellard
                  : "=a" (res), "=c" (res2)
848 e5918247 bellard
                  : "i" (MK_SEL(1)), "i" (&code16_func2): "memory", "cc");
849 e5918247 bellard
    printf("func2() = 0x%08x spdec=%d\n", res, res2);
850 e5918247 bellard
    asm volatile ("lcall %1, %2" 
851 e5918247 bellard
                  : "=a" (res)
852 e5918247 bellard
                  : "i" (MK_SEL(1)), "i" (&code16_func3): "memory", "cc");
853 e5918247 bellard
    printf("func3() = 0x%08x\n", res);
854 1a9353d2 bellard
}
855 1a9353d2 bellard
856 e1d4294a bellard
void test_misc(void)
857 e1d4294a bellard
{
858 e1d4294a bellard
    char table[256];
859 e1d4294a bellard
    int res, i;
860 e1d4294a bellard
861 e1d4294a bellard
    for(i=0;i<256;i++) table[i] = 256 - i;
862 e1d4294a bellard
    res = 0x12345678;
863 e1d4294a bellard
    asm ("xlat" : "=a" (res) : "b" (table), "0" (res));
864 e1d4294a bellard
    printf("xlat: EAX=%08x\n", res);
865 e1d4294a bellard
}
866 e1d4294a bellard
867 e1d4294a bellard
uint8_t str_buffer[4096];
868 e1d4294a bellard
869 e1d4294a bellard
#define TEST_STRING1(OP, size, DF, REP)\
870 e1d4294a bellard
{\
871 e1d4294a bellard
    int esi, edi, eax, ecx, eflags;\
872 e1d4294a bellard
\
873 e1d4294a bellard
    esi = (long)(str_buffer + sizeof(str_buffer) / 2);\
874 e1d4294a bellard
    edi = (long)(str_buffer + sizeof(str_buffer) / 2) + 16;\
875 e1d4294a bellard
    eax = 0x12345678;\
876 e1d4294a bellard
    ecx = 17;\
877 e1d4294a bellard
\
878 e1d4294a bellard
    asm volatile ("pushl $0\n\t"\
879 e1d4294a bellard
                  "popf\n\t"\
880 e1d4294a bellard
                  DF "\n\t"\
881 e1d4294a bellard
                  REP #OP size "\n\t"\
882 e1d4294a bellard
                  "cld\n\t"\
883 e1d4294a bellard
                  "pushf\n\t"\
884 e1d4294a bellard
                  "popl %4\n\t"\
885 e1d4294a bellard
                  : "=S" (esi), "=D" (edi), "=a" (eax), "=c" (ecx), "=g" (eflags)\
886 e1d4294a bellard
                  : "0" (esi), "1" (edi), "2" (eax), "3" (ecx));\
887 e1d4294a bellard
    printf("%-10s ESI=%08x EDI=%08x EAX=%08x ECX=%08x EFL=%04x\n",\
888 e1d4294a bellard
           REP #OP size, esi, edi, eax, ecx,\
889 e1d4294a bellard
           eflags & (CC_C | CC_P | CC_Z | CC_S | CC_O | CC_A));\
890 e1d4294a bellard
}
891 e1d4294a bellard
892 e1d4294a bellard
#define TEST_STRING(OP, REP)\
893 e1d4294a bellard
    TEST_STRING1(OP, "b", "", REP);\
894 e1d4294a bellard
    TEST_STRING1(OP, "w", "", REP);\
895 e1d4294a bellard
    TEST_STRING1(OP, "l", "", REP);\
896 e1d4294a bellard
    TEST_STRING1(OP, "b", "std", REP);\
897 e1d4294a bellard
    TEST_STRING1(OP, "w", "std", REP);\
898 e1d4294a bellard
    TEST_STRING1(OP, "l", "std", REP)
899 e1d4294a bellard
900 e1d4294a bellard
void test_string(void)
901 e1d4294a bellard
{
902 e1d4294a bellard
    int i;
903 e1d4294a bellard
    for(i = 0;i < sizeof(str_buffer); i++)
904 e1d4294a bellard
        str_buffer[i] = i + 0x56;
905 e1d4294a bellard
   TEST_STRING(stos, "");
906 e1d4294a bellard
   TEST_STRING(stos, "rep ");
907 e1d4294a bellard
   TEST_STRING(lods, ""); /* to verify stos */
908 e1d4294a bellard
   TEST_STRING(lods, "rep "); 
909 e1d4294a bellard
   TEST_STRING(movs, "");
910 e1d4294a bellard
   TEST_STRING(movs, "rep ");
911 e1d4294a bellard
   TEST_STRING(lods, ""); /* to verify stos */
912 e1d4294a bellard
913 e1d4294a bellard
   /* XXX: better tests */
914 e1d4294a bellard
   TEST_STRING(scas, "");
915 e1d4294a bellard
   TEST_STRING(scas, "repz ");
916 e1d4294a bellard
   TEST_STRING(scas, "repnz ");
917 e1d4294a bellard
   TEST_STRING(cmps, "");
918 e1d4294a bellard
   TEST_STRING(cmps, "repz ");
919 e1d4294a bellard
   TEST_STRING(cmps, "repnz ");
920 e1d4294a bellard
}
921 e5918247 bellard
922 3a27ad0b bellard
/* VM86 test */
923 3a27ad0b bellard
924 3a27ad0b bellard
static inline void set_bit(uint8_t *a, unsigned int bit)
925 3a27ad0b bellard
{
926 3a27ad0b bellard
    a[bit / 8] |= (1 << (bit % 8));
927 3a27ad0b bellard
}
928 3a27ad0b bellard
929 3a27ad0b bellard
static inline uint8_t *seg_to_linear(unsigned int seg, unsigned int reg)
930 3a27ad0b bellard
{
931 3a27ad0b bellard
    return (uint8_t *)((seg << 4) + (reg & 0xffff));
932 3a27ad0b bellard
}
933 3a27ad0b bellard
934 3a27ad0b bellard
static inline void pushw(struct vm86_regs *r, int val)
935 3a27ad0b bellard
{
936 3a27ad0b bellard
    r->esp = (r->esp & ~0xffff) | ((r->esp - 2) & 0xffff);
937 3a27ad0b bellard
    *(uint16_t *)seg_to_linear(r->ss, r->esp) = val;
938 3a27ad0b bellard
}
939 3a27ad0b bellard
940 3a27ad0b bellard
#undef __syscall_return
941 3a27ad0b bellard
#define __syscall_return(type, res) \
942 3a27ad0b bellard
do { \
943 3a27ad0b bellard
        return (type) (res); \
944 3a27ad0b bellard
} while (0)
945 3a27ad0b bellard
946 3a27ad0b bellard
_syscall2(int, vm86, int, func, struct vm86plus_struct *, v86)
947 3a27ad0b bellard
948 3a27ad0b bellard
extern char vm86_code_start;
949 3a27ad0b bellard
extern char vm86_code_end;
950 3a27ad0b bellard
951 3a27ad0b bellard
#define VM86_CODE_CS 0x100
952 3a27ad0b bellard
#define VM86_CODE_IP 0x100
953 3a27ad0b bellard
954 3a27ad0b bellard
void test_vm86(void)
955 3a27ad0b bellard
{
956 3a27ad0b bellard
    struct vm86plus_struct ctx;
957 3a27ad0b bellard
    struct vm86_regs *r;
958 3a27ad0b bellard
    uint8_t *vm86_mem;
959 3a27ad0b bellard
    int seg, ret;
960 3a27ad0b bellard
961 3a27ad0b bellard
    vm86_mem = mmap((void *)0x00000000, 0x110000, 
962 3a27ad0b bellard
                    PROT_WRITE | PROT_READ | PROT_EXEC, 
963 3a27ad0b bellard
                    MAP_FIXED | MAP_ANON | MAP_PRIVATE, -1, 0);
964 3a27ad0b bellard
    if (vm86_mem == MAP_FAILED) {
965 3a27ad0b bellard
        printf("ERROR: could not map vm86 memory");
966 3a27ad0b bellard
        return;
967 3a27ad0b bellard
    }
968 3a27ad0b bellard
    memset(&ctx, 0, sizeof(ctx));
969 3a27ad0b bellard
970 3a27ad0b bellard
    /* init basic registers */
971 3a27ad0b bellard
    r = &ctx.regs;
972 3a27ad0b bellard
    r->eip = VM86_CODE_IP;
973 3a27ad0b bellard
    r->esp = 0xfffe;
974 3a27ad0b bellard
    seg = VM86_CODE_CS;
975 3a27ad0b bellard
    r->cs = seg;
976 3a27ad0b bellard
    r->ss = seg;
977 3a27ad0b bellard
    r->ds = seg;
978 3a27ad0b bellard
    r->es = seg;
979 3a27ad0b bellard
    r->fs = seg;
980 3a27ad0b bellard
    r->gs = seg;
981 3a27ad0b bellard
    r->eflags = VIF_MASK;
982 3a27ad0b bellard
983 3a27ad0b bellard
    /* move code to proper address. We use the same layout as a .com
984 3a27ad0b bellard
       dos program. */
985 3a27ad0b bellard
    memcpy(vm86_mem + (VM86_CODE_CS << 4) + VM86_CODE_IP, 
986 3a27ad0b bellard
           &vm86_code_start, &vm86_code_end - &vm86_code_start);
987 3a27ad0b bellard
988 3a27ad0b bellard
    /* mark int 0x21 as being emulated */
989 3a27ad0b bellard
    set_bit((uint8_t *)&ctx.int_revectored, 0x21);
990 3a27ad0b bellard
991 3a27ad0b bellard
    for(;;) {
992 3a27ad0b bellard
        ret = vm86(VM86_ENTER, &ctx);
993 3a27ad0b bellard
        switch(VM86_TYPE(ret)) {
994 3a27ad0b bellard
        case VM86_INTx:
995 3a27ad0b bellard
            {
996 3a27ad0b bellard
                int int_num, ah;
997 3a27ad0b bellard
                
998 3a27ad0b bellard
                int_num = VM86_ARG(ret);
999 3a27ad0b bellard
                if (int_num != 0x21)
1000 3a27ad0b bellard
                    goto unknown_int;
1001 3a27ad0b bellard
                ah = (r->eax >> 8) & 0xff;
1002 3a27ad0b bellard
                switch(ah) {
1003 3a27ad0b bellard
                case 0x00: /* exit */
1004 3a27ad0b bellard
                    goto the_end;
1005 3a27ad0b bellard
                case 0x02: /* write char */
1006 3a27ad0b bellard
                    {
1007 3a27ad0b bellard
                        uint8_t c = r->edx;
1008 3a27ad0b bellard
                        putchar(c);
1009 3a27ad0b bellard
                    }
1010 3a27ad0b bellard
                    break;
1011 3a27ad0b bellard
                case 0x09: /* write string */
1012 3a27ad0b bellard
                    {
1013 3a27ad0b bellard
                        uint8_t c, *ptr;
1014 3a27ad0b bellard
                        ptr = seg_to_linear(r->ds, r->edx);
1015 3a27ad0b bellard
                        for(;;) {
1016 3a27ad0b bellard
                            c = *ptr++;
1017 3a27ad0b bellard
                            if (c == '$')
1018 3a27ad0b bellard
                                break;
1019 3a27ad0b bellard
                            putchar(c);
1020 3a27ad0b bellard
                        }
1021 3a27ad0b bellard
                        r->eax = (r->eax & ~0xff) | '$';
1022 3a27ad0b bellard
                    }
1023 3a27ad0b bellard
                    break;
1024 3a27ad0b bellard
                case 0xff: /* extension: write hex number in edx */
1025 3a27ad0b bellard
                    printf("%08x\n", (int)r->edx);
1026 3a27ad0b bellard
                    break;
1027 3a27ad0b bellard
                default:
1028 3a27ad0b bellard
                unknown_int:
1029 3a27ad0b bellard
                    printf("unsupported int 0x%02x\n", int_num);
1030 3a27ad0b bellard
                    goto the_end;
1031 3a27ad0b bellard
                }
1032 3a27ad0b bellard
            }
1033 3a27ad0b bellard
            break;
1034 3a27ad0b bellard
        case VM86_SIGNAL:
1035 3a27ad0b bellard
            /* a signal came, we just ignore that */
1036 3a27ad0b bellard
            break;
1037 3a27ad0b bellard
        case VM86_STI:
1038 3a27ad0b bellard
            break;
1039 3a27ad0b bellard
        default:
1040 3a27ad0b bellard
            printf("ERROR: unhandled vm86 return code (0x%x)\n", ret);
1041 3a27ad0b bellard
            goto the_end;
1042 3a27ad0b bellard
        }
1043 3a27ad0b bellard
    }
1044 3a27ad0b bellard
 the_end:
1045 3a27ad0b bellard
    printf("VM86 end\n");
1046 3a27ad0b bellard
    munmap(vm86_mem, 0x110000);
1047 3a27ad0b bellard
}
1048 3a27ad0b bellard
1049 3a27ad0b bellard
/* exception tests */
1050 3a27ad0b bellard
#ifndef REG_EAX
1051 3a27ad0b bellard
#define REG_EAX EAX
1052 3a27ad0b bellard
#define REG_EBX EBX
1053 3a27ad0b bellard
#define REG_ECX ECX
1054 3a27ad0b bellard
#define REG_EDX EDX
1055 3a27ad0b bellard
#define REG_ESI ESI
1056 3a27ad0b bellard
#define REG_EDI EDI
1057 3a27ad0b bellard
#define REG_EBP EBP
1058 3a27ad0b bellard
#define REG_ESP ESP
1059 3a27ad0b bellard
#define REG_EIP EIP
1060 3a27ad0b bellard
#define REG_EFL EFL
1061 3a27ad0b bellard
#define REG_TRAPNO TRAPNO
1062 3a27ad0b bellard
#define REG_ERR ERR
1063 3a27ad0b bellard
#endif
1064 3a27ad0b bellard
1065 3a27ad0b bellard
jmp_buf jmp_env;
1066 3a27ad0b bellard
int v1;
1067 3a27ad0b bellard
int tab[2];
1068 3a27ad0b bellard
1069 3a27ad0b bellard
void sig_handler(int sig, siginfo_t *info, void *puc)
1070 3a27ad0b bellard
{
1071 3a27ad0b bellard
    struct ucontext *uc = puc;
1072 3a27ad0b bellard
1073 3a27ad0b bellard
    printf("si_signo=%d si_errno=%d si_code=%d",
1074 3a27ad0b bellard
           info->si_signo, info->si_errno, info->si_code);
1075 e3b32540 bellard
    printf(" si_addr=0x%08lx",
1076 e3b32540 bellard
           (unsigned long)info->si_addr);
1077 3a27ad0b bellard
    printf("\n");
1078 3a27ad0b bellard
1079 3a27ad0b bellard
    printf("trapno=0x%02x err=0x%08x",
1080 3a27ad0b bellard
           uc->uc_mcontext.gregs[REG_TRAPNO],
1081 3a27ad0b bellard
           uc->uc_mcontext.gregs[REG_ERR]);
1082 e3b32540 bellard
    printf(" EIP=0x%08x", uc->uc_mcontext.gregs[REG_EIP]);
1083 3a27ad0b bellard
    printf("\n");
1084 3a27ad0b bellard
    longjmp(jmp_env, 1);
1085 3a27ad0b bellard
}
1086 3a27ad0b bellard
1087 3a27ad0b bellard
void test_exceptions(void)
1088 3a27ad0b bellard
{
1089 e3b32540 bellard
    struct modify_ldt_ldt_s ldt;
1090 3a27ad0b bellard
    struct sigaction act;
1091 3a27ad0b bellard
    volatile int val;
1092 3a27ad0b bellard
    
1093 3a27ad0b bellard
    act.sa_sigaction = sig_handler;
1094 3a27ad0b bellard
    sigemptyset(&act.sa_mask);
1095 3a27ad0b bellard
    act.sa_flags = SA_SIGINFO;
1096 3a27ad0b bellard
    sigaction(SIGFPE, &act, NULL);
1097 3a27ad0b bellard
    sigaction(SIGILL, &act, NULL);
1098 3a27ad0b bellard
    sigaction(SIGSEGV, &act, NULL);
1099 e3b32540 bellard
    sigaction(SIGBUS, &act, NULL);
1100 3a27ad0b bellard
    sigaction(SIGTRAP, &act, NULL);
1101 3a27ad0b bellard
1102 3a27ad0b bellard
    /* test division by zero reporting */
1103 e3b32540 bellard
    printf("DIVZ exception:\n");
1104 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1105 3a27ad0b bellard
        /* now divide by zero */
1106 3a27ad0b bellard
        v1 = 0;
1107 3a27ad0b bellard
        v1 = 2 / v1;
1108 3a27ad0b bellard
    }
1109 3a27ad0b bellard
1110 e3b32540 bellard
    printf("BOUND exception:\n");
1111 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1112 3a27ad0b bellard
        /* bound exception */
1113 3a27ad0b bellard
        tab[0] = 1;
1114 3a27ad0b bellard
        tab[1] = 10;
1115 3a27ad0b bellard
        asm volatile ("bound %0, %1" : : "r" (11), "m" (tab));
1116 3a27ad0b bellard
    }
1117 3a27ad0b bellard
1118 e3b32540 bellard
    printf("segment exceptions:\n");
1119 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1120 e3b32540 bellard
        /* load an invalid segment */
1121 e3b32540 bellard
        asm volatile ("movl %0, %%fs" : : "r" ((0x1234 << 3) | 1));
1122 e3b32540 bellard
    }
1123 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1124 e3b32540 bellard
        /* null data segment is valid */
1125 e3b32540 bellard
        asm volatile ("movl %0, %%fs" : : "r" (3));
1126 e3b32540 bellard
        /* null stack segment */
1127 e3b32540 bellard
        asm volatile ("movl %0, %%ss" : : "r" (3));
1128 e3b32540 bellard
    }
1129 e3b32540 bellard
1130 e3b32540 bellard
    ldt.entry_number = 1;
1131 e3b32540 bellard
    ldt.base_addr = (unsigned long)&seg_data1;
1132 e3b32540 bellard
    ldt.limit = (sizeof(seg_data1) + 0xfff) >> 12;
1133 e3b32540 bellard
    ldt.seg_32bit = 1;
1134 e3b32540 bellard
    ldt.contents = MODIFY_LDT_CONTENTS_DATA;
1135 e3b32540 bellard
    ldt.read_exec_only = 0;
1136 e3b32540 bellard
    ldt.limit_in_pages = 1;
1137 e3b32540 bellard
    ldt.seg_not_present = 1;
1138 e3b32540 bellard
    ldt.useable = 1;
1139 e3b32540 bellard
    modify_ldt(1, &ldt, sizeof(ldt)); /* write ldt entry */
1140 e3b32540 bellard
1141 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1142 e3b32540 bellard
        /* segment not present */
1143 e3b32540 bellard
        asm volatile ("movl %0, %%fs" : : "r" (MK_SEL(1)));
1144 e3b32540 bellard
    }
1145 e3b32540 bellard
1146 3a27ad0b bellard
    /* test SEGV reporting */
1147 e3b32540 bellard
    printf("PF exception:\n");
1148 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1149 e3b32540 bellard
        val = 1;
1150 3a27ad0b bellard
        /* now store in an invalid address */
1151 3a27ad0b bellard
        *(char *)0x1234 = 1;
1152 3a27ad0b bellard
    }
1153 3a27ad0b bellard
1154 3a27ad0b bellard
    /* test SEGV reporting */
1155 e3b32540 bellard
    printf("PF exception:\n");
1156 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1157 e3b32540 bellard
        val = 1;
1158 3a27ad0b bellard
        /* read from an invalid address */
1159 3a27ad0b bellard
        v1 = *(char *)0x1234;
1160 3a27ad0b bellard
    }
1161 3a27ad0b bellard
    
1162 3a27ad0b bellard
    /* test illegal instruction reporting */
1163 3a27ad0b bellard
    printf("UD2 exception:\n");
1164 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1165 3a27ad0b bellard
        /* now execute an invalid instruction */
1166 3a27ad0b bellard
        asm volatile("ud2");
1167 3a27ad0b bellard
    }
1168 3a27ad0b bellard
    
1169 3a27ad0b bellard
    printf("INT exception:\n");
1170 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1171 3a27ad0b bellard
        asm volatile ("int $0xfd");
1172 3a27ad0b bellard
    }
1173 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1174 e3b32540 bellard
        asm volatile ("int $0x01");
1175 e3b32540 bellard
    }
1176 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1177 e3b32540 bellard
        asm volatile (".byte 0xcd, 0x03");
1178 e3b32540 bellard
    }
1179 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1180 e3b32540 bellard
        asm volatile ("int $0x04");
1181 e3b32540 bellard
    }
1182 e3b32540 bellard
    if (setjmp(jmp_env) == 0) {
1183 e3b32540 bellard
        asm volatile ("int $0x05");
1184 e3b32540 bellard
    }
1185 3a27ad0b bellard
1186 3a27ad0b bellard
    printf("INT3 exception:\n");
1187 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1188 3a27ad0b bellard
        asm volatile ("int3");
1189 3a27ad0b bellard
    }
1190 3a27ad0b bellard
1191 3a27ad0b bellard
    printf("CLI exception:\n");
1192 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1193 3a27ad0b bellard
        asm volatile ("cli");
1194 3a27ad0b bellard
    }
1195 3a27ad0b bellard
1196 3a27ad0b bellard
    printf("STI exception:\n");
1197 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1198 3a27ad0b bellard
        asm volatile ("cli");
1199 3a27ad0b bellard
    }
1200 3a27ad0b bellard
1201 3a27ad0b bellard
    printf("INTO exception:\n");
1202 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1203 3a27ad0b bellard
        /* overflow exception */
1204 3a27ad0b bellard
        asm volatile ("addl $1, %0 ; into" : : "r" (0x7fffffff));
1205 3a27ad0b bellard
    }
1206 3a27ad0b bellard
1207 3a27ad0b bellard
    printf("OUTB exception:\n");
1208 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1209 3a27ad0b bellard
        asm volatile ("outb %%al, %%dx" : : "d" (0x4321), "a" (0));
1210 3a27ad0b bellard
    }
1211 3a27ad0b bellard
1212 3a27ad0b bellard
    printf("INB exception:\n");
1213 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1214 3a27ad0b bellard
        asm volatile ("inb %%dx, %%al" : "=a" (val) : "d" (0x4321));
1215 3a27ad0b bellard
    }
1216 3a27ad0b bellard
1217 3a27ad0b bellard
    printf("REP OUTSB exception:\n");
1218 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1219 3a27ad0b bellard
        asm volatile ("rep outsb" : : "d" (0x4321), "S" (tab), "c" (1));
1220 3a27ad0b bellard
    }
1221 3a27ad0b bellard
1222 3a27ad0b bellard
    printf("REP INSB exception:\n");
1223 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1224 3a27ad0b bellard
        asm volatile ("rep insb" : : "d" (0x4321), "D" (tab), "c" (1));
1225 3a27ad0b bellard
    }
1226 3a27ad0b bellard
1227 3a27ad0b bellard
    printf("HLT exception:\n");
1228 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1229 3a27ad0b bellard
        asm volatile ("hlt");
1230 3a27ad0b bellard
    }
1231 3a27ad0b bellard
1232 3a27ad0b bellard
    printf("single step exception:\n");
1233 3a27ad0b bellard
    val = 0;
1234 3a27ad0b bellard
    if (setjmp(jmp_env) == 0) {
1235 3a27ad0b bellard
        asm volatile ("pushf\n"
1236 3a27ad0b bellard
                      "orl $0x00100, (%%esp)\n"
1237 3a27ad0b bellard
                      "popf\n"
1238 3a27ad0b bellard
                      "movl $0xabcd, %0\n" 
1239 3a27ad0b bellard
                      "movl $0x0, %0\n" : "=m" (val) : : "cc", "memory");
1240 3a27ad0b bellard
    }
1241 3a27ad0b bellard
    printf("val=0x%x\n", val);
1242 3a27ad0b bellard
}
1243 3a27ad0b bellard
1244 3a27ad0b bellard
/* self modifying code test */
1245 3a27ad0b bellard
uint8_t code[] = {
1246 3a27ad0b bellard
    0xb8, 0x1, 0x00, 0x00, 0x00, /* movl $1, %eax */
1247 3a27ad0b bellard
    0xc3, /* ret */
1248 3a27ad0b bellard
};
1249 3a27ad0b bellard
1250 d1fe2b24 bellard
typedef int FuncType(void);
1251 d1fe2b24 bellard
1252 3a27ad0b bellard
void test_self_modifying_code(void)
1253 3a27ad0b bellard
{
1254 d1fe2b24 bellard
    int i;
1255 3a27ad0b bellard
1256 3a27ad0b bellard
    printf("self modifying code:\n");
1257 d1fe2b24 bellard
    printf("func1 = 0x%x\n", ((FuncType *)code)());
1258 d1fe2b24 bellard
    for(i = 2; i <= 4; i++) {
1259 d1fe2b24 bellard
        code[1] = i;
1260 d1fe2b24 bellard
        printf("func%d = 0x%x\n", i, ((FuncType *)code)());
1261 d1fe2b24 bellard
    }
1262 3a27ad0b bellard
}
1263 3a27ad0b bellard
    
1264 4d1135e4 bellard
static void *call_end __init_call = NULL;
1265 4d1135e4 bellard
1266 4d1135e4 bellard
int main(int argc, char **argv)
1267 4d1135e4 bellard
{
1268 4d1135e4 bellard
    void **ptr;
1269 4d1135e4 bellard
    void (*func)(void);
1270 4b74fe1f bellard
1271 4d1135e4 bellard
    ptr = &call_start + 1;
1272 4d1135e4 bellard
    while (*ptr != NULL) {
1273 4d1135e4 bellard
        func = *ptr++;
1274 4d1135e4 bellard
        func();
1275 4d1135e4 bellard
    }
1276 9d8e9c09 bellard
    test_bsx();
1277 d57c4e01 bellard
    test_mul();
1278 4d1135e4 bellard
    test_jcc();
1279 9d8e9c09 bellard
    test_floats();
1280 55480af8 bellard
    test_bcd();
1281 1a9353d2 bellard
    test_xchg();
1282 e1d4294a bellard
    test_string();
1283 e1d4294a bellard
    test_misc();
1284 6dbad63e bellard
    test_lea();
1285 6dbad63e bellard
    test_segs();
1286 e5918247 bellard
    test_code16();
1287 3a27ad0b bellard
    test_vm86();
1288 3a27ad0b bellard
    test_exceptions();
1289 3a27ad0b bellard
    test_self_modifying_code();
1290 4d1135e4 bellard
    return 0;
1291 4d1135e4 bellard
}