test/CodeGen/X86/3addr-16bit.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s -check-prefix=X64
   3 ; RUN: llc < %s -mtriple=i686-apple-darwin   | FileCheck %s -check-prefix=X32
   4
   5 ; rdar://7329206
   6
   7 ; In 32-bit the partial register stall would degrade performance.
   8
   9 define zeroext i16 @test1(i16 zeroext %c, i16 zeroext %k) nounwind ssp {
  10 ; X64-LABEL: test1:
  11 ; X64:       ## %bb.0: ## %entry
  12 ; X64-NEXT:    movl %esi, %eax
  13 ; X64-NEXT:    incl %eax
  14 ; X64-NEXT:    cmpw %di, %si
  15 ; X64-NEXT:    jne LBB0_2
  16 ; X64-NEXT:  ## %bb.1: ## %bb
  17 ; X64-NEXT:    pushq %rbx
  18 ; X64-NEXT:    movzwl %ax, %ebx
  19 ; X64-NEXT:    movl %ebx, %edi
  20 ; X64-NEXT:    callq _foo
  21 ; X64-NEXT:    movl %ebx, %eax
  22 ; X64-NEXT:    popq %rbx
  23 ; X64-NEXT:    retq
  24 ; X64-NEXT:  LBB0_2: ## %bb1
  25 ; X64-NEXT:    movzwl %ax, %eax
  26 ; X64-NEXT:    retq
  27 ;
  28 ; X32-LABEL: test1:
  29 ; X32:       ## %bb.0: ## %entry
  30 ; X32-NEXT:    pushl %esi
  31 ; X32-NEXT:    subl $8, %esp
  32 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  33 ; X32-NEXT:    movl %ecx, %eax
  34 ; X32-NEXT:    incl %eax
  35 ; X32-NEXT:    cmpw {{[0-9]+}}(%esp), %cx
  36 ; X32-NEXT:    jne LBB0_2
  37 ; X32-NEXT:  ## %bb.1: ## %bb
  38 ; X32-NEXT:    movzwl %ax, %esi
  39 ; X32-NEXT:    movl %esi, (%esp)
  40 ; X32-NEXT:    calll _foo
  41 ; X32-NEXT:    movl %esi, %eax
  42 ; X32-NEXT:    jmp LBB0_3
  43 ; X32-NEXT:  LBB0_2: ## %bb1
  44 ; X32-NEXT:    movzwl %ax, %eax
  45 ; X32-NEXT:  LBB0_3: ## %bb1
  46 ; X32-NEXT:    addl $8, %esp
  47 ; X32-NEXT:    popl %esi
  48 ; X32-NEXT:    retl
  49 entry:
  50   %0 = icmp eq i16 %k, %c
  51   %1 = add i16 %k, 1
  52   br i1 %0, label %bb, label %bb1
  53
  54 bb:
  55   tail call void @foo(i16 zeroext %1) nounwind
  56   ret i16 %1
  57
  58 bb1:
  59   ret i16 %1
  60 }
  61
  62 define zeroext i16 @test2(i16 zeroext %c, i16 zeroext %k) nounwind ssp {
  63 ; X64-LABEL: test2:
  64 ; X64:       ## %bb.0: ## %entry
  65 ; X64-NEXT:    movl %esi, %eax
  66 ; X64-NEXT:    decl %eax
  67 ; X64-NEXT:    cmpw %di, %si
  68 ; X64-NEXT:    jne LBB1_2
  69 ; X64-NEXT:  ## %bb.1: ## %bb
  70 ; X64-NEXT:    pushq %rbx
  71 ; X64-NEXT:    movzwl %ax, %ebx
  72 ; X64-NEXT:    movl %ebx, %edi
  73 ; X64-NEXT:    callq _foo
  74 ; X64-NEXT:    movl %ebx, %eax
  75 ; X64-NEXT:    popq %rbx
  76 ; X64-NEXT:    retq
  77 ; X64-NEXT:  LBB1_2: ## %bb1
  78 ; X64-NEXT:    movzwl %ax, %eax
  79 ; X64-NEXT:    retq
  80 ;
  81 ; X32-LABEL: test2:
  82 ; X32:       ## %bb.0: ## %entry
  83 ; X32-NEXT:    pushl %esi
  84 ; X32-NEXT:    subl $8, %esp
  85 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  86 ; X32-NEXT:    movl %ecx, %eax
  87 ; X32-NEXT:    decl %eax
  88 ; X32-NEXT:    cmpw {{[0-9]+}}(%esp), %cx
  89 ; X32-NEXT:    jne LBB1_2
  90 ; X32-NEXT:  ## %bb.1: ## %bb
  91 ; X32-NEXT:    movzwl %ax, %esi
  92 ; X32-NEXT:    movl %esi, (%esp)
  93 ; X32-NEXT:    calll _foo
  94 ; X32-NEXT:    movl %esi, %eax
  95 ; X32-NEXT:    jmp LBB1_3
  96 ; X32-NEXT:  LBB1_2: ## %bb1
  97 ; X32-NEXT:    movzwl %ax, %eax
  98 ; X32-NEXT:  LBB1_3: ## %bb1
  99 ; X32-NEXT:    addl $8, %esp
 100 ; X32-NEXT:    popl %esi
 101 ; X32-NEXT:    retl
 102 entry:
 103   %0 = icmp eq i16 %k, %c
 104   %1 = add i16 %k, -1
 105   br i1 %0, label %bb, label %bb1
 106
 107 bb:
 108   tail call void @foo(i16 zeroext %1) nounwind
 109   ret i16 %1
 110
 111 bb1:
 112   ret i16 %1
 113 }
 114
 115 declare void @foo(i16 zeroext)
 116
 117 define zeroext i16 @test3(i16 zeroext %c, i16 zeroext %k) nounwind ssp {
 118 ; X64-LABEL: test3:
 119 ; X64:       ## %bb.0: ## %entry
 120 ; X64-NEXT:    movl %esi, %eax
 121 ; X64-NEXT:    addl $2, %eax
 122 ; X64-NEXT:    cmpw %di, %si
 123 ; X64-NEXT:    jne LBB2_2
 124 ; X64-NEXT:  ## %bb.1: ## %bb
 125 ; X64-NEXT:    pushq %rbx
 126 ; X64-NEXT:    movzwl %ax, %ebx
 127 ; X64-NEXT:    movl %ebx, %edi
 128 ; X64-NEXT:    callq _foo
 129 ; X64-NEXT:    movl %ebx, %eax
 130 ; X64-NEXT:    popq %rbx
 131 ; X64-NEXT:    retq
 132 ; X64-NEXT:  LBB2_2: ## %bb1
 133 ; X64-NEXT:    movzwl %ax, %eax
 134 ; X64-NEXT:    retq
 135 ;
 136 ; X32-LABEL: test3:
 137 ; X32:       ## %bb.0: ## %entry
 138 ; X32-NEXT:    pushl %esi
 139 ; X32-NEXT:    subl $8, %esp
 140 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 141 ; X32-NEXT:    movl %ecx, %eax
 142 ; X32-NEXT:    addl $2, %eax
 143 ; X32-NEXT:    cmpw {{[0-9]+}}(%esp), %cx
 144 ; X32-NEXT:    jne LBB2_2
 145 ; X32-NEXT:  ## %bb.1: ## %bb
 146 ; X32-NEXT:    movzwl %ax, %esi
 147 ; X32-NEXT:    movl %esi, (%esp)
 148 ; X32-NEXT:    calll _foo
 149 ; X32-NEXT:    movl %esi, %eax
 150 ; X32-NEXT:    jmp LBB2_3
 151 ; X32-NEXT:  LBB2_2: ## %bb1
 152 ; X32-NEXT:    movzwl %ax, %eax
 153 ; X32-NEXT:  LBB2_3: ## %bb1
 154 ; X32-NEXT:    addl $8, %esp
 155 ; X32-NEXT:    popl %esi
 156 ; X32-NEXT:    retl
 157 entry:
 158   %0 = add i16 %k, 2
 159   %1 = icmp eq i16 %k, %c
 160   br i1 %1, label %bb, label %bb1
 161
 162 bb:
 163   tail call void @foo(i16 zeroext %0) nounwind
 164   ret i16 %0
 165
 166 bb1:
 167   ret i16 %0
 168 }
 169
 170 define zeroext i16 @test4(i16 zeroext %c, i16 zeroext %k) nounwind ssp {
 171 ; X64-LABEL: test4:
 172 ; X64:       ## %bb.0: ## %entry
 173 ; X64-NEXT:    movl %esi, %eax
 174 ; X64-NEXT:    addl %edi, %eax
 175 ; X64-NEXT:    cmpw %di, %si
 176 ; X64-NEXT:    jne LBB3_2
 177 ; X64-NEXT:  ## %bb.1: ## %bb
 178 ; X64-NEXT:    pushq %rbx
 179 ; X64-NEXT:    movzwl %ax, %ebx
 180 ; X64-NEXT:    movl %ebx, %edi
 181 ; X64-NEXT:    callq _foo
 182 ; X64-NEXT:    movl %ebx, %eax
 183 ; X64-NEXT:    popq %rbx
 184 ; X64-NEXT:    retq
 185 ; X64-NEXT:  LBB3_2: ## %bb1
 186 ; X64-NEXT:    movzwl %ax, %eax
 187 ; X64-NEXT:    retq
 188 ;
 189 ; X32-LABEL: test4:
 190 ; X32:       ## %bb.0: ## %entry
 191 ; X32-NEXT:    pushl %esi
 192 ; X32-NEXT:    subl $8, %esp
 193 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 194 ; X32-NEXT:    movl {{[0-9]+}}(%esp), %edx
 195 ; X32-NEXT:    movl %edx, %eax
 196 ; X32-NEXT:    addl %ecx, %eax
 197 ; X32-NEXT:    cmpw %cx, %dx
 198 ; X32-NEXT:    jne LBB3_2
 199 ; X32-NEXT:  ## %bb.1: ## %bb
 200 ; X32-NEXT:    movzwl %ax, %esi
 201 ; X32-NEXT:    movl %esi, (%esp)
 202 ; X32-NEXT:    calll _foo
 203 ; X32-NEXT:    movl %esi, %eax
 204 ; X32-NEXT:    jmp LBB3_3
 205 ; X32-NEXT:  LBB3_2: ## %bb1
 206 ; X32-NEXT:    movzwl %ax, %eax
 207 ; X32-NEXT:  LBB3_3: ## %bb1
 208 ; X32-NEXT:    addl $8, %esp
 209 ; X32-NEXT:    popl %esi
 210 ; X32-NEXT:    retl
 211 entry:
 212   %0 = add i16 %k, %c
 213   %1 = icmp eq i16 %k, %c
 214   br i1 %1, label %bb, label %bb1
 215
 216 bb:
 217   tail call void @foo(i16 zeroext %0) nounwind
 218   ret i16 %0
 219
 220 bb1:
 221   ret i16 %0
 222 }
 223