Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(498)

Unified Diff: test/Transforms/NaCl/atomic/val_compare_and_swap.ll

Issue 939073008: Rebased PNaCl localmods in LLVM to 223109 (Closed)
Patch Set: undo localmod Created 5 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « test/Transforms/NaCl/atomic/sync_synchronize.ll ('k') | test/Transforms/NaCl/atomic/volatile.ll » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: test/Transforms/NaCl/atomic/val_compare_and_swap.ll
diff --git a/test/Transforms/NaCl/atomic/val_compare_and_swap.ll b/test/Transforms/NaCl/atomic/val_compare_and_swap.ll
new file mode 100644
index 0000000000000000000000000000000000000000..d30eba2ebdd03a33a220abc061d34dfdfeae1f1e
--- /dev/null
+++ b/test/Transforms/NaCl/atomic/val_compare_and_swap.ll
@@ -0,0 +1,112 @@
+; RUN: opt -nacl-rewrite-atomics -S < %s | FileCheck %s
+
+; Each of these tests validates that the corresponding legacy GCC-style builtins
+; are properly rewritten to NaCl atomic builtins. Only the GCC-style builtins
+; that have corresponding primitives in C11/C++11 and which emit different code
+; are tested. These legacy GCC-builtins only support sequential-consistency
+; (enum value 6).
+;
+; test_* tests the corresponding __sync_* builtin. See:
+; http://gcc.gnu.org/onlinedocs/gcc-4.8.1/gcc/_005f_005fsync-Builtins.html
+
+target datalayout = "p:32:32:32"
+
+; __sync_val_compare_and_swap
+
+; CHECK-LABEL: @test_val_compare_and_swap_i8
+define zeroext i8 @test_val_compare_and_swap_i8(i8* %ptr, i8 zeroext %oldval, i8 zeroext %newval) {
+ ; CHECK-NEXT: %res = call i8 @llvm.nacl.atomic.cmpxchg.i8(i8* %ptr, i8 %oldval, i8 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i8 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i8, i1 } undef, i8 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i8, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %val = extractvalue { i8, i1 } %res.insert.success, 0
+ %res = cmpxchg i8* %ptr, i8 %oldval, i8 %newval seq_cst seq_cst
+ %val = extractvalue { i8, i1 } %res, 0
+ ret i8 %val ; CHECK-NEXT: ret i8 %val
+}
+
+; CHECK-LABEL: @test_val_compare_and_swap_i16
+define zeroext i16 @test_val_compare_and_swap_i16(i16* %ptr, i16 zeroext %oldval, i16 zeroext %newval) {
+ ; CHECK-NEXT: %res = call i16 @llvm.nacl.atomic.cmpxchg.i16(i16* %ptr, i16 %oldval, i16 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i16 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i16, i1 } undef, i16 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i16, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %val = extractvalue { i16, i1 } %res.insert.success, 0
+ %res = cmpxchg i16* %ptr, i16 %oldval, i16 %newval seq_cst seq_cst
+ %val = extractvalue { i16, i1 } %res, 0
+ ret i16 %val ; CHECK-NEXT: ret i16 %val
+}
+
+; CHECK-LABEL: @test_val_compare_and_swap_i32
+define i32 @test_val_compare_and_swap_i32(i32* %ptr, i32 %oldval, i32 %newval) {
+ ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.cmpxchg.i32(i32* %ptr, i32 %oldval, i32 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i32 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i32, i1 } undef, i32 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i32, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %val = extractvalue { i32, i1 } %res.insert.success, 0
+ %res = cmpxchg i32* %ptr, i32 %oldval, i32 %newval seq_cst seq_cst
+ %val = extractvalue { i32, i1 } %res, 0
+ ret i32 %val ; CHECK-NEXT: ret i32 %val
+}
+
+; CHECK-LABEL: @test_val_compare_and_swap_i64
+define i64 @test_val_compare_and_swap_i64(i64* %ptr, i64 %oldval, i64 %newval) {
+ ; CHECK-NEXT: %res = call i64 @llvm.nacl.atomic.cmpxchg.i64(i64* %ptr, i64 %oldval, i64 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i64 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i64, i1 } undef, i64 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i64, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %val = extractvalue { i64, i1 } %res.insert.success, 0
+ %res = cmpxchg i64* %ptr, i64 %oldval, i64 %newval seq_cst seq_cst
+ %val = extractvalue { i64, i1 } %res, 0
+ ret i64 %val ; CHECK-NEXT: ret i64 %val
+}
+
+; __sync_bool_compare_and_swap
+
+; CHECK-LABEL: @test_bool_compare_and_swap_i8
+define zeroext i1 @test_bool_compare_and_swap_i8(i8* %ptr, i8 zeroext %oldval, i8 zeroext %newval) {
+ ; CHECK-NEXT: %res = call i8 @llvm.nacl.atomic.cmpxchg.i8(i8* %ptr, i8 %oldval, i8 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i8 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i8, i1 } undef, i8 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i8, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %suc = extractvalue { i8, i1 } %res.insert.success, 1
+ %res = cmpxchg i8* %ptr, i8 %oldval, i8 %newval seq_cst seq_cst
+ %suc = extractvalue { i8, i1 } %res, 1
+ ret i1 %suc ; CHECK-NEXT: ret i1 %suc
+}
+
+; CHECK-LABEL: @test_bool_compare_and_swap_i16
+define zeroext i1 @test_bool_compare_and_swap_i16(i16* %ptr, i16 zeroext %oldval, i16 zeroext %newval) {
+ ; CHECK-NEXT: %res = call i16 @llvm.nacl.atomic.cmpxchg.i16(i16* %ptr, i16 %oldval, i16 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i16 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i16, i1 } undef, i16 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i16, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %suc = extractvalue { i16, i1 } %res.insert.success, 1
+ %res = cmpxchg i16* %ptr, i16 %oldval, i16 %newval seq_cst seq_cst
+ %suc = extractvalue { i16, i1 } %res, 1
+ ret i1 %suc ; CHECK-NEXT: ret i1 %suc
+}
+
+; CHECK-LABEL: @test_bool_compare_and_swap_i32
+define i1 @test_bool_compare_and_swap_i32(i32* %ptr, i32 %oldval, i32 %newval) {
+ ; CHECK-NEXT: %res = call i32 @llvm.nacl.atomic.cmpxchg.i32(i32* %ptr, i32 %oldval, i32 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i32 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i32, i1 } undef, i32 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i32, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %suc = extractvalue { i32, i1 } %res.insert.success, 1
+ %res = cmpxchg i32* %ptr, i32 %oldval, i32 %newval seq_cst seq_cst
+ %suc = extractvalue { i32, i1 } %res, 1
+ ret i1 %suc ; CHECK-NEXT: ret i1 %suc
+}
+
+; CHECK-LABEL: @test_bool_compare_and_swap_i64
+define i1 @test_bool_compare_and_swap_i64(i64* %ptr, i64 %oldval, i64 %newval) {
+ ; CHECK-NEXT: %res = call i64 @llvm.nacl.atomic.cmpxchg.i64(i64* %ptr, i64 %oldval, i64 %newval, i32 6, i32 6)
+ ; CHECK-NEXT: %success = icmp eq i64 %res, %oldval
+ ; CHECK-NEXT: %res.insert.value = insertvalue { i64, i1 } undef, i64 %res, 0
+ ; CHECK-NEXT: %res.insert.success = insertvalue { i64, i1 } %res.insert.value, i1 %success, 1
+ ; CHECK-NEXT: %suc = extractvalue { i64, i1 } %res.insert.success, 1
+ %res = cmpxchg i64* %ptr, i64 %oldval, i64 %newval seq_cst seq_cst
+ %suc = extractvalue { i64, i1 } %res, 1
+ ret i1 %suc ; CHECK-NEXT: ret i1 %suc
+}
« no previous file with comments | « test/Transforms/NaCl/atomic/sync_synchronize.ll ('k') | test/Transforms/NaCl/atomic/volatile.ll » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698