195799e36SBin Meng /* 295799e36SBin Meng * QEMU RISC-V Native Debug Support 395799e36SBin Meng * 495799e36SBin Meng * Copyright (c) 2022 Wind River Systems, Inc. 595799e36SBin Meng * 695799e36SBin Meng * Author: 795799e36SBin Meng * Bin Meng <bin.meng@windriver.com> 895799e36SBin Meng * 995799e36SBin Meng * This provides the native debug support via the Trigger Module, as defined 1095799e36SBin Meng * in the RISC-V Debug Specification: 1195799e36SBin Meng * https://github.com/riscv/riscv-debug-spec/raw/master/riscv-debug-stable.pdf 1295799e36SBin Meng * 1395799e36SBin Meng * This program is free software; you can redistribute it and/or modify it 1495799e36SBin Meng * under the terms and conditions of the GNU General Public License, 1595799e36SBin Meng * version 2 or later, as published by the Free Software Foundation. 1695799e36SBin Meng * 1795799e36SBin Meng * This program is distributed in the hope it will be useful, but WITHOUT 1895799e36SBin Meng * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 1995799e36SBin Meng * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 2095799e36SBin Meng * more details. 2195799e36SBin Meng * 2295799e36SBin Meng * You should have received a copy of the GNU General Public License along with 2395799e36SBin Meng * this program. If not, see <http://www.gnu.org/licenses/>. 2495799e36SBin Meng */ 2595799e36SBin Meng 2695799e36SBin Meng #include "qemu/osdep.h" 2795799e36SBin Meng #include "qemu/log.h" 2895799e36SBin Meng #include "qapi/error.h" 2995799e36SBin Meng #include "cpu.h" 3095799e36SBin Meng #include "trace.h" 3195799e36SBin Meng #include "exec/exec-all.h" 3295799e36SBin Meng 3395799e36SBin Meng /* 3495799e36SBin Meng * The following M-mode trigger CSRs are implemented: 3595799e36SBin Meng * 3695799e36SBin Meng * - tselect 3795799e36SBin Meng * - tdata1 3895799e36SBin Meng * - tdata2 3995799e36SBin Meng * - tdata3 4095799e36SBin Meng * 4195799e36SBin Meng * We don't support writable 'type' field in the tdata1 register, so there is 4295799e36SBin Meng * no need to implement the "tinfo" CSR. 4395799e36SBin Meng * 4495799e36SBin Meng * The following triggers are implemented: 4595799e36SBin Meng * 4695799e36SBin Meng * Index | Type | tdata mapping | Description 4795799e36SBin Meng * ------+------+------------------------+------------ 4895799e36SBin Meng * 0 | 2 | tdata1, tdata2 | Address / Data Match 4995799e36SBin Meng * 1 | 2 | tdata1, tdata2 | Address / Data Match 5095799e36SBin Meng */ 5195799e36SBin Meng 5295799e36SBin Meng /* tdata availability of a trigger */ 5395799e36SBin Meng typedef bool tdata_avail[TDATA_NUM]; 5495799e36SBin Meng 5595799e36SBin Meng static tdata_avail tdata_mapping[TRIGGER_NUM] = { 5695799e36SBin Meng [TRIGGER_TYPE2_IDX_0 ... TRIGGER_TYPE2_IDX_1] = { true, true, false }, 5795799e36SBin Meng }; 5895799e36SBin Meng 5995799e36SBin Meng /* only breakpoint size 1/2/4/8 supported */ 6095799e36SBin Meng static int access_size[SIZE_NUM] = { 6195799e36SBin Meng [SIZE_ANY] = 0, 6295799e36SBin Meng [SIZE_1B] = 1, 6395799e36SBin Meng [SIZE_2B] = 2, 6495799e36SBin Meng [SIZE_4B] = 4, 6595799e36SBin Meng [SIZE_6B] = -1, 6695799e36SBin Meng [SIZE_8B] = 8, 6795799e36SBin Meng [6 ... 15] = -1, 6895799e36SBin Meng }; 6995799e36SBin Meng 7095799e36SBin Meng static inline target_ulong trigger_type(CPURISCVState *env, 7195799e36SBin Meng trigger_type_t type) 7295799e36SBin Meng { 7395799e36SBin Meng target_ulong tdata1; 7495799e36SBin Meng 7595799e36SBin Meng switch (riscv_cpu_mxl(env)) { 7695799e36SBin Meng case MXL_RV32: 7795799e36SBin Meng tdata1 = RV32_TYPE(type); 7895799e36SBin Meng break; 7995799e36SBin Meng case MXL_RV64: 8095799e36SBin Meng tdata1 = RV64_TYPE(type); 8195799e36SBin Meng break; 8295799e36SBin Meng default: 8395799e36SBin Meng g_assert_not_reached(); 8495799e36SBin Meng } 8595799e36SBin Meng 8695799e36SBin Meng return tdata1; 8795799e36SBin Meng } 8895799e36SBin Meng 8995799e36SBin Meng bool tdata_available(CPURISCVState *env, int tdata_index) 9095799e36SBin Meng { 9195799e36SBin Meng if (unlikely(tdata_index >= TDATA_NUM)) { 9295799e36SBin Meng return false; 9395799e36SBin Meng } 9495799e36SBin Meng 9595799e36SBin Meng if (unlikely(env->trigger_cur >= TRIGGER_NUM)) { 9695799e36SBin Meng return false; 9795799e36SBin Meng } 9895799e36SBin Meng 9995799e36SBin Meng return tdata_mapping[env->trigger_cur][tdata_index]; 10095799e36SBin Meng } 10195799e36SBin Meng 10295799e36SBin Meng target_ulong tselect_csr_read(CPURISCVState *env) 10395799e36SBin Meng { 10495799e36SBin Meng return env->trigger_cur; 10595799e36SBin Meng } 10695799e36SBin Meng 10795799e36SBin Meng void tselect_csr_write(CPURISCVState *env, target_ulong val) 10895799e36SBin Meng { 10995799e36SBin Meng /* all target_ulong bits of tselect are implemented */ 11095799e36SBin Meng env->trigger_cur = val; 11195799e36SBin Meng } 11295799e36SBin Meng 11395799e36SBin Meng static target_ulong tdata1_validate(CPURISCVState *env, target_ulong val, 11495799e36SBin Meng trigger_type_t t) 11595799e36SBin Meng { 11695799e36SBin Meng uint32_t type, dmode; 11795799e36SBin Meng target_ulong tdata1; 11895799e36SBin Meng 11995799e36SBin Meng switch (riscv_cpu_mxl(env)) { 12095799e36SBin Meng case MXL_RV32: 12195799e36SBin Meng type = extract32(val, 28, 4); 12295799e36SBin Meng dmode = extract32(val, 27, 1); 12395799e36SBin Meng tdata1 = RV32_TYPE(t); 12495799e36SBin Meng break; 12595799e36SBin Meng case MXL_RV64: 12695799e36SBin Meng type = extract64(val, 60, 4); 12795799e36SBin Meng dmode = extract64(val, 59, 1); 12895799e36SBin Meng tdata1 = RV64_TYPE(t); 12995799e36SBin Meng break; 13095799e36SBin Meng default: 13195799e36SBin Meng g_assert_not_reached(); 13295799e36SBin Meng } 13395799e36SBin Meng 13495799e36SBin Meng if (type != t) { 13595799e36SBin Meng qemu_log_mask(LOG_GUEST_ERROR, 13695799e36SBin Meng "ignoring type write to tdata1 register\n"); 13795799e36SBin Meng } 13895799e36SBin Meng if (dmode != 0) { 13995799e36SBin Meng qemu_log_mask(LOG_UNIMP, "debug mode is not supported\n"); 14095799e36SBin Meng } 14195799e36SBin Meng 14295799e36SBin Meng return tdata1; 14395799e36SBin Meng } 14495799e36SBin Meng 14595799e36SBin Meng static inline void warn_always_zero_bit(target_ulong val, target_ulong mask, 14695799e36SBin Meng const char *msg) 14795799e36SBin Meng { 14895799e36SBin Meng if (val & mask) { 14995799e36SBin Meng qemu_log_mask(LOG_UNIMP, "%s bit is always zero\n", msg); 15095799e36SBin Meng } 15195799e36SBin Meng } 15295799e36SBin Meng 15395799e36SBin Meng static uint32_t type2_breakpoint_size(CPURISCVState *env, target_ulong ctrl) 15495799e36SBin Meng { 15595799e36SBin Meng uint32_t size, sizelo, sizehi = 0; 15695799e36SBin Meng 15795799e36SBin Meng if (riscv_cpu_mxl(env) == MXL_RV64) { 15895799e36SBin Meng sizehi = extract32(ctrl, 21, 2); 15995799e36SBin Meng } 16095799e36SBin Meng sizelo = extract32(ctrl, 16, 2); 16195799e36SBin Meng size = (sizehi << 2) | sizelo; 16295799e36SBin Meng 16395799e36SBin Meng return size; 16495799e36SBin Meng } 16595799e36SBin Meng 16695799e36SBin Meng static inline bool type2_breakpoint_enabled(target_ulong ctrl) 16795799e36SBin Meng { 16895799e36SBin Meng bool mode = !!(ctrl & (TYPE2_U | TYPE2_S | TYPE2_M)); 16995799e36SBin Meng bool rwx = !!(ctrl & (TYPE2_LOAD | TYPE2_STORE | TYPE2_EXEC)); 17095799e36SBin Meng 17195799e36SBin Meng return mode && rwx; 17295799e36SBin Meng } 17395799e36SBin Meng 17495799e36SBin Meng static target_ulong type2_mcontrol_validate(CPURISCVState *env, 17595799e36SBin Meng target_ulong ctrl) 17695799e36SBin Meng { 17795799e36SBin Meng target_ulong val; 17895799e36SBin Meng uint32_t size; 17995799e36SBin Meng 18095799e36SBin Meng /* validate the generic part first */ 18195799e36SBin Meng val = tdata1_validate(env, ctrl, TRIGGER_TYPE_AD_MATCH); 18295799e36SBin Meng 18395799e36SBin Meng /* validate unimplemented (always zero) bits */ 18495799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_MATCH, "match"); 18595799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_CHAIN, "chain"); 18695799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_ACTION, "action"); 18795799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_TIMING, "timing"); 18895799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_SELECT, "select"); 18995799e36SBin Meng warn_always_zero_bit(ctrl, TYPE2_HIT, "hit"); 19095799e36SBin Meng 19195799e36SBin Meng /* validate size encoding */ 19295799e36SBin Meng size = type2_breakpoint_size(env, ctrl); 19395799e36SBin Meng if (access_size[size] == -1) { 19495799e36SBin Meng qemu_log_mask(LOG_UNIMP, "access size %d is not supported, using SIZE_ANY\n", 19595799e36SBin Meng size); 19695799e36SBin Meng } else { 19795799e36SBin Meng val |= (ctrl & TYPE2_SIZELO); 19895799e36SBin Meng if (riscv_cpu_mxl(env) == MXL_RV64) { 19995799e36SBin Meng val |= (ctrl & TYPE2_SIZEHI); 20095799e36SBin Meng } 20195799e36SBin Meng } 20295799e36SBin Meng 20395799e36SBin Meng /* keep the mode and attribute bits */ 20495799e36SBin Meng val |= (ctrl & (TYPE2_U | TYPE2_S | TYPE2_M | 20595799e36SBin Meng TYPE2_LOAD | TYPE2_STORE | TYPE2_EXEC)); 20695799e36SBin Meng 20795799e36SBin Meng return val; 20895799e36SBin Meng } 20995799e36SBin Meng 21095799e36SBin Meng static void type2_breakpoint_insert(CPURISCVState *env, target_ulong index) 21195799e36SBin Meng { 21295799e36SBin Meng target_ulong ctrl = env->type2_trig[index].mcontrol; 21395799e36SBin Meng target_ulong addr = env->type2_trig[index].maddress; 21495799e36SBin Meng bool enabled = type2_breakpoint_enabled(ctrl); 21595799e36SBin Meng CPUState *cs = env_cpu(env); 21695799e36SBin Meng int flags = BP_CPU | BP_STOP_BEFORE_ACCESS; 21795799e36SBin Meng uint32_t size; 21895799e36SBin Meng 21995799e36SBin Meng if (!enabled) { 22095799e36SBin Meng return; 22195799e36SBin Meng } 22295799e36SBin Meng 22395799e36SBin Meng if (ctrl & TYPE2_EXEC) { 22495799e36SBin Meng cpu_breakpoint_insert(cs, addr, flags, &env->type2_trig[index].bp); 22595799e36SBin Meng } 22695799e36SBin Meng 22795799e36SBin Meng if (ctrl & TYPE2_LOAD) { 22895799e36SBin Meng flags |= BP_MEM_READ; 22995799e36SBin Meng } 23095799e36SBin Meng if (ctrl & TYPE2_STORE) { 23195799e36SBin Meng flags |= BP_MEM_WRITE; 23295799e36SBin Meng } 23395799e36SBin Meng 23495799e36SBin Meng if (flags & BP_MEM_ACCESS) { 23595799e36SBin Meng size = type2_breakpoint_size(env, ctrl); 23695799e36SBin Meng if (size != 0) { 23795799e36SBin Meng cpu_watchpoint_insert(cs, addr, size, flags, 23895799e36SBin Meng &env->type2_trig[index].wp); 23995799e36SBin Meng } else { 24095799e36SBin Meng cpu_watchpoint_insert(cs, addr, 8, flags, 24195799e36SBin Meng &env->type2_trig[index].wp); 24295799e36SBin Meng } 24395799e36SBin Meng } 24495799e36SBin Meng } 24595799e36SBin Meng 24695799e36SBin Meng static void type2_breakpoint_remove(CPURISCVState *env, target_ulong index) 24795799e36SBin Meng { 24895799e36SBin Meng CPUState *cs = env_cpu(env); 24995799e36SBin Meng 25095799e36SBin Meng if (env->type2_trig[index].bp) { 25195799e36SBin Meng cpu_breakpoint_remove_by_ref(cs, env->type2_trig[index].bp); 25295799e36SBin Meng env->type2_trig[index].bp = NULL; 25395799e36SBin Meng } 25495799e36SBin Meng 25595799e36SBin Meng if (env->type2_trig[index].wp) { 25695799e36SBin Meng cpu_watchpoint_remove_by_ref(cs, env->type2_trig[index].wp); 25795799e36SBin Meng env->type2_trig[index].wp = NULL; 25895799e36SBin Meng } 25995799e36SBin Meng } 26095799e36SBin Meng 26195799e36SBin Meng static target_ulong type2_reg_read(CPURISCVState *env, 26295799e36SBin Meng target_ulong trigger_index, int tdata_index) 26395799e36SBin Meng { 26495799e36SBin Meng uint32_t index = trigger_index - TRIGGER_TYPE2_IDX_0; 26595799e36SBin Meng target_ulong tdata; 26695799e36SBin Meng 26795799e36SBin Meng switch (tdata_index) { 26895799e36SBin Meng case TDATA1: 26995799e36SBin Meng tdata = env->type2_trig[index].mcontrol; 27095799e36SBin Meng break; 27195799e36SBin Meng case TDATA2: 27295799e36SBin Meng tdata = env->type2_trig[index].maddress; 27395799e36SBin Meng break; 27495799e36SBin Meng default: 27595799e36SBin Meng g_assert_not_reached(); 27695799e36SBin Meng } 27795799e36SBin Meng 27895799e36SBin Meng return tdata; 27995799e36SBin Meng } 28095799e36SBin Meng 28195799e36SBin Meng static void type2_reg_write(CPURISCVState *env, target_ulong trigger_index, 28295799e36SBin Meng int tdata_index, target_ulong val) 28395799e36SBin Meng { 28495799e36SBin Meng uint32_t index = trigger_index - TRIGGER_TYPE2_IDX_0; 28595799e36SBin Meng target_ulong new_val; 28695799e36SBin Meng 28795799e36SBin Meng switch (tdata_index) { 28895799e36SBin Meng case TDATA1: 28995799e36SBin Meng new_val = type2_mcontrol_validate(env, val); 29095799e36SBin Meng if (new_val != env->type2_trig[index].mcontrol) { 29195799e36SBin Meng env->type2_trig[index].mcontrol = new_val; 29295799e36SBin Meng type2_breakpoint_remove(env, index); 29395799e36SBin Meng type2_breakpoint_insert(env, index); 29495799e36SBin Meng } 29595799e36SBin Meng break; 29695799e36SBin Meng case TDATA2: 29795799e36SBin Meng if (val != env->type2_trig[index].maddress) { 29895799e36SBin Meng env->type2_trig[index].maddress = val; 29995799e36SBin Meng type2_breakpoint_remove(env, index); 30095799e36SBin Meng type2_breakpoint_insert(env, index); 30195799e36SBin Meng } 30295799e36SBin Meng break; 30395799e36SBin Meng default: 30495799e36SBin Meng g_assert_not_reached(); 30595799e36SBin Meng } 30695799e36SBin Meng 30795799e36SBin Meng return; 30895799e36SBin Meng } 30995799e36SBin Meng 31095799e36SBin Meng typedef target_ulong (*tdata_read_func)(CPURISCVState *env, 31195799e36SBin Meng target_ulong trigger_index, 31295799e36SBin Meng int tdata_index); 31395799e36SBin Meng 31495799e36SBin Meng static tdata_read_func trigger_read_funcs[TRIGGER_NUM] = { 31595799e36SBin Meng [TRIGGER_TYPE2_IDX_0 ... TRIGGER_TYPE2_IDX_1] = type2_reg_read, 31695799e36SBin Meng }; 31795799e36SBin Meng 31895799e36SBin Meng typedef void (*tdata_write_func)(CPURISCVState *env, 31995799e36SBin Meng target_ulong trigger_index, 32095799e36SBin Meng int tdata_index, 32195799e36SBin Meng target_ulong val); 32295799e36SBin Meng 32395799e36SBin Meng static tdata_write_func trigger_write_funcs[TRIGGER_NUM] = { 32495799e36SBin Meng [TRIGGER_TYPE2_IDX_0 ... TRIGGER_TYPE2_IDX_1] = type2_reg_write, 32595799e36SBin Meng }; 32695799e36SBin Meng 32795799e36SBin Meng target_ulong tdata_csr_read(CPURISCVState *env, int tdata_index) 32895799e36SBin Meng { 32995799e36SBin Meng tdata_read_func read_func = trigger_read_funcs[env->trigger_cur]; 33095799e36SBin Meng 33195799e36SBin Meng return read_func(env, env->trigger_cur, tdata_index); 33295799e36SBin Meng } 33395799e36SBin Meng 33495799e36SBin Meng void tdata_csr_write(CPURISCVState *env, int tdata_index, target_ulong val) 33595799e36SBin Meng { 33695799e36SBin Meng tdata_write_func write_func = trigger_write_funcs[env->trigger_cur]; 33795799e36SBin Meng 33895799e36SBin Meng return write_func(env, env->trigger_cur, tdata_index, val); 33995799e36SBin Meng } 340*b5f6379dSBin Meng 341*b5f6379dSBin Meng void riscv_cpu_debug_excp_handler(CPUState *cs) 342*b5f6379dSBin Meng { 343*b5f6379dSBin Meng RISCVCPU *cpu = RISCV_CPU(cs); 344*b5f6379dSBin Meng CPURISCVState *env = &cpu->env; 345*b5f6379dSBin Meng 346*b5f6379dSBin Meng if (cs->watchpoint_hit) { 347*b5f6379dSBin Meng if (cs->watchpoint_hit->flags & BP_CPU) { 348*b5f6379dSBin Meng cs->watchpoint_hit = NULL; 349*b5f6379dSBin Meng riscv_raise_exception(env, RISCV_EXCP_BREAKPOINT, 0); 350*b5f6379dSBin Meng } 351*b5f6379dSBin Meng } else { 352*b5f6379dSBin Meng if (cpu_breakpoint_test(cs, env->pc, BP_CPU)) { 353*b5f6379dSBin Meng riscv_raise_exception(env, RISCV_EXCP_BREAKPOINT, 0); 354*b5f6379dSBin Meng } 355*b5f6379dSBin Meng } 356*b5f6379dSBin Meng } 357*b5f6379dSBin Meng 358*b5f6379dSBin Meng bool riscv_cpu_debug_check_breakpoint(CPUState *cs) 359*b5f6379dSBin Meng { 360*b5f6379dSBin Meng RISCVCPU *cpu = RISCV_CPU(cs); 361*b5f6379dSBin Meng CPURISCVState *env = &cpu->env; 362*b5f6379dSBin Meng CPUBreakpoint *bp; 363*b5f6379dSBin Meng target_ulong ctrl; 364*b5f6379dSBin Meng target_ulong pc; 365*b5f6379dSBin Meng int i; 366*b5f6379dSBin Meng 367*b5f6379dSBin Meng QTAILQ_FOREACH(bp, &cs->breakpoints, entry) { 368*b5f6379dSBin Meng for (i = 0; i < TRIGGER_TYPE2_NUM; i++) { 369*b5f6379dSBin Meng ctrl = env->type2_trig[i].mcontrol; 370*b5f6379dSBin Meng pc = env->type2_trig[i].maddress; 371*b5f6379dSBin Meng 372*b5f6379dSBin Meng if ((ctrl & TYPE2_EXEC) && (bp->pc == pc)) { 373*b5f6379dSBin Meng /* check U/S/M bit against current privilege level */ 374*b5f6379dSBin Meng if ((ctrl >> 3) & BIT(env->priv)) { 375*b5f6379dSBin Meng return true; 376*b5f6379dSBin Meng } 377*b5f6379dSBin Meng } 378*b5f6379dSBin Meng } 379*b5f6379dSBin Meng } 380*b5f6379dSBin Meng 381*b5f6379dSBin Meng return false; 382*b5f6379dSBin Meng } 383*b5f6379dSBin Meng 384*b5f6379dSBin Meng bool riscv_cpu_debug_check_watchpoint(CPUState *cs, CPUWatchpoint *wp) 385*b5f6379dSBin Meng { 386*b5f6379dSBin Meng RISCVCPU *cpu = RISCV_CPU(cs); 387*b5f6379dSBin Meng CPURISCVState *env = &cpu->env; 388*b5f6379dSBin Meng target_ulong ctrl; 389*b5f6379dSBin Meng target_ulong addr; 390*b5f6379dSBin Meng int flags; 391*b5f6379dSBin Meng int i; 392*b5f6379dSBin Meng 393*b5f6379dSBin Meng for (i = 0; i < TRIGGER_TYPE2_NUM; i++) { 394*b5f6379dSBin Meng ctrl = env->type2_trig[i].mcontrol; 395*b5f6379dSBin Meng addr = env->type2_trig[i].maddress; 396*b5f6379dSBin Meng flags = 0; 397*b5f6379dSBin Meng 398*b5f6379dSBin Meng if (ctrl & TYPE2_LOAD) { 399*b5f6379dSBin Meng flags |= BP_MEM_READ; 400*b5f6379dSBin Meng } 401*b5f6379dSBin Meng if (ctrl & TYPE2_STORE) { 402*b5f6379dSBin Meng flags |= BP_MEM_WRITE; 403*b5f6379dSBin Meng } 404*b5f6379dSBin Meng 405*b5f6379dSBin Meng if ((wp->flags & flags) && (wp->vaddr == addr)) { 406*b5f6379dSBin Meng /* check U/S/M bit against current privilege level */ 407*b5f6379dSBin Meng if ((ctrl >> 3) & BIT(env->priv)) { 408*b5f6379dSBin Meng return true; 409*b5f6379dSBin Meng } 410*b5f6379dSBin Meng } 411*b5f6379dSBin Meng } 412*b5f6379dSBin Meng 413*b5f6379dSBin Meng return false; 414*b5f6379dSBin Meng } 415