OLD | NEW |
1 ; RUN: opt -nacl-rewrite-atomics -S < %s | FileCheck %s | 1 ; RUN: opt -nacl-rewrite-atomics -S < %s | FileCheck %s |
2 ; | 2 ; |
3 ; Validate that atomic non-{acquire/release/acq_rel/seq_cst} loads/stores get | 3 ; Validate that atomic non-{acquire/release/acq_rel/seq_cst} loads/stores get |
4 ; rewritten into NaCl atomic builtins with sequentially consistent memory | 4 ; rewritten into NaCl atomic builtins with sequentially consistent memory |
5 ; ordering (enum value 6), and that acquire/release/acq_rel remain as-is (enum | 5 ; ordering (enum value 6), and that acquire/release/acq_rel remain as-is (enum |
6 ; values 3/4/5). | 6 ; values 3/4/5). |
7 ; | 7 ; |
8 ; Note that monotonic doesn't exist in C11/C++11, and consume isn't implemented | 8 ; Note that monotonic doesn't exist in C11/C++11, and consume isn't implemented |
9 ; in LLVM yet. | 9 ; in LLVM yet. |
10 | 10 |
11 target datalayout = "p:32:32:32" | 11 target datalayout = "p:32:32:32" |
12 | 12 |
13 ; CHECK-LABEL: @test_atomic_load_monotonic_i32 | 13 ; CHECK-LABEL: @test_atomic_load_monotonic_i32 |
14 define i32 @test_atomic_load_monotonic_i32(i32* %ptr) { | 14 define i32 @test_atomic_load_monotonic_i32(i32* %ptr) { |
15 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) | 15 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) |
16 %res = load atomic i32* %ptr monotonic, align 4 | 16 %res = load atomic i32, i32* %ptr monotonic, align 4 |
17 ret i32 %res ; CHECK-NEXT: ret i32 %res | 17 ret i32 %res ; CHECK-NEXT: ret i32 %res |
18 } | 18 } |
19 | 19 |
20 ; CHECK-LABEL: @test_atomic_store_monotonic_i32 | 20 ; CHECK-LABEL: @test_atomic_store_monotonic_i32 |
21 define void @test_atomic_store_monotonic_i32(i32* %ptr, i32 %value) { | 21 define void @test_atomic_store_monotonic_i32(i32* %ptr, i32 %value) { |
22 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 22 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
23 store atomic i32 %value, i32* %ptr monotonic, align 4 | 23 store atomic i32 %value, i32* %ptr monotonic, align 4 |
24 ret void ; CHECK-NEXT: ret void | 24 ret void ; CHECK-NEXT: ret void |
25 } | 25 } |
26 | 26 |
27 ; CHECK-LABEL: @test_atomic_load_unordered_i32 | 27 ; CHECK-LABEL: @test_atomic_load_unordered_i32 |
28 define i32 @test_atomic_load_unordered_i32(i32* %ptr) { | 28 define i32 @test_atomic_load_unordered_i32(i32* %ptr) { |
29 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) | 29 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 6) |
30 %res = load atomic i32* %ptr unordered, align 4 | 30 %res = load atomic i32, i32* %ptr unordered, align 4 |
31 ret i32 %res ; CHECK-NEXT: ret i32 %res | 31 ret i32 %res ; CHECK-NEXT: ret i32 %res |
32 } | 32 } |
33 | 33 |
34 ; CHECK-LABEL: @test_atomic_store_unordered_i32 | 34 ; CHECK-LABEL: @test_atomic_store_unordered_i32 |
35 define void @test_atomic_store_unordered_i32(i32* %ptr, i32 %value) { | 35 define void @test_atomic_store_unordered_i32(i32* %ptr, i32 %value) { |
36 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) | 36 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
6) |
37 store atomic i32 %value, i32* %ptr unordered, align 4 | 37 store atomic i32 %value, i32* %ptr unordered, align 4 |
38 ret void ; CHECK-NEXT: ret void | 38 ret void ; CHECK-NEXT: ret void |
39 } | 39 } |
40 | 40 |
41 ; CHECK-LABEL: @test_atomic_load_acquire_i32 | 41 ; CHECK-LABEL: @test_atomic_load_acquire_i32 |
42 define i32 @test_atomic_load_acquire_i32(i32* %ptr) { | 42 define i32 @test_atomic_load_acquire_i32(i32* %ptr) { |
43 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 3) | 43 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.load.i32(i32* %ptr, i32 3) |
44 %res = load atomic i32* %ptr acquire, align 4 | 44 %res = load atomic i32, i32* %ptr acquire, align 4 |
45 ret i32 %res ; CHECK-NEXT: ret i32 %res | 45 ret i32 %res ; CHECK-NEXT: ret i32 %res |
46 } | 46 } |
47 | 47 |
48 ; CHECK-LABEL: @test_atomic_store_release_i32 | 48 ; CHECK-LABEL: @test_atomic_store_release_i32 |
49 define void @test_atomic_store_release_i32(i32* %ptr, i32 %value) { | 49 define void @test_atomic_store_release_i32(i32* %ptr, i32 %value) { |
50 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
4) | 50 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 %value, i32* %ptr, i32
4) |
51 store atomic i32 %value, i32* %ptr release, align 4 | 51 store atomic i32 %value, i32* %ptr release, align 4 |
52 ret void ; CHECK-NEXT: ret void | 52 ret void ; CHECK-NEXT: ret void |
53 } | 53 } |
54 | 54 |
(...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
121 ret { i32, i1 } %res | 121 ret { i32, i1 } %res |
122 } | 122 } |
123 | 123 |
124 ; CHECK-LABEL: @test_cmpxchg_relaxed_relaxed | 124 ; CHECK-LABEL: @test_cmpxchg_relaxed_relaxed |
125 define { i32, i1 } @test_cmpxchg_relaxed_relaxed(i32* %ptr, i32 %value) { | 125 define { i32, i1 } @test_cmpxchg_relaxed_relaxed(i32* %ptr, i32 %value) { |
126 ; Failure ordering is upgraded. | 126 ; Failure ordering is upgraded. |
127 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.cmpxchg.i32(i32* %ptr, i32 0,
i32 %value, i32 6, i32 6) | 127 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.cmpxchg.i32(i32* %ptr, i32 0,
i32 %value, i32 6, i32 6) |
128 %res = cmpxchg i32* %ptr, i32 0, i32 %value monotonic monotonic | 128 %res = cmpxchg i32* %ptr, i32 0, i32 %value monotonic monotonic |
129 ret { i32, i1 } %res | 129 ret { i32, i1 } %res |
130 } | 130 } |
OLD | NEW |