diff options
| author | Shaked Flur | 2017-09-21 09:51:41 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-09-21 09:51:41 +0100 |
| commit | 83adaea79d0ae53ff898985fdd359fbca7773de3 (patch) | |
| tree | 3e03f73d122f175fcca54349fc4c86af8a1b8752 /src | |
| parent | a02e52919de565fc3fba82723b48200fbf034ff9 (diff) | |
added a comment to the x86 lock'd read and write
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/sail_impl_base.lem | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem index e39c4421..6957bb95 100644 --- a/src/lem_interp/sail_impl_base.lem +++ b/src/lem_interp/sail_impl_base.lem @@ -441,7 +441,8 @@ type read_kind = | Read_RISCV_acquire | Read_RISCV_strong_acquire | Read_RISCV_reserved | Read_RISCV_reserved_acquire | Read_RISCV_reserved_strong_acquire - | Read_X86_locked + (* x86 reads *) + | Read_X86_locked (* the read part of a lock'd instruction (rmw) *) instance (Show read_kind) let show = function @@ -471,7 +472,8 @@ type write_kind = | Write_RISCV_release | Write_RISCV_strong_release | Write_RISCV_conditional | Write_RISCV_conditional_release | Write_RISCV_conditional_strong_release - | Write_X86_locked + (* x86 writes *) + | Write_X86_locked (* the write part of a lock'd instruction (rmw) *) instance (Show write_kind) let show = function |