[X86] Add PR25858 test cases

llvm-svn: 352075

llvm/test/CodeGen/X86/combine-sbb.ll

@@ -0,0 +1,124 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X86
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X64
+
+%WideUInt32 = type { i32, i32 }
+
+define void @PR25858_i32(%WideUInt32* sret, %WideUInt32*, %WideUInt32*) nounwind {
+; X86-LABEL: PR25858_i32:
+; X86:       # %bb.0: # %top
+; X86-NEXT:    pushl %esi
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT:    movl (%edx), %esi
+; X86-NEXT:    movl 4(%edx), %edx
+; X86-NEXT:    subl 4(%ecx), %edx
+; X86-NEXT:    subl (%ecx), %esi
+; X86-NEXT:    sbbl $0, %edx
+; X86-NEXT:    movl %esi, (%eax)
+; X86-NEXT:    movl %edx, 4(%eax)
+; X86-NEXT:    popl %esi
+; X86-NEXT:    retl $4
+;
+; X64-LABEL: PR25858_i32:
+; X64:       # %bb.0: # %top
+; X64-NEXT:    movq %rdi, %rax
+; X64-NEXT:    movl (%rsi), %ecx
+; X64-NEXT:    movl 4(%rsi), %esi
+; X64-NEXT:    subl 4(%rdx), %esi
+; X64-NEXT:    subl (%rdx), %ecx
+; X64-NEXT:    sbbl $0, %esi
+; X64-NEXT:    movl %ecx, (%rdi)
+; X64-NEXT:    movl %esi, 4(%rdi)
+; X64-NEXT:    retq
+top:
+  %3 = bitcast %WideUInt32* %1 to i32*
+  %4 = load i32, i32* %3, align 4
+  %5 = bitcast %WideUInt32* %2 to i32*
+  %6 = load i32, i32* %5, align 4
+  %7 = sub i32 %4, %6
+  %8 = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %4, i32 %6)
+  %9 = extractvalue { i32, i1 } %8, 1
+  %10 = getelementptr inbounds %WideUInt32, %WideUInt32* %1, i32 0, i32 1
+  %11 = load i32, i32* %10, align 8
+  %12 = getelementptr inbounds %WideUInt32, %WideUInt32* %2, i32 0, i32 1
+  %13 = load i32, i32* %12, align 8
+  %14 = sub i32 %11, %13
+  %.neg1 = sext i1 %9 to i32
+  %15 = add i32 %14, %.neg1
+  %16 = insertvalue %WideUInt32 undef, i32 %7, 0
+  %17 = insertvalue %WideUInt32 %16, i32 %15, 1
+  store %WideUInt32 %17, %WideUInt32* %0, align 4
+  ret void
+}
+
+declare  { i32, i1 } @llvm.usub.with.overflow.i32(i32, i32)
+
+%WideUInt64 = type { i64, i64 }
+
+define void @PR25858_i64(%WideUInt64* sret, %WideUInt64*, %WideUInt64*) nounwind {
+; X86-LABEL: PR25858_i64:
+; X86:       # %bb.0: # %top
+; X86-NEXT:    pushl %ebp
+; X86-NEXT:    pushl %ebx
+; X86-NEXT:    pushl %edi
+; X86-NEXT:    pushl %esi
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
+; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
+; X86-NEXT:    movl (%edx), %esi
+; X86-NEXT:    movl 4(%edx), %edi
+; X86-NEXT:    subl (%ecx), %esi
+; X86-NEXT:    sbbl 4(%ecx), %edi
+; X86-NEXT:    setb %bl
+; X86-NEXT:    movl 12(%edx), %ebp
+; X86-NEXT:    movl 8(%edx), %edx
+; X86-NEXT:    subl 8(%ecx), %edx
+; X86-NEXT:    sbbl 12(%ecx), %ebp
+; X86-NEXT:    movzbl %bl, %ecx
+; X86-NEXT:    subl %ecx, %edx
+; X86-NEXT:    sbbl $0, %ebp
+; X86-NEXT:    movl %edi, 4(%eax)
+; X86-NEXT:    movl %esi, (%eax)
+; X86-NEXT:    movl %edx, 8(%eax)
+; X86-NEXT:    movl %ebp, 12(%eax)
+; X86-NEXT:    popl %esi
+; X86-NEXT:    popl %edi
+; X86-NEXT:    popl %ebx
+; X86-NEXT:    popl %ebp
+; X86-NEXT:    retl $4
+;
+; X64-LABEL: PR25858_i64:
+; X64:       # %bb.0: # %top
+; X64-NEXT:    movq %rdi, %rax
+; X64-NEXT:    movq (%rsi), %rcx
+; X64-NEXT:    movq 8(%rsi), %rsi
+; X64-NEXT:    subq 8(%rdx), %rsi
+; X64-NEXT:    subq (%rdx), %rcx
+; X64-NEXT:    sbbq $0, %rsi
+; X64-NEXT:    movq %rcx, (%rdi)
+; X64-NEXT:    movq %rsi, 8(%rdi)
+; X64-NEXT:    retq
+top:
+  %3 = bitcast %WideUInt64* %1 to i64*
+  %4 = load i64, i64* %3, align 8
+  %5 = bitcast %WideUInt64* %2 to i64*
+  %6 = load i64, i64* %5, align 8
+  %7 = sub i64 %4, %6
+  %8 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 %4, i64 %6)
+  %9 = extractvalue { i64, i1 } %8, 1
+  %10 = getelementptr inbounds %WideUInt64, %WideUInt64* %1, i64 0, i32 1
+  %11 = load i64, i64* %10, align 8
+  %12 = getelementptr inbounds %WideUInt64, %WideUInt64* %2, i64 0, i32 1
+  %13 = load i64, i64* %12, align 8
+  %14 = sub i64 %11, %13
+  %.neg1 = sext i1 %9 to i64
+  %15 = add i64 %14, %.neg1
+  %16 = insertvalue %WideUInt64 undef, i64 %7, 0
+  %17 = insertvalue %WideUInt64 %16, i64 %15, 1
+  store %WideUInt64 %17, %WideUInt64* %0, align 8
+  ret void
+}
+
+declare  { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64)