diff options
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 + |