diff options
| -rw-r--r-- | model/riscv_insts_base.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/model/riscv_insts_base.sail b/model/riscv_insts_base.sail index 9c3db85..fcfc4fe 100644 --- a/model/riscv_insts_base.sail +++ b/model/riscv_insts_base.sail @@ -580,6 +580,8 @@ function clause execute (FENCE(pred, succ)) = { (_ : bits(2) @ 0b01, _ : bits(2) @ 0b10) => __barrier(Barrier_RISCV_w_r()), (_ : bits(2) @ 0b00, _ : bits(2) @ 0b00) => (), + ( 0b0000, _ : bits(4)) => (), + ( _ : bits(4), 0b0000) => (), _ => { print("FIXME: unsupported fence"); () } @@ -602,6 +604,8 @@ function clause execute (FENCE(pred, succ)) = { (_ : bits(2) @ 0b01, _ : bits(2) @ 0b10) => __barrier(Barrier_RISCV_w_r), (_ : bits(2) @ 0b00, _ : bits(2) @ 0b00) => (), + ( 0b0000, _ : bits(4)) => (), + ( _ : bits(4), 0b0000) => (), _ => { print("FIXME: unsupported fence"); () } |