]> git.ipfire.org Git - thirdparty/valgrind.git/commit
VEX/priv/guest_riscv64_toIR.c: Recognize both fence and fence.tso
authorMark Wielaard <mark@klomp.org>
Sat, 14 Dec 2024 22:11:57 +0000 (22:11 +0000)
committerMark Wielaard <mark@klomp.org>
Tue, 25 Feb 2025 20:36:49 +0000 (21:36 +0100)
commite1fb410b5c72c89b6702e81aca91dee9250608ab
tree11059fbef795782d2c1fb0842134cee90e0afd0f
parente54645bb7ad1147e6b14b3f7bcf648efe85c0036
VEX/priv/guest_riscv64_toIR.c: Recognize both fence and fence.tso

fence.tso is used for __atomic_thread_fence (__ATOMIC_ACQ_REL)

There are 3 fence variants.

fence.tso  fm set to 1000 and pred and succ both set to 0011.
fence with fm set to 0000 and pred and succ both set to 1111.
fence with fm set to 0000 and pred and succ with some iorw flags set.

https://bugs.kde.org/show_bug.cgi?id=468575#c42
VEX/priv/guest_riscv64_toIR.c