aboutsummaryrefslogtreecommitdiff
path: root/pk
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@eecs.berkeley.edu>2014-03-06 18:49:41 -0800
committerAndrew Waterman <waterman@eecs.berkeley.edu>2014-03-06 18:49:41 -0800
commita43d87cf0ae16acff8763130f0c7e40014616cff (patch)
tree44cf0b2086be058f1d5eb0c6167adaab851bae9b /pk
parent07599f5833dcce1cf154b543da0cec46a0953c45 (diff)
downloadpk-a43d87cf0ae16acff8763130f0c7e40014616cff.zip
pk-a43d87cf0ae16acff8763130f0c7e40014616cff.tar.gz
pk-a43d87cf0ae16acff8763130f0c7e40014616cff.tar.bz2
Add fclass.{s|d} instructions
Diffstat (limited to 'pk')
-rw-r--r--pk/encoding.h6
-rw-r--r--pk/fp.c4
2 files changed, 10 insertions, 0 deletions
diff --git a/pk/encoding.h b/pk/encoding.h
index 8a4a342..74f72bd 100644
--- a/pk/encoding.h
+++ b/pk/encoding.h
@@ -145,6 +145,8 @@
#define MASK_SLTIU 0x707f
#define MATCH_FADD_S 0x53
#define MASK_FADD_S 0xfe00007f
+#define MATCH_FCLASS_D 0xea000053
+#define MASK_FCLASS_D 0xfff0707f
#define MATCH_FCVT_S_W 0x70000053
#define MASK_FCVT_S_W 0xfff0007f
#define MATCH_MUL 0x2000033
@@ -197,6 +199,8 @@
#define MASK_BLT 0x707f
#define MATCH_SCALL 0x73
#define MASK_SCALL 0xffffffff
+#define MATCH_FCLASS_S 0xe8000053
+#define MASK_FCLASS_S 0xfff0707f
#define MATCH_SC_W 0x1800202f
#define MASK_SC_W 0xf800707f
#define MATCH_REM 0x2006033
@@ -487,6 +491,7 @@ DECLARE_INSN(bgeu, MATCH_BGEU, MASK_BGEU)
DECLARE_INSN(fadd_d, MATCH_FADD_D, MASK_FADD_D)
DECLARE_INSN(sltiu, MATCH_SLTIU, MASK_SLTIU)
DECLARE_INSN(fadd_s, MATCH_FADD_S, MASK_FADD_S)
+DECLARE_INSN(fclass_d, MATCH_FCLASS_D, MASK_FCLASS_D)
DECLARE_INSN(fcvt_s_w, MATCH_FCVT_S_W, MASK_FCVT_S_W)
DECLARE_INSN(mul, MATCH_MUL, MASK_MUL)
DECLARE_INSN(amominu_d, MATCH_AMOMINU_D, MASK_AMOMINU_D)
@@ -513,6 +518,7 @@ DECLARE_INSN(xor, MATCH_XOR, MASK_XOR)
DECLARE_INSN(sub, MATCH_SUB, MASK_SUB)
DECLARE_INSN(blt, MATCH_BLT, MASK_BLT)
DECLARE_INSN(scall, MATCH_SCALL, MASK_SCALL)
+DECLARE_INSN(fclass_s, MATCH_FCLASS_S, MASK_FCLASS_S)
DECLARE_INSN(sc_w, MATCH_SC_W, MASK_SC_W)
DECLARE_INSN(rem, MATCH_REM, MASK_REM)
DECLARE_INSN(srliw, MATCH_SRLIW, MASK_SRLIW)
diff --git a/pk/fp.c b/pk/fp.c
index 5848448..537dc23 100644
--- a/pk/fp.c
+++ b/pk/fp.c
@@ -192,6 +192,10 @@ int emulate_fp(trapframe_t* tf)
XRDR = f32_to_ui64(frs1s, softfloat_roundingMode, true);
else if(IS_INSN(FCVT_LU_D))
XRDR = f64_to_ui64(frs1d, softfloat_roundingMode, true);
+ else if(IS_INSN(FCLASS_S))
+ XRDR = f32_classify(frs1s);
+ else if(IS_INSN(FCLASS_D))
+ XRDR = f64_classify(frs1s);
else
return -1;