From ec2d51546b5f6194048773da144b497194817357 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 26 Jan 2016 16:30:06 +0000
Subject: mips.sail: fix bugs in DSRL32 and DSRLV

---
 mips/mips.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mips/mips.sail')

diff --git a/mips/mips.sail b/mips/mips.sail
index 975ff82e..5b2dda70 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -614,7 +614,7 @@ function clause execute (DSRL (rt, rd, sa)) =
 
 union ast member regregreg DSRL32
 function clause decode (0b000000 : 0b00000 : (regno) rt : (regno) rd : (bit[5]) sa : 0b111110) = 
-  Some(DSRA32(rt, rd, sa))
+  Some(DSRL32(rt, rd, sa))
 function clause execute (DSRL32 (rt, rd, sa)) =
   {
     temp     := rGPR(rt);
@@ -631,7 +631,7 @@ function clause execute (DSRLV (rs, rt, rd)) =
   {
     temp     := rGPR(rt);
     sa       := (rGPR(rs)) [5..0];
-    wGPR(rd) := ((bitone ^^ sa) : temp[63 .. sa])
+    wGPR(rd) := ((bitzero ^^ sa) : temp[63 .. sa])
   }
 
 (**************************************************************************************)
-- 
cgit v1.2.3