1; RUN: llc < %s -march=bpfel -verify-machineinstrs -show-mc-encoding | FileCheck %s
2
3; CHECK-LABEL: test_load_add_32
4; CHECK: lock *(u32 *)(r1 + 0) += r2
5; CHECK: encoding: [0xc3,0x21
6define void @test_load_add_32(i32* %p, i32 zeroext %v) {
7entry:
8  atomicrmw add i32* %p, i32 %v seq_cst
9  ret void
10}
11
12; CHECK-LABEL: test_load_add_64
13; CHECK: lock *(u64 *)(r1 + 0) += r2
14; CHECK: encoding: [0xdb,0x21
15define void @test_load_add_64(i64* %p, i64 zeroext %v) {
16entry:
17  atomicrmw add i64* %p, i64 %v seq_cst
18  ret void
19}
20