diff options
| author | Alasdair Armstrong | 2019-07-18 16:54:52 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-07-18 16:54:52 +0100 |
| commit | a5a6913a110746463e5ca3e5322460617e2eb113 (patch) | |
| tree | 2b50cdef1fcc0387bda23b0a3f474349a4688ec8 /lib | |
| parent | 1bb77b31f84946f036c0b7e37245809bbdb82def (diff) | |
Update aarch64_small to build with new barriers
Make sure barrier changes don't affect other models for now
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/regfp.sail | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/lib/regfp.sail b/lib/regfp.sail index 070ff524..e9c85ba8 100644 --- a/lib/regfp.sail +++ b/lib/regfp.sail @@ -73,6 +73,7 @@ enum a64_barrier_type = { A64_barrier_ST } +$ifdef AARCH64_SMALL union barrier_kind = { Barrier_Sync : unit, Barrier_LwSync : unit, @@ -95,6 +96,30 @@ union barrier_kind = { Barrier_RISCV_i : unit, Barrier_x86_MFENCE : unit } +$else +enum barrier_kind = { + Barrier_Sync, + Barrier_LwSync, + Barrier_Eieio, + Barrier_Isync, + Barrier_DMB, + Barrier_DSB, + Barrier_ISB, + Barrier_MIPS_SYNC, + Barrier_RISCV_rw_rw, + Barrier_RISCV_r_rw, + 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_tso, + Barrier_RISCV_i, + Barrier_x86_MFENCE +} +$endif enum trans_kind = { Transaction_start, |