diff options
| author | Brian Campbell | 2018-11-29 17:38:05 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-11-29 17:38:12 +0000 |
| commit | d4ace417655622268e5af471d8d13dd2422054f7 (patch) | |
| tree | 498eae27fbe8cba1922f09018b2e98a944ccabad /riscv | |
| parent | eedd493fb5a647a99367b12609b0e00814457f90 (diff) | |
RISC-V: no ldu for rv64i
Diffstat (limited to 'riscv')
| -rw-r--r-- | riscv/riscv.sail | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/riscv/riscv.sail b/riscv/riscv.sail index 44c2d88c..877251f4 100644 --- a/riscv/riscv.sail +++ b/riscv/riscv.sail @@ -246,10 +246,10 @@ mapping clause assembly = RTYPE(rs2, rs1, rd, op) /* ****************************************************************** */ union clause ast = LOAD : (bits(12), regbits, regbits, bool, word_width, bool, bool) -/* I am assuming that load unsigned double wasn't meant to be missing here? */ +/* Load unsigned double is only present in RV128I, not RV64I */ /* TODO: aq/rl */ -mapping clause encdec = LOAD(imm, rs1, rd, is_unsigned, size, false, false) - <-> imm @ rs1 @ bool_bits(is_unsigned) @ size_bits(size) @ rd @ 0b0000011 +mapping clause encdec = LOAD(imm, rs1, rd, is_unsigned, size, false, false) if size_bits(size) != 0b11 | not_bool(is_unsigned) + <-> imm @ rs1 @ bool_bits(is_unsigned) @ size_bits(size) @ rd @ 0b0000011 if size_bits(size) != 0b11 | not_bool(is_unsigned) val extend_value : forall 'n, 0 < 'n <= 8. (bool, MemoryOpResult(bits(8 * 'n))) -> MemoryOpResult(xlenbits) function extend_value(is_unsigned, value) = match (value) { |