1 | /* |
2 | * x86 condition code helpers |
3 | * |
4 | * Copyright (c) 2003 Fabrice Bellard |
5 | * |
6 | * This library is free software; you can redistribute it and/or |
7 | * modify it under the terms of the GNU Lesser General Public |
8 | * License as published by the Free Software Foundation; either |
9 | * version 2 of the License, or (at your option) any later version. |
10 | * |
11 | * This library is distributed in the hope that it will be useful, |
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
14 | * Lesser General Public License for more details. |
15 | * |
16 | * You should have received a copy of the GNU Lesser General Public |
17 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. |
18 | */ |
19 | |
20 | #include "qemu/osdep.h" |
21 | #include "cpu.h" |
22 | #include "exec/helper-proto.h" |
23 | |
24 | const uint8_t parity_table[256] = { |
25 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
26 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
27 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
28 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
29 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
30 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
31 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
32 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
33 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
34 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
35 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
36 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
37 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
38 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
39 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
40 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
41 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
42 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
43 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
44 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
45 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
46 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
47 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
48 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
49 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
50 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
51 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
52 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
53 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
54 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
55 | CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0, |
56 | 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P, |
57 | }; |
58 | |
59 | #define SHIFT 0 |
60 | #include "cc_helper_template.h" |
61 | #undef SHIFT |
62 | |
63 | #define SHIFT 1 |
64 | #include "cc_helper_template.h" |
65 | #undef SHIFT |
66 | |
67 | #define SHIFT 2 |
68 | #include "cc_helper_template.h" |
69 | #undef SHIFT |
70 | |
71 | #ifdef TARGET_X86_64 |
72 | |
73 | #define SHIFT 3 |
74 | #include "cc_helper_template.h" |
75 | #undef SHIFT |
76 | |
77 | #endif |
78 | |
79 | static target_ulong compute_all_adcx(target_ulong dst, target_ulong src1, |
80 | target_ulong src2) |
81 | { |
82 | return (src1 & ~CC_C) | (dst * CC_C); |
83 | } |
84 | |
85 | static target_ulong compute_all_adox(target_ulong dst, target_ulong src1, |
86 | target_ulong src2) |
87 | { |
88 | return (src1 & ~CC_O) | (src2 * CC_O); |
89 | } |
90 | |
91 | static target_ulong compute_all_adcox(target_ulong dst, target_ulong src1, |
92 | target_ulong src2) |
93 | { |
94 | return (src1 & ~(CC_C | CC_O)) | (dst * CC_C) | (src2 * CC_O); |
95 | } |
96 | |
97 | target_ulong helper_cc_compute_all(target_ulong dst, target_ulong src1, |
98 | target_ulong src2, int op) |
99 | { |
100 | switch (op) { |
101 | default: /* should never happen */ |
102 | return 0; |
103 | |
104 | case CC_OP_EFLAGS: |
105 | return src1; |
106 | case CC_OP_CLR: |
107 | return CC_Z | CC_P; |
108 | case CC_OP_POPCNT: |
109 | return src1 ? 0 : CC_Z; |
110 | |
111 | case CC_OP_MULB: |
112 | return compute_all_mulb(dst, src1); |
113 | case CC_OP_MULW: |
114 | return compute_all_mulw(dst, src1); |
115 | case CC_OP_MULL: |
116 | return compute_all_mull(dst, src1); |
117 | |
118 | case CC_OP_ADDB: |
119 | return compute_all_addb(dst, src1); |
120 | case CC_OP_ADDW: |
121 | return compute_all_addw(dst, src1); |
122 | case CC_OP_ADDL: |
123 | return compute_all_addl(dst, src1); |
124 | |
125 | case CC_OP_ADCB: |
126 | return compute_all_adcb(dst, src1, src2); |
127 | case CC_OP_ADCW: |
128 | return compute_all_adcw(dst, src1, src2); |
129 | case CC_OP_ADCL: |
130 | return compute_all_adcl(dst, src1, src2); |
131 | |
132 | case CC_OP_SUBB: |
133 | return compute_all_subb(dst, src1); |
134 | case CC_OP_SUBW: |
135 | return compute_all_subw(dst, src1); |
136 | case CC_OP_SUBL: |
137 | return compute_all_subl(dst, src1); |
138 | |
139 | case CC_OP_SBBB: |
140 | return compute_all_sbbb(dst, src1, src2); |
141 | case CC_OP_SBBW: |
142 | return compute_all_sbbw(dst, src1, src2); |
143 | case CC_OP_SBBL: |
144 | return compute_all_sbbl(dst, src1, src2); |
145 | |
146 | case CC_OP_LOGICB: |
147 | return compute_all_logicb(dst, src1); |
148 | case CC_OP_LOGICW: |
149 | return compute_all_logicw(dst, src1); |
150 | case CC_OP_LOGICL: |
151 | return compute_all_logicl(dst, src1); |
152 | |
153 | case CC_OP_INCB: |
154 | return compute_all_incb(dst, src1); |
155 | case CC_OP_INCW: |
156 | return compute_all_incw(dst, src1); |
157 | case CC_OP_INCL: |
158 | return compute_all_incl(dst, src1); |
159 | |
160 | case CC_OP_DECB: |
161 | return compute_all_decb(dst, src1); |
162 | case CC_OP_DECW: |
163 | return compute_all_decw(dst, src1); |
164 | case CC_OP_DECL: |
165 | return compute_all_decl(dst, src1); |
166 | |
167 | case CC_OP_SHLB: |
168 | return compute_all_shlb(dst, src1); |
169 | case CC_OP_SHLW: |
170 | return compute_all_shlw(dst, src1); |
171 | case CC_OP_SHLL: |
172 | return compute_all_shll(dst, src1); |
173 | |
174 | case CC_OP_SARB: |
175 | return compute_all_sarb(dst, src1); |
176 | case CC_OP_SARW: |
177 | return compute_all_sarw(dst, src1); |
178 | case CC_OP_SARL: |
179 | return compute_all_sarl(dst, src1); |
180 | |
181 | case CC_OP_BMILGB: |
182 | return compute_all_bmilgb(dst, src1); |
183 | case CC_OP_BMILGW: |
184 | return compute_all_bmilgw(dst, src1); |
185 | case CC_OP_BMILGL: |
186 | return compute_all_bmilgl(dst, src1); |
187 | |
188 | case CC_OP_ADCX: |
189 | return compute_all_adcx(dst, src1, src2); |
190 | case CC_OP_ADOX: |
191 | return compute_all_adox(dst, src1, src2); |
192 | case CC_OP_ADCOX: |
193 | return compute_all_adcox(dst, src1, src2); |
194 | |
195 | #ifdef TARGET_X86_64 |
196 | case CC_OP_MULQ: |
197 | return compute_all_mulq(dst, src1); |
198 | case CC_OP_ADDQ: |
199 | return compute_all_addq(dst, src1); |
200 | case CC_OP_ADCQ: |
201 | return compute_all_adcq(dst, src1, src2); |
202 | case CC_OP_SUBQ: |
203 | return compute_all_subq(dst, src1); |
204 | case CC_OP_SBBQ: |
205 | return compute_all_sbbq(dst, src1, src2); |
206 | case CC_OP_LOGICQ: |
207 | return compute_all_logicq(dst, src1); |
208 | case CC_OP_INCQ: |
209 | return compute_all_incq(dst, src1); |
210 | case CC_OP_DECQ: |
211 | return compute_all_decq(dst, src1); |
212 | case CC_OP_SHLQ: |
213 | return compute_all_shlq(dst, src1); |
214 | case CC_OP_SARQ: |
215 | return compute_all_sarq(dst, src1); |
216 | case CC_OP_BMILGQ: |
217 | return compute_all_bmilgq(dst, src1); |
218 | #endif |
219 | } |
220 | } |
221 | |
222 | uint32_t cpu_cc_compute_all(CPUX86State *env, int op) |
223 | { |
224 | return helper_cc_compute_all(CC_DST, CC_SRC, CC_SRC2, op); |
225 | } |
226 | |
227 | target_ulong helper_cc_compute_c(target_ulong dst, target_ulong src1, |
228 | target_ulong src2, int op) |
229 | { |
230 | switch (op) { |
231 | default: /* should never happen */ |
232 | case CC_OP_LOGICB: |
233 | case CC_OP_LOGICW: |
234 | case CC_OP_LOGICL: |
235 | case CC_OP_LOGICQ: |
236 | case CC_OP_CLR: |
237 | case CC_OP_POPCNT: |
238 | return 0; |
239 | |
240 | case CC_OP_EFLAGS: |
241 | case CC_OP_SARB: |
242 | case CC_OP_SARW: |
243 | case CC_OP_SARL: |
244 | case CC_OP_SARQ: |
245 | case CC_OP_ADOX: |
246 | return src1 & 1; |
247 | |
248 | case CC_OP_INCB: |
249 | case CC_OP_INCW: |
250 | case CC_OP_INCL: |
251 | case CC_OP_INCQ: |
252 | case CC_OP_DECB: |
253 | case CC_OP_DECW: |
254 | case CC_OP_DECL: |
255 | case CC_OP_DECQ: |
256 | return src1; |
257 | |
258 | case CC_OP_MULB: |
259 | case CC_OP_MULW: |
260 | case CC_OP_MULL: |
261 | case CC_OP_MULQ: |
262 | return src1 != 0; |
263 | |
264 | case CC_OP_ADCX: |
265 | case CC_OP_ADCOX: |
266 | return dst; |
267 | |
268 | case CC_OP_ADDB: |
269 | return compute_c_addb(dst, src1); |
270 | case CC_OP_ADDW: |
271 | return compute_c_addw(dst, src1); |
272 | case CC_OP_ADDL: |
273 | return compute_c_addl(dst, src1); |
274 | |
275 | case CC_OP_ADCB: |
276 | return compute_c_adcb(dst, src1, src2); |
277 | case CC_OP_ADCW: |
278 | return compute_c_adcw(dst, src1, src2); |
279 | case CC_OP_ADCL: |
280 | return compute_c_adcl(dst, src1, src2); |
281 | |
282 | case CC_OP_SUBB: |
283 | return compute_c_subb(dst, src1); |
284 | case CC_OP_SUBW: |
285 | return compute_c_subw(dst, src1); |
286 | case CC_OP_SUBL: |
287 | return compute_c_subl(dst, src1); |
288 | |
289 | case CC_OP_SBBB: |
290 | return compute_c_sbbb(dst, src1, src2); |
291 | case CC_OP_SBBW: |
292 | return compute_c_sbbw(dst, src1, src2); |
293 | case CC_OP_SBBL: |
294 | return compute_c_sbbl(dst, src1, src2); |
295 | |
296 | case CC_OP_SHLB: |
297 | return compute_c_shlb(dst, src1); |
298 | case CC_OP_SHLW: |
299 | return compute_c_shlw(dst, src1); |
300 | case CC_OP_SHLL: |
301 | return compute_c_shll(dst, src1); |
302 | |
303 | case CC_OP_BMILGB: |
304 | return compute_c_bmilgb(dst, src1); |
305 | case CC_OP_BMILGW: |
306 | return compute_c_bmilgw(dst, src1); |
307 | case CC_OP_BMILGL: |
308 | return compute_c_bmilgl(dst, src1); |
309 | |
310 | #ifdef TARGET_X86_64 |
311 | case CC_OP_ADDQ: |
312 | return compute_c_addq(dst, src1); |
313 | case CC_OP_ADCQ: |
314 | return compute_c_adcq(dst, src1, src2); |
315 | case CC_OP_SUBQ: |
316 | return compute_c_subq(dst, src1); |
317 | case CC_OP_SBBQ: |
318 | return compute_c_sbbq(dst, src1, src2); |
319 | case CC_OP_SHLQ: |
320 | return compute_c_shlq(dst, src1); |
321 | case CC_OP_BMILGQ: |
322 | return compute_c_bmilgq(dst, src1); |
323 | #endif |
324 | } |
325 | } |
326 | |
327 | void helper_write_eflags(CPUX86State *env, target_ulong t0, |
328 | uint32_t update_mask) |
329 | { |
330 | cpu_load_eflags(env, t0, update_mask); |
331 | } |
332 | |
333 | target_ulong helper_read_eflags(CPUX86State *env) |
334 | { |
335 | uint32_t eflags; |
336 | |
337 | eflags = cpu_cc_compute_all(env, CC_OP); |
338 | eflags |= (env->df & DF_MASK); |
339 | eflags |= env->eflags & ~(VM_MASK | RF_MASK); |
340 | return eflags; |
341 | } |
342 | |
343 | void helper_clts(CPUX86State *env) |
344 | { |
345 | env->cr[0] &= ~CR0_TS_MASK; |
346 | env->hflags &= ~HF_TS_MASK; |
347 | } |
348 | |
349 | void helper_reset_rf(CPUX86State *env) |
350 | { |
351 | env->eflags &= ~RF_MASK; |
352 | } |
353 | |
354 | void helper_cli(CPUX86State *env) |
355 | { |
356 | env->eflags &= ~IF_MASK; |
357 | } |
358 | |
359 | void helper_sti(CPUX86State *env) |
360 | { |
361 | env->eflags |= IF_MASK; |
362 | } |
363 | |
364 | void helper_clac(CPUX86State *env) |
365 | { |
366 | env->eflags &= ~AC_MASK; |
367 | } |
368 | |
369 | void helper_stac(CPUX86State *env) |
370 | { |
371 | env->eflags |= AC_MASK; |
372 | } |
373 | |
374 | #if 0 |
375 | /* vm86plus instructions */ |
376 | void helper_cli_vm(CPUX86State *env) |
377 | { |
378 | env->eflags &= ~VIF_MASK; |
379 | } |
380 | |
381 | void helper_sti_vm(CPUX86State *env) |
382 | { |
383 | env->eflags |= VIF_MASK; |
384 | if (env->eflags & VIP_MASK) { |
385 | raise_exception_ra(env, EXCP0D_GPF, GETPC()); |
386 | } |
387 | } |
388 | #endif |
389 | |