https://bugs.kde.org/show_bug.cgi?id=468575
--- Comment #43 from Mark Wielaard <m...@klomp.org> ---
(In reply to Mark Wielaard from comment #42)
> drd/tests/condvar fails with
>
> Other thread: waiting for notify
> Other thread: notified
> RISCV64 front end: standard
> disInstr(riscv64): unhandled instruction 0x8330000F
> disInstr(riscv64): 1000'0011 0011'0000 0000'0000 0000'1111
> ==1493609== valgrind: Unrecognised instruction at address 0x10bbda.
> [...]
> This seems to be:
> __atomic_thread_fence (__ATOMIC_ACQ_REL);
> => 0x000000000010bbda <+28>: fence.tso
Assuming fence and fence.tso are basically the same thing
(which they might not be) then the following seems to fix it:
diff --git a/VEX/priv/guest_riscv64_toIR.c b/VEX/priv/guest_riscv64_toIR.c
index 93ea5a173..a4f4a1907 100644
--- a/VEX/priv/guest_riscv64_toIR.c
+++ b/VEX/priv/guest_riscv64_toIR.c
@@ -1610,7 +1610,8 @@ static Bool dis_RV64I(/*MB_OUT*/ DisResult* dres,
}
/* ------------------------ fence ------------------------ */
- if (INSN(19, 0) == 0b00000000000000001111 && INSN(31, 28) == 0b0000) {
+ if (INSN(19, 0) == 0b00000000000000001111
+ && (INSN(31, 28) == 0b0000 || INSN(31, 28) == 0b1000)) {
UInt succ = INSN(23, 20);
UInt pred = INSN(27, 24);
stmt(irsb, IRStmt_MBE(Imbe_Fence));
--
You are receiving this mail because:
You are watching all bug changes.
