[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / cmpxchg8b.ll
blobcaf40c541e2801d01fb74790c7e986d6fd329272
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown- -mcpu=core2 | FileCheck %s --check-prefixes=CHECK,X86
3 ; RUN: llc < %s -mtriple=x86_64-unknown- -mcpu=core2 | FileCheck %s --check-prefixes=CHECK,X64
4 ; RUN: llc < %s -mtriple=i686-unknown- -mcpu=i486 | FileCheck %s --check-prefixes=I486
5 ; RUN: llc < %s -mtriple=i686-unknown- -mcpu=znver1 | FileCheck %s --check-prefixes=CHECK,X86
7 ; Basic 64-bit cmpxchg
8 define void @t1(i64* nocapture %p) nounwind ssp {
9 ; X86-LABEL: t1:
10 ; X86:       # %bb.0: # %entry
11 ; X86-NEXT:    pushl %ebx
12 ; X86-NEXT:    pushl %esi
13 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
14 ; X86-NEXT:    xorl %eax, %eax
15 ; X86-NEXT:    xorl %edx, %edx
16 ; X86-NEXT:    xorl %ecx, %ecx
17 ; X86-NEXT:    movl $1, %ebx
18 ; X86-NEXT:    lock cmpxchg8b (%esi)
19 ; X86-NEXT:    popl %esi
20 ; X86-NEXT:    popl %ebx
21 ; X86-NEXT:    retl
23 ; X64-LABEL: t1:
24 ; X64:       # %bb.0: # %entry
25 ; X64-NEXT:    movl $1, %ecx
26 ; X64-NEXT:    xorl %eax, %eax
27 ; X64-NEXT:    lock cmpxchgq %rcx, (%rdi)
28 ; X64-NEXT:    retq
30 ; I486-LABEL: t1:
31 ; I486:       # %bb.0: # %entry
32 ; I486-NEXT:    pushl %ebp
33 ; I486-NEXT:    movl %esp, %ebp
34 ; I486-NEXT:    andl $-8, %esp
35 ; I486-NEXT:    subl $8, %esp
36 ; I486-NEXT:    movl 8(%ebp), %eax
37 ; I486-NEXT:    movl $0, {{[0-9]+}}(%esp)
38 ; I486-NEXT:    movl $0, (%esp)
39 ; I486-NEXT:    movl %esp, %ecx
40 ; I486-NEXT:    pushl $5
41 ; I486-NEXT:    pushl $5
42 ; I486-NEXT:    pushl $0
43 ; I486-NEXT:    pushl $1
44 ; I486-NEXT:    pushl %ecx
45 ; I486-NEXT:    pushl %eax
46 ; I486-NEXT:    calll __atomic_compare_exchange_8
47 ; I486-NEXT:    addl $24, %esp
48 ; I486-NEXT:    movl %ebp, %esp
49 ; I486-NEXT:    popl %ebp
50 ; I486-NEXT:    retl
51 entry:
52   %r = cmpxchg i64* %p, i64 0, i64 1 seq_cst seq_cst
53   ret void