diff options
| -rw-r--r-- | llvm/test/CodeGen/X86/divide-by-constant.ll | 82 |
1 files changed, 57 insertions, 25 deletions
diff --git a/llvm/test/CodeGen/X86/divide-by-constant.ll b/llvm/test/CodeGen/X86/divide-by-constant.ll index 8f0bb1075bd..0dbb215a1bf 100644 --- a/llvm/test/CodeGen/X86/divide-by-constant.ll +++ b/llvm/test/CodeGen/X86/divide-by-constant.ll @@ -331,62 +331,38 @@ entry: ret i64 %div } -define { i64, i32 } @PR38622(i64) { +define { i64, i32 } @PR38622(i64) nounwind { ; X32-LABEL: PR38622: ; X32: # %bb.0: ; X32-NEXT: pushl %ebp -; X32-NEXT: .cfi_def_cfa_offset 8 ; X32-NEXT: pushl %ebx -; X32-NEXT: .cfi_def_cfa_offset 12 ; X32-NEXT: pushl %edi -; X32-NEXT: .cfi_def_cfa_offset 16 ; X32-NEXT: pushl %esi -; X32-NEXT: .cfi_def_cfa_offset 20 ; X32-NEXT: subl $12, %esp -; X32-NEXT: .cfi_def_cfa_offset 32 -; X32-NEXT: .cfi_offset %esi, -20 -; X32-NEXT: .cfi_offset %edi, -16 -; X32-NEXT: .cfi_offset %ebx, -12 -; X32-NEXT: .cfi_offset %ebp, -8 ; X32-NEXT: movl {{[0-9]+}}(%esp), %ebx ; X32-NEXT: movl {{[0-9]+}}(%esp), %ebp ; X32-NEXT: pushl $0 -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl $-294967296 # imm = 0xEE6B2800 -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl %ebp -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl %ebx -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: calll __udivdi3 ; X32-NEXT: addl $16, %esp -; X32-NEXT: .cfi_adjust_cfa_offset -16 ; X32-NEXT: movl %eax, %esi ; X32-NEXT: movl %edx, %edi ; X32-NEXT: pushl $0 -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl $-294967296 # imm = 0xEE6B2800 -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl %ebp -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: pushl %ebx -; X32-NEXT: .cfi_adjust_cfa_offset 4 ; X32-NEXT: calll __umoddi3 ; X32-NEXT: addl $16, %esp -; X32-NEXT: .cfi_adjust_cfa_offset -16 ; X32-NEXT: movl %eax, %ecx ; X32-NEXT: movl %esi, %eax ; X32-NEXT: movl %edi, %edx ; X32-NEXT: addl $12, %esp -; X32-NEXT: .cfi_def_cfa_offset 20 ; X32-NEXT: popl %esi -; X32-NEXT: .cfi_def_cfa_offset 16 ; X32-NEXT: popl %edi -; X32-NEXT: .cfi_def_cfa_offset 12 ; X32-NEXT: popl %ebx -; X32-NEXT: .cfi_def_cfa_offset 8 ; X32-NEXT: popl %ebp -; X32-NEXT: .cfi_def_cfa_offset 4 ; X32-NEXT: retl ; ; X64-LABEL: PR38622: @@ -408,3 +384,59 @@ define { i64, i32 } @PR38622(i64) { %6 = insertvalue { i64, i32 } %5, i32 %4, 1 ret { i64, i32 } %6 } + +define { i64, i32 } @PR38622_signed(i64) nounwind { +; X32-LABEL: PR38622_signed: +; X32: # %bb.0: +; X32-NEXT: pushl %ebp +; X32-NEXT: pushl %ebx +; X32-NEXT: pushl %edi +; X32-NEXT: pushl %esi +; X32-NEXT: subl $12, %esp +; X32-NEXT: movl {{[0-9]+}}(%esp), %ebx +; X32-NEXT: movl {{[0-9]+}}(%esp), %ebp +; X32-NEXT: pushl $0 +; X32-NEXT: pushl $-294967296 # imm = 0xEE6B2800 +; X32-NEXT: pushl %ebp +; X32-NEXT: pushl %ebx +; X32-NEXT: calll __divdi3 +; X32-NEXT: addl $16, %esp +; X32-NEXT: movl %eax, %esi +; X32-NEXT: movl %edx, %edi +; X32-NEXT: pushl $0 +; X32-NEXT: pushl $-294967296 # imm = 0xEE6B2800 +; X32-NEXT: pushl %ebp +; X32-NEXT: pushl %ebx +; X32-NEXT: calll __moddi3 +; X32-NEXT: addl $16, %esp +; X32-NEXT: movl %eax, %ecx +; X32-NEXT: movl %esi, %eax +; X32-NEXT: movl %edi, %edx +; X32-NEXT: addl $12, %esp +; X32-NEXT: popl %esi +; X32-NEXT: popl %edi +; X32-NEXT: popl %ebx +; X32-NEXT: popl %ebp +; X32-NEXT: retl +; +; X64-LABEL: PR38622_signed: +; X64: # %bb.0: +; X64-NEXT: movabsq $1237940039285380275, %rcx # imm = 0x112E0BE826D694B3 +; X64-NEXT: movq %rdi, %rax +; X64-NEXT: imulq %rcx +; X64-NEXT: movq %rdx, %rcx +; X64-NEXT: shrq $63, %rcx +; X64-NEXT: sarq $28, %rdx +; X64-NEXT: leaq (%rdx,%rcx), %rax +; X64-NEXT: addl %ecx, %edx +; X64-NEXT: imull $-294967296, %edx, %ecx # imm = 0xEE6B2800 +; X64-NEXT: subl %ecx, %edi +; X64-NEXT: movl %edi, %edx +; X64-NEXT: retq + %2 = sdiv i64 %0, 4000000000 + %3 = srem i64 %0, 4000000000 + %4 = trunc i64 %3 to i32 + %5 = insertvalue { i64, i32 } undef, i64 %2, 0 + %6 = insertvalue { i64, i32 } %5, i32 %4, 1 + ret { i64, i32 } %6 +} |
