[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Qemu-devel] [PATCH v2 19/33] target/mips: Implement emualtion of na
From: |
Aleksandar Markovic |
Subject: |
Re: [Qemu-devel] [PATCH v2 19/33] target/mips: Implement emualtion of nanoMIPS LLWP/SCWP pair |
Date: |
Tue, 10 Jul 2018 18:15:48 +0000 |
> Subject: [PATCH v2 19/33] target/mips: Implement emualtion of nanoMIPS
> LLWP/SCWP pair
>
> From: Yongbok Kim <address@hidden>
>
> Implement nanoMIPS LLWP and SCWP instruction pair.
>
> Signed-off-by: Yongbok Kim <address@hidden>
> Signed-off-by: Aleksandar Markovic <address@hidden>
> Signed-off-by: Stefan Markovic <address@hidden>
> ---
> linux-user/mips/cpu_loop.c | 25 ++++++++---
> target/mips/cpu.h | 2 +
> target/mips/helper.h | 2 +
> target/mips/op_helper.c | 35 +++++++++++++++
> target/mips/translate.c | 107
> +++++++++++++++++++++++++++++++++++++++++++++
> 5 files changed, 166 insertions(+), 5 deletions(-)
>
How is atomicity addressed here, if do_lw() is called twice in helper_llwp()?
> diff --git a/linux-user/mips/cpu_loop.c b/linux-user/mips/cpu_loop.c
> index 084ad6a..1d3dc9e 100644
> --- a/linux-user/mips/cpu_loop.c
> +++ b/linux-user/mips/cpu_loop.c
> @@ -397,10 +397,13 @@ static int do_store_exclusive(CPUMIPSState *env)
> target_ulong addr;
> target_ulong page_addr;
> target_ulong val;
> + uint32_t val_wp = 0;
> + uint32_t llnewval_wp = 0;
> int flags;
> int segv = 0;
> int reg;
> int d;
> + int wp;
>
> addr = env->lladdr;
> page_addr = addr & TARGET_PAGE_MASK;
> @@ -412,19 +415,31 @@ static int do_store_exclusive(CPUMIPSState *env)
> } else {
> reg = env->llreg & 0x1f;
> d = (env->llreg & 0x20) != 0;
> - if (d) {
> - segv = get_user_s64(val, addr);
> + wp = (env->llreg & 0x40) != 0;
> + if (!wp) {
> + if (d) {
> + segv = get_user_s64(val, addr);
> + } else {
> + segv = get_user_s32(val, addr);
> + }
> } else {
> segv = get_user_s32(val, addr);
> + segv |= get_user_s32(val_wp, addr);
> + llnewval_wp = env->llnewval_wp;
> }
> if (!segv) {
> - if (val != env->llval) {
> + if (val != env->llval && val_wp == llnewval_wp) {
> env->active_tc.gpr[reg] = 0;
> } else {
> - if (d) {
> - segv = put_user_u64(env->llnewval, addr);
> + if (!wp) {
> + if (d) {
> + segv = put_user_u64(env->llnewval, addr);
> + } else {
> + segv = put_user_u32(env->llnewval, addr);
> + }
> } else {
> segv = put_user_u32(env->llnewval, addr);
> + segv |= put_user_u32(env->llnewval_wp, addr + 4);
> }
> if (!segv) {
> env->active_tc.gpr[reg] = 1;
> diff --git a/target/mips/cpu.h b/target/mips/cpu.h
> index 4cd918b..2386c8c 100644
> --- a/target/mips/cpu.h
> +++ b/target/mips/cpu.h
> @@ -499,6 +499,8 @@ struct CPUMIPSState {
> uint64_t lladdr;
> target_ulong llval;
> target_ulong llnewval;
> + uint32_t llval_wp;
> + uint32_t llnewval_wp;
> target_ulong llreg;
> uint64_t CP0_LLAddr_rw_bitmask;
> int CP0_LLAddr_shift;
> diff --git a/target/mips/helper.h b/target/mips/helper.h
> index b2a780a..deca307 100644
> --- a/target/mips/helper.h
> +++ b/target/mips/helper.h
> @@ -14,6 +14,8 @@ DEF_HELPER_4(swr, void, env, tl, tl, int)
> #ifndef CONFIG_USER_ONLY
> DEF_HELPER_3(ll, tl, env, tl, int)
> DEF_HELPER_4(sc, tl, env, tl, tl, int)
> +DEF_HELPER_5(llwp, void, env, tl, i32, i32, i32)
> +DEF_HELPER_4(scwp, tl, env, tl, i64, int)
> #ifdef TARGET_MIPS64
> DEF_HELPER_3(lld, tl, env, tl, int)
> DEF_HELPER_4(scd, tl, env, tl, tl, int)
> diff --git a/target/mips/op_helper.c b/target/mips/op_helper.c
> index b3eef9f..cb83b6d 100644
> --- a/target/mips/op_helper.c
> +++ b/target/mips/op_helper.c
> @@ -380,6 +380,19 @@ HELPER_LD_ATOMIC(lld, ld, 0x7)
> #endif
> #undef HELPER_LD_ATOMIC
>
> +void helper_llwp(CPUMIPSState *env, target_ulong addr, uint32_t reg1,
> + uint32_t reg2, uint32_t mem_idx)
> +{
> + if (addr & 0x7) {
> + env->CP0_BadVAddr = addr;
> + do_raise_exception(env, EXCP_AdEL, GETPC());
> + }
> + env->lladdr = do_translate_address(env, addr, 0, GETPC());
> + env->active_tc.gpr[reg1] = env->llval = do_lw(env, addr, mem_idx,
> GETPC());
> + env->active_tc.gpr[reg2] = env->llval_wp = do_lw(env, addr + 4, mem_idx,
> + GETPC());
> +}
> +
> #define HELPER_ST_ATOMIC(name, ld_insn, st_insn, almask)
> \
> target_ulong helper_##name(CPUMIPSState *env, target_ulong arg1,
> \
> target_ulong arg2, int mem_idx)
> \
> @@ -406,6 +419,28 @@ HELPER_ST_ATOMIC(sc, lw, sw, 0x3)
> HELPER_ST_ATOMIC(scd, ld, sd, 0x7)
> #endif
> #undef HELPER_ST_ATOMIC
> +
> +target_ulong helper_scwp(CPUMIPSState *env, target_ulong addr,
> + uint64_t data, int mem_idx)
> +{
> + uint32_t tmp;
> + uint32_t tmp2;
> +
> + if (addr & 0x7) {
> + env->CP0_BadVAddr = addr;
> + do_raise_exception(env, EXCP_AdES, GETPC());
> + }
> + if (do_translate_address(env, addr, 1, GETPC()) == env->lladdr) {
> + tmp = do_lw(env, addr, mem_idx, GETPC());
> + tmp2 = do_lw(env, addr + 4, mem_idx, GETPC());
> + if (tmp == env->llval && tmp2 == env->llval_wp) {
> + do_sw(env, addr, (uint32_t) data, mem_idx, GETPC());
> + do_sw(env, addr + 4, (uint32_t) *(&data + 4), mem_idx, GETPC());
> + return 1;
> + }
> + }
> + return 0;
> +}
> #endif
>
> #ifdef TARGET_WORDS_BIGENDIAN
> diff --git a/target/mips/translate.c b/target/mips/translate.c
> index c9087d2..13b1b7b 100644
> --- a/target/mips/translate.c
> +++ b/target/mips/translate.c
> @@ -1459,6 +1459,7 @@ typedef struct DisasContext {
> bool nan2008;
> bool abs2008;
> bool has_isa_mode;
> + bool xnp;
> } DisasContext;
>
> #define DISAS_STOP DISAS_TARGET_0
> @@ -2336,6 +2337,44 @@ static void gen_ld(DisasContext *ctx, uint32_t opc,
> tcg_temp_free(t0);
> }
>
> +static void gen_llwp(DisasContext *ctx, uint32_t base, int16_t offset,
> + uint32_t reg1, uint32_t reg2)
> +{
> +#ifdef CONFIG_USER_ONLY
> + TCGv taddr = tcg_temp_new();
> + TCGv tval = tcg_temp_new();
> +
> + gen_base_offset_addr(ctx, taddr, base, offset);
> + tcg_gen_qemu_ld32s(tval, taddr, ctx->mem_idx);
> + tcg_gen_st_tl(taddr, cpu_env, offsetof(CPUMIPSState, lladdr));
> + tcg_gen_st_tl(tval, cpu_env, offsetof(CPUMIPSState, llval));
> + tcg_gen_ext32s_tl(tval, tval);
> + gen_store_gpr(tval, reg1);
> +
> + gen_base_offset_addr(ctx, taddr, base, offset + 4);
> + tcg_gen_qemu_ld32s(tval, taddr, ctx->mem_idx);
> + tcg_gen_st_tl(tval, cpu_env, offsetof(CPUMIPSState, llval_wp));
> + tcg_gen_ext32s_tl(tval, tval);
> + gen_store_gpr(tval, reg2);
> +
> + tcg_temp_free(taddr);
> + tcg_temp_free(tval);
> +#else
> + TCGv taddr = tcg_temp_new();
> + TCGv_i32 helper_mem_idx = tcg_const_i32(ctx->mem_idx);
> + TCGv_i32 helper_reg1 = tcg_const_i32(reg1);
> + TCGv_i32 helper_reg2 = tcg_const_i32(reg2);
> +
> + gen_base_offset_addr(ctx, taddr, base, offset);
> + gen_helper_llwp(cpu_env, taddr, helper_reg1, helper_reg2,
> helper_mem_idx);
> +
> + tcg_temp_free(taddr);
> + tcg_temp_free_i32(helper_mem_idx);
> + tcg_temp_free_i32(helper_reg1);
> + tcg_temp_free_i32(helper_reg2);
> +#endif
> +}
> +
> /* Store */
> static void gen_st (DisasContext *ctx, uint32_t opc, int rt,
> int base, int offset)
> @@ -2432,6 +2471,63 @@ static void gen_st_cond (DisasContext *ctx, uint32_t
> opc, int rt,
> tcg_temp_free(t0);
> }
>
> +static void gen_scwp(DisasContext *ctx, uint32_t base, int16_t offset,
> + uint32_t reg1, uint32_t reg2)
> +{
> +#ifdef CONFIG_USER_ONLY
> + TCGv taddr = tcg_temp_local_new();
> + TCGv t0 = tcg_temp_new();
> + TCGLabel *l1 = gen_new_label();
> + TCGLabel *l2 = gen_new_label();
> +
> + gen_base_offset_addr(ctx, taddr, base, offset);
> + tcg_gen_andi_tl(t0, taddr, 0x7);
> + tcg_gen_brcondi_tl(TCG_COND_EQ, t0, 0, l1);
> + tcg_gen_st_tl(taddr, cpu_env, offsetof(CPUMIPSState, CP0_BadVAddr));
> + generate_exception(ctx, EXCP_AdES);
> + gen_set_label(l1);
> + tcg_gen_ld_tl(t0, cpu_env, offsetof(CPUMIPSState, lladdr));
> + tcg_gen_brcond_tl(TCG_COND_NE, taddr, t0, l2);
> + tcg_gen_movi_tl(t0, reg1 | 0x60);
> + tcg_gen_st_tl(t0, cpu_env, offsetof(CPUMIPSState, llreg));
> + gen_load_gpr(t0, reg1);
> + tcg_gen_st_tl(t0, cpu_env, offsetof(CPUMIPSState, llnewval));
> + gen_load_gpr(t0, reg2);
> + tcg_gen_st_tl(t0, cpu_env, offsetof(CPUMIPSState, llnewval_wp));
> + generate_exception_end(ctx, EXCP_SC);
> + gen_set_label(l2);
> + tcg_gen_movi_tl(t0, 0);
> + gen_store_gpr(t0, reg1);
> + tcg_temp_free(t0);
> + tcg_temp_free(taddr);
> +#else
> + TCGv taddr = tcg_temp_new();
> + TCGv_i64 tdata = tcg_temp_new_i64();
> + TCGv_i32 helper_mem_idx = tcg_const_i32(ctx->mem_idx);
> +
> + TCGv t0 = tcg_temp_new();
> + TCGv_i64 t1_64 = tcg_temp_new_i64();
> +
> + gen_load_gpr(t0, reg2);
> + tcg_gen_ext_tl_i64(tdata, t0);
> + tcg_gen_shli_i64(tdata, tdata, 32);
> +
> + gen_load_gpr(t0, reg1);
> + tcg_gen_ext_tl_i64(t1_64, t0);
> + tcg_gen_or_i64(tdata, tdata, t1_64);
> +
> + gen_base_offset_addr(ctx, taddr, base, offset);
> + gen_helper_scwp(cpu_gpr[reg1], cpu_env, taddr, tdata, helper_mem_idx);
> +
> + tcg_temp_free(taddr);
> + tcg_temp_free_i64(tdata);
> + tcg_temp_free_i32(helper_mem_idx);
> +
> + tcg_temp_free(t0);
> + tcg_temp_free_i64(t1_64);
> +#endif
> +}
> +
> /* Load and store */
> static void gen_flt_ldst (DisasContext *ctx, uint32_t opc, int ft,
> TCGv t0)
> @@ -19402,6 +19498,11 @@ static int decode_nanomips_32_48_opc(CPUMIPSState
> *env, > DisasContext *ctx)
> gen_ld(ctx, OPC_LL, rt, rs, s);
> break;
> case NM_LLWP:
> + if (ctx->xnp) {
> + generate_exception_end(ctx, EXCP_RI);
> + } else {
> + gen_llwp(ctx, rs, 0, rt, extract32(ctx->opcode, 3,
> 5));
> + }
> break;
> }
> break;
> @@ -19411,6 +19512,11 @@ static int decode_nanomips_32_48_opc(CPUMIPSState
> *env, > DisasContext *ctx)
> gen_st_cond(ctx, OPC_SC, rt, rs, s);
> break;
> case NM_SCWP:
> + if (ctx->xnp) {
> + generate_exception_end(ctx, EXCP_RI);
> + } else {
> + gen_scwp(ctx, rs, 0, rt, extract32(ctx->opcode, 3,
> 5));
> + }
> break;
> }
> break;
> @@ -24752,6 +24858,7 @@ static void
> mips_tr_init_disas_context(DisasContextBase *dcbase, > CPUState *cs)
> ctx->nan2008 = (env->active_fpu.fcr31 >> FCR31_NAN2008) & 1;
> ctx->abs2008 = (env->active_fpu.fcr31 >> FCR31_ABS2008) & 1;
> ctx->has_isa_mode = ((env->CP0_Config3 >> CP0C3_MMAR) & 0x7) != 3;
> + ctx->xnp = (env->CP0_Config5 >> CP0C5_XNP) & 1;
> restore_cpu_state(env, ctx);
> #ifdef CONFIG_USER_ONLY
> ctx->mem_idx = MIPS_HFLAG_UM;
> --
> 2.7.4
>
>
- Re: [Qemu-devel] [PATCH v2 13/33] target/mips: Implement emulation of nanoMIPS EXTW instruction, (continued)
- [Qemu-devel] [PATCH v2 14/33] target/mips: Add emulation of nanoMIPS 32-bit load and store instructions, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 15/33] target/mips: Add emulation of nanoMIPS branch instructions, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 16/33] target/mips: Implement MT ASE support for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 18/33] target/mips: Add handling of branch delay slots for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 17/33] target/mips: Implement DSP ASE support for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 19/33] target/mips: Implement emualtion of nanoMIPS LLWP/SCWP pair, Aleksandar Markovic, 2018/07/09
- Re: [Qemu-devel] [PATCH v2 19/33] target/mips: Implement emualtion of nanoMIPS LLWP/SCWP pair,
Aleksandar Markovic <=
- [Qemu-devel] [PATCH v2 20/33] target/mips: Add updating BadInstr and BadInstrP registers for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 21/33] target/mips: Add updating CP0 BadInstrX register for nanoMIPs only, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 22/33] target/mips: Adjust behavior of Config3's ISAOnExc bit for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 23/33] target/mips: Adjust exception_resume_pc() for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 24/33] target/mips: Adjust set_hflags_for_handler() for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 25/33] target/mips: Adjust set_pc() for nanoMIPS, Aleksandar Markovic, 2018/07/09
- [Qemu-devel] [PATCH v2 26/33] target/mips: Fix ERET/ERETNC behavior related to ADEL exception, Aleksandar Markovic, 2018/07/09