aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/atomic-flags.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/X86/atomic-flags.ll')
-rw-r--r--test/CodeGen/X86/atomic-flags.ll61
1 files changed, 0 insertions, 61 deletions
diff --git a/test/CodeGen/X86/atomic-flags.ll b/test/CodeGen/X86/atomic-flags.ll
deleted file mode 100644
index e0c4a915965c..000000000000
--- a/test/CodeGen/X86/atomic-flags.ll
+++ /dev/null
@@ -1,61 +0,0 @@
-; RUN: llc < %s -mtriple=x86_64-unknown-unknown -verify-machineinstrs | FileCheck %s
-; RUN: llc < %s -mtriple=i686-unknown-unknown -verify-machineinstrs | FileCheck %s
-
-; Make sure that flags are properly preserved despite atomic optimizations.
-
-define i32 @atomic_and_flags_1(i8* %p, i32 %a, i32 %b) {
-; CHECK-LABEL: atomic_and_flags_1:
-
- ; Generate flags value, and use it.
- ; CHECK: cmpl
- ; CHECK-NEXT: jne
- %cmp = icmp eq i32 %a, %b
- br i1 %cmp, label %L1, label %L2
-
-L1:
- ; The following pattern will get folded.
- ; CHECK: incb
- %1 = load atomic i8, i8* %p seq_cst, align 1
- %2 = add i8 %1, 1 ; This forces the INC instruction to be generated.
- store atomic i8 %2, i8* %p release, align 1
-
- ; Use the comparison result again. We need to rematerialize the comparison
- ; somehow. This test checks that cmpl gets emitted again, but any
- ; rematerialization would work (the optimizer used to clobber the flags with
- ; the add).
- ; CHECK-NEXT: cmpl
- ; CHECK-NEXT: jne
- br i1 %cmp, label %L3, label %L4
-
-L2:
- ret i32 2
-
-L3:
- ret i32 3
-
-L4:
- ret i32 4
-}
-
-; Same as above, but using 2 as immediate to avoid the INC instruction.
-define i32 @atomic_and_flags_2(i8* %p, i32 %a, i32 %b) {
-; CHECK-LABEL: atomic_and_flags_2:
- ; CHECK: cmpl
- ; CHECK-NEXT: jne
- %cmp = icmp eq i32 %a, %b
- br i1 %cmp, label %L1, label %L2
-L1:
- ; CHECK: addb
- %1 = load atomic i8, i8* %p seq_cst, align 1
- %2 = add i8 %1, 2
- store atomic i8 %2, i8* %p release, align 1
- ; CHECK-NEXT: cmpl
- ; CHECK-NEXT: jne
- br i1 %cmp, label %L3, label %L4
-L2:
- ret i32 2
-L3:
- ret i32 3
-L4:
- ret i32 4
-}