add fmtencdec for AUIPC

ThinkOpenly · Aug 29, 2024 · a8a77d7 · a8a77d7
1 parent 04b9199
commit a8a77d7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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);