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.1 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 #include "helper-tcg.h"
24
25 const uint8_t parity_table[256] = {
26 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
27 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
28 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
29 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
30 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
31 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
32 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
33 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
34 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
35 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
36 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
37 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
38 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
39 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
40 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
41 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
42 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
43 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
44 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
45 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
46 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
47 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
48 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
49 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
50 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
51 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
52 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
53 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
54 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
55 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
56 CC_P, 0, 0, CC_P, 0, CC_P, CC_P, 0,
57 0, CC_P, CC_P, 0, CC_P, 0, 0, CC_P,
58 };
59
60 #define SHIFT 0
61 #include "cc_helper_template.h.inc"
62 #undef SHIFT
63
64 #define SHIFT 1
65 #include "cc_helper_template.h.inc"
66 #undef SHIFT
67
68 #define SHIFT 2
69 #include "cc_helper_template.h.inc"
70 #undef SHIFT
71
72 #ifdef TARGET_X86_64
73
74 #define SHIFT 3
75 #include "cc_helper_template.h.inc"
76 #undef SHIFT
77
78 #endif
79
compute_all_adcx(target_ulong dst,target_ulong src1,target_ulong src2)80 static target_ulong compute_all_adcx(target_ulong dst, target_ulong src1,
81 target_ulong src2)
82 {
83 return (src1 & ~CC_C) | (dst * CC_C);
84 }
85
compute_all_adox(target_ulong dst,target_ulong src1,target_ulong src2)86 static target_ulong compute_all_adox(target_ulong dst, target_ulong src1,
87 target_ulong src2)
88 {
89 return (src1 & ~CC_O) | (src2 * CC_O);
90 }
91
compute_all_adcox(target_ulong dst,target_ulong src1,target_ulong src2)92 static target_ulong compute_all_adcox(target_ulong dst, target_ulong src1,
93 target_ulong src2)
94 {
95 return (src1 & ~(CC_C | CC_O)) | (dst * CC_C) | (src2 * CC_O);
96 }
97
helper_cc_compute_all(target_ulong dst,target_ulong src1,target_ulong src2,int op)98 target_ulong helper_cc_compute_all(target_ulong dst, target_ulong src1,
99 target_ulong src2, int op)
100 {
101 switch (op) {
102 default: /* should never happen */
103 return 0;
104
105 case CC_OP_EFLAGS:
106 return src1;
107 case CC_OP_CLR:
108 return CC_Z | CC_P;
109 case CC_OP_POPCNT:
110 return dst ? 0 : CC_Z;
111
112 case CC_OP_MULB:
113 return compute_all_mulb(dst, src1);
114 case CC_OP_MULW:
115 return compute_all_mulw(dst, src1);
116 case CC_OP_MULL:
117 return compute_all_mull(dst, src1);
118
119 case CC_OP_ADDB:
120 return compute_all_addb(dst, src1);
121 case CC_OP_ADDW:
122 return compute_all_addw(dst, src1);
123 case CC_OP_ADDL:
124 return compute_all_addl(dst, src1);
125
126 case CC_OP_ADCB:
127 return compute_all_adcb(dst, src1, src2);
128 case CC_OP_ADCW:
129 return compute_all_adcw(dst, src1, src2);
130 case CC_OP_ADCL:
131 return compute_all_adcl(dst, src1, src2);
132
133 case CC_OP_SUBB:
134 return compute_all_subb(dst, src1);
135 case CC_OP_SUBW:
136 return compute_all_subw(dst, src1);
137 case CC_OP_SUBL:
138 return compute_all_subl(dst, src1);
139
140 case CC_OP_SBBB:
141 return compute_all_sbbb(dst, src1, src2);
142 case CC_OP_SBBW:
143 return compute_all_sbbw(dst, src1, src2);
144 case CC_OP_SBBL:
145 return compute_all_sbbl(dst, src1, src2);
146
147 case CC_OP_LOGICB:
148 return compute_all_logicb(dst, src1);
149 case CC_OP_LOGICW:
150 return compute_all_logicw(dst, src1);
151 case CC_OP_LOGICL:
152 return compute_all_logicl(dst, src1);
153
154 case CC_OP_INCB:
155 return compute_all_incb(dst, src1);
156 case CC_OP_INCW:
157 return compute_all_incw(dst, src1);
158 case CC_OP_INCL:
159 return compute_all_incl(dst, src1);
160
161 case CC_OP_DECB:
162 return compute_all_decb(dst, src1);
163 case CC_OP_DECW:
164 return compute_all_decw(dst, src1);
165 case CC_OP_DECL:
166 return compute_all_decl(dst, src1);
167
168 case CC_OP_SHLB:
169 return compute_all_shlb(dst, src1);
170 case CC_OP_SHLW:
171 return compute_all_shlw(dst, src1);
172 case CC_OP_SHLL:
173 return compute_all_shll(dst, src1);
174
175 case CC_OP_SARB:
176 return compute_all_sarb(dst, src1);
177 case CC_OP_SARW:
178 return compute_all_sarw(dst, src1);
179 case CC_OP_SARL:
180 return compute_all_sarl(dst, src1);
181
182 case CC_OP_BMILGB:
183 return compute_all_bmilgb(dst, src1);
184 case CC_OP_BMILGW:
185 return compute_all_bmilgw(dst, src1);
186 case CC_OP_BMILGL:
187 return compute_all_bmilgl(dst, src1);
188
189 case CC_OP_BLSIB:
190 return compute_all_blsib(dst, src1);
191 case CC_OP_BLSIW:
192 return compute_all_blsiw(dst, src1);
193 case CC_OP_BLSIL:
194 return compute_all_blsil(dst, src1);
195
196 case CC_OP_ADCX:
197 return compute_all_adcx(dst, src1, src2);
198 case CC_OP_ADOX:
199 return compute_all_adox(dst, src1, src2);
200 case CC_OP_ADCOX:
201 return compute_all_adcox(dst, src1, src2);
202
203 #ifdef TARGET_X86_64
204 case CC_OP_MULQ:
205 return compute_all_mulq(dst, src1);
206 case CC_OP_ADDQ:
207 return compute_all_addq(dst, src1);
208 case CC_OP_ADCQ:
209 return compute_all_adcq(dst, src1, src2);
210 case CC_OP_SUBQ:
211 return compute_all_subq(dst, src1);
212 case CC_OP_SBBQ:
213 return compute_all_sbbq(dst, src1, src2);
214 case CC_OP_LOGICQ:
215 return compute_all_logicq(dst, src1);
216 case CC_OP_INCQ:
217 return compute_all_incq(dst, src1);
218 case CC_OP_DECQ:
219 return compute_all_decq(dst, src1);
220 case CC_OP_SHLQ:
221 return compute_all_shlq(dst, src1);
222 case CC_OP_SARQ:
223 return compute_all_sarq(dst, src1);
224 case CC_OP_BMILGQ:
225 return compute_all_bmilgq(dst, src1);
226 case CC_OP_BLSIQ:
227 return compute_all_blsiq(dst, src1);
228 #endif
229 }
230 }
231
cpu_cc_compute_all(CPUX86State * env)232 uint32_t cpu_cc_compute_all(CPUX86State *env)
233 {
234 return helper_cc_compute_all(CC_DST, CC_SRC, CC_SRC2, CC_OP);
235 }
236
helper_cc_compute_c(target_ulong dst,target_ulong src1,target_ulong src2,int op)237 target_ulong helper_cc_compute_c(target_ulong dst, target_ulong src1,
238 target_ulong src2, int op)
239 {
240 switch (op) {
241 default: /* should never happen */
242 case CC_OP_LOGICB:
243 case CC_OP_LOGICW:
244 case CC_OP_LOGICL:
245 case CC_OP_LOGICQ:
246 case CC_OP_CLR:
247 case CC_OP_POPCNT:
248 return 0;
249
250 case CC_OP_EFLAGS:
251 case CC_OP_SARB:
252 case CC_OP_SARW:
253 case CC_OP_SARL:
254 case CC_OP_SARQ:
255 case CC_OP_ADOX:
256 return src1 & 1;
257
258 case CC_OP_INCB:
259 case CC_OP_INCW:
260 case CC_OP_INCL:
261 case CC_OP_INCQ:
262 case CC_OP_DECB:
263 case CC_OP_DECW:
264 case CC_OP_DECL:
265 case CC_OP_DECQ:
266 return src1;
267
268 case CC_OP_MULB:
269 case CC_OP_MULW:
270 case CC_OP_MULL:
271 case CC_OP_MULQ:
272 return src1 != 0;
273
274 case CC_OP_ADCX:
275 case CC_OP_ADCOX:
276 return dst;
277
278 case CC_OP_ADDB:
279 return compute_c_addb(dst, src1);
280 case CC_OP_ADDW:
281 return compute_c_addw(dst, src1);
282 case CC_OP_ADDL:
283 return compute_c_addl(dst, src1);
284
285 case CC_OP_ADCB:
286 return compute_c_adcb(dst, src1, src2);
287 case CC_OP_ADCW:
288 return compute_c_adcw(dst, src1, src2);
289 case CC_OP_ADCL:
290 return compute_c_adcl(dst, src1, src2);
291
292 case CC_OP_SUBB:
293 return compute_c_subb(dst, src1);
294 case CC_OP_SUBW:
295 return compute_c_subw(dst, src1);
296 case CC_OP_SUBL:
297 return compute_c_subl(dst, src1);
298
299 case CC_OP_SBBB:
300 return compute_c_sbbb(dst, src1, src2);
301 case CC_OP_SBBW:
302 return compute_c_sbbw(dst, src1, src2);
303 case CC_OP_SBBL:
304 return compute_c_sbbl(dst, src1, src2);
305
306 case CC_OP_SHLB:
307 return compute_c_shlb(dst, src1);
308 case CC_OP_SHLW:
309 return compute_c_shlw(dst, src1);
310 case CC_OP_SHLL:
311 return compute_c_shll(dst, src1);
312
313 case CC_OP_BMILGB:
314 return compute_c_bmilgb(dst, src1);
315 case CC_OP_BMILGW:
316 return compute_c_bmilgw(dst, src1);
317 case CC_OP_BMILGL:
318 return compute_c_bmilgl(dst, src1);
319
320 case CC_OP_BLSIB:
321 return compute_c_blsib(dst, src1);
322 case CC_OP_BLSIW:
323 return compute_c_blsiw(dst, src1);
324 case CC_OP_BLSIL:
325 return compute_c_blsil(dst, src1);
326
327 #ifdef TARGET_X86_64
328 case CC_OP_ADDQ:
329 return compute_c_addq(dst, src1);
330 case CC_OP_ADCQ:
331 return compute_c_adcq(dst, src1, src2);
332 case CC_OP_SUBQ:
333 return compute_c_subq(dst, src1);
334 case CC_OP_SBBQ:
335 return compute_c_sbbq(dst, src1, src2);
336 case CC_OP_SHLQ:
337 return compute_c_shlq(dst, src1);
338 case CC_OP_BMILGQ:
339 return compute_c_bmilgq(dst, src1);
340 case CC_OP_BLSIQ:
341 return compute_c_blsiq(dst, src1);
342 #endif
343 }
344 }
345
helper_write_eflags(CPUX86State * env,target_ulong t0,uint32_t update_mask)346 void helper_write_eflags(CPUX86State *env, target_ulong t0,
347 uint32_t update_mask)
348 {
349 cpu_load_eflags(env, t0, update_mask);
350 }
351
helper_read_eflags(CPUX86State * env)352 target_ulong helper_read_eflags(CPUX86State *env)
353 {
354 uint32_t eflags;
355
356 eflags = cpu_cc_compute_all(env);
357 eflags |= (env->df & DF_MASK);
358 eflags |= env->eflags & ~(VM_MASK | RF_MASK);
359 return eflags;
360 }
361
helper_clts(CPUX86State * env)362 void helper_clts(CPUX86State *env)
363 {
364 env->cr[0] &= ~CR0_TS_MASK;
365 env->hflags &= ~HF_TS_MASK;
366 }
367