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/bge.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/bge.h')
| -rw-r--r-- | riscv/insns/bge.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/bge.h b/riscv/insns/bge.h index dca544b..da0c68e 100644 --- a/riscv/insns/bge.h +++ b/riscv/insns/bge.h @@ -1,2 +1,2 @@ -if(sreg_t(cmp_trunc(RS1)) >= sreg_t(cmp_trunc(RS2))) +if(sreg_t(RS1) >= sreg_t(RS2)) set_pc(BRANCH_TARGET); |