aboutsummaryrefslogtreecommitdiff
path: root/model/riscv_insts_base.sail
diff options
context:
space:
mode:
authorPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-06-24 13:57:50 -0700
committerPrashanth Mundkur <prashanth.mundkur@gmail.com>2019-06-24 13:57:50 -0700
commit295175dd4d510cb416bdc4ef17c2ca96d84ed04e (patch)
treebf6841bd4ae27bd92f510b2047da9e8f9c92867a /model/riscv_insts_base.sail
parent0e589ae548b5326afd085bf176ef5914a326cd8b (diff)
downloadsail-riscv-295175dd4d510cb416bdc4ef17c2ca96d84ed04e.zip
sail-riscv-295175dd4d510cb416bdc4ef17c2ca96d84ed04e.tar.gz
sail-riscv-295175dd4d510cb416bdc4ef17c2ca96d84ed04e.tar.bz2
Narrow the external interface to riscv_mem to mem_{read,write,write_ea}.
Diffstat (limited to 'model/riscv_insts_base.sail')
-rw-r--r--model/riscv_insts_base.sail8
1 files changed, 4 insertions, 4 deletions
diff --git a/model/riscv_insts_base.sail b/model/riscv_insts_base.sail
index ae4c885..acfd1db 100644
--- a/model/riscv_insts_base.sail
+++ b/model/riscv_insts_base.sail
@@ -328,13 +328,13 @@ function clause execute(LOAD(imm, rs1, rd, is_unsigned, width, aq, rl)) = {
TR_Address(addr) =>
match (width, sizeof(xlen)) {
(BYTE, _) =>
- process_load(rd, vaddr, mem_read(addr, 1, aq, rl, false), is_unsigned),
+ process_load(rd, vaddr, mem_read(Data, addr, 1, aq, rl, false), is_unsigned),
(HALF, _) =>
- process_load(rd, vaddr, mem_read(addr, 2, aq, rl, false), is_unsigned),
+ process_load(rd, vaddr, mem_read(Data, addr, 2, aq, rl, false), is_unsigned),
(WORD, _) =>
- process_load(rd, vaddr, mem_read(addr, 4, aq, rl, false), is_unsigned),
+ process_load(rd, vaddr, mem_read(Data, addr, 4, aq, rl, false), is_unsigned),
(DOUBLE, 64) =>
- process_load(rd, vaddr, mem_read(addr, 8, aq, rl, false), is_unsigned)
+ process_load(rd, vaddr, mem_read(Data, addr, 8, aq, rl, false), is_unsigned)
}
}
}