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.
riscv · Oct 10, 2023 · 3865836 · 3865836
1 parent dbea780
commit 3865836
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)