llvm/test/CodeGen/X86/ushl_sat.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=X64
   3 ; RUN: llc < %s -mtriple=i686 -mattr=cmov | FileCheck %s --check-prefix=X86
   4
   5 declare  i4  @llvm.ushl.sat.i4   (i4,  i4)
   6 declare  i8  @llvm.ushl.sat.i8   (i8,  i8)
   7 declare  i15 @llvm.ushl.sat.i15  (i15, i15)
   8 declare  i16 @llvm.ushl.sat.i16  (i16, i16)
   9 declare  i18 @llvm.ushl.sat.i18  (i18, i18)
  10 declare  i32 @llvm.ushl.sat.i32  (i32, i32)
  11 declare  i64 @llvm.ushl.sat.i64  (i64, i64)
  12
  13 define i16 @func(i16 %x, i16 %y) nounwind {
  14 ; X64-LABEL: func:
  15 ; X64:       # %bb.0:
  16 ; X64-NEXT:    movl %esi, %ecx
  17 ; X64-NEXT:    movl %edi, %edx
  18 ; X64-NEXT:    shll %cl, %edx
  19 ; X64-NEXT:    movzwl %dx, %eax
  20 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  21 ; X64-NEXT:    shrl %cl, %eax
  22 ; X64-NEXT:    cmpw %ax, %di
  23 ; X64-NEXT:    movl $65535, %eax # imm = 0xFFFF
  24 ; X64-NEXT:    cmovel %edx, %eax
  25 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  26 ; X64-NEXT:    retq
  27 ;
  28 ; X86-LABEL: func:
  29 ; X86:       # %bb.0:
  30 ; X86-NEXT:    pushl %esi
  31 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  32 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
  33 ; X86-NEXT:    movl %eax, %edx
  34 ; X86-NEXT:    shll %cl, %edx
  35 ; X86-NEXT:    movzwl %dx, %esi
  36 ; X86-NEXT:    shrl %cl, %esi
  37 ; X86-NEXT:    cmpw %si, %ax
  38 ; X86-NEXT:    movl $65535, %eax # imm = 0xFFFF
  39 ; X86-NEXT:    cmovel %edx, %eax
  40 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  41 ; X86-NEXT:    popl %esi
  42 ; X86-NEXT:    retl
  43   %tmp = call i16 @llvm.ushl.sat.i16(i16 %x, i16 %y)
  44   ret i16 %tmp
  45 }
  46
  47 define i16 @func2(i8 %x, i8 %y) nounwind {
  48 ; X64-LABEL: func2:
  49 ; X64:       # %bb.0:
  50 ; X64-NEXT:    movl %esi, %ecx
  51 ; X64-NEXT:    movsbl %dil, %eax
  52 ; X64-NEXT:    addl %eax, %eax
  53 ; X64-NEXT:    movl %eax, %edx
  54 ; X64-NEXT:    shll %cl, %edx
  55 ; X64-NEXT:    movzwl %dx, %esi
  56 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  57 ; X64-NEXT:    shrl %cl, %esi
  58 ; X64-NEXT:    cmpw %si, %ax
  59 ; X64-NEXT:    movl $65535, %eax # imm = 0xFFFF
  60 ; X64-NEXT:    cmovel %edx, %eax
  61 ; X64-NEXT:    cwtl
  62 ; X64-NEXT:    shrl %eax
  63 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  64 ; X64-NEXT:    retq
  65 ;
  66 ; X86-LABEL: func2:
  67 ; X86:       # %bb.0:
  68 ; X86-NEXT:    pushl %esi
  69 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
  70 ; X86-NEXT:    movsbl {{[0-9]+}}(%esp), %eax
  71 ; X86-NEXT:    addl %eax, %eax
  72 ; X86-NEXT:    movl %eax, %edx
  73 ; X86-NEXT:    shll %cl, %edx
  74 ; X86-NEXT:    movzwl %dx, %esi
  75 ; X86-NEXT:    shrl %cl, %esi
  76 ; X86-NEXT:    cmpw %si, %ax
  77 ; X86-NEXT:    movl $65535, %eax # imm = 0xFFFF
  78 ; X86-NEXT:    cmovel %edx, %eax
  79 ; X86-NEXT:    cwtl
  80 ; X86-NEXT:    shrl %eax
  81 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
  82 ; X86-NEXT:    popl %esi
  83 ; X86-NEXT:    retl
  84   %x2 = sext i8 %x to i15
  85   %y2 = sext i8 %y to i15
  86   %tmp = call i15 @llvm.ushl.sat.i15(i15 %x2, i15 %y2)
  87   %tmp2 = sext i15 %tmp to i16
  88   ret i16 %tmp2
  89 }
  90
  91 define i16 @func3(i15 %x, i8 %y) nounwind {
  92 ; X64-LABEL: func3:
  93 ; X64:       # %bb.0:
  94 ; X64-NEXT:    movl %esi, %ecx
  95 ; X64-NEXT:    shll $7, %ecx
  96 ; X64-NEXT:    addl %edi, %edi
  97 ; X64-NEXT:    movl %edi, %eax
  98 ; X64-NEXT:    shll %cl, %eax
  99 ; X64-NEXT:    movzwl %ax, %edx
 100 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 101 ; X64-NEXT:    shrl %cl, %edx
 102 ; X64-NEXT:    cmpw %dx, %di
 103 ; X64-NEXT:    movl $65535, %ecx # imm = 0xFFFF
 104 ; X64-NEXT:    cmovel %eax, %ecx
 105 ; X64-NEXT:    movswl %cx, %eax
 106 ; X64-NEXT:    shrl %eax
 107 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 108 ; X64-NEXT:    retq
 109 ;
 110 ; X86-LABEL: func3:
 111 ; X86:       # %bb.0:
 112 ; X86-NEXT:    pushl %esi
 113 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 114 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 115 ; X86-NEXT:    shll $7, %ecx
 116 ; X86-NEXT:    addl %eax, %eax
 117 ; X86-NEXT:    movl %eax, %edx
 118 ; X86-NEXT:    shll %cl, %edx
 119 ; X86-NEXT:    movzwl %dx, %esi
 120 ; X86-NEXT:    # kill: def $cl killed $cl killed $ecx
 121 ; X86-NEXT:    shrl %cl, %esi
 122 ; X86-NEXT:    cmpw %si, %ax
 123 ; X86-NEXT:    movl $65535, %eax # imm = 0xFFFF
 124 ; X86-NEXT:    cmovel %edx, %eax
 125 ; X86-NEXT:    cwtl
 126 ; X86-NEXT:    shrl %eax
 127 ; X86-NEXT:    # kill: def $ax killed $ax killed $eax
 128 ; X86-NEXT:    popl %esi
 129 ; X86-NEXT:    retl
 130   %y2 = sext i8 %y to i15
 131   %y3 = shl i15 %y2, 7
 132   %tmp = call i15 @llvm.ushl.sat.i15(i15 %x, i15 %y3)
 133   %tmp2 = sext i15 %tmp to i16
 134   ret i16 %tmp2
 135 }
 136
 137 define i4 @func4(i4 %x, i4 %y) nounwind {
 138 ; X64-LABEL: func4:
 139 ; X64:       # %bb.0:
 140 ; X64-NEXT:    movl %esi, %ecx
 141 ; X64-NEXT:    andb $15, %cl
 142 ; X64-NEXT:    shlb $4, %dil
 143 ; X64-NEXT:    movl %edi, %eax
 144 ; X64-NEXT:    shlb %cl, %al
 145 ; X64-NEXT:    movzbl %al, %edx
 146 ; X64-NEXT:    movl %edx, %eax
 147 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 148 ; X64-NEXT:    shrb %cl, %al
 149 ; X64-NEXT:    cmpb %al, %dil
 150 ; X64-NEXT:    movl $255, %eax
 151 ; X64-NEXT:    cmovel %edx, %eax
 152 ; X64-NEXT:    shrb $4, %al
 153 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 154 ; X64-NEXT:    retq
 155 ;
 156 ; X86-LABEL: func4:
 157 ; X86:       # %bb.0:
 158 ; X86-NEXT:    pushl %esi
 159 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 160 ; X86-NEXT:    andb $15, %cl
 161 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 162 ; X86-NEXT:    shlb $4, %al
 163 ; X86-NEXT:    movl %eax, %edx
 164 ; X86-NEXT:    shlb %cl, %dl
 165 ; X86-NEXT:    movzbl %dl, %esi
 166 ; X86-NEXT:    shrb %cl, %dl
 167 ; X86-NEXT:    cmpb %dl, %al
 168 ; X86-NEXT:    movl $255, %eax
 169 ; X86-NEXT:    cmovel %esi, %eax
 170 ; X86-NEXT:    shrb $4, %al
 171 ; X86-NEXT:    # kill: def $al killed $al killed $eax
 172 ; X86-NEXT:    popl %esi
 173 ; X86-NEXT:    retl
 174   %tmp = call i4 @llvm.ushl.sat.i4(i4 %x, i4 %y)
 175   ret i4 %tmp
 176 }
 177
 178 define i64 @func5(i64 %x, i64 %y) nounwind {
 179 ; X64-LABEL: func5:
 180 ; X64:       # %bb.0:
 181 ; X64-NEXT:    movq %rsi, %rcx
 182 ; X64-NEXT:    movq %rdi, %rdx
 183 ; X64-NEXT:    shlq %cl, %rdx
 184 ; X64-NEXT:    movq %rdx, %rax
 185 ; X64-NEXT:    # kill: def $cl killed $cl killed $rcx
 186 ; X64-NEXT:    shrq %cl, %rax
 187 ; X64-NEXT:    cmpq %rax, %rdi
 188 ; X64-NEXT:    movq $-1, %rax
 189 ; X64-NEXT:    cmoveq %rdx, %rax
 190 ; X64-NEXT:    retq
 191 ;
 192 ; X86-LABEL: func5:
 193 ; X86:       # %bb.0:
 194 ; X86-NEXT:    pushl %ebp
 195 ; X86-NEXT:    pushl %ebx
 196 ; X86-NEXT:    pushl %edi
 197 ; X86-NEXT:    pushl %esi
 198 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 199 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 200 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 201 ; X86-NEXT:    movl %esi, %edi
 202 ; X86-NEXT:    shll %cl, %edi
 203 ; X86-NEXT:    shldl %cl, %esi, %edx
 204 ; X86-NEXT:    xorl %ebx, %ebx
 205 ; X86-NEXT:    testb $32, %cl
 206 ; X86-NEXT:    cmovnel %edi, %edx
 207 ; X86-NEXT:    cmovnel %ebx, %edi
 208 ; X86-NEXT:    movl %edx, %ebp
 209 ; X86-NEXT:    shrl %cl, %ebp
 210 ; X86-NEXT:    testb $32, %cl
 211 ; X86-NEXT:    cmovel %ebp, %ebx
 212 ; X86-NEXT:    movl %edi, %eax
 213 ; X86-NEXT:    shrdl %cl, %edx, %eax
 214 ; X86-NEXT:    testb $32, %cl
 215 ; X86-NEXT:    cmovnel %ebp, %eax
 216 ; X86-NEXT:    xorl %esi, %eax
 217 ; X86-NEXT:    xorl {{[0-9]+}}(%esp), %ebx
 218 ; X86-NEXT:    orl %eax, %ebx
 219 ; X86-NEXT:    movl $-1, %eax
 220 ; X86-NEXT:    cmovnel %eax, %edi
 221 ; X86-NEXT:    cmovnel %eax, %edx
 222 ; X86-NEXT:    movl %edi, %eax
 223 ; X86-NEXT:    popl %esi
 224 ; X86-NEXT:    popl %edi
 225 ; X86-NEXT:    popl %ebx
 226 ; X86-NEXT:    popl %ebp
 227 ; X86-NEXT:    retl
 228   %tmp = call i64 @llvm.ushl.sat.i64(i64 %x, i64 %y)
 229   ret i64 %tmp
 230 }
 231
 232 define i18 @func6(i16 %x, i16 %y) nounwind {
 233 ; X64-LABEL: func6:
 234 ; X64:       # %bb.0:
 235 ; X64-NEXT:    movl %esi, %ecx
 236 ; X64-NEXT:    movswl %di, %eax
 237 ; X64-NEXT:    shll $14, %eax
 238 ; X64-NEXT:    movl %eax, %edx
 239 ; X64-NEXT:    shll %cl, %edx
 240 ; X64-NEXT:    movl %edx, %esi
 241 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 242 ; X64-NEXT:    shrl %cl, %esi
 243 ; X64-NEXT:    cmpl %esi, %eax
 244 ; X64-NEXT:    movl $-1, %eax
 245 ; X64-NEXT:    cmovel %edx, %eax
 246 ; X64-NEXT:    shrl $14, %eax
 247 ; X64-NEXT:    retq
 248 ;
 249 ; X86-LABEL: func6:
 250 ; X86:       # %bb.0:
 251 ; X86-NEXT:    pushl %esi
 252 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 253 ; X86-NEXT:    movswl {{[0-9]+}}(%esp), %eax
 254 ; X86-NEXT:    shll $14, %eax
 255 ; X86-NEXT:    movl %eax, %edx
 256 ; X86-NEXT:    shll %cl, %edx
 257 ; X86-NEXT:    movl %edx, %esi
 258 ; X86-NEXT:    shrl %cl, %esi
 259 ; X86-NEXT:    cmpl %esi, %eax
 260 ; X86-NEXT:    movl $-1, %eax
 261 ; X86-NEXT:    cmovel %edx, %eax
 262 ; X86-NEXT:    shrl $14, %eax
 263 ; X86-NEXT:    popl %esi
 264 ; X86-NEXT:    retl
 265   %x2 = sext i16 %x to i18
 266   %y2 = sext i16 %y to i18
 267   %tmp = call i18 @llvm.ushl.sat.i18(i18 %x2, i18 %y2)
 268   ret i18 %tmp
 269 }
 270
 271 define i32 @func7(i32 %x, i32 %y) nounwind {
 272 ; X64-LABEL: func7:
 273 ; X64:       # %bb.0:
 274 ; X64-NEXT:    movl %esi, %ecx
 275 ; X64-NEXT:    movl %edi, %edx
 276 ; X64-NEXT:    shll %cl, %edx
 277 ; X64-NEXT:    movl %edx, %eax
 278 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 279 ; X64-NEXT:    shrl %cl, %eax
 280 ; X64-NEXT:    cmpl %eax, %edi
 281 ; X64-NEXT:    movl $-1, %eax
 282 ; X64-NEXT:    cmovel %edx, %eax
 283 ; X64-NEXT:    retq
 284 ;
 285 ; X86-LABEL: func7:
 286 ; X86:       # %bb.0:
 287 ; X86-NEXT:    pushl %esi
 288 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 289 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 290 ; X86-NEXT:    movl %eax, %edx
 291 ; X86-NEXT:    shll %cl, %edx
 292 ; X86-NEXT:    movl %edx, %esi
 293 ; X86-NEXT:    shrl %cl, %esi
 294 ; X86-NEXT:    cmpl %esi, %eax
 295 ; X86-NEXT:    movl $-1, %eax
 296 ; X86-NEXT:    cmovel %edx, %eax
 297 ; X86-NEXT:    popl %esi
 298 ; X86-NEXT:    retl
 299   %tmp = call i32 @llvm.ushl.sat.i32(i32 %x, i32 %y)
 300   ret i32 %tmp
 301 }
 302
 303 define i8 @func8(i8 %x, i8 %y) nounwind {
 304 ; X64-LABEL: func8:
 305 ; X64:       # %bb.0:
 306 ; X64-NEXT:    movl %esi, %ecx
 307 ; X64-NEXT:    movl %edi, %eax
 308 ; X64-NEXT:    shlb %cl, %al
 309 ; X64-NEXT:    movzbl %al, %edx
 310 ; X64-NEXT:    movl %edx, %eax
 311 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 312 ; X64-NEXT:    shrb %cl, %al
 313 ; X64-NEXT:    cmpb %al, %dil
 314 ; X64-NEXT:    movl $255, %eax
 315 ; X64-NEXT:    cmovel %edx, %eax
 316 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 317 ; X64-NEXT:    retq
 318 ;
 319 ; X86-LABEL: func8:
 320 ; X86:       # %bb.0:
 321 ; X86-NEXT:    pushl %esi
 322 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
 323 ; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
 324 ; X86-NEXT:    movl %eax, %edx
 325 ; X86-NEXT:    shlb %cl, %dl
 326 ; X86-NEXT:    movzbl %dl, %esi
 327 ; X86-NEXT:    shrb %cl, %dl
 328 ; X86-NEXT:    cmpb %dl, %al
 329 ; X86-NEXT:    movl $255, %eax
 330 ; X86-NEXT:    cmovel %esi, %eax
 331 ; X86-NEXT:    # kill: def $al killed $al killed $eax
 332 ; X86-NEXT:    popl %esi
 333 ; X86-NEXT:    retl
 334   %tmp = call i8 @llvm.ushl.sat.i8(i8 %x, i8 %y)
 335   ret i8 %tmp
 336 }