a few additional specific constraints are introduced. C/C++ Construct RVWMO LR/SC Mapping atomic <op> loop:lr.{w|d}.aq; <op>; sc.{w|d}.aqrl; bnez loop atomic <op> relaxed amo <op>.{w|d} atomic <op> relaxed loop:lr.{w|d}; <op>; sc.{w|d}; bnez loop atomic <op> relaxed loop:lr.{w|d}; <op>; sc.{w|d}.aqrl^*; bnez loop OR fence.tso; loop:lr.{w|d}; <op >; sc.{w|d}^*; bnez loop atomic <op> relaxed loop:lr.{w|d}; <op>; sc.{w|d}.rl; bnez loop Fence fence rw,rw dmb.ld fence r,rw Store fence rw,w; s{b|h|w|d} Atomic RMW amo<op>.{w|d}.aqrl OR loop:lr.{w|d}.aq; <op>; sc.{w|d}.aqrl; bnez loop atomic_<op>(memory_order_acquire) loop:lr.{w|d}.aq; <op>; sc.{w|d}.aqrl; bnez loop atomic <op> relaxed amo <op>.{w|d} atomic <op> acquire amo <op>.{w|d}.aq atomic <op> release loop:lr.{w|d}; <op>; sc.{w|d}; bnez loop atomic
polemically