diff options
| author | Paul A. Clarke <pclarke@ventanamicro.com> | 2023-10-09 18:45:43 -0500 |
|---|---|---|
| committer | Bill McSpadden <bill@riscv.org> | 2023-10-10 08:26:35 -0500 |
| commit | 38658363547f5ec058feeea54bf028a317cf04fe (patch) | |
| tree | 7190def417e1e4927a71b90f4ba09bbcbc0add82 | |
| parent | dbea780cf463d8fec7601064e9515d4384cbbebb (diff) | |
| download | sail-riscv-38658363547f5ec058feeea54bf028a317cf04fe.zip sail-riscv-38658363547f5ec058feeea54bf028a317cf04fe.tar.gz sail-riscv-38658363547f5ec058feeea54bf028a317cf04fe.tar.bz2 | |
Fix fmaxm.d definition
Likely a cut-and-paste error, the definition for fmaxm.d uses the fmaxm.s
mnemonic, which is already used earlier in the same file.
| -rw-r--r-- | model/riscv_insts_zfa.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/riscv_insts_zfa.sail b/model/riscv_insts_zfa.sail index cad5b1c..3cbee5e 100644 --- a/model/riscv_insts_zfa.sail +++ b/model/riscv_insts_zfa.sail @@ -373,7 +373,7 @@ mapping clause encdec = RISCV_FMAXM_D(rs2, rs1, rd) if haveDExt() & haveZfa( <-> 0b001_0101 @ rs2 @ rs1 @ 0b011 @ rd @ 0b101_0011 if haveDExt() & haveZfa() mapping clause assembly = RISCV_FMAXM_D(rs2, rs1, rd) - <-> "fmaxm.s" ^ spc() ^ freg_name(rd) + <-> "fmaxm.d" ^ spc() ^ freg_name(rd) ^ spc() ^ freg_name(rs1) ^ spc() ^ freg_name(rs2) |