diff options
| author | Robert Norton | 2018-02-01 16:38:51 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-02-01 16:38:54 +0000 |
| commit | c7e8709e3de85d398ee9fa99317defd8c6a2756b (patch) | |
| tree | e8f7d6404a945430c8fbeb39f2f557dfb94b22ac /riscv | |
| parent | 49dde317c5f211c47c84f84658d6bf96e4b98f9f (diff) | |
riscv: avoid name clash with global function 'unsigned'.
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv.sail | 4 |
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)), |
