diff options
| author | Shaked Flur | 2017-08-22 14:16:01 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-22 14:16:01 +0100 |
| commit | 6cc248cc27d9133e23da1454f115176f0799a572 (patch) | |
| tree | 2732726b66c4c376bee9baa606285e6900f50e9f /etc | |
| parent | 78a35c575021679b5e512539598d47603a6822f0 (diff) | |
added RISC-V "fence w,w" and "fence.i";
fixed the interpreter nias analysis;
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/regfp.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/regfp.sail b/etc/regfp.sail index 71f53547..776e22af 100644 --- a/etc/regfp.sail +++ b/etc/regfp.sail @@ -71,6 +71,8 @@ typedef barrier_kind = enumerate { Barrier_RISCV_rw_rw; Barrier_RISCV_r_rw; Barrier_RISCV_rw_w; + Barrier_RISCV_w_w; + Barrier_RISCV_i; } typedef trans_kind = enumerate { |