From e24ddd426978015a0140642564efd69d5836b564 Mon Sep 17 00:00:00 2001
From: Donald Sebastian Leung <dl@m-labs.hk>
Date: Thu, 30 Jul 2020 16:07:47 +0800
Subject: [PATCH] Fix LUI instruction

---
 insns/insn_lui.py | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/insns/insn_lui.py b/insns/insn_lui.py
index 36da7bc..73aa428 100644
--- a/insns/insn_lui.py
+++ b/insns/insn_lui.py
@@ -14,4 +14,13 @@ class rvfi_insn_lui(rvfi_insn_U_type):
         m.d.comb += self.spec_rd_wdata.eq(Mux(self.spec_rd_addr, self.insn_imm, 0))
         m.d.comb += self.spec_pc_wdata.eq(self.rvfi_pc_rdata + 4)
 
+        # default assignments
+        m.d.comb += self.spec_rs1_addr.eq(0)
+        m.d.comb += self.spec_rs2_addr.eq(0)
+        m.d.comb += self.spec_trap.eq(~self.misa_ok)
+        m.d.comb += self.spec_mem_addr.eq(0)
+        m.d.comb += self.spec_mem_rmask.eq(0)
+        m.d.comb += self.spec_mem_wmask.eq(0)
+        m.d.comb += self.spec_mem_wdata.eq(0)
+
         return m