| 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 |