Update model/riscv_insts_fext.sail

Co-authored-by: Jessica Clarke <[email protected]> Signed-off-by: Tim Hutt <[email protected]>
Timmmm · Nov 1, 2024 · cb4e1a1 · cb4e1a1
1 parent 0b8ff1e
commit cb4e1a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/model/riscv_insts_fext.sail b/model/riscv_insts_fext.sail
@@ -1061,7 +1061,7 @@ function clause execute (F_UN_TYPE_S(rs1, rd, FCLASS_S)) = {
 }
 
 function clause execute (F_UN_TYPE_S(rs1, rd, FMV_X_W)) = {
-  X(rd) = sign_extend(F(rs1)[31 .. 0]);
+  X(rd) = sign_extend(F(rs1)[31..0]);
   RETIRE_SUCCESS
 }