From cb4e1a10679930b325448a6d5bce8e25caf00691 Mon Sep 17 00:00:00 2001
From: Tim Hutt <tdhutt@gmail.com>
Date: Fri, 1 Nov 2024 09:16:56 +0000
Subject: [PATCH] Update model/riscv_insts_fext.sail

Co-authored-by: Jessica Clarke <jrtc27@jrtc27.com>
Signed-off-by: Tim Hutt <tdhutt@gmail.com>
---
 model/riscv_insts_fext.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model/riscv_insts_fext.sail b/model/riscv_insts_fext.sail
index 3e6b575e3..966338db8 100644
--- 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
 }