diff options
| author | Shaked Flur | 2019-03-08 16:02:02 +0000 |
|---|---|---|
| committer | Shaked Flur | 2019-03-08 16:02:02 +0000 |
| commit | 87ffe603e44e9be6f4109f6a9dd475df6dcfc489 (patch) | |
| tree | bd138aca08d068bb0001bd7869082c83d77fcff9 /aarch64_small/armV8.h.sail | |
| parent | f0b4a103325e150faa3c2bd0a06594b2e62fae43 (diff) | |
Adds the DC and IC instructions to AArch64_small;
Also, removes etc/regfp.sail and etc/regfp2.sail in favour of lib/regfp.sail
Diffstat (limited to 'aarch64_small/armV8.h.sail')
| -rw-r--r-- | aarch64_small/armV8.h.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/aarch64_small/armV8.h.sail b/aarch64_small/armV8.h.sail index d0278d9d..b1eac1e7 100644 --- a/aarch64_small/armV8.h.sail +++ b/aarch64_small/armV8.h.sail @@ -64,6 +64,10 @@ bitfield TMSTATUS_type : bits(64) = register TMAbortEffect : TMSTATUS_type /* we abuse the register write to pass out the status value */ register TMStartEffect : TMSTATUS_type /* we abuse the register read to pass in the status value */ +/* abuse register write effect, instead of adding proper effects: */ +register data_cache_operation_CVAU : bits(64) +register instruction_cache_operation_IVAU : bits(64) + /* General purpose registers */ register R30 : bits(64) |