OLD | NEW |
1 ; RUN: opt -nacl-rewrite-atomics -pnacl-memory-order-seq-cst-only=true -S < %s |
FileCheck %s | 1 ; RUN: opt -nacl-rewrite-atomics -pnacl-memory-order-seq-cst-only=true -S < %s |
FileCheck %s |
2 ; | 2 ; |
3 ; Verify that -pnacl-memory-order-seq-cst-only=true ensures all atomic memory | 3 ; Verify that -pnacl-memory-order-seq-cst-only=true ensures all atomic memory |
4 ; orderings become seq_cst (enum value 6). | 4 ; orderings become seq_cst (enum value 6). |
5 ; | 5 ; |
6 ; Note that monotonic doesn't exist in C11/C++11, and consume isn't implemented | 6 ; Note that monotonic doesn't exist in C11/C++11, and consume isn't implemented |
7 ; in LLVM yet. | 7 ; in LLVM yet. |
8 | 8 |
9 target datalayout = "p:32:32:32" | 9 target datalayout = "p:32:32:32" |
10 | 10 |
11 ; CHECK-LABEL: @test_atomic_store_monotonic_i32 | 11 ; CHECK-LABEL: @test_atomic_store_monotonic_i32 |
12 define void @test_atomic_store_monotonic_i32(i32* %ptr, i32 %value) { | 12 define void @test_atomic_store_monotonic_i32(i32* %ptr, i32 %value) { |
13 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 13 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
14 store atomic i32 %value, i32* %ptr monotonic, align 4 | 14 store atomic i32 %value, i32* %ptr monotonic, align 4 |
15 ret void ; CHECK-NEXT: ret void | 15 ret void ; CHECK-NEXT: ret void |
16 } | 16 } |
17 | 17 |
18 ; CHECK-LABEL: @test_atomic_store_unordered_i32 | 18 ; CHECK-LABEL: @test_atomic_store_unordered_i32 |
19 define void @test_atomic_store_unordered_i32(i32* %ptr, i32 %value) { | 19 define void @test_atomic_store_unordered_i32(i32* %ptr, i32 %value) { |
20 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 20 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
21 store atomic i32 %value, i32* %ptr unordered, align 4 | 21 store atomic i32 %value, i32* %ptr unordered, align 4 |
22 ret void ; CHECK-NEXT: ret void | 22 ret void ; CHECK-NEXT: ret void |
23 } | 23 } |
24 | 24 |
25 ; CHECK-LABEL: @test_atomic_load_acquire_i32 | 25 ; CHECK-LABEL: @test_atomic_load_acquire_i32 |
26 define i32 @test_atomic_load_acquire_i32(i32* %ptr) { | 26 define i32 @test_atomic_load_acquire_i32(i32* %ptr) { |
27 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) | 27 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) |
28 %res = load atomic i32* %ptr acquire, align 4 | 28 %res = load atomic i32, i32* %ptr acquire, align 4 |
29 ret i32 %res ; CHECK-NEXT: ret i32 %res | 29 ret i32 %res ; CHECK-NEXT: ret i32 %res |
30 } | 30 } |
31 | 31 |
32 ; CHECK-LABEL: @test_atomic_store_release_i32 | 32 ; CHECK-LABEL: @test_atomic_store_release_i32 |
33 define void @test_atomic_store_release_i32(i32* %ptr, i32 %value) { | 33 define void @test_atomic_store_release_i32(i32* %ptr, i32 %value) { |
34 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 34 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
35 store atomic i32 %value, i32* %ptr release, align 4 | 35 store atomic i32 %value, i32* %ptr release, align 4 |
36 ret void ; CHECK-NEXT: ret void | 36 ret void ; CHECK-NEXT: ret void |
37 } | 37 } |
38 | 38 |
39 ; CHECK-LABEL: @test_fetch_and_add_i32 | 39 ; CHECK-LABEL: @test_fetch_and_add_i32 |
40 define i32 @test_fetch_and_add_i32(i32* %ptr, i32 %value) { | 40 define i32 @test_fetch_and_add_i32(i32* %ptr, i32 %value) { |
41 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.rmw.i32(i32 1, i32* %ptr, i32
%value, i32 6) | 41 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.rmw.i32(i32 1, i32* %ptr, i32
%value, i32 6) |
42 %res = atomicrmw add i32* %ptr, i32 %value acq_rel | 42 %res = atomicrmw add i32* %ptr, i32 %value acq_rel |
43 ret i32 %res ; CHECK-NEXT: ret i32 %res | 43 ret i32 %res ; CHECK-NEXT: ret i32 %res |
44 } | 44 } |
45 | 45 |
46 ; CHECK-LABEL: @test_atomic_store_seq_cst_i32 | 46 ; CHECK-LABEL: @test_atomic_store_seq_cst_i32 |
47 define void @test_atomic_store_seq_cst_i32(i32* %ptr, i32 %value) { | 47 define void @test_atomic_store_seq_cst_i32(i32* %ptr, i32 %value) { |
48 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 48 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
49 store atomic i32 %value, i32* %ptr seq_cst, align 4 | 49 store atomic i32 %value, i32* %ptr seq_cst, align 4 |
50 ret void ; CHECK-NEXT: ret void | 50 ret void ; CHECK-NEXT: ret void |
51 } | 51 } |
OLD | NEW |