From 197f3e2640a182c7734d781bf61f570457cce5b8 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Thu, 6 Oct 2022 14:35:59 -0700 Subject: DRY in checking triggers --- riscv/mmu.cc | 53 +++++++++++++++++++++++++++-------------------------- riscv/mmu.h | 17 +---------------- 2 files changed, 28 insertions(+), 42 deletions(-) (limited to 'riscv') diff --git a/riscv/mmu.cc b/riscv/mmu.cc index 5a5f5c0..f87e879 100644 --- a/riscv/mmu.cc +++ b/riscv/mmu.cc @@ -76,10 +76,7 @@ reg_t mmu_t::translate(reg_t addr, reg_t len, access_type type, uint32_t xlate_f tlb_entry_t mmu_t::fetch_slow_path(reg_t vaddr) { - triggers::action_t action; - auto match = proc->TM.memory_access_match(&action, triggers::OPERATION_EXECUTE, vaddr, false); - if (match != triggers::MATCH_NONE) - throw triggers::matched_t(triggers::OPERATION_EXECUTE, vaddr, 0, action); + check_triggers(triggers::OPERATION_EXECUTE, vaddr, false); tlb_entry_t result; reg_t vpn = vaddr >> PGSHIFT; @@ -97,9 +94,7 @@ tlb_entry_t mmu_t::fetch_slow_path(reg_t vaddr) } target_endian* ptr = (target_endian*)(result.host_offset + vaddr); - match = proc->TM.memory_access_match(&action, triggers::OPERATION_EXECUTE, vaddr, true, from_target(*ptr)); - if (match != triggers::MATCH_NONE) - throw triggers::matched_t(triggers::OPERATION_EXECUTE, vaddr, from_target(*ptr), action); + check_triggers(triggers::OPERATION_EXECUTE, vaddr, true, from_target(*ptr)); return result; } @@ -155,6 +150,27 @@ bool mmu_t::mmio_store(reg_t addr, size_t len, const uint8_t* bytes) return sim->mmio_store(addr, len, bytes); } +void mmu_t::check_triggers(triggers::operation_t operation, reg_t address, bool has_data, reg_t data) +{ + if (matched_trigger || !proc) + return; + + triggers::action_t action; + auto match = proc->TM.memory_access_match(&action, operation, address, has_data, data); + + switch (match) { + case triggers::MATCH_NONE: + return; + + case triggers::MATCH_FIRE_BEFORE: + throw triggers::matched_t(operation, address, data, action); + + case triggers::MATCH_FIRE_AFTER: + matched_trigger = new triggers::matched_t(operation, address, data, action); + throw *matched_trigger; + } +} + void mmu_t::load_slow_path_intrapage(reg_t addr, reg_t len, uint8_t* bytes, uint32_t xlate_flags) { reg_t vpn = addr >> PGSHIFT; @@ -179,11 +195,7 @@ void mmu_t::load_slow_path_intrapage(reg_t addr, reg_t len, uint8_t* bytes, uint void mmu_t::load_slow_path(reg_t addr, reg_t len, uint8_t* bytes, uint32_t xlate_flags, bool UNUSED require_alignment) { - if (!matched_trigger) { - matched_trigger = trigger_exception(triggers::OPERATION_LOAD, addr, false); - if (matched_trigger) - throw *matched_trigger; - } + check_triggers(triggers::OPERATION_LOAD, addr, false); if ((addr & (len - 1)) == 0) { load_slow_path_intrapage(addr, len, bytes, xlate_flags); @@ -202,12 +214,7 @@ void mmu_t::load_slow_path(reg_t addr, reg_t len, uint8_t* bytes, uint32_t xlate #endif } - if (!matched_trigger) { - reg_t data = reg_from_bytes(len, bytes); - matched_trigger = trigger_exception(triggers::OPERATION_LOAD, addr, true, data); - if (matched_trigger) - throw *matched_trigger; - } + check_triggers(triggers::OPERATION_LOAD, addr, true, reg_from_bytes(len, bytes)); } void mmu_t::store_slow_path_intrapage(reg_t addr, reg_t len, const uint8_t* bytes, uint32_t xlate_flags, bool actually_store) @@ -236,14 +243,8 @@ void mmu_t::store_slow_path_intrapage(reg_t addr, reg_t len, const uint8_t* byte void mmu_t::store_slow_path(reg_t addr, reg_t len, const uint8_t* bytes, uint32_t xlate_flags, bool actually_store, bool UNUSED require_alignment) { - if (actually_store) { - if (!matched_trigger) { - reg_t data = reg_from_bytes(len, bytes); - matched_trigger = trigger_exception(triggers::OPERATION_STORE, addr, true, data); - if (matched_trigger) - throw *matched_trigger; - } - } + if (actually_store) + check_triggers(triggers::OPERATION_STORE, addr, true, reg_from_bytes(len, bytes)); if (addr & (len - 1)) { bool gva = ((proc) ? proc->state.v : false) || (RISCV_XLATE_VIRT & xlate_flags); diff --git a/riscv/mmu.h b/riscv/mmu.h index 74c9a71..8eeea31 100644 --- a/riscv/mmu.h +++ b/riscv/mmu.h @@ -384,6 +384,7 @@ private: bool mmio_load(reg_t addr, size_t len, uint8_t* bytes); bool mmio_store(reg_t addr, size_t len, const uint8_t* bytes); bool mmio_ok(reg_t addr, access_type type); + void check_triggers(triggers::operation_t operation, reg_t address, bool has_data, reg_t data = 0); reg_t translate(reg_t addr, reg_t len, access_type type, uint32_t xlate_flags); // ITLB lookup @@ -398,22 +399,6 @@ private: return (uint16_t*)(translate_insn_addr(addr).host_offset + addr); } - inline triggers::matched_t *trigger_exception(triggers::operation_t operation, - reg_t address, bool has_data, reg_t data=0) - { - if (!proc) { - return NULL; - } - triggers::action_t action; - auto match = proc->TM.memory_access_match(&action, operation, address, has_data, data); - if (match == triggers::MATCH_NONE) - return NULL; - if (match == triggers::MATCH_FIRE_BEFORE) { - throw triggers::matched_t(operation, address, data, action); - } - return new triggers::matched_t(operation, address, data, action); - } - reg_t pmp_homogeneous(reg_t addr, reg_t len); bool pmp_ok(reg_t addr, reg_t len, access_type type, reg_t mode); -- cgit v1.1