OLD | NEW |
(Empty) | |
| 1 ; RUN: opt -nacl-rewrite-atomics -pnacl-memory-order-seq-cst-only=false -S < %s
| FileCheck %s |
| 2 |
| 3 ; Each of these tests validates that the corresponding legacy GCC-style builtins |
| 4 ; are properly rewritten to NaCl atomic builtins. Only the GCC-style builtins |
| 5 ; that have corresponding primitives in C11/C++11 and which emit different code |
| 6 ; are tested. These legacy GCC-builtins only support sequential-consistency |
| 7 ; (enum value 6). |
| 8 ; |
| 9 ; test_* tests the corresponding __sync_* builtin. See: |
| 10 ; http://gcc.gnu.org/onlinedocs/gcc-4.8.1/gcc/_005f_005fsync-Builtins.html |
| 11 |
| 12 target datalayout = "p:32:32:32" |
| 13 |
| 14 ; CHECK-LABEL: @test_lock_test_and_set_i8 |
| 15 define zeroext i8 @test_lock_test_and_set_i8(i8* %ptr, i8 zeroext %value) { |
| 16 ; CHECK-NEXT: %res = call i8 @llvm.nacl.atomic.rmw.i8(i32 6, i8* %ptr, i8 %val
ue, i32 6) |
| 17 %res = atomicrmw xchg i8* %ptr, i8 %value seq_cst |
| 18 ret i8 %res ; CHECK-NEXT: ret i8 %res |
| 19 } |
| 20 |
| 21 ; CHECK-LABEL: @test_lock_release_i8 |
| 22 define void @test_lock_release_i8(i8* %ptr) { |
| 23 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i8(i8 0, i8* %ptr, i32 4) |
| 24 store atomic i8 0, i8* %ptr release, align 1 |
| 25 ret void ; CHECK-NEXT: ret void |
| 26 } |
| 27 |
| 28 ; CHECK-LABEL: @test_lock_test_and_set_i16 |
| 29 define zeroext i16 @test_lock_test_and_set_i16(i16* %ptr, i16 zeroext %value) { |
| 30 ; CHECK-NEXT: %res = call i16 @llvm.nacl.atomic.rmw.i16(i32 6, i16* %ptr, i16
%value, i32 6) |
| 31 %res = atomicrmw xchg i16* %ptr, i16 %value seq_cst |
| 32 ret i16 %res ; CHECK-NEXT: ret i16 %res |
| 33 } |
| 34 |
| 35 ; CHECK-LABEL: @test_lock_release_i16 |
| 36 define void @test_lock_release_i16(i16* %ptr) { |
| 37 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i16(i16 0, i16* %ptr, i32 4) |
| 38 store atomic i16 0, i16* %ptr release, align 2 |
| 39 ret void ; CHECK-NEXT: ret void |
| 40 } |
| 41 |
| 42 ; CHECK-LABEL: @test_lock_test_and_set_i32 |
| 43 define i32 @test_lock_test_and_set_i32(i32* %ptr, i32 %value) { |
| 44 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.rmw.i32(i32 6, i32* %ptr, i32
%value, i32 6) |
| 45 %res = atomicrmw xchg i32* %ptr, i32 %value seq_cst |
| 46 ret i32 %res ; CHECK-NEXT: ret i32 %res |
| 47 } |
| 48 |
| 49 ; CHECK-LABEL: @test_lock_release_i32 |
| 50 define void @test_lock_release_i32(i32* %ptr) { |
| 51 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 0, i32* %ptr, i32 4) |
| 52 store atomic i32 0, i32* %ptr release, align 4 |
| 53 ret void ; CHECK-NEXT: ret void |
| 54 } |
| 55 |
| 56 ; CHECK-LABEL: @test_lock_test_and_set_i64 |
| 57 define i64 @test_lock_test_and_set_i64(i64* %ptr, i64 %value) { |
| 58 ; CHECK-NEXT: %res = call i64 @llvm.nacl.atomic.rmw.i64(i32 6, i64* %ptr, i64
%value, i32 6) |
| 59 %res = atomicrmw xchg i64* %ptr, i64 %value seq_cst |
| 60 ret i64 %res ; CHECK-NEXT: ret i64 %res |
| 61 } |
| 62 |
| 63 ; CHECK-LABEL: @test_lock_release_i64 |
| 64 define void @test_lock_release_i64(i64* %ptr) { |
| 65 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i64(i64 0, i64* %ptr, i32 4) |
| 66 store atomic i64 0, i64* %ptr release, align 8 |
| 67 ret void ; CHECK-NEXT: ret void |
| 68 } |
OLD | NEW |