1 ; RUN: llc < %s -march=sparcv9 -verify-machineinstrs | FileCheck %s
3 ; CHECK-LABEL: test_atomic_i32
9 ; CHECK: st {{.+}}, [%o2]
10 define i32 @test_atomic_i32(i32* %ptr1, i32* %ptr2, i32* %ptr3) {
12 %0 = load atomic i32, i32* %ptr1 acquire, align 8
13 %1 = load atomic i32, i32* %ptr2 acquire, align 8
15 store atomic i32 %2, i32* %ptr3 release, align 8
19 ; CHECK-LABEL: test_atomic_i64
25 ; CHECK: stx {{.+}}, [%o2]
26 define i64 @test_atomic_i64(i64* %ptr1, i64* %ptr2, i64* %ptr3) {
28 %0 = load atomic i64, i64* %ptr1 acquire, align 8
29 %1 = load atomic i64, i64* %ptr2 acquire, align 8
31 store atomic i64 %2, i64* %ptr3 release, align 8
35 ; CHECK-LABEL: test_cmpxchg_i32
36 ; CHECK: mov 123, [[R:%[gilo][0-7]]]
37 ; CHECK: cas [%o1], %o0, [[R]]
39 define i32 @test_cmpxchg_i32(i32 %a, i32* %ptr) {
41 %pair = cmpxchg i32* %ptr, i32 %a, i32 123 monotonic monotonic
42 %b = extractvalue { i32, i1 } %pair, 0
46 ; CHECK-LABEL: test_cmpxchg_i64
47 ; CHECK: mov 123, [[R:%[gilo][0-7]]]
48 ; CHECK: casx [%o1], %o0, [[R]]
50 define i64 @test_cmpxchg_i64(i64 %a, i64* %ptr) {
52 %pair = cmpxchg i64* %ptr, i64 %a, i64 123 monotonic monotonic
53 %b = extractvalue { i64, i1 } %pair, 0
57 ; CHECK-LABEL: test_swap_i32
58 ; CHECK: mov 42, [[R:%[gilo][0-7]]]
59 ; CHECK: swap [%o1], [[R]]
61 define i32 @test_swap_i32(i32 %a, i32* %ptr) {
63 %b = atomicrmw xchg i32* %ptr, i32 42 monotonic
67 ; CHECK-LABEL: test_swap_i64
70 define i64 @test_swap_i64(i64 %a, i64* %ptr) {
72 %b = atomicrmw xchg i64* %ptr, i64 42 monotonic
76 ; CHECK-LABEL: test_load_add_32
78 ; CHECK: add [[V:%[gilo][0-7]]], %o1, [[U:%[gilo][0-7]]]
79 ; CHECK: cas [%o0], [[V]], [[U]]
81 define zeroext i32 @test_load_add_32(i32* %p, i32 zeroext %v) {
83 %0 = atomicrmw add i32* %p, i32 %v seq_cst
87 ; CHECK-LABEL: test_load_sub_64
92 define zeroext i64 @test_load_sub_64(i64* %p, i64 zeroext %v) {
94 %0 = atomicrmw sub i64* %p, i64 %v seq_cst
98 ; CHECK-LABEL: test_load_xor_32
103 define zeroext i32 @test_load_xor_32(i32* %p, i32 zeroext %v) {
105 %0 = atomicrmw xor i32* %p, i32 %v seq_cst
109 ; CHECK-LABEL: test_load_and_32
115 define zeroext i32 @test_load_and_32(i32* %p, i32 zeroext %v) {
117 %0 = atomicrmw and i32* %p, i32 %v seq_cst
121 ; CHECK-LABEL: test_load_nand_32
127 define zeroext i32 @test_load_nand_32(i32* %p, i32 zeroext %v) {
129 %0 = atomicrmw nand i32* %p, i32 %v seq_cst
133 ; CHECK-LABEL: test_load_max_64
139 define zeroext i64 @test_load_max_64(i64* %p, i64 zeroext %v) {
141 %0 = atomicrmw max i64* %p, i64 %v seq_cst
145 ; CHECK-LABEL: test_load_umin_32
151 define zeroext i32 @test_load_umin_32(i32* %p, i32 zeroext %v) {
153 %0 = atomicrmw umin i32* %p, i32 %v seq_cst