target/i386/cc_helper.c

   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