test/CodeGen/X86/bypass-slow-division-tune.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; Check that a division is bypassed when appropriate only.
   3 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -mcpu=atom       < %s | FileCheck -check-prefixes=CHECK,ATOM %s
   4 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -mcpu=silvermont < %s | FileCheck -check-prefixes=CHECK,REST,SLM %s
   5 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -mcpu=skylake    < %s | FileCheck -check-prefixes=CHECK,REST,SKL %s
   6 ; RUN: llc -profile-summary-huge-working-set-size-threshold=1 -mtriple=x86_64-unknown-linux-gnu -mcpu=skylake    < %s | FileCheck -check-prefixes=HUGEWS %s
   7
   8 ; Verify that div32 is bypassed only for Atoms.
   9 define i32 @div32(i32 %a, i32 %b) {
  10 ; ATOM-LABEL: div32:
  11 ; ATOM:       # %bb.0: # %entry
  12 ; ATOM-NEXT:    movl %edi, %eax
  13 ; ATOM-NEXT:    orl %esi, %eax
  14 ; ATOM-NEXT:    testl $-256, %eax
  15 ; ATOM-NEXT:    je .LBB0_1
  16 ; ATOM-NEXT:  # %bb.2:
  17 ; ATOM-NEXT:    movl %edi, %eax
  18 ; ATOM-NEXT:    cltd
  19 ; ATOM-NEXT:    idivl %esi
  20 ; ATOM-NEXT:    retq
  21 ; ATOM-NEXT:  .LBB0_1:
  22 ; ATOM-NEXT:    movzbl %dil, %eax
  23 ; ATOM-NEXT:    divb %sil
  24 ; ATOM-NEXT:    movzbl %al, %eax
  25 ; ATOM-NEXT:    retq
  26 ;
  27 ; REST-LABEL: div32:
  28 ; REST:       # %bb.0: # %entry
  29 ; REST-NEXT:    movl %edi, %eax
  30 ; REST-NEXT:    cltd
  31 ; REST-NEXT:    idivl %esi
  32 ; REST-NEXT:    retq
  33 ;
  34 ; HUGEWS-LABEL: div32:
  35 ; HUGEWS:       # %bb.0: # %entry
  36 ; HUGEWS-NEXT:    movl %edi, %eax
  37 ; HUGEWS-NEXT:    cltd
  38 ; HUGEWS-NEXT:    idivl %esi
  39 ; HUGEWS-NEXT:    retq
  40 entry:
  41   %div = sdiv i32 %a, %b
  42   ret i32 %div
  43 }
  44
  45 ; Verify that div64 is always bypassed.
  46 define i64 @div64(i64 %a, i64 %b) {
  47 ; ATOM-LABEL: div64:
  48 ; ATOM:       # %bb.0: # %entry
  49 ; ATOM-NEXT:    movq %rdi, %rcx
  50 ; ATOM-NEXT:    movq %rdi, %rax
  51 ; ATOM-NEXT:    orq %rsi, %rcx
  52 ; ATOM-NEXT:    shrq $32, %rcx
  53 ; ATOM-NEXT:    je .LBB1_1
  54 ; ATOM-NEXT:  # %bb.2:
  55 ; ATOM-NEXT:    cqto
  56 ; ATOM-NEXT:    idivq %rsi
  57 ; ATOM-NEXT:    retq
  58 ; ATOM-NEXT:  .LBB1_1:
  59 ; ATOM-NEXT:    # kill: def $eax killed $eax killed $rax
  60 ; ATOM-NEXT:    xorl %edx, %edx
  61 ; ATOM-NEXT:    divl %esi
  62 ; ATOM-NEXT:    # kill: def $eax killed $eax def $rax
  63 ; ATOM-NEXT:    retq
  64 ;
  65 ; SLM-LABEL: div64:
  66 ; SLM:       # %bb.0: # %entry
  67 ; SLM-NEXT:    movq %rdi, %rcx
  68 ; SLM-NEXT:    movq %rdi, %rax
  69 ; SLM-NEXT:    orq %rsi, %rcx
  70 ; SLM-NEXT:    shrq $32, %rcx
  71 ; SLM-NEXT:    je .LBB1_1
  72 ; SLM-NEXT:  # %bb.2:
  73 ; SLM-NEXT:    cqto
  74 ; SLM-NEXT:    idivq %rsi
  75 ; SLM-NEXT:    retq
  76 ; SLM-NEXT:  .LBB1_1:
  77 ; SLM-NEXT:    xorl %edx, %edx
  78 ; SLM-NEXT:    # kill: def $eax killed $eax killed $rax
  79 ; SLM-NEXT:    divl %esi
  80 ; SLM-NEXT:    # kill: def $eax killed $eax def $rax
  81 ; SLM-NEXT:    retq
  82 ;
  83 ; SKL-LABEL: div64:
  84 ; SKL:       # %bb.0: # %entry
  85 ; SKL-NEXT:    movq %rdi, %rax
  86 ; SKL-NEXT:    movq %rdi, %rcx
  87 ; SKL-NEXT:    orq %rsi, %rcx
  88 ; SKL-NEXT:    shrq $32, %rcx
  89 ; SKL-NEXT:    je .LBB1_1
  90 ; SKL-NEXT:  # %bb.2:
  91 ; SKL-NEXT:    cqto
  92 ; SKL-NEXT:    idivq %rsi
  93 ; SKL-NEXT:    retq
  94 ; SKL-NEXT:  .LBB1_1:
  95 ; SKL-NEXT:    # kill: def $eax killed $eax killed $rax
  96 ; SKL-NEXT:    xorl %edx, %edx
  97 ; SKL-NEXT:    divl %esi
  98 ; SKL-NEXT:    # kill: def $eax killed $eax def $rax
  99 ; SKL-NEXT:    retq
 100 ;
 101 ; HUGEWS-LABEL: div64:
 102 ; HUGEWS:       # %bb.0: # %entry
 103 ; HUGEWS-NEXT:    movq %rdi, %rax
 104 ; HUGEWS-NEXT:    cqto
 105 ; HUGEWS-NEXT:    idivq %rsi
 106 ; HUGEWS-NEXT:    retq
 107 entry:
 108   %div = sdiv i64 %a, %b
 109   ret i64 %div
 110 }
 111
 112
 113 ; Verify that no extra code is generated when optimizing for size.
 114
 115 define i64 @div64_optsize(i64 %a, i64 %b) optsize {
 116 ; CHECK-LABEL: div64_optsize:
 117 ; CHECK:       # %bb.0:
 118 ; CHECK-NEXT:    movq %rdi, %rax
 119 ; CHECK-NEXT:    cqto
 120 ; CHECK-NEXT:    idivq %rsi
 121 ; CHECK-NEXT:    retq
 122 ;
 123 ; HUGEWS-LABEL: div64_optsize:
 124 ; HUGEWS:       # %bb.0:
 125 ; HUGEWS-NEXT:    movq %rdi, %rax
 126 ; HUGEWS-NEXT:    cqto
 127 ; HUGEWS-NEXT:    idivq %rsi
 128 ; HUGEWS-NEXT:    retq
 129   %div = sdiv i64 %a, %b
 130   ret i64 %div
 131 }
 132
 133 define i64 @div64_hugews(i64 %a, i64 %b) {
 134 ; ATOM-LABEL: div64_hugews:
 135 ; ATOM:       # %bb.0:
 136 ; ATOM-NEXT:    movq %rdi, %rcx
 137 ; ATOM-NEXT:    movq %rdi, %rax
 138 ; ATOM-NEXT:    orq %rsi, %rcx
 139 ; ATOM-NEXT:    shrq $32, %rcx
 140 ; ATOM-NEXT:    je .LBB3_1
 141 ; ATOM-NEXT:  # %bb.2:
 142 ; ATOM-NEXT:    cqto
 143 ; ATOM-NEXT:    idivq %rsi
 144 ; ATOM-NEXT:    retq
 145 ; ATOM-NEXT:  .LBB3_1:
 146 ; ATOM-NEXT:    # kill: def $eax killed $eax killed $rax
 147 ; ATOM-NEXT:    xorl %edx, %edx
 148 ; ATOM-NEXT:    divl %esi
 149 ; ATOM-NEXT:    # kill: def $eax killed $eax def $rax
 150 ; ATOM-NEXT:    retq
 151 ;
 152 ; SLM-LABEL: div64_hugews:
 153 ; SLM:       # %bb.0:
 154 ; SLM-NEXT:    movq %rdi, %rcx
 155 ; SLM-NEXT:    movq %rdi, %rax
 156 ; SLM-NEXT:    orq %rsi, %rcx
 157 ; SLM-NEXT:    shrq $32, %rcx
 158 ; SLM-NEXT:    je .LBB3_1
 159 ; SLM-NEXT:  # %bb.2:
 160 ; SLM-NEXT:    cqto
 161 ; SLM-NEXT:    idivq %rsi
 162 ; SLM-NEXT:    retq
 163 ; SLM-NEXT:  .LBB3_1:
 164 ; SLM-NEXT:    xorl %edx, %edx
 165 ; SLM-NEXT:    # kill: def $eax killed $eax killed $rax
 166 ; SLM-NEXT:    divl %esi
 167 ; SLM-NEXT:    # kill: def $eax killed $eax def $rax
 168 ; SLM-NEXT:    retq
 169 ;
 170 ; SKL-LABEL: div64_hugews:
 171 ; SKL:       # %bb.0:
 172 ; SKL-NEXT:    movq %rdi, %rax
 173 ; SKL-NEXT:    movq %rdi, %rcx
 174 ; SKL-NEXT:    orq %rsi, %rcx
 175 ; SKL-NEXT:    shrq $32, %rcx
 176 ; SKL-NEXT:    je .LBB3_1
 177 ; SKL-NEXT:  # %bb.2:
 178 ; SKL-NEXT:    cqto
 179 ; SKL-NEXT:    idivq %rsi
 180 ; SKL-NEXT:    retq
 181 ; SKL-NEXT:  .LBB3_1:
 182 ; SKL-NEXT:    # kill: def $eax killed $eax killed $rax
 183 ; SKL-NEXT:    xorl %edx, %edx
 184 ; SKL-NEXT:    divl %esi
 185 ; SKL-NEXT:    # kill: def $eax killed $eax def $rax
 186 ; SKL-NEXT:    retq
 187 ;
 188 ; HUGEWS-LABEL: div64_hugews:
 189 ; HUGEWS:       # %bb.0:
 190 ; HUGEWS-NEXT:    movq %rdi, %rax
 191 ; HUGEWS-NEXT:    cqto
 192 ; HUGEWS-NEXT:    idivq %rsi
 193 ; HUGEWS-NEXT:    retq
 194   %div = sdiv i64 %a, %b
 195   ret i64 %div
 196 }
 197
 198 define i32 @div32_optsize(i32 %a, i32 %b) optsize {
 199 ; CHECK-LABEL: div32_optsize:
 200 ; CHECK:       # %bb.0:
 201 ; CHECK-NEXT:    movl %edi, %eax
 202 ; CHECK-NEXT:    cltd
 203 ; CHECK-NEXT:    idivl %esi
 204 ; CHECK-NEXT:    retq
 205 ;
 206 ; HUGEWS-LABEL: div32_optsize:
 207 ; HUGEWS:       # %bb.0:
 208 ; HUGEWS-NEXT:    movl %edi, %eax
 209 ; HUGEWS-NEXT:    cltd
 210 ; HUGEWS-NEXT:    idivl %esi
 211 ; HUGEWS-NEXT:    retq
 212   %div = sdiv i32 %a, %b
 213   ret i32 %div
 214 }
 215
 216 define i32 @div32_minsize(i32 %a, i32 %b) minsize {
 217 ; CHECK-LABEL: div32_minsize:
 218 ; CHECK:       # %bb.0:
 219 ; CHECK-NEXT:    movl %edi, %eax
 220 ; CHECK-NEXT:    cltd
 221 ; CHECK-NEXT:    idivl %esi
 222 ; CHECK-NEXT:    retq
 223 ;
 224 ; HUGEWS-LABEL: div32_minsize:
 225 ; HUGEWS:       # %bb.0:
 226 ; HUGEWS-NEXT:    movl %edi, %eax
 227 ; HUGEWS-NEXT:    cltd
 228 ; HUGEWS-NEXT:    idivl %esi
 229 ; HUGEWS-NEXT:    retq
 230   %div = sdiv i32 %a, %b
 231   ret i32 %div
 232 }
 233
 234 !llvm.module.flags = !{!1}
 235 !1 = !{i32 1, !"ProfileSummary", !2}
 236 !2 = !{!3, !4, !5, !6, !7, !8, !9, !10}
 237 !3 = !{!"ProfileFormat", !"InstrProf"}
 238 !4 = !{!"TotalCount", i64 10000}
 239 !5 = !{!"MaxCount", i64 1000}
 240 !6 = !{!"MaxInternalCount", i64 1}
 241 !7 = !{!"MaxFunctionCount", i64 1000}
 242 !8 = !{!"NumCounts", i64 3}
 243 !9 = !{!"NumFunctions", i64 3}
 244 !10 = !{!"DetailedSummary", !11}
 245 !11 = !{!12, !13, !14}
 246 !12 = !{i32 10000, i64 1000, i32 1}
 247 !13 = !{i32 999000, i64 1000, i32 3}
 248 !14 = !{i32 999999, i64 5, i32 3}