summaryrefslogtreecommitdiff
path: root/riscv
diff options
context:
space:
mode:
authorRobert Norton2018-02-01 16:38:51 +0000
committerRobert Norton2018-02-01 16:38:54 +0000
commitc7e8709e3de85d398ee9fa99317defd8c6a2756b (patch)
treee8f7d6404a945430c8fbeb39f2f557dfb94b22ac /riscv
parent49dde317c5f211c47c84f84658d6bf96e4b98f9f (diff)
riscv: avoid name clash with global function 'unsigned'.
Diffstat (limited to 'riscv')
-rw-r--r--riscv/riscv.sail4
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail
index e676353b..e8c1a2ea 100644
--- a/riscv/riscv.sail
+++ b/riscv/riscv.sail
@@ -159,9 +159,9 @@ function clause decode imm : bits(12) @ rs1 : regbits @ 0b101 @ rd : regbits @ 0
function clause decode imm : bits(12) @ rs1 : regbits @ 0b110 @ rd : regbits @ 0b0000011 = Some(LOAD(imm, rs1, rd, true, WORD, false, false))
-function clause execute(LOAD(imm, rs1, rd, unsigned, width, aq, rl)) =
+function clause execute(LOAD(imm, rs1, rd, is_unsigned, width, aq, rl)) =
let addr : bits(64) = rGPR(rs1) + EXTS(imm) in
- let result : bits(64) = if unsigned then
+ let result : bits(64) = if is_unsigned then
match width {
BYTE => EXTZ(mem_read(addr, 1, aq, rl, false)),
HALF => EXTZ(mem_read(addr, 2, aq, rl, false)),