To support multiple versions of debug specification, we have added 'env->debug_ver' variable. Now debug infrastructure inspects this variable to determine the supported trigger types by the CPU. In this commit we validate written trigger type with CPU debug version. For example, the debug specification v0.13 does not support mcontrol6, and the indended tdata_csr_write() on tdata1 with type=mcontrol6 will be ignored.
Signed-off-by: Alvin Chang <[email protected]> Reviewed-by: Yu-Ming Chang <[email protected]> --- target/riscv/debug.c | 61 +++++++++++++++++++++++++++++++++++++++++--- target/riscv/debug.h | 1 + 2 files changed, 59 insertions(+), 3 deletions(-) diff --git a/target/riscv/debug.c b/target/riscv/debug.c index 5664466..9e3213b 100644 --- a/target/riscv/debug.c +++ b/target/riscv/debug.c @@ -64,6 +64,26 @@ static tdata_avail tdata_mapping[TRIGGER_TYPE_NUM] = { [TRIGGER_TYPE_UNAVAIL] = { true, true, true } }; +/* Valid trigger types supported by debug specification v0.13 */ +static bool valid_trigger_type_v013[TRIGGER_TYPE_NUM] = { + [TRIGGER_TYPE_AD_MATCH] = true, + [TRIGGER_TYPE_INST_CNT] = true, + [TRIGGER_TYPE_INT] = true, + [TRIGGER_TYPE_EXCP] = true, + [TRIGGER_TYPE_UNAVAIL] = true +}; + +/* Valid trigger types supported by debug specification v1.0 */ +static bool valid_trigger_type_v100[TRIGGER_TYPE_NUM] = { + [TRIGGER_TYPE_AD_MATCH] = true, + [TRIGGER_TYPE_INST_CNT] = true, + [TRIGGER_TYPE_INT] = true, + [TRIGGER_TYPE_EXCP] = true, + [TRIGGER_TYPE_AD_MATCH6] = true, + [TRIGGER_TYPE_EXT_SRC] = true, + [TRIGGER_TYPE_DISABLED] = true +}; + /* only breakpoint size 1/2/4/8 supported */ static int access_size[SIZE_NUM] = { [SIZE_ANY] = 0, @@ -95,6 +115,22 @@ static inline target_ulong get_trigger_type(CPURISCVState *env, return extract_trigger_type(env, env->tdata1[trigger_index]); } +static inline bool validate_trigger_type(CPURISCVState *env, + target_ulong trigger_type) +{ + if (trigger_type >= TRIGGER_TYPE_NUM) + return false; + + switch (env->debug_ver) { + case DEBUG_VERSION_0_13_0: + return valid_trigger_type_v013[trigger_type]; + case DEBUG_VERSION_1_00_0: + return valid_trigger_type_v100[trigger_type]; + default: + g_assert_not_reached(); + } +} + static trigger_action_t get_trigger_action(CPURISCVState *env, target_ulong trigger_index) { @@ -889,6 +925,13 @@ void tdata_csr_write(CPURISCVState *env, int tdata_index, target_ulong val) trigger_type = get_trigger_type(env, env->trigger_cur); } + if (!validate_trigger_type(env, trigger_type)) { + /* Since the tdada1.type is WARL, we simpily ignore write here. */ + qemu_log_mask(LOG_UNIMP, "trigger type: %d is not supported\n", + trigger_type); + return; + } + switch (trigger_type) { case TRIGGER_TYPE_AD_MATCH: type2_reg_write(env, env->trigger_cur, tdata_index, val); @@ -918,8 +961,14 @@ void tdata_csr_write(CPURISCVState *env, int tdata_index, target_ulong val) target_ulong tinfo_csr_read(CPURISCVState *env) { /* assume all triggers support the same types of triggers */ - return BIT(TRIGGER_TYPE_AD_MATCH) | - BIT(TRIGGER_TYPE_AD_MATCH6); + switch (env->debug_ver) { + case DEBUG_VERSION_0_13_0: + return BIT(TRIGGER_TYPE_AD_MATCH); + case DEBUG_VERSION_1_00_0: + return BIT(TRIGGER_TYPE_AD_MATCH) | BIT(TRIGGER_TYPE_AD_MATCH6); + default: + g_assert_not_reached(); + } } void riscv_cpu_debug_excp_handler(CPUState *cs) @@ -1056,9 +1105,15 @@ void riscv_trigger_realize(CPURISCVState *env) void riscv_trigger_reset_hold(CPURISCVState *env) { - target_ulong tdata1 = build_tdata1(env, TRIGGER_TYPE_AD_MATCH, 0, 0); + target_ulong tdata1; int i; + if (env->debug_ver >= DEBUG_VERSION_1_00_0) { + tdata1 = build_tdata1(env, TRIGGER_TYPE_AD_MATCH6, 0, 0); + } else { + tdata1 = build_tdata1(env, TRIGGER_TYPE_AD_MATCH, 0, 0); + } + /* init to type 2 triggers */ for (i = 0; i < RV_MAX_TRIGGERS; i++) { /* diff --git a/target/riscv/debug.h b/target/riscv/debug.h index f76b8f9..0127cb9 100644 --- a/target/riscv/debug.h +++ b/target/riscv/debug.h @@ -43,6 +43,7 @@ typedef enum { TRIGGER_TYPE_AD_MATCH6 = 6, /* new address/data match trigger */ TRIGGER_TYPE_EXT_SRC = 7, /* external source trigger */ TRIGGER_TYPE_UNAVAIL = 15, /* trigger exists, but unavailable */ + TRIGGER_TYPE_DISABLED = 15, /* trigger exists, but disabled */ TRIGGER_TYPE_NUM } trigger_type_t; -- 2.43.0
