diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-02 14:23:30 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-04-02 14:23:30 -0700 |
commit | d9d73d80c1b738b3b30eb40d192f61cbdb0e201f (patch) | |
tree | 347c8eff58857d9bf242a1d97070be3f179f6684 /riscv/insns/feq_d.h | |
parent | c8c828b55c8e25929bdbcd00032276e04391430e (diff) | |
download | spike-d9d73d80c1b738b3b30eb40d192f61cbdb0e201f.zip spike-d9d73d80c1b738b3b30eb40d192f61cbdb0e201f.tar.gz spike-d9d73d80c1b738b3b30eb40d192f61cbdb0e201f.tar.bz2 |
Simplify RV32 comparisons
No need to eliminate the upper 32 bits of the 64-bit x-register, as all
RV32 instructions should sign-extend their results to 64 bits.
Diffstat (limited to 'riscv/insns/feq_d.h')
0 files changed, 0 insertions, 0 deletions