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