add rv64 check for long/float conversion instructions

riscv · Apr 14, 2024 · 71df5f8 · 71df5f8
1 parent ba58470
commit 71df5f8
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/model/riscv_insts_qext.sail b/model/riscv_insts_qext.sail
@@ -407,20 +407,20 @@ mapping clause encdec =
 /* Q instructions, RV64 only */
 
 mapping clause encdec =
-    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_L_Q)                                     if haveQExt()
-<-> 0b110_0011 @ 0b00010 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt()
+    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_L_Q)                                     if haveQExt() & sizeof(xlen) >= 64
+<-> 0b110_0011 @ 0b00010 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt() & sizeof(xlen) >= 64
 
 mapping clause encdec =
-    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_LU_Q)                                    if haveQExt()
-<-> 0b110_0011 @ 0b00011 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt()
+    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_LU_Q)                                    if haveQExt() & sizeof(xlen) >= 64
+<-> 0b110_0011 @ 0b00011 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt() & sizeof(xlen) >= 64
 
 mapping clause encdec =
-    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_Q_L)                                     if haveQExt()
-<-> 0b110_1011 @ 0b00010 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt()
+    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_Q_L)                                     if haveQExt() & sizeof(xlen) >= 64
+<-> 0b110_1011 @ 0b00010 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt() & sizeof(xlen) >= 64
 
 mapping clause encdec =
-    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_Q_LU)                                    if haveQExt()
-<-> 0b110_1011 @ 0b00011 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt()
+    F_UN_RM_TYPE_Q(rs1, rm, rd, FCVT_Q_LU)                                    if haveQExt() & sizeof(xlen) >= 64
+<-> 0b110_1011 @ 0b00011 @ rs1 @ encdec_rounding_mode (rm) @ rd @ 0b101_0011  if haveQExt() & sizeof(xlen) >= 64
 
 /* Execution semantics ================================ */