xref: /openbmc/qemu/target/i386/tcg/cc_helper.c (revision a6896ebc)
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 
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 
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 
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 
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 
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 
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 
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 
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 
362 void helper_clts(CPUX86State *env)
363 {
364     env->cr[0] &= ~CR0_TS_MASK;
365     env->hflags &= ~HF_TS_MASK;
366 }
367