From a8a77d7db2bf89762789df8fcd2731fb6e547453 Mon Sep 17 00:00:00 2001
From: "Paul A. Clarke" <pclarke@ventanamicro.com>
Date: Thu, 29 Aug 2024 14:30:24 -0500
Subject: [PATCH] add fmtencdec for AUIPC

---
 model/riscv_insts_base.sail | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/model/riscv_insts_base.sail b/model/riscv_insts_base.sail
index 27f107584..ac2ba2ab3 100644
--- a/model/riscv_insts_base.sail
+++ b/model/riscv_insts_base.sail
@@ -30,6 +30,8 @@ function clause opcode2format 0b0110111 = { U_Format }
 function clause opcode2format 0b0010111 = { U_Format }
 mapping clause fmtencdec = UTYPE(imm, rd, op) if opcode2format(0b0110111) == U_Format
   <-> UFormat(struct { imm = imm, rd = rd, opcode = encdec_uop(op) }) if opcode2format(0b0110111) == U_Format
+mapping clause fmtencdec = UTYPE(imm, rd, op) if opcode2format(0b0010111) == U_Format
+  <-> UFormat(struct { imm = imm, rd = rd, opcode = encdec_uop(op) }) if opcode2format(0b0010111) == U_Format
 
 function clause execute UTYPE(imm, rd, op) = {
   let off : xlenbits = sign_extend(imm @ 0x000);