From c080665a6fbd8c88b66440a7bddc31a9634741cf Mon Sep 17 00:00:00 2001 From: Jon French Date: Thu, 5 Jul 2018 13:09:41 +0100 Subject: restore missing RISC-V fence types in sail2; ignore io bits in fences more cleanly --- lib/regfp.sail | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib') diff --git a/lib/regfp.sail b/lib/regfp.sail index b8cffb98..fcf10850 100644 --- a/lib/regfp.sail +++ b/lib/regfp.sail @@ -75,6 +75,10 @@ enum barrier_kind = { Barrier_RISCV_r_r, Barrier_RISCV_rw_w, Barrier_RISCV_w_w, + Barrier_RISCV_w_rw, + Barrier_RISCV_rw_r, + Barrier_RISCV_r_w, + Barrier_RISCV_w_r, Barrier_RISCV_i, Barrier_x86_MFENCE } -- cgit v1.2.3