[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v4 1/2] target/i386: Trivial code motion
From: |
Ziqiao Kong |
Subject: |
Re: [PATCH v4 1/2] target/i386: Trivial code motion |
Date: |
Tue, 18 May 2021 10:53:51 +0800 |
On Tue, May 18, 2021 at 4:16 AM Eduardo Habkost <ehabkost@redhat.com> wrote:
>
> On Fri, May 07, 2021 at 04:00:56PM +0800, Ziqiao Kong wrote:
> > Move the float translation case to a new block by a new pair of braces.
>
> If you are just adding braces around the code, do you really need
> to reindent all the code? I don't see any mention of `switch`
> statements on style.rst, but I see 235 existing cases where the
> brackets are aligned below the `c` in `case`.
The indention style is from the translate.c itself like here:
https://github.com/qemu/qemu/blob/master/target/i386/tcg/translate.c#L5634
There are also many similar cases in translate.c.
>
> In either case, I'm looking for a description of "why", not
> "what", but I couldn't find it. Why are the braces necessary or
> useful here?
I have to declare some variables in this case scope, like last_addr, last_seg,
update_fdp and update_fip according to the previous review. Without the braces
here, they have to be declared at the beginning of the function like
the v2 patch.
Shall I state that in the commit message?
>
> >
> > Fix some coding style problem for the old code.
> >
> > Signed-off-by: Ziqiao Kong <ziqiaokong@gmail.com>
> > ---
> > VERSION | 2 +-
> > target/i386/tcg/translate.c | 953 ++++++++++++++++++------------------
> > 2 files changed, 481 insertions(+), 474 deletions(-)
> >
> > diff --git a/VERSION b/VERSION
> > index e479d55a5e..09b254e90c 100644
> > --- a/VERSION
> > +++ b/VERSION
> > @@ -1 +1 @@
> > -5.2.95
> > +6.0.0
> > diff --git a/target/i386/tcg/translate.c b/target/i386/tcg/translate.c
> > index 880bc45561..52e94fe106 100644
> > --- a/target/i386/tcg/translate.c
> > +++ b/target/i386/tcg/translate.c
> > @@ -5838,503 +5838,510 @@ static target_ulong disas_insn(DisasContext *s,
> > CPUState *cpu)
> > /************************/
> > /* floats */
> > case 0xd8 ... 0xdf:
> > - if (s->flags & (HF_EM_MASK | HF_TS_MASK)) {
> > - /* if CR0.EM or CR0.TS are set, generate an FPU exception */
> > - /* XXX: what to do if illegal op ? */
> > - gen_exception(s, EXCP07_PREX, pc_start - s->cs_base);
> > - break;
> > - }
> > - modrm = x86_ldub_code(env, s);
> > - mod = (modrm >> 6) & 3;
> > - rm = modrm & 7;
> > - op = ((b & 7) << 3) | ((modrm >> 3) & 7);
> > - if (mod != 3) {
> > - /* memory op */
> > - gen_lea_modrm(env, s, modrm);
> > - switch(op) {
> > - case 0x00 ... 0x07: /* fxxxs */
> > - case 0x10 ... 0x17: /* fixxxl */
> > - case 0x20 ... 0x27: /* fxxxl */
> > - case 0x30 ... 0x37: /* fixxx */
> > - {
> > - int op1;
> > - op1 = op & 7;
> > -
> > - switch(op >> 4) {
> > - case 0:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - gen_helper_flds_FT0(cpu_env, s->tmp2_i32);
> > - break;
> > - case 1:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - gen_helper_fildl_FT0(cpu_env, s->tmp2_i32);
> > - break;
> > - case 2:
> > - tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0,
> > - s->mem_index, MO_LEQ);
> > - gen_helper_fldl_FT0(cpu_env, s->tmp1_i64);
> > - break;
> > - case 3:
> > - default:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LESW);
> > - gen_helper_fildl_FT0(cpu_env, s->tmp2_i32);
> > - break;
> > - }
> > -
> > - gen_helper_fp_arith_ST0_FT0(op1);
> > - if (op1 == 3) {
> > - /* fcomp needs pop */
> > - gen_helper_fpop(cpu_env);
> > - }
> > - }
> > + {
> > + if (s->flags & (HF_EM_MASK | HF_TS_MASK)) {
> > + /* if CR0.EM or CR0.TS are set, generate an FPU exception
> > */
> > + /* XXX: what to do if illegal op ? */
> > + gen_exception(s, EXCP07_PREX, pc_start - s->cs_base);
> > break;
> > - case 0x08: /* flds */
> > - case 0x0a: /* fsts */
> > - case 0x0b: /* fstps */
> > - case 0x18 ... 0x1b: /* fildl, fisttpl, fistl, fistpl */
> > - case 0x28 ... 0x2b: /* fldl, fisttpll, fstl, fstpl */
> > - case 0x38 ... 0x3b: /* filds, fisttps, fists, fistps */
> > - switch(op & 7) {
> > - case 0:
> > - switch(op >> 4) {
> > - case 0:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - gen_helper_flds_ST0(cpu_env, s->tmp2_i32);
> > - break;
> > - case 1:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - gen_helper_fildl_ST0(cpu_env, s->tmp2_i32);
> > - break;
> > - case 2:
> > - tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0,
> > - s->mem_index, MO_LEQ);
> > - gen_helper_fldl_ST0(cpu_env, s->tmp1_i64);
> > - break;
> > - case 3:
> > - default:
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LESW);
> > - gen_helper_fildl_ST0(cpu_env, s->tmp2_i32);
> > - break;
> > - }
> > - break;
> > - case 1:
> > - /* XXX: the corresponding CPUID bit must be tested ! */
> > - switch(op >> 4) {
> > - case 1:
> > - gen_helper_fisttl_ST0(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - break;
> > - case 2:
> > - gen_helper_fisttll_ST0(s->tmp1_i64, cpu_env);
> > - tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0,
> > - s->mem_index, MO_LEQ);
> > - break;
> > - case 3:
> > - default:
> > - gen_helper_fistt_ST0(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUW);
> > - break;
> > - }
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - default:
> > - switch(op >> 4) {
> > - case 0:
> > - gen_helper_fsts_ST0(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - break;
> > - case 1:
> > - gen_helper_fistl_ST0(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUL);
> > - break;
> > - case 2:
> > - gen_helper_fstl_ST0(s->tmp1_i64, cpu_env);
> > - tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0,
> > - s->mem_index, MO_LEQ);
> > - break;
> > - case 3:
> > - default:
> > - gen_helper_fist_ST0(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUW);
> > - break;
> > - }
> > - if ((op & 7) == 3)
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - }
> > - break;
> > - case 0x0c: /* fldenv mem */
> > - gen_helper_fldenv(cpu_env, s->A0, tcg_const_i32(dflag -
> > 1));
> > - break;
> > - case 0x0d: /* fldcw mem */
> > - tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUW);
> > - gen_helper_fldcw(cpu_env, s->tmp2_i32);
> > - break;
> > - case 0x0e: /* fnstenv mem */
> > - gen_helper_fstenv(cpu_env, s->A0, tcg_const_i32(dflag -
> > 1));
> > - break;
> > - case 0x0f: /* fnstcw mem */
> > - gen_helper_fnstcw(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUW);
> > - break;
> > - case 0x1d: /* fldt mem */
> > - gen_helper_fldt_ST0(cpu_env, s->A0);
> > - break;
> > - case 0x1f: /* fstpt mem */
> > - gen_helper_fstt_ST0(cpu_env, s->A0);
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x2c: /* frstor mem */
> > - gen_helper_frstor(cpu_env, s->A0, tcg_const_i32(dflag -
> > 1));
> > - break;
> > - case 0x2e: /* fnsave mem */
> > - gen_helper_fsave(cpu_env, s->A0, tcg_const_i32(dflag - 1));
> > - break;
> > - case 0x2f: /* fnstsw mem */
> > - gen_helper_fnstsw(s->tmp2_i32, cpu_env);
> > - tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > - s->mem_index, MO_LEUW);
> > - break;
> > - case 0x3c: /* fbld */
> > - gen_helper_fbld_ST0(cpu_env, s->A0);
> > - break;
> > - case 0x3e: /* fbstp */
> > - gen_helper_fbst_ST0(cpu_env, s->A0);
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x3d: /* fildll */
> > - tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0, s->mem_index,
> > MO_LEQ);
> > - gen_helper_fildll_ST0(cpu_env, s->tmp1_i64);
> > - break;
> > - case 0x3f: /* fistpll */
> > - gen_helper_fistll_ST0(s->tmp1_i64, cpu_env);
> > - tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0, s->mem_index,
> > MO_LEQ);
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - default:
> > - goto unknown_op;
> > }
> > - } else {
> > - /* register float ops */
> > - opreg = rm;
> > + modrm = x86_ldub_code(env, s);
> > + mod = (modrm >> 6) & 3;
> > + rm = modrm & 7;
> > + op = ((b & 7) << 3) | ((modrm >> 3) & 7);
> > + if (mod != 3) {
> > + /* memory op */
> > + gen_lea_modrm(env, s, modrm);
> > + switch (op) {
> > + case 0x00 ... 0x07: /* fxxxs */
> > + case 0x10 ... 0x17: /* fixxxl */
> > + case 0x20 ... 0x27: /* fxxxl */
> > + case 0x30 ... 0x37: /* fixxx */
> > + {
> > + int op1;
> > + op1 = op & 7;
> >
> > - switch(op) {
> > - case 0x08: /* fld sti */
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fmov_ST0_STN(cpu_env,
> > - tcg_const_i32((opreg + 1) & 7));
> > - break;
> > - case 0x09: /* fxchg sti */
> > - case 0x29: /* fxchg4 sti, undocumented op */
> > - case 0x39: /* fxchg7 sti, undocumented op */
> > - gen_helper_fxchg_ST0_STN(cpu_env, tcg_const_i32(opreg));
> > - break;
> > - case 0x0a: /* grp d9/2 */
> > - switch(rm) {
> > - case 0: /* fnop */
> > - /* check exceptions (FreeBSD FPU probe) */
> > - gen_helper_fwait(cpu_env);
> > - break;
> > - default:
> > - goto unknown_op;
> > - }
> > - break;
> > - case 0x0c: /* grp d9/4 */
> > - switch(rm) {
> > - case 0: /* fchs */
> > - gen_helper_fchs_ST0(cpu_env);
> > - break;
> > - case 1: /* fabs */
> > - gen_helper_fabs_ST0(cpu_env);
> > - break;
> > - case 4: /* ftst */
> > - gen_helper_fldz_FT0(cpu_env);
> > - gen_helper_fcom_ST0_FT0(cpu_env);
> > - break;
> > - case 5: /* fxam */
> > - gen_helper_fxam_ST0(cpu_env);
> > - break;
> > - default:
> > - goto unknown_op;
> > - }
> > - break;
> > - case 0x0d: /* grp d9/5 */
> > - {
> > - switch(rm) {
> > - case 0:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fld1_ST0(cpu_env);
> > - break;
> > - case 1:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldl2t_ST0(cpu_env);
> > - break;
> > - case 2:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldl2e_ST0(cpu_env);
> > - break;
> > - case 3:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldpi_ST0(cpu_env);
> > - break;
> > - case 4:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldlg2_ST0(cpu_env);
> > - break;
> > - case 5:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldln2_ST0(cpu_env);
> > - break;
> > - case 6:
> > - gen_helper_fpush(cpu_env);
> > - gen_helper_fldz_ST0(cpu_env);
> > - break;
> > - default:
> > - goto unknown_op;
> > - }
> > - }
> > - break;
> > - case 0x0e: /* grp d9/6 */
> > - switch(rm) {
> > - case 0: /* f2xm1 */
> > - gen_helper_f2xm1(cpu_env);
> > - break;
> > - case 1: /* fyl2x */
> > - gen_helper_fyl2x(cpu_env);
> > - break;
> > - case 2: /* fptan */
> > - gen_helper_fptan(cpu_env);
> > - break;
> > - case 3: /* fpatan */
> > - gen_helper_fpatan(cpu_env);
> > - break;
> > - case 4: /* fxtract */
> > - gen_helper_fxtract(cpu_env);
> > - break;
> > - case 5: /* fprem1 */
> > - gen_helper_fprem1(cpu_env);
> > - break;
> > - case 6: /* fdecstp */
> > - gen_helper_fdecstp(cpu_env);
> > - break;
> > - default:
> > - case 7: /* fincstp */
> > - gen_helper_fincstp(cpu_env);
> > - break;
> > - }
> > - break;
> > - case 0x0f: /* grp d9/7 */
> > - switch(rm) {
> > - case 0: /* fprem */
> > - gen_helper_fprem(cpu_env);
> > - break;
> > - case 1: /* fyl2xp1 */
> > - gen_helper_fyl2xp1(cpu_env);
> > - break;
> > - case 2: /* fsqrt */
> > - gen_helper_fsqrt(cpu_env);
> > - break;
> > - case 3: /* fsincos */
> > - gen_helper_fsincos(cpu_env);
> > - break;
> > - case 5: /* fscale */
> > - gen_helper_fscale(cpu_env);
> > - break;
> > - case 4: /* frndint */
> > - gen_helper_frndint(cpu_env);
> > - break;
> > - case 6: /* fsin */
> > - gen_helper_fsin(cpu_env);
> > - break;
> > - default:
> > - case 7: /* fcos */
> > - gen_helper_fcos(cpu_env);
> > - break;
> > - }
> > - break;
> > - case 0x00: case 0x01: case 0x04 ... 0x07: /* fxxx st, sti */
> > - case 0x20: case 0x21: case 0x24 ... 0x27: /* fxxx sti, st */
> > - case 0x30: case 0x31: case 0x34 ... 0x37: /* fxxxp sti, st */
> > - {
> > - int op1;
> > + switch (op >> 4) {
> > + case 0:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + gen_helper_flds_FT0(cpu_env, s->tmp2_i32);
> > + break;
> > + case 1:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + gen_helper_fildl_FT0(cpu_env, s->tmp2_i32);
> > + break;
> > + case 2:
> > + tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + gen_helper_fldl_FT0(cpu_env, s->tmp1_i64);
> > + break;
> > + case 3:
> > + default:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LESW);
> > + gen_helper_fildl_FT0(cpu_env, s->tmp2_i32);
> > + break;
> > + }
> >
> > - op1 = op & 7;
> > - if (op >= 0x20) {
> > - gen_helper_fp_arith_STN_ST0(op1, opreg);
> > - if (op >= 0x30)
> > - gen_helper_fpop(cpu_env);
> > - } else {
> > - gen_helper_fmov_FT0_STN(cpu_env,
> > tcg_const_i32(opreg));
> > gen_helper_fp_arith_ST0_FT0(op1);
> > + if (op1 == 3) {
> > + /* fcomp needs pop */
> > + gen_helper_fpop(cpu_env);
> > + }
> > }
> > - }
> > - break;
> > - case 0x02: /* fcom */
> > - case 0x22: /* fcom2, undocumented op */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fcom_ST0_FT0(cpu_env);
> > - break;
> > - case 0x03: /* fcomp */
> > - case 0x23: /* fcomp3, undocumented op */
> > - case 0x32: /* fcomp5, undocumented op */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fcom_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x15: /* da/5 */
> > - switch(rm) {
> > - case 1: /* fucompp */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(1));
> > - gen_helper_fucom_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > break;
> > - default:
> > - goto unknown_op;
> > - }
> > - break;
> > - case 0x1c:
> > - switch(rm) {
> > - case 0: /* feni (287 only, just do nop here) */
> > + case 0x08: /* flds */
> > + case 0x0a: /* fsts */
> > + case 0x0b: /* fstps */
> > + case 0x18 ... 0x1b: /* fildl, fisttpl, fistl, fistpl */
> > + case 0x28 ... 0x2b: /* fldl, fisttpll, fstl, fstpl */
> > + case 0x38 ... 0x3b: /* filds, fisttps, fists, fistps */
> > + switch (op & 7) {
> > + case 0:
> > + switch (op >> 4) {
> > + case 0:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + gen_helper_flds_ST0(cpu_env, s->tmp2_i32);
> > + break;
> > + case 1:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + gen_helper_fildl_ST0(cpu_env, s->tmp2_i32);
> > + break;
> > + case 2:
> > + tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + gen_helper_fldl_ST0(cpu_env, s->tmp1_i64);
> > + break;
> > + case 3:
> > + default:
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LESW);
> > + gen_helper_fildl_ST0(cpu_env, s->tmp2_i32);
> > + break;
> > + }
> > + break;
> > + case 1:
> > + /* XXX: the corresponding CPUID bit must be tested
> > ! */
> > + switch (op >> 4) {
> > + case 1:
> > + gen_helper_fisttl_ST0(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + break;
> > + case 2:
> > + gen_helper_fisttll_ST0(s->tmp1_i64, cpu_env);
> > + tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + break;
> > + case 3:
> > + default:
> > + gen_helper_fistt_ST0(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUW);
> > + break;
> > + }
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + default:
> > + switch (op >> 4) {
> > + case 0:
> > + gen_helper_fsts_ST0(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + break;
> > + case 1:
> > + gen_helper_fistl_ST0(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUL);
> > + break;
> > + case 2:
> > + gen_helper_fstl_ST0(s->tmp1_i64, cpu_env);
> > + tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + break;
> > + case 3:
> > + default:
> > + gen_helper_fist_ST0(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUW);
> > + break;
> > + }
> > + if ((op & 7) == 3) {
> > + gen_helper_fpop(cpu_env);
> > + }
> > + break;
> > + }
> > break;
> > - case 1: /* fdisi (287 only, just do nop here) */
> > + case 0x0c: /* fldenv mem */
> > + gen_helper_fldenv(cpu_env, s->A0, tcg_const_i32(dflag
> > - 1));
> > break;
> > - case 2: /* fclex */
> > - gen_helper_fclex(cpu_env);
> > + case 0x0d: /* fldcw mem */
> > + tcg_gen_qemu_ld_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUW);
> > + gen_helper_fldcw(cpu_env, s->tmp2_i32);
> > break;
> > - case 3: /* fninit */
> > - gen_helper_fninit(cpu_env);
> > + case 0x0e: /* fnstenv mem */
> > + gen_helper_fstenv(cpu_env, s->A0, tcg_const_i32(dflag
> > - 1));
> > break;
> > - case 4: /* fsetpm (287 only, just do nop here) */
> > + case 0x0f: /* fnstcw mem */
> > + gen_helper_fnstcw(s->tmp2_i32, cpu_env);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUW);
> > break;
> > - default:
> > - goto unknown_op;
> > - }
> > - break;
> > - case 0x1d: /* fucomi */
> > - if (!(s->cpuid_features & CPUID_CMOV)) {
> > - goto illegal_op;
> > - }
> > - gen_update_cc_op(s);
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fucomi_ST0_FT0(cpu_env);
> > - set_cc_op(s, CC_OP_EFLAGS);
> > - break;
> > - case 0x1e: /* fcomi */
> > - if (!(s->cpuid_features & CPUID_CMOV)) {
> > - goto illegal_op;
> > - }
> > - gen_update_cc_op(s);
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fcomi_ST0_FT0(cpu_env);
> > - set_cc_op(s, CC_OP_EFLAGS);
> > - break;
> > - case 0x28: /* ffree sti */
> > - gen_helper_ffree_STN(cpu_env, tcg_const_i32(opreg));
> > - break;
> > - case 0x2a: /* fst sti */
> > - gen_helper_fmov_STN_ST0(cpu_env, tcg_const_i32(opreg));
> > - break;
> > - case 0x2b: /* fstp sti */
> > - case 0x0b: /* fstp1 sti, undocumented op */
> > - case 0x3a: /* fstp8 sti, undocumented op */
> > - case 0x3b: /* fstp9 sti, undocumented op */
> > - gen_helper_fmov_STN_ST0(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x2c: /* fucom st(i) */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fucom_ST0_FT0(cpu_env);
> > - break;
> > - case 0x2d: /* fucomp st(i) */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fucom_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x33: /* de/3 */
> > - switch(rm) {
> > - case 1: /* fcompp */
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(1));
> > - gen_helper_fcom_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > + case 0x1d: /* fldt mem */
> > + gen_helper_fldt_ST0(cpu_env, s->A0);
> > + break;
> > + case 0x1f: /* fstpt mem */
> > + gen_helper_fstt_ST0(cpu_env, s->A0);
> > gen_helper_fpop(cpu_env);
> > break;
> > - default:
> > - goto unknown_op;
> > - }
> > - break;
> > - case 0x38: /* ffreep sti, undocumented op */
> > - gen_helper_ffree_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fpop(cpu_env);
> > - break;
> > - case 0x3c: /* df/4 */
> > - switch(rm) {
> > - case 0:
> > + case 0x2c: /* frstor mem */
> > + gen_helper_frstor(cpu_env, s->A0, tcg_const_i32(dflag
> > - 1));
> > + break;
> > + case 0x2e: /* fnsave mem */
> > + gen_helper_fsave(cpu_env, s->A0, tcg_const_i32(dflag -
> > 1));
> > + break;
> > + case 0x2f: /* fnstsw mem */
> > gen_helper_fnstsw(s->tmp2_i32, cpu_env);
> > - tcg_gen_extu_i32_tl(s->T0, s->tmp2_i32);
> > - gen_op_mov_reg_v(s, MO_16, R_EAX, s->T0);
> > + tcg_gen_qemu_st_i32(s->tmp2_i32, s->A0,
> > + s->mem_index, MO_LEUW);
> > + break;
> > + case 0x3c: /* fbld */
> > + gen_helper_fbld_ST0(cpu_env, s->A0);
> > + break;
> > + case 0x3e: /* fbstp */
> > + gen_helper_fbst_ST0(cpu_env, s->A0);
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + case 0x3d: /* fildll */
> > + tcg_gen_qemu_ld_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + gen_helper_fildll_ST0(cpu_env, s->tmp1_i64);
> > + break;
> > + case 0x3f: /* fistpll */
> > + gen_helper_fistll_ST0(s->tmp1_i64, cpu_env);
> > + tcg_gen_qemu_st_i64(s->tmp1_i64, s->A0,
> > + s->mem_index, MO_LEQ);
> > + gen_helper_fpop(cpu_env);
> > break;
> > default:
> > goto unknown_op;
> > }
> > - break;
> > - case 0x3d: /* fucomip */
> > - if (!(s->cpuid_features & CPUID_CMOV)) {
> > - goto illegal_op;
> > - }
> > - gen_update_cc_op(s);
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fucomi_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > - set_cc_op(s, CC_OP_EFLAGS);
> > - break;
> > - case 0x3e: /* fcomip */
> > - if (!(s->cpuid_features & CPUID_CMOV)) {
> > - goto illegal_op;
> > - }
> > - gen_update_cc_op(s);
> > - gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_helper_fcomi_ST0_FT0(cpu_env);
> > - gen_helper_fpop(cpu_env);
> > - set_cc_op(s, CC_OP_EFLAGS);
> > - break;
> > - case 0x10 ... 0x13: /* fcmovxx */
> > - case 0x18 ... 0x1b:
> > - {
> > - int op1;
> > - TCGLabel *l1;
> > - static const uint8_t fcmov_cc[8] = {
> > - (JCC_B << 1),
> > - (JCC_Z << 1),
> > - (JCC_BE << 1),
> > - (JCC_P << 1),
> > - };
> > + } else {
> > + /* register float ops */
> > + opreg = rm;
> > +
> > + switch (op) {
> > + case 0x08: /* fld sti */
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fmov_ST0_STN(cpu_env,
> > + tcg_const_i32((opreg + 1) &
> > 7));
> > + break;
> > + case 0x09: /* fxchg sti */
> > + case 0x29: /* fxchg4 sti, undocumented op */
> > + case 0x39: /* fxchg7 sti, undocumented op */
> > + gen_helper_fxchg_ST0_STN(cpu_env,
> > tcg_const_i32(opreg));
> > + break;
> > + case 0x0a: /* grp d9/2 */
> > + switch (rm) {
> > + case 0: /* fnop */
> > + /* check exceptions (FreeBSD FPU probe) */
> > + gen_helper_fwait(cpu_env);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x0c: /* grp d9/4 */
> > + switch (rm) {
> > + case 0: /* fchs */
> > + gen_helper_fchs_ST0(cpu_env);
> > + break;
> > + case 1: /* fabs */
> > + gen_helper_fabs_ST0(cpu_env);
> > + break;
> > + case 4: /* ftst */
> > + gen_helper_fldz_FT0(cpu_env);
> > + gen_helper_fcom_ST0_FT0(cpu_env);
> > + break;
> > + case 5: /* fxam */
> > + gen_helper_fxam_ST0(cpu_env);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x0d: /* grp d9/5 */
> > + {
> > + switch (rm) {
> > + case 0:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fld1_ST0(cpu_env);
> > + break;
> > + case 1:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldl2t_ST0(cpu_env);
> > + break;
> > + case 2:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldl2e_ST0(cpu_env);
> > + break;
> > + case 3:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldpi_ST0(cpu_env);
> > + break;
> > + case 4:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldlg2_ST0(cpu_env);
> > + break;
> > + case 5:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldln2_ST0(cpu_env);
> > + break;
> > + case 6:
> > + gen_helper_fpush(cpu_env);
> > + gen_helper_fldz_ST0(cpu_env);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + }
> > + break;
> > + case 0x0e: /* grp d9/6 */
> > + switch (rm) {
> > + case 0: /* f2xm1 */
> > + gen_helper_f2xm1(cpu_env);
> > + break;
> > + case 1: /* fyl2x */
> > + gen_helper_fyl2x(cpu_env);
> > + break;
> > + case 2: /* fptan */
> > + gen_helper_fptan(cpu_env);
> > + break;
> > + case 3: /* fpatan */
> > + gen_helper_fpatan(cpu_env);
> > + break;
> > + case 4: /* fxtract */
> > + gen_helper_fxtract(cpu_env);
> > + break;
> > + case 5: /* fprem1 */
> > + gen_helper_fprem1(cpu_env);
> > + break;
> > + case 6: /* fdecstp */
> > + gen_helper_fdecstp(cpu_env);
> > + break;
> > + default:
> > + case 7: /* fincstp */
> > + gen_helper_fincstp(cpu_env);
> > + break;
> > + }
> > + break;
> > + case 0x0f: /* grp d9/7 */
> > + switch (rm) {
> > + case 0: /* fprem */
> > + gen_helper_fprem(cpu_env);
> > + break;
> > + case 1: /* fyl2xp1 */
> > + gen_helper_fyl2xp1(cpu_env);
> > + break;
> > + case 2: /* fsqrt */
> > + gen_helper_fsqrt(cpu_env);
> > + break;
> > + case 3: /* fsincos */
> > + gen_helper_fsincos(cpu_env);
> > + break;
> > + case 5: /* fscale */
> > + gen_helper_fscale(cpu_env);
> > + break;
> > + case 4: /* frndint */
> > + gen_helper_frndint(cpu_env);
> > + break;
> > + case 6: /* fsin */
> > + gen_helper_fsin(cpu_env);
> > + break;
> > + default:
> > + case 7: /* fcos */
> > + gen_helper_fcos(cpu_env);
> > + break;
> > + }
> > + break;
> > + case 0x00: case 0x01: case 0x04 ... 0x07: /* fxxx st, sti
> > */
> > + case 0x20: case 0x21: case 0x24 ... 0x27: /* fxxx sti, st
> > */
> > + case 0x30: case 0x31: case 0x34 ... 0x37: /* fxxxp sti, st
> > */
> > + {
> > + int op1;
> >
> > + op1 = op & 7;
> > + if (op >= 0x20) {
> > + gen_helper_fp_arith_STN_ST0(op1, opreg);
> > + if (op >= 0x30) {
> > + gen_helper_fpop(cpu_env);
> > + }
> > + } else {
> > + gen_helper_fmov_FT0_STN(cpu_env,
> > + tcg_const_i32(opreg));
> > + gen_helper_fp_arith_ST0_FT0(op1);
> > + }
> > + }
> > + break;
> > + case 0x02: /* fcom */
> > + case 0x22: /* fcom2, undocumented op */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fcom_ST0_FT0(cpu_env);
> > + break;
> > + case 0x03: /* fcomp */
> > + case 0x23: /* fcomp3, undocumented op */
> > + case 0x32: /* fcomp5, undocumented op */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fcom_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + case 0x15: /* da/5 */
> > + switch (rm) {
> > + case 1: /* fucompp */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(1));
> > + gen_helper_fucom_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x1c:
> > + switch (rm) {
> > + case 0: /* feni (287 only, just do nop here) */
> > + break;
> > + case 1: /* fdisi (287 only, just do nop here) */
> > + break;
> > + case 2: /* fclex */
> > + gen_helper_fclex(cpu_env);
> > + break;
> > + case 3: /* fninit */
> > + gen_helper_fninit(cpu_env);
> > + break;
> > + case 4: /* fsetpm (287 only, just do nop here) */
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x1d: /* fucomi */
> > if (!(s->cpuid_features & CPUID_CMOV)) {
> > goto illegal_op;
> > }
> > - op1 = fcmov_cc[op & 3] | (((op >> 3) & 1) ^ 1);
> > - l1 = gen_new_label();
> > - gen_jcc1_noeob(s, op1, l1);
> > - gen_helper_fmov_ST0_STN(cpu_env, tcg_const_i32(opreg));
> > - gen_set_label(l1);
> > + gen_update_cc_op(s);
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fucomi_ST0_FT0(cpu_env);
> > + set_cc_op(s, CC_OP_EFLAGS);
> > + break;
> > + case 0x1e: /* fcomi */
> > + if (!(s->cpuid_features & CPUID_CMOV)) {
> > + goto illegal_op;
> > + }
> > + gen_update_cc_op(s);
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fcomi_ST0_FT0(cpu_env);
> > + set_cc_op(s, CC_OP_EFLAGS);
> > + break;
> > + case 0x28: /* ffree sti */
> > + gen_helper_ffree_STN(cpu_env, tcg_const_i32(opreg));
> > + break;
> > + case 0x2a: /* fst sti */
> > + gen_helper_fmov_STN_ST0(cpu_env, tcg_const_i32(opreg));
> > + break;
> > + case 0x2b: /* fstp sti */
> > + case 0x0b: /* fstp1 sti, undocumented op */
> > + case 0x3a: /* fstp8 sti, undocumented op */
> > + case 0x3b: /* fstp9 sti, undocumented op */
> > + gen_helper_fmov_STN_ST0(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + case 0x2c: /* fucom st(i) */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fucom_ST0_FT0(cpu_env);
> > + break;
> > + case 0x2d: /* fucomp st(i) */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fucom_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + case 0x33: /* de/3 */
> > + switch (rm) {
> > + case 1: /* fcompp */
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(1));
> > + gen_helper_fcom_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x38: /* ffreep sti, undocumented op */
> > + gen_helper_ffree_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fpop(cpu_env);
> > + break;
> > + case 0x3c: /* df/4 */
> > + switch (rm) {
> > + case 0:
> > + gen_helper_fnstsw(s->tmp2_i32, cpu_env);
> > + tcg_gen_extu_i32_tl(s->T0, s->tmp2_i32);
> > + gen_op_mov_reg_v(s, MO_16, R_EAX, s->T0);
> > + break;
> > + default:
> > + goto unknown_op;
> > + }
> > + break;
> > + case 0x3d: /* fucomip */
> > + if (!(s->cpuid_features & CPUID_CMOV)) {
> > + goto illegal_op;
> > + }
> > + gen_update_cc_op(s);
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fucomi_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + set_cc_op(s, CC_OP_EFLAGS);
> > + break;
> > + case 0x3e: /* fcomip */
> > + if (!(s->cpuid_features & CPUID_CMOV)) {
> > + goto illegal_op;
> > + }
> > + gen_update_cc_op(s);
> > + gen_helper_fmov_FT0_STN(cpu_env, tcg_const_i32(opreg));
> > + gen_helper_fcomi_ST0_FT0(cpu_env);
> > + gen_helper_fpop(cpu_env);
> > + set_cc_op(s, CC_OP_EFLAGS);
> > + break;
> > + case 0x10 ... 0x13: /* fcmovxx */
> > + case 0x18 ... 0x1b:
> > + {
> > + int op1;
> > + TCGLabel *l1;
> > + static const uint8_t fcmov_cc[8] = {
> > + (JCC_B << 1),
> > + (JCC_Z << 1),
> > + (JCC_BE << 1),
> > + (JCC_P << 1),
> > + };
> > +
> > + if (!(s->cpuid_features & CPUID_CMOV)) {
> > + goto illegal_op;
> > + }
> > + op1 = fcmov_cc[op & 3] | (((op >> 3) & 1) ^ 1);
> > + l1 = gen_new_label();
> > + gen_jcc1_noeob(s, op1, l1);
> > + gen_helper_fmov_ST0_STN(cpu_env,
> > tcg_const_i32(opreg));
> > + gen_set_label(l1);
> > + }
> > + break;
> > + default:
> > + goto unknown_op;
> > }
> > - break;
> > - default:
> > - goto unknown_op;
> > }
> > }
> > break;
> > --
> > 2.25.1
> >
>
> --
> Eduardo
>
- [PATCH v4 1/2] target/i386: Trivial code motion, Ziqiao Kong, 2021/05/07
- [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Ziqiao Kong, 2021/05/07
- Re: [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Ziqiao Kong, 2021/05/13
- Re: [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Eduardo Habkost, 2021/05/17
- Re: [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Ziqiao Kong, 2021/05/17
- Re: [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Ziqiao Kong, 2021/05/24
- Re: [PATCH v4 2/2] target/i386: Correct implementation for FCS, FIP, FDS and FDP, Eduardo Habkost, 2021/05/27
- Re: [PATCH v4 1/2] target/i386: Trivial code motion, Eduardo Habkost, 2021/05/17
- Re: [PATCH v4 1/2] target/i386: Trivial code motion,
Ziqiao Kong <=