From d1412a1cb9f54ab116166b0eb93b412b7194f1cb Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@eecs.berkeley.edu>
Date: Tue, 29 Oct 2013 22:01:45 -0700
Subject: Update ISA encoding in emulation routines

---
 pk/fp.c  | 41 ++++++++++++++++++++---------------------
 pk/int.c |  6 +++---
 2 files changed, 23 insertions(+), 24 deletions(-)

(limited to 'pk')

diff --git a/pk/fp.c b/pk/fp.c
index 900b446..18ae93b 100644
--- a/pk/fp.c
+++ b/pk/fp.c
@@ -35,26 +35,25 @@ int emulate_fp(trapframe_t* tf)
   if(noisy)
     printk("FPU emulation at pc %lx, insn %x\n",tf->epc,(uint32_t)tf->insn);
 
-  #define RRS1 ((tf->insn >> 22) & 0x1F)
-  #define RRS2 ((tf->insn >> 17) & 0x1F)
-  #define RRS3 ((tf->insn >> 12) & 0x1F)
-  #define RRD  ((tf->insn >> 27) & 0x1F)
-  #define RM   ((tf->insn >>  9) &  0x7)
-
-  int32_t imm = ((int32_t)tf->insn << 10) >> 20;
-  int32_t bimm = (((tf->insn >> 27) & 0x1f) << 7) | ((tf->insn >> 10) & 0x7f);
-  bimm = (bimm << 20) >> 20;
-
-  #define XRS1 (tf->gpr[RRS1])
-  #define XRS2 (tf->gpr[RRS2])
-  #define XRDR (tf->gpr[RRD])
-
-  uint64_t frs1d = fp_state.fpr[RRS1];
-  uint64_t frs2d = fp_state.fpr[RRS2];
-  uint64_t frs3d = fp_state.fpr[RRS3];
-  uint32_t frs1s = get_fp_reg(RRS1, 0);
-  uint32_t frs2s = get_fp_reg(RRS2, 0);
-  uint32_t frs3s = get_fp_reg(RRS3, 0);
+  #define RS1 ((tf->insn >> 15) & 0x1F)
+  #define RS2 ((tf->insn >> 20) & 0x1F)
+  #define RS3 ((tf->insn >> 27) & 0x1F)
+  #define RD  ((tf->insn >>  7) & 0x1F)
+  #define RM  ((tf->insn >> 12) &  0x7)
+
+  int32_t imm = (int32_t)tf->insn >> 20;
+  int32_t bimm = RD | imm >> 5 << 5;
+
+  #define XRS1 (tf->gpr[RS1])
+  #define XRS2 (tf->gpr[RS2])
+  #define XRDR (tf->gpr[RD])
+
+  uint64_t frs1d = fp_state.fpr[RS1];
+  uint64_t frs2d = fp_state.fpr[RS2];
+  uint64_t frs3d = fp_state.fpr[RS3];
+  uint32_t frs1s = get_fp_reg(RS1, 0);
+  uint32_t frs2s = get_fp_reg(RS2, 0);
+  uint32_t frs3s = get_fp_reg(RS3, 0);
 
   long effective_address_load = XRS1 + imm;
   long effective_address_store = XRS1 + bimm;
@@ -199,7 +198,7 @@ int emulate_fp(trapframe_t* tf)
     return -1;
 
   if(do_writeback)
-    set_fp_reg(RRD, writeback_dp, writeback_value);
+    set_fp_reg(RD, writeback_dp, writeback_value);
 
   if(have_fp)
     put_fp_state(fp_state.fpr,fp_state.fsr);
diff --git a/pk/int.c b/pk/int.c
index 51f8878..14c6077 100644
--- a/pk/int.c
+++ b/pk/int.c
@@ -16,9 +16,9 @@ int emulate_int(trapframe_t* tf)
   if(noisy)
     printk("Int emulation at pc %lx, insn %x\n",tf->epc,(uint32_t)tf->insn);
 
-  #define RS1 ((tf->insn >> 22) & 0x1F)
-  #define RS2 ((tf->insn >> 17) & 0x1F)
-  #define RD  ((tf->insn >> 27) & 0x1F)
+  #define RS1 ((tf->insn >> 15) & 0x1F)
+  #define RS2 ((tf->insn >> 20) & 0x1F)
+  #define RD  ((tf->insn >>  7) & 0x1F)
 
 //  #define XRS1 (tf->gpr[RS1])
 //  #define XRS2 (tf->gpr[RS2])
-- 
cgit v1.1