The implementation was failing for the following 7 hexadecimal patterns
which return one wrong byte (0x00 instead of 0xff):
orc.b(0x............01..) = 0x............00.. (instead of 0x............ff..)
orc.b(0x..........01....) = 0x..........00.... (instead of 0x..........ff....)
orc.b(0x........01......) = 0x........00...... (instead of 0x........ff......)
orc.b(0x......01........) = 0x......00........ (instead of 0x......ff........)
orc.b(0x....01..........) = 0x....00.......... (instead of 0x....ff..........)
orc.b(0x..01............) = 0x..00............ (instead of 0x..ff............)
orc.b(0x01..............) = 0x00.............. (instead of 0xff..............)
Try to keep the carry from propagating and triggering the incorrect
results.
Signed-off-by: Vincent Palatin <vpala...@rivosinc.com>
---
target/riscv/insn_trans/trans_rvb.c.inc | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/target/riscv/insn_trans/trans_rvb.c.inc
b/target/riscv/insn_trans/trans_rvb.c.inc
index 185c3e9a60..b9fc272789 100644
--- a/target/riscv/insn_trans/trans_rvb.c.inc
+++ b/target/riscv/insn_trans/trans_rvb.c.inc
@@ -249,11 +249,17 @@ static bool trans_rev8_64(DisasContext *ctx, arg_rev8_64
*a)
static void gen_orc_b(TCGv ret, TCGv source1)
{
TCGv tmp = tcg_temp_new();
+ TCGv tmp2 = tcg_temp_new();
TCGv ones = tcg_constant_tl(dup_const_tl(MO_8, 0x01));
+ /* avoid carry propagation */
+ tcg_gen_shli_tl(tmp, source1, 1);
+ tcg_gen_or_tl(tmp, source1, tmp);
+ tcg_gen_andc_tl(tmp2, tmp, ones);
+
/* Set lsb in each byte if the byte was zero. */
- tcg_gen_sub_tl(tmp, source1, ones);
- tcg_gen_andc_tl(tmp, tmp, source1);
+ tcg_gen_sub_tl(tmp, tmp2, ones);
+ tcg_gen_andc_tl(tmp, tmp, tmp2);
tcg_gen_shri_tl(tmp, tmp, 7);
tcg_gen_andc_tl(tmp, ones, tmp);
@@ -261,6 +267,7 @@ static void gen_orc_b(TCGv ret, TCGv source1)
tcg_gen_muli_tl(ret, tmp, 0xff);
tcg_temp_free(tmp);
+ tcg_temp_free(tmp2);
}
static bool trans_orc_b(DisasContext *ctx, arg_orc_b *a)
--
2.25.1
