diff options
| author | Shaked Flur | 2017-08-17 13:41:21 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-08-17 13:41:21 +0100 |
| commit | cc46b5a2366cd73d34117590448f6779fac4d312 (patch) | |
| tree | 7a5cad41c3cfb46fcf2b9b3a57a2cb2e1bbe2adb /src/lem_interp | |
| parent | c6d639e0f03053b905a9cb0ab6929f4efe6153f4 (diff) | |
added RISC-V load-acquire
Diffstat (limited to 'src/lem_interp')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index cda6702c..1642bc81 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -426,6 +426,8 @@ type read_kind = | Read_reserve (* AArch64 reads *) | Read_acquire | Read_exclusive | Read_exclusive_acquire | Read_stream + (* RISC-V reads *) + | Read_RISCV_acquire | Read_RISCV_reserved | Read_RISCV_reserved_acquire instance (Show read_kind) let show = function |