diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-09 14:52:34 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-02-09 14:52:34 -0800 |
commit | d2b36b1484059c5792cdf9243f972c83bb96026a (patch) | |
tree | 902578d11237567796d18b1c5b6e5638ae3f365d /pk | |
parent | 6d84558e151fa7b5c1c830fffe13893e9c33e6e9 (diff) | |
download | pk-d2b36b1484059c5792cdf9243f972c83bb96026a.zip pk-d2b36b1484059c5792cdf9243f972c83bb96026a.tar.gz pk-d2b36b1484059c5792cdf9243f972c83bb96026a.tar.bz2 |
Fix FLE.D emulation
Diffstat (limited to 'pk')
-rw-r--r-- | pk/fp.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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)) |