RISCV64 32-bit AMOs incorrectly simulated Version: qemu-riscv64 version 4.2.1 (Debian 1:4.2-3ubuntu6.14) test: amomaxu.w a0, a1, (a0) ret int32_t* value = -7; EXPECT_EQ(-7, test(&value, -11)); EXPECT_EQ(-7, value); // FAIL, saw -11 EXPECT_EQ(-7, test(&value, -7)); EXPECT_EQ(-7, value); // FAIL, raw -11 EXPECT_EQ(-7, test(&value, -4)); EXPECT_EQ(-4, value); test: amomax.w a0, a1, (a0) ret int32_t* value = -7; EXPECT_EQ(-7, test(&value, -11)); EXPECT_EQ(-7, value); EXPECT_EQ(-7, test(&value, -7)); EXPECT_EQ(-7, value); EXPECT_EQ(-7, test(&value, -4)); EXPECT_EQ(-4, value); // FAIL, saw -7 I suspect that trans_amo_w should be using tcg_gen_atomic_fetch__i32 instead of tcg_gen_atomic_fetch__tl.