On 4/28/23 10:23, Jeff Law wrote:
On 4/27/23 10:22, Patrick O'Neill wrote:
This patch enforces SEQ_CST for atomic compare_exchange ops.
Replace Fence/LR.aq/SC.aq pairs with SEQ_CST LR.aqrl/SC.rl pairs
recommended by table A.6 of the ISA manual.
2023-04-27 Patrick O'Neill <patr...@rivosinc.com>
gcc/ChangeLog:
* config/riscv/sync.md: Change FENCE/LR.aq/SC.aq into
sequentially consistent LR.aqrl/SC.rl pair.
OK. Note that generally you should note which pattern you're changing
in a ChangeLog entry, similar to how we note the function being
changed. So something like this might be better:
* config/riscv/sync.md (atomic_cas_value_strong<mode>): ...
Jeff
Edited ChangeLog and committed:
gcc/ChangeLog:
* config/riscv/sync.md (atomic_cas_value_strong<mode>): Change
FENCE/LR.aq/SC.aq into sequentially consistent LR.aqrl/SC.rl
pair.
Patrick