From 33ce6cafbd7254b52fe5c6a2244f57bb6d4e7f42 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 3 Jun 2016 15:59:57 +0100
Subject: Mips file: removed some unnecessary parenthesis

Interp: trying to add some debugging to isolate bug
---
 mips/mips_prelude.sail | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'mips')

diff --git a/mips/mips_prelude.sail b/mips/mips_prelude.sail
index 4710167e..5847cecb 100644
--- a/mips/mips_prelude.sail
+++ b/mips/mips_prelude.sail
@@ -368,8 +368,8 @@ function unit incrementCP0Count() = {
   (* XXX Sail does not allow reading fields here :-( *)
   let (bit[32])status = CP0Status in
   let (bit[32])cause  = CP0Cause in
-  let (bit[8]) ims = (status[15..8]) in
-  let (bit[8]) ips = (cause[15..8]) in
+  let (bit[8]) ims = status[15..8] in
+  let (bit[8]) ips = cause[15..8] in
   let ie           = status[0] in
   let exl          = status[1] in
   let erl          = status[2] in
@@ -379,14 +379,14 @@ function unit incrementCP0Count() = {
 
 function bool tlbEntryMatch(r, vpn2, asid, (TLBEntry) entry) = 
       let entryVal   = (bit[117]) entry in
-      let entryValid = (entryVal[62]) in
-      let entryR     = (entryVal[100..99]) in
-      let entryMask  = (entryVal[116..101]) in
-      let entryVPN   = (entryVal[98..72]) in
-      let entryASID  = (entryVal[71..64]) in
-      let entryG     = (entryVal[63]) in
-      ((entryValid) &
-       (r == (entryR)) & 
+      let entryValid = entryVal[62] in
+      let entryR     = entryVal[100..99] in
+      let entryMask  = entryVal[116..101] in
+      let entryVPN   = entryVal[98..72] in
+      let entryASID  = entryVal[71..64] in
+      let entryG     = entryVal[63] in
+      (entryValid &
+       (r == entryR) & 
        ((vpn2 & ~(EXTZ(entryMask))) == ((entryVPN) & ~(EXTZ(entryMask)))) &
        ((asid == (entryASID)) | (entryG)))
 
-- 
cgit v1.2.3