diff options
| author | Robert Norton | 2016-04-22 12:36:18 +0100 |
|---|---|---|
| committer | Robert Norton | 2016-04-22 12:36:18 +0100 |
| commit | 70da83060e4fdb49afa352edf7201e005eb25a31 (patch) | |
| tree | fff8d84ca14af5a23a66f6c71791df6bdb72020e /mips/mips_wrappers.sail | |
| parent | af4841d5fa173e2d9639afe737d9cdfab733c935 (diff) | |
Add address calculation wrapper to constrain and translate standard mips loads/stores via c0 under cheri. Length checks for unaligned loads/stores are not correct and there seems to be no tests...
Diffstat (limited to 'mips/mips_wrappers.sail')
| -rw-r--r-- | mips/mips_wrappers.sail | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mips/mips_wrappers.sail b/mips/mips_wrappers.sail index 218f985a..799b8cc0 100644 --- a/mips/mips_wrappers.sail +++ b/mips/mips_wrappers.sail @@ -1,3 +1,7 @@ function unit effect {wmem} MEMw_wrapper(addr, size, data) = MEMw(addr, size, data) function bool effect {wmem} MEMw_conditional_wrapper(addr, size, data) = - MEMw_conditional(addr, size, data)
\ No newline at end of file + MEMw_conditional(addr, size, data) + +function bit[64] addrWrapper((bit[64]) addr, (MemAccessType) accessType, (WordType) width) = + addr + |