aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrew Waterman <waterman@cs.berkeley.edu>2015-02-09 14:52:34 -0800
committerAndrew Waterman <waterman@cs.berkeley.edu>2015-02-09 14:52:34 -0800
commitd2b36b1484059c5792cdf9243f972c83bb96026a (patch)
tree902578d11237567796d18b1c5b6e5638ae3f365d
parent6d84558e151fa7b5c1c830fffe13893e9c33e6e9 (diff)
downloadpk-d2b36b1484059c5792cdf9243f972c83bb96026a.zip
pk-d2b36b1484059c5792cdf9243f972c83bb96026a.tar.gz
pk-d2b36b1484059c5792cdf9243f972c83bb96026a.tar.bz2
Fix FLE.D emulation
-rw-r--r--pk/fp.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/pk/fp.c b/pk/fp.c
index 92dd3c2..8d71abf 100644
--- a/pk/fp.c
+++ b/pk/fp.c
@@ -125,7 +125,7 @@ int emulate_fp(trapframe_t* tf)
else if(IS_INSN(FLE_S))
XRDR = f32_eq(frs1s, frs2s) || f32_lt(frs1s, frs2s);
else if(IS_INSN(FLE_D))
- XRDR = f64_eq(frs1d, frs2d) || f64_lt(frs1s, frs2s);
+ XRDR = f64_eq(frs1d, frs2d) || f64_lt(frs1d, frs2d);
else if(IS_INSN(FLT_S))
XRDR = f32_lt(frs1s, frs2s);
else if(IS_INSN(FLT_D))