From c45b3e5aefc637fec1a3b7caa1ad01f2a795d7bc Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Wed, 11 Apr 2018 15:51:12 +0100
Subject: Add missing read of UserLocal register using dmtc0 4, sel 2. Write
 was present but read was missing except via rdhwr.

---
 mips/mips_insts.sail | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mips/mips_insts.sail b/mips/mips_insts.sail
index 885608d1..a3781426 100644
--- a/mips/mips_insts.sail
+++ b/mips/mips_insts.sail
@@ -1433,6 +1433,7 @@ function clause execute (MFC0(rt, rd, sel, double)) = {
           (0b00010,0b000) => TLBEntryLo0.bits(), /* 2, TLB EntryLo0 */
           (0b00011,0b000) => TLBEntryLo1.bits(), /* 3, TLB EntryLo1 */
           (0b00100,0b000) => TLBContext.bits(),  /* 4, TLB Context */
+          (0b00100,0b010) => CP0UserLocal,
           (0b00101,0b000) => zero_extend(TLBPageMask @ 0x000), /* 5, TLB PageMask */
           (0b00110,0b000) => zero_extend(TLBWired),   /* 6, TLB Wired */
           (0b00111,0b000) => zero_extend(CP0HWREna),  /* 7, HWREna */
-- 
cgit v1.2.3