Browse Source
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.pull/18/head
11 changed files with 10 additions and 11 deletions
@ -1,2 +1,2 @@ |
|||
if(cmp_trunc(RS1) == cmp_trunc(RS2)) |
|||
if(RS1 == RS2) |
|||
set_pc(BRANCH_TARGET); |
|||
|
|||
@ -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); |
|||
|
|||
@ -1,2 +1,2 @@ |
|||
if(cmp_trunc(RS1) >= cmp_trunc(RS2)) |
|||
if(RS1 >= RS2) |
|||
set_pc(BRANCH_TARGET); |
|||
|
|||
@ -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); |
|||
|
|||
@ -1,2 +1,2 @@ |
|||
if(cmp_trunc(RS1) < cmp_trunc(RS2)) |
|||
if(RS1 < RS2) |
|||
set_pc(BRANCH_TARGET); |
|||
|
|||
@ -1,2 +1,2 @@ |
|||
if(cmp_trunc(RS1) != cmp_trunc(RS2)) |
|||
if(RS1 != RS2) |
|||
set_pc(BRANCH_TARGET); |
|||
|
|||
@ -1 +1 @@ |
|||
WRITE_RD(sreg_t(cmp_trunc(RS1)) < sreg_t(cmp_trunc(RS2))); |
|||
WRITE_RD(sreg_t(RS1) < sreg_t(RS2)); |
|||
|
|||
@ -1 +1 @@ |
|||
WRITE_RD(sreg_t(cmp_trunc(RS1)) < sreg_t(cmp_trunc(insn.i_imm()))); |
|||
WRITE_RD(sreg_t(RS1) < sreg_t(insn.i_imm())); |
|||
|
|||
@ -1 +1 @@ |
|||
WRITE_RD(cmp_trunc(RS1) < cmp_trunc(insn.i_imm())); |
|||
WRITE_RD(RS1 < insn.i_imm()); |
|||
|
|||
@ -1 +1 @@ |
|||
WRITE_RD(cmp_trunc(RS1) < cmp_trunc(RS2)); |
|||
WRITE_RD(RS1 < RS2); |
|||
|
|||
Loading…
Reference in new issue