llvm/test/CodeGen/X86/i128-sdiv.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefix=X64
   4
   5 ; Make sure none of these crash, and that the power-of-two transformations
   6 ; trigger correctly.
   7
   8 define i128 @test1(i128 %x) nounwind {
   9 ; X86-LABEL: test1:
  10 ; X86:       # %bb.0:
  11 ; X86-NEXT:    pushl %edi
  12 ; X86-NEXT:    pushl %esi
  13 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  14 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  15 ; X86-NEXT:    movl %ecx, %edx
  16 ; X86-NEXT:    sarl $31, %edx
  17 ; X86-NEXT:    movl %edx, %esi
  18 ; X86-NEXT:    shrl $30, %esi
  19 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edi
  20 ; X86-NEXT:    addl %edx, %edi
  21 ; X86-NEXT:    adcl {{[0-9]+}}(%esp), %edx
  22 ; X86-NEXT:    adcl {{[0-9]+}}(%esp), %esi
  23 ; X86-NEXT:    adcl $0, %ecx
  24 ; X86-NEXT:    shrdl $2, %ecx, %esi
  25 ; X86-NEXT:    movl %ecx, %edx
  26 ; X86-NEXT:    sarl $2, %edx
  27 ; X86-NEXT:    sarl $31, %ecx
  28 ; X86-NEXT:    movl %ecx, 12(%eax)
  29 ; X86-NEXT:    movl %ecx, 8(%eax)
  30 ; X86-NEXT:    movl %edx, 4(%eax)
  31 ; X86-NEXT:    movl %esi, (%eax)
  32 ; X86-NEXT:    popl %esi
  33 ; X86-NEXT:    popl %edi
  34 ; X86-NEXT:    retl $4
  35 ;
  36 ; X64-LABEL: test1:
  37 ; X64:       # %bb.0:
  38 ; X64-NEXT:    movq %rsi, %rax
  39 ; X64-NEXT:    sarq $63, %rax
  40 ; X64-NEXT:    movq %rax, %rdx
  41 ; X64-NEXT:    shrq $62, %rdx
  42 ; X64-NEXT:    addq %rdi, %rax
  43 ; X64-NEXT:    adcq %rsi, %rdx
  44 ; X64-NEXT:    movq %rdx, %rax
  45 ; X64-NEXT:    sarq $2, %rax
  46 ; X64-NEXT:    sarq $63, %rdx
  47 ; X64-NEXT:    retq
  48   %tmp = sdiv i128 %x, 73786976294838206464
  49   ret i128 %tmp
  50 }
  51
  52 define i128 @test2(i128 %x) nounwind {
  53 ; X86-LABEL: test2:
  54 ; X86:       # %bb.0:
  55 ; X86-NEXT:    pushl %ebx
  56 ; X86-NEXT:    pushl %edi
  57 ; X86-NEXT:    pushl %esi
  58 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  59 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  60 ; X86-NEXT:    movl %ecx, %edx
  61 ; X86-NEXT:    sarl $31, %edx
  62 ; X86-NEXT:    movl %edx, %esi
  63 ; X86-NEXT:    shrl $30, %esi
  64 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edi
  65 ; X86-NEXT:    addl %edx, %edi
  66 ; X86-NEXT:    adcl {{[0-9]+}}(%esp), %edx
  67 ; X86-NEXT:    adcl {{[0-9]+}}(%esp), %esi
  68 ; X86-NEXT:    adcl $0, %ecx
  69 ; X86-NEXT:    shrdl $2, %ecx, %esi
  70 ; X86-NEXT:    movl %ecx, %edx
  71 ; X86-NEXT:    sarl $31, %edx
  72 ; X86-NEXT:    sarl $2, %ecx
  73 ; X86-NEXT:    xorl %edi, %edi
  74 ; X86-NEXT:    negl %esi
  75 ; X86-NEXT:    movl $0, %ebx
  76 ; X86-NEXT:    sbbl %ecx, %ebx
  77 ; X86-NEXT:    movl $0, %ecx
  78 ; X86-NEXT:    sbbl %edx, %ecx
  79 ; X86-NEXT:    sbbl %edx, %edi
  80 ; X86-NEXT:    movl %esi, (%eax)
  81 ; X86-NEXT:    movl %ebx, 4(%eax)
  82 ; X86-NEXT:    movl %ecx, 8(%eax)
  83 ; X86-NEXT:    movl %edi, 12(%eax)
  84 ; X86-NEXT:    popl %esi
  85 ; X86-NEXT:    popl %edi
  86 ; X86-NEXT:    popl %ebx
  87 ; X86-NEXT:    retl $4
  88 ;
  89 ; X64-LABEL: test2:
  90 ; X64:       # %bb.0:
  91 ; X64-NEXT:    movq %rsi, %rcx
  92 ; X64-NEXT:    sarq $63, %rcx
  93 ; X64-NEXT:    movq %rcx, %rax
  94 ; X64-NEXT:    shrq $62, %rax
  95 ; X64-NEXT:    addq %rdi, %rcx
  96 ; X64-NEXT:    adcq %rsi, %rax
  97 ; X64-NEXT:    movq %rax, %rcx
  98 ; X64-NEXT:    sarq $63, %rcx
  99 ; X64-NEXT:    sarq $2, %rax
 100 ; X64-NEXT:    xorl %edx, %edx
 101 ; X64-NEXT:    negq %rax
 102 ; X64-NEXT:    sbbq %rcx, %rdx
 103 ; X64-NEXT:    retq
 104   %tmp = sdiv i128 %x, -73786976294838206464
 105   ret i128 %tmp
 106 }
 107
 108 define i128 @test3(i128 %x) nounwind {
 109 ; X86-LABEL: test3:
 110 ; X86:       # %bb.0:
 111 ; X86-NEXT:    pushl %ebp
 112 ; X86-NEXT:    movl %esp, %ebp
 113 ; X86-NEXT:    pushl %edi
 114 ; X86-NEXT:    pushl %esi
 115 ; X86-NEXT:    andl $-8, %esp
 116 ; X86-NEXT:    subl $16, %esp
 117 ; X86-NEXT:    movl 8(%ebp), %esi
 118 ; X86-NEXT:    movl %esp, %eax
 119 ; X86-NEXT:    pushl $-1
 120 ; X86-NEXT:    pushl $-5
 121 ; X86-NEXT:    pushl $-1
 122 ; X86-NEXT:    pushl $-3
 123 ; X86-NEXT:    pushl 24(%ebp)
 124 ; X86-NEXT:    pushl 20(%ebp)
 125 ; X86-NEXT:    pushl 16(%ebp)
 126 ; X86-NEXT:    pushl 12(%ebp)
 127 ; X86-NEXT:    pushl %eax
 128 ; X86-NEXT:    calll __divti3
 129 ; X86-NEXT:    addl $32, %esp
 130 ; X86-NEXT:    movl (%esp), %eax
 131 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 132 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 133 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edi
 134 ; X86-NEXT:    movl %edi, 12(%esi)
 135 ; X86-NEXT:    movl %edx, 8(%esi)
 136 ; X86-NEXT:    movl %ecx, 4(%esi)
 137 ; X86-NEXT:    movl %eax, (%esi)
 138 ; X86-NEXT:    movl %esi, %eax
 139 ; X86-NEXT:    leal -8(%ebp), %esp
 140 ; X86-NEXT:    popl %esi
 141 ; X86-NEXT:    popl %edi
 142 ; X86-NEXT:    popl %ebp
 143 ; X86-NEXT:    retl $4
 144 ;
 145 ; X64-LABEL: test3:
 146 ; X64:       # %bb.0:
 147 ; X64-NEXT:    pushq %rax
 148 ; X64-NEXT:    movq $-3, %rdx
 149 ; X64-NEXT:    movq $-5, %rcx
 150 ; X64-NEXT:    callq __divti3@PLT
 151 ; X64-NEXT:    popq %rcx
 152 ; X64-NEXT:    retq
 153   %tmp = sdiv i128 %x, -73786976294838206467
 154   ret i128 %tmp
 155 }