Browse Source

add instructions function for cmo

prefetch.* are hints and share the encoding of ORI with rd = 0. so it can share the implementation of ORI and execute as no-ops
pull/891/head
liweiwei 4 years ago
committed by Weiwei Li
parent
commit
e205ca655c
  1. 14
      riscv/decode.h
  2. 4
      riscv/insns/cbo_clean.h
  3. 4
      riscv/insns/cbo_flush.h
  4. 9
      riscv/insns/cbo_inval.h
  5. 4
      riscv/insns/cbo_zero.h
  6. 1
      riscv/insns/ori.h
  7. 50
      riscv/mmu.h
  8. 7
      riscv/riscv.mk.in

14
riscv/decode.h

@ -278,6 +278,15 @@ private:
#define require_noover_widen(astart, asize, bstart, bsize) \
require(!is_overlapped_widen(astart, asize, bstart, bsize))
#define require_vm do { if (insn.v_vm() == 0) require(insn.rd() != 0);} while(0);
#define require_envcfg(field) \
do { \
if (((STATE.prv != PRV_M) && (m##field == 0)) || \
((STATE.prv == PRV_U && !STATE.v) && (s##field == 0))) \
throw trap_illegal_instruction(insn.bits()); \
else if (STATE.v && ((h##field == 0) || \
((STATE.prv == PRV_U) && (s##field == 0)))) \
throw trap_virtual_instruction(insn.bits()); \
} while(0);
#define set_fp_exceptions ({ if (softfloat_exceptionFlags) { \
STATE.fflags->write(STATE.fflags->read() | softfloat_exceptionFlags); \
@ -3038,6 +3047,11 @@ reg_t index[P.VU.vlmax]; \
WRITE_RD(sext_xlen(rd)); \
}
#define DECLARE_XENVCFG_VARS(field) \
reg_t m##field = get_field(STATE.menvcfg->read(), MENVCFG_##field); \
reg_t s##field = get_field(STATE.senvcfg->read(), SENVCFG_##field); \
reg_t h##field = get_field(STATE.henvcfg->read(), HENVCFG_##field)
#define DEBUG_START 0x0
#define DEBUG_END (0x1000 - 1)

4
riscv/insns/cbo_clean.h

@ -0,0 +1,4 @@
require_extension(EXT_ZICBOM);
DECLARE_XENVCFG_VARS(CBCFE);
require_envcfg(CBCFE);
MMU.clean_inval(RS1, true, false);

4
riscv/insns/cbo_flush.h

@ -0,0 +1,4 @@
require_extension(EXT_ZICBOM);
DECLARE_XENVCFG_VARS(CBCFE);
require_envcfg(CBCFE);
MMU.clean_inval(RS1, true, true);

9
riscv/insns/cbo_inval.h

@ -0,0 +1,9 @@
require_extension(EXT_ZICBOM);
DECLARE_XENVCFG_VARS(CBIE);
require_envcfg(CBIE);
if (((STATE.prv != PRV_M) && (mCBIE == 1)) ||
((!STATE.v && (STATE.prv == PRV_U)) && (sCBIE = 1)) ||
(STATE.v && ((hCBIE == 1) || ((STATE.prv == PRV_U) && (sCBIE== 0)))))
MMU.clean_inval(RS1, true, true);
else
MMU.clean_inval(RS1, false, true);

4
riscv/insns/cbo_zero.h

@ -0,0 +1,4 @@
require_extension(EXT_ZICBOZ);
DECLARE_XENVCFG_VARS(CBZE);
require_envcfg(CBZE);
MMU.cbo_zero(RS1);

1
riscv/insns/ori.h

@ -1 +1,2 @@
// prefetch.i/r/w hint when rd = 0 and i_imm[4:0] = 0/1/3
WRITE_RD(insn.i_imm() | RS1);

50
riscv/mmu.h

@ -184,27 +184,30 @@ public:
} \
}
// AMO/Zicbom faults should be reported as store faults
#define convert_load_traps_to_store_traps(BODY) \
try { \
BODY \
} catch (trap_load_address_misaligned& t) { \
/* Misaligned fault will not be triggered by Zicbom */ \
throw trap_store_address_misaligned(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_page_fault& t) { \
throw trap_store_page_fault(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_access_fault& t) { \
throw trap_store_access_fault(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_guest_page_fault& t) { \
throw trap_store_guest_page_fault(t.get_tval(), t.get_tval2(), t.get_tinst()); \
}
// template for functions that perform an atomic memory operation
#define amo_func(type) \
template<typename op> \
type##_t amo_##type(reg_t addr, op f) { \
try { \
convert_load_traps_to_store_traps({ \
auto lhs = load_##type(addr, true); \
store_##type(addr, f(lhs)); \
return lhs; \
} catch (trap_load_address_misaligned& t) { \
/* AMO faults should be reported as store faults */ \
throw trap_store_address_misaligned(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_page_fault& t) { \
/* AMO faults should be reported as store faults */ \
throw trap_store_page_fault(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_access_fault& t) { \
/* AMO faults should be reported as store faults */ \
throw trap_store_access_fault(t.has_gva(), t.get_tval(), t.get_tval2(), t.get_tinst()); \
} catch (trap_load_guest_page_fault& t) { \
/* AMO faults should be reported as store faults */ \
throw trap_store_guest_page_fault(t.get_tval(), t.get_tval2(), t.get_tinst()); \
} \
}) \
}
void store_float128(reg_t addr, float128_t val)
@ -242,6 +245,25 @@ public:
amo_func(uint32)
amo_func(uint64)
void cbo_zero(reg_t addr) {
auto base = addr & ~(blocksz - 1);
for (size_t offset = 0; offset < blocksz; offset += 1)
store_uint8(base + offset, 0);
}
void clean_inval(reg_t addr, bool clean, bool inval) {
convert_load_traps_to_store_traps({
reg_t paddr = addr & ~(blocksz - 1);
paddr = translate(paddr, blocksz, LOAD, 0);
if (auto host_addr = sim->addr_to_mem(paddr)) {
if (tracer.interested_in_range(paddr, paddr + PGSIZE, LOAD))
tracer.clean_invalidate(paddr, blocksz, clean, inval);
} else {
throw trap_store_access_fault((proc) ? proc->state.v : false, addr, 0, 0);
}
})
}
inline void yield_load_reservation()
{
load_reservation_address = (reg_t)-1;

7
riscv/riscv.mk.in

@ -1260,6 +1260,12 @@ riscv_insn_svinval = \
hinval_vvma \
hinval_gvma \
riscv_insn_ext_cmo = \
cbo_clean \
cbo_flush \
cbo_inval \
cbo_zero \
riscv_insn_list = \
$(riscv_insn_ext_a) \
$(riscv_insn_ext_c) \
@ -1276,6 +1282,7 @@ riscv_insn_list = \
$(riscv_insn_ext_p) \
$(riscv_insn_priv) \
$(riscv_insn_svinval) \
$(riscv_insn_ext_cmo) \
riscv_gen_srcs = \
$(addsuffix .cc,$(riscv_insn_list))

Loading…
Cancel
Save