C Atomic Instruction Mapping

2021/07/06 (Last update: 2021/11/07)

Note

Mapping Table

Operation x86-64 armv8-a RISC-V rv64gc
Load (no atomic) mov rax, qword ptr [rip + y] adrp x8, y
ldr x0, [x8, :lo12:y]
lui a0, %hi(y)
ld a0, %lo(y)(a0)
Load (implicit) mov rax, qword ptr [rip + x] adrp x8, x
add x8, x8, :lo12:x
ldar x0, [x8]
fence rw, rw
lui a0, %hi(x)
ld a0, %lo(x)(a0)
fence r, rw
Load (relaxed) mov rax, qword ptr [rip + x] adrp x8, x
ldr x0, [x8, :lo12:x]
lui a0, %hi(x)
ld a0, %lo(x)(a0)
Load (consume) mov rax, qword ptr [rip + x] adrp x8, x
add x8, x8, :lo12:x
ldar x0, [x8]
lui a0, %hi(x)
ld a0, %lo(x)(a0)
fence r, rw
Load (acquire) mov rax, qword ptr [rip + x] adrp x8, x
add x8, x8, :lo12:x
ldar x0, [x8]
lui a0, %hi(x)
ld a0, %lo(x)(a0)
fence r, rw
Load (release) Watomic-memory-ordering Watomic-memory-ordering Watomic-memory-ordering
Load (acq_rel) Watomic-memory-ordering Watomic-memory-ordering Watomic-memory-ordering
Load (seq_cst) mov rax, qword ptr [rip + x] adrp x8, x
add x8, x8, :lo12:x
ldar x0, [x8]
fence rw, rw
lui a0, %hi(x)
ld a0, %lo(x)(a0)
fence r, rw
Store (no atomic) mov qword ptr [rip + y], rdi adrp x8, y
str x0, [x8, :lo12:y]
lui a1, %hi(y)
sd a0, %lo(y)(a1)
Store (implicit) xchg qword ptr [rip + x], rdi adrp x8, x
add x8, x8, :lo12:x
stlr x0, [x8]
fence rw, w
lui a1, %hi(x)
sd a0, %lo(x)(a1)
Store (relaxed) mov qword ptr [rip + x], rdi adrp x8, x
str x0, [x8, :lo12:x]
lui a1, %hi(x)
sd a0, %lo(x)(a1)
Store (consume) Watomic-memory-ordering Watomic-memory-ordering Watomic-memory-ordering
Store (acquire) Watomic-memory-ordering Watomic-memory-ordering Watomic-memory-ordering
Store (release) mov qword ptr [rip + x], rdi adrp x8, x
add x8, x8, :lo12:x
stlr x0, [x8]
fence rw, w
lui a1, %hi(x)
sd a0, %lo(x)(a1)
Store (acq_rel) Watomic-memory-ordering Watomic-memory-ordering Watomic-memory-ordering
Store (seq_cst) xchg qword ptr [rip + x], rdi adrp x8, x
add x8, x8, :lo12:x
stlr x0, [x8]
fence rw, w
lui a1, %hi(x)
sd a0, %lo(x)(a1)
Exchange (implicit) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB16_1:
ldaxr x0, [x8]
stlxr w10, x9, [x8]
cbnz w10, .LBB16_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.aqrl a0, a1, (a0)
Exchange (relaxed) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB17_1:
ldxr x0, [x8]
stxr w10, x9, [x8]
cbnz w10, .LBB17_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d a0, a1, (a0)
Exchange (consume) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB18_1:
ldaxr x0, [x8]
stxr w10, x9, [x8]
cbnz w10, .LBB18_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.aq a0, a1, (a0)
Exchange (acquire) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB19_1:
ldaxr x0, [x8]
stxr w10, x9, [x8]
cbnz w10, .LBB19_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.aq a0, a1, (a0)
Exchange (release) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB20_1:
ldxr x0, [x8]
stlxr w10, x9, [x8]
cbnz w10, .LBB20_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.rl a0, a1, (a0)
Exchange (acq_rel) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB21_1:
ldaxr x0, [x8]
stlxr w10, x9, [x8]
cbnz w10, .LBB21_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.aqrl a0, a1, (a0)
Exchange (seq_cst) mov eax, 42
xchg qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
mov w9, #42
.LBB22_1:
ldaxr x0, [x8]
stlxr w10, x9, [x8]
cbnz w10, .LBB22_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoswap.d.aqrl a0, a1, (a0)
Fetch Add (implicit) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB23_1:
ldaxr x0, [x8]
add x9, x0, #42
stlxr w10, x9, [x8]
cbnz w10, .LBB23_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.aqrl a0, a1, (a0)
Fetch Add (relaxed) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB24_1:
ldxr x0, [x8]
add x9, x0, #42
stxr w10, x9, [x8]
cbnz w10, .LBB24_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d a0, a1, (a0)
Fetch Add (consume) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB25_1:
ldaxr x0, [x8]
add x9, x0, #42
stxr w10, x9, [x8]
cbnz w10, .LBB25_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.aq a0, a1, (a0)
Fetch Add (acquire) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB26_1:
ldaxr x0, [x8]
add x9, x0, #42
stxr w10, x9, [x8]
cbnz w10, .LBB26_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.aq a0, a1, (a0)
Fetch Add (release) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB27_1:
ldxr x0, [x8]
add x9, x0, #42
stlxr w10, x9, [x8]
cbnz w10, .LBB27_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.rl a0, a1, (a0)
Fetch Add (acq_rel) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB28_1:
ldaxr x0, [x8]
add x9, x0, #42
stlxr w10, x9, [x8]
cbnz w10, .LBB28_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.aqrl a0, a1, (a0)
Fetch Add (seq_cst) mov eax, 42
lock xadd qword ptr [rip + x], rax
adrp x8, x
add x8, x8, :lo12:x
.LBB29_1:
ldaxr x0, [x8]
add x9, x0, #42
stlxr w10, x9, [x8]
cbnz w10, .LBB29_1
lui a0, %hi(x)
addi a0, a0, %lo(x)
addi a1, zero, 42
amoadd.d.aqrl a0, a1, (a0)
Kill Dependency mov rax, qword ptr [rip + x] adrp x8, x
add x8, x8, :lo12:x
ldar x0, [x8]
fence rw, rw
lui a0, %hi(x)
ld a0, %lo(x)(a0)
fence r, rw
Thread Fence (relaxed) nop nop nop
Thread Fence (consume) nop dmb ishld fence r, rw
Thread Fence (acquire) nop dmb ishld fence r, rw
Thread Fence (release) nop dmb ish fence rw, w
Thread Fence (acq_rel) nop dmb ish fence.tso
Thread Fence (seq_cst) mfence dmb ish fence rw, rw
Signal Fence (relaxed) nop nop nop
Signal Fence (consume) nop nop fence r, rw
Signal Fence (acquire) nop nop fence r, rw
Signal Fence (release) nop nop fence rw, w
Signal Fence (acq_rel) nop nop fence.tso
Signal Fence (seq_cst) nop nop fence rw, rw