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 ; Each of these tests validates that the corresponding legacy GCC-style builtins | 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 | 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 | 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 | 6 ; are tested. These legacy GCC-builtins only support sequential-consistency |
7 ; (enum value 6). | 7 ; (enum value 6). |
8 ; | 8 ; |
9 ; test_* tests the corresponding __sync_* builtin. See: | 9 ; test_* tests the corresponding __sync_* builtin. See: |
10 ; http://gcc.gnu.org/onlinedocs/gcc-4.8.1/gcc/_005f_005fsync-Builtins.html | 10 ; http://gcc.gnu.org/onlinedocs/gcc-4.8.1/gcc/_005f_005fsync-Builtins.html |
11 | 11 |
12 target datalayout = "p:32:32:32" | 12 target datalayout = "p:32:32:32" |
13 | 13 |
14 ; CHECK-LABEL: @test_lock_test_and_set_i8 | 14 ; CHECK-LABEL: @test_lock_test_and_set_i8 |
15 define zeroext i8 @test_lock_test_and_set_i8(i8* %ptr, i8 zeroext %value) { | 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) | 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 | 17 %res = atomicrmw xchg i8* %ptr, i8 %value seq_cst |
18 ret i8 %res ; CHECK-NEXT: ret i8 %res | 18 ret i8 %res ; CHECK-NEXT: ret i8 %res |
19 } | 19 } |
20 | 20 |
21 ; CHECK-LABEL: @test_lock_release_i8 | 21 ; CHECK-LABEL: @test_lock_release_i8 |
22 define void @test_lock_release_i8(i8* %ptr) { | 22 define void @test_lock_release_i8(i8* %ptr) { |
23 ; Note that the 'release' was changed to a 'seq_cst'. | 23 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i8(i8 0, i8* %ptr, i32 4) |
24 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i8(i8 0, i8* %ptr, i32 6) | |
25 store atomic i8 0, i8* %ptr release, align 1 | 24 store atomic i8 0, i8* %ptr release, align 1 |
26 ret void ; CHECK-NEXT: ret void | 25 ret void ; CHECK-NEXT: ret void |
27 } | 26 } |
28 | 27 |
29 ; CHECK-LABEL: @test_lock_test_and_set_i16 | 28 ; CHECK-LABEL: @test_lock_test_and_set_i16 |
30 define zeroext i16 @test_lock_test_and_set_i16(i16* %ptr, i16 zeroext %value) { | 29 define zeroext i16 @test_lock_test_and_set_i16(i16* %ptr, i16 zeroext %value) { |
31 ; CHECK-NEXT: %res = call i16 @llvm.nacl.atomic.rmw.i16(i32 6, i16* %ptr, i16
%value, i32 6) | 30 ; CHECK-NEXT: %res = call i16 @llvm.nacl.atomic.rmw.i16(i32 6, i16* %ptr, i16
%value, i32 6) |
32 %res = atomicrmw xchg i16* %ptr, i16 %value seq_cst | 31 %res = atomicrmw xchg i16* %ptr, i16 %value seq_cst |
33 ret i16 %res ; CHECK-NEXT: ret i16 %res | 32 ret i16 %res ; CHECK-NEXT: ret i16 %res |
34 } | 33 } |
35 | 34 |
36 ; CHECK-LABEL: @test_lock_release_i16 | 35 ; CHECK-LABEL: @test_lock_release_i16 |
37 define void @test_lock_release_i16(i16* %ptr) { | 36 define void @test_lock_release_i16(i16* %ptr) { |
38 ; Note that the 'release' was changed to a 'seq_cst'. | 37 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i16(i16 0, i16* %ptr, i32 4) |
39 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i16(i16 0, i16* %ptr, i32 6) | |
40 store atomic i16 0, i16* %ptr release, align 2 | 38 store atomic i16 0, i16* %ptr release, align 2 |
41 ret void ; CHECK-NEXT: ret void | 39 ret void ; CHECK-NEXT: ret void |
42 } | 40 } |
43 | 41 |
44 ; CHECK-LABEL: @test_lock_test_and_set_i32 | 42 ; CHECK-LABEL: @test_lock_test_and_set_i32 |
45 define i32 @test_lock_test_and_set_i32(i32* %ptr, i32 %value) { | 43 define i32 @test_lock_test_and_set_i32(i32* %ptr, i32 %value) { |
46 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.rmw.i32(i32 6, i32* %ptr, i32
%value, i32 6) | 44 ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.rmw.i32(i32 6, i32* %ptr, i32
%value, i32 6) |
47 %res = atomicrmw xchg i32* %ptr, i32 %value seq_cst | 45 %res = atomicrmw xchg i32* %ptr, i32 %value seq_cst |
48 ret i32 %res ; CHECK-NEXT: ret i32 %res | 46 ret i32 %res ; CHECK-NEXT: ret i32 %res |
49 } | 47 } |
50 | 48 |
51 ; CHECK-LABEL: @test_lock_release_i32 | 49 ; CHECK-LABEL: @test_lock_release_i32 |
52 define void @test_lock_release_i32(i32* %ptr) { | 50 define void @test_lock_release_i32(i32* %ptr) { |
53 ; Note that the 'release' was changed to a 'seq_cst'. | 51 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 0, i32* %ptr, i32 4) |
54 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i32(i32 0, i32* %ptr, i32 6) | |
55 store atomic i32 0, i32* %ptr release, align 4 | 52 store atomic i32 0, i32* %ptr release, align 4 |
56 ret void ; CHECK-NEXT: ret void | 53 ret void ; CHECK-NEXT: ret void |
57 } | 54 } |
58 | 55 |
59 ; CHECK-LABEL: @test_lock_test_and_set_i64 | 56 ; CHECK-LABEL: @test_lock_test_and_set_i64 |
60 define i64 @test_lock_test_and_set_i64(i64* %ptr, i64 %value) { | 57 define i64 @test_lock_test_and_set_i64(i64* %ptr, i64 %value) { |
61 ; CHECK-NEXT: %res = call i64 @llvm.nacl.atomic.rmw.i64(i32 6, i64* %ptr, i64
%value, i32 6) | 58 ; CHECK-NEXT: %res = call i64 @llvm.nacl.atomic.rmw.i64(i32 6, i64* %ptr, i64
%value, i32 6) |
62 %res = atomicrmw xchg i64* %ptr, i64 %value seq_cst | 59 %res = atomicrmw xchg i64* %ptr, i64 %value seq_cst |
63 ret i64 %res ; CHECK-NEXT: ret i64 %res | 60 ret i64 %res ; CHECK-NEXT: ret i64 %res |
64 } | 61 } |
65 | 62 |
66 ; CHECK-LABEL: @test_lock_release_i64 | 63 ; CHECK-LABEL: @test_lock_release_i64 |
67 define void @test_lock_release_i64(i64* %ptr) { | 64 define void @test_lock_release_i64(i64* %ptr) { |
68 ; Note that the 'release' was changed to a 'seq_cst'. | 65 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i64(i64 0, i64* %ptr, i32 4) |
69 ; CHECK-NEXT: call void @llvm.nacl.atomic.store.i64(i64 0, i64* %ptr, i32 6) | |
70 store atomic i64 0, i64* %ptr release, align 8 | 66 store atomic i64 0, i64* %ptr release, align 8 |
71 ret void ; CHECK-NEXT: ret void | 67 ret void ; CHECK-NEXT: ret void |
72 } | 68 } |
OLD | NEW |