test/CodeGen/X86/shift-double.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86
   3 ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s  --check-prefix=X64
   4
   5 ; Shift i64 integers on 32-bit target
   6
   7 define i64 @test1(i64 %X, i8 %C) nounwind {
   8 ; X86-LABEL: test1:
   9 ; X86:       # %bb.0:
  10 ; X86-NEXT:    pushl %esi
  11 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
  12 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
  13 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
  14 ; X86-NEXT:    movl %esi, %eax
  15 ; X86-NEXT:    shll %cl, %eax
  16 ; X86-NEXT:    shldl %cl, %esi, %edx
  17 ; X86-NEXT:    testb $32, %cl
  18 ; X86-NEXT:    je .LBB0_2
  19 ; X86-NEXT:  # %bb.1:
  20 ; X86-NEXT:    movl %eax, %edx
  21 ; X86-NEXT:    xorl %eax, %eax
  22 ; X86-NEXT:  .LBB0_2:
  23 ; X86-NEXT:    popl %esi
  24 ; X86-NEXT:    retl
  25 ;
  26 ; X64-LABEL: test1:
  27 ; X64:       # %bb.0:
  28 ; X64-NEXT:    movl %esi, %ecx
  29 ; X64-NEXT:    movq %rdi, %rax
  30 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  31 ; X64-NEXT:    shlq %cl, %rax
  32 ; X64-NEXT:    retq
  33         %shift.upgrd.1 = zext i8 %C to i64              ; <i64> [#uses=1]
  34         %Y = shl i64 %X, %shift.upgrd.1         ; <i64> [#uses=1]
  35         ret i64 %Y
  36 }
  37
  38 define i64 @test2(i64 %X, i8 %C) nounwind {
  39 ; X86-LABEL: test2:
  40 ; X86:       # %bb.0:
  41 ; X86-NEXT:    pushl %esi
  42 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
  43 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  44 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
  45 ; X86-NEXT:    movl %esi, %edx
  46 ; X86-NEXT:    sarl %cl, %edx
  47 ; X86-NEXT:    shrdl %cl, %esi, %eax
  48 ; X86-NEXT:    testb $32, %cl
  49 ; X86-NEXT:    je .LBB1_2
  50 ; X86-NEXT:  # %bb.1:
  51 ; X86-NEXT:    sarl $31, %esi
  52 ; X86-NEXT:    movl %edx, %eax
  53 ; X86-NEXT:    movl %esi, %edx
  54 ; X86-NEXT:  .LBB1_2:
  55 ; X86-NEXT:    popl %esi
  56 ; X86-NEXT:    retl
  57 ;
  58 ; X64-LABEL: test2:
  59 ; X64:       # %bb.0:
  60 ; X64-NEXT:    movl %esi, %ecx
  61 ; X64-NEXT:    movq %rdi, %rax
  62 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  63 ; X64-NEXT:    sarq %cl, %rax
  64 ; X64-NEXT:    retq
  65         %shift.upgrd.2 = zext i8 %C to i64              ; <i64> [#uses=1]
  66         %Y = ashr i64 %X, %shift.upgrd.2                ; <i64> [#uses=1]
  67         ret i64 %Y
  68 }
  69
  70 define i64 @test3(i64 %X, i8 %C) nounwind {
  71 ; X86-LABEL: test3:
  72 ; X86:       # %bb.0:
  73 ; X86-NEXT:    pushl %esi
  74 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
  75 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
  76 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
  77 ; X86-NEXT:    movl %esi, %edx
  78 ; X86-NEXT:    shrl %cl, %edx
  79 ; X86-NEXT:    shrdl %cl, %esi, %eax
  80 ; X86-NEXT:    testb $32, %cl
  81 ; X86-NEXT:    je .LBB2_2
  82 ; X86-NEXT:  # %bb.1:
  83 ; X86-NEXT:    movl %edx, %eax
  84 ; X86-NEXT:    xorl %edx, %edx
  85 ; X86-NEXT:  .LBB2_2:
  86 ; X86-NEXT:    popl %esi
  87 ; X86-NEXT:    retl
  88 ;
  89 ; X64-LABEL: test3:
  90 ; X64:       # %bb.0:
  91 ; X64-NEXT:    movl %esi, %ecx
  92 ; X64-NEXT:    movq %rdi, %rax
  93 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  94 ; X64-NEXT:    shrq %cl, %rax
  95 ; X64-NEXT:    retq
  96         %shift.upgrd.3 = zext i8 %C to i64              ; <i64> [#uses=1]
  97         %Y = lshr i64 %X, %shift.upgrd.3                ; <i64> [#uses=1]
  98         ret i64 %Y
  99 }
 100
 101 ; Combine 2xi32/2xi16 shifts into SHLD
 102
 103 define i32 @test4(i32 %A, i32 %B, i8 %C) nounwind {
 104 ; X86-LABEL: test4:
 105 ; X86:       # %bb.0:
 106 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 107 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 108 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 109 ; X86-NEXT:    shldl %cl, %edx, %eax
 110 ; X86-NEXT:    retl
 111 ;
 112 ; X64-LABEL: test4:
 113 ; X64:       # %bb.0:
 114 ; X64-NEXT:    movl %edx, %ecx
 115 ; X64-NEXT:    movl %edi, %eax
 116 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 117 ; X64-NEXT:    shldl %cl, %esi, %eax
 118 ; X64-NEXT:    retq
 119         %shift.upgrd.4 = zext i8 %C to i32              ; <i32> [#uses=1]
 120         %X = shl i32 %A, %shift.upgrd.4         ; <i32> [#uses=1]
 121         %Cv = sub i8 32, %C             ; <i8> [#uses=1]
 122         %shift.upgrd.5 = zext i8 %Cv to i32             ; <i32> [#uses=1]
 123         %Y = lshr i32 %B, %shift.upgrd.5                ; <i32> [#uses=1]
 124         %Z = or i32 %Y, %X              ; <i32> [#uses=1]
 125         ret i32 %Z
 126 }
 127
 128 define i16 @test5(i16 %A, i16 %B, i8 %C) nounwind {
 129 ; X86-LABEL: test5:
 130 ; X86:       # %bb.0:
 131 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %edx
 132 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 133 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 134 ; X86-NEXT:    andb $15, %cl
 135 ; X86-NEXT:    shldw %cl, %dx, %ax
 136 ; X86-NEXT:    retl
 137 ;
 138 ; X64-LABEL: test5:
 139 ; X64:       # %bb.0:
 140 ; X64-NEXT:    movl %edx, %ecx
 141 ; X64-NEXT:    movl %edi, %eax
 142 ; X64-NEXT:    andb $15, %cl
 143 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 144 ; X64-NEXT:    shldw %cl, %si, %ax
 145 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 146 ; X64-NEXT:    retq
 147         %shift.upgrd.6 = zext i8 %C to i16              ; <i16> [#uses=1]
 148         %X = shl i16 %A, %shift.upgrd.6         ; <i16> [#uses=1]
 149         %Cv = sub i8 16, %C             ; <i8> [#uses=1]
 150         %shift.upgrd.7 = zext i8 %Cv to i16             ; <i16> [#uses=1]
 151         %Y = lshr i16 %B, %shift.upgrd.7                ; <i16> [#uses=1]
 152         %Z = or i16 %Y, %X              ; <i16> [#uses=1]
 153         ret i16 %Z
 154 }
 155
 156 ; Combine 2xi32/2xi16 shifts into SHRD
 157
 158 define i32 @test6(i32 %A, i32 %B, i8 %C) nounwind {
 159 ; X86-LABEL: test6:
 160 ; X86:       # %bb.0:
 161 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 162 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 163 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 164 ; X86-NEXT:    shrdl %cl, %edx, %eax
 165 ; X86-NEXT:    retl
 166 ;
 167 ; X64-LABEL: test6:
 168 ; X64:       # %bb.0:
 169 ; X64-NEXT:    movl %edx, %ecx
 170 ; X64-NEXT:    movl %edi, %eax
 171 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 172 ; X64-NEXT:    shrdl %cl, %esi, %eax
 173 ; X64-NEXT:    retq
 174         %shift.upgrd.4 = zext i8 %C to i32              ; <i32> [#uses=1]
 175         %X = lshr i32 %A, %shift.upgrd.4         ; <i32> [#uses=1]
 176         %Cv = sub i8 32, %C             ; <i8> [#uses=1]
 177         %shift.upgrd.5 = zext i8 %Cv to i32             ; <i32> [#uses=1]
 178         %Y = shl i32 %B, %shift.upgrd.5                ; <i32> [#uses=1]
 179         %Z = or i32 %Y, %X              ; <i32> [#uses=1]
 180         ret i32 %Z
 181 }
 182
 183 define i16 @test7(i16 %A, i16 %B, i8 %C) nounwind {
 184 ; X86-LABEL: test7:
 185 ; X86:       # %bb.0:
 186 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %edx
 187 ; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
 188 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 189 ; X86-NEXT:    andb $15, %cl
 190 ; X86-NEXT:    shrdw %cl, %dx, %ax
 191 ; X86-NEXT:    retl
 192 ;
 193 ; X64-LABEL: test7:
 194 ; X64:       # %bb.0:
 195 ; X64-NEXT:    movl %edx, %ecx
 196 ; X64-NEXT:    movl %edi, %eax
 197 ; X64-NEXT:    andb $15, %cl
 198 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 199 ; X64-NEXT:    shrdw %cl, %si, %ax
 200 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 201 ; X64-NEXT:    retq
 202         %shift.upgrd.6 = zext i8 %C to i16              ; <i16> [#uses=1]
 203         %X = lshr i16 %A, %shift.upgrd.6         ; <i16> [#uses=1]
 204         %Cv = sub i8 16, %C             ; <i8> [#uses=1]
 205         %shift.upgrd.7 = zext i8 %Cv to i16             ; <i16> [#uses=1]
 206         %Y = shl i16 %B, %shift.upgrd.7                ; <i16> [#uses=1]
 207         %Z = or i16 %Y, %X              ; <i16> [#uses=1]
 208         ret i16 %Z
 209 }
 210
 211 ; Shift i64 integers on 32-bit target by shift value less then 32 (PR14593)
 212
 213 define i64 @test8(i64 %val, i32 %bits) nounwind {
 214 ; X86-LABEL: test8:
 215 ; X86:       # %bb.0:
 216 ; X86-NEXT:    pushl %esi
 217 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 218 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %esi
 219 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 220 ; X86-NEXT:    movl %esi, %eax
 221 ; X86-NEXT:    shll %cl, %eax
 222 ; X86-NEXT:    shldl %cl, %esi, %edx
 223 ; X86-NEXT:    popl %esi
 224 ; X86-NEXT:    retl
 225 ;
 226 ; X64-LABEL: test8:
 227 ; X64:       # %bb.0:
 228 ; X64-NEXT:    movl %esi, %ecx
 229 ; X64-NEXT:    movq %rdi, %rax
 230 ; X64-NEXT:    andb $31, %cl
 231 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 232 ; X64-NEXT:    shlq %cl, %rax
 233 ; X64-NEXT:    retq
 234   %and = and i32 %bits, 31
 235   %sh_prom = zext i32 %and to i64
 236   %shl = shl i64 %val, %sh_prom
 237   ret i64 %shl
 238 }
 239
 240 define i64 @test9(i64 %val, i32 %bits) nounwind {
 241 ; X86-LABEL: test9:
 242 ; X86:       # %bb.0:
 243 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 244 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 245 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 246 ; X86-NEXT:    shrdl %cl, %edx, %eax
 247 ; X86-NEXT:    sarl %cl, %edx
 248 ; X86-NEXT:    retl
 249 ;
 250 ; X64-LABEL: test9:
 251 ; X64:       # %bb.0:
 252 ; X64-NEXT:    movl %esi, %ecx
 253 ; X64-NEXT:    movq %rdi, %rax
 254 ; X64-NEXT:    andb $31, %cl
 255 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 256 ; X64-NEXT:    sarq %cl, %rax
 257 ; X64-NEXT:    retq
 258   %and = and i32 %bits, 31
 259   %sh_prom = zext i32 %and to i64
 260   %ashr = ashr i64 %val, %sh_prom
 261   ret i64 %ashr
 262 }
 263
 264 define i64 @test10(i64 %val, i32 %bits) nounwind {
 265 ; X86-LABEL: test10:
 266 ; X86:       # %bb.0:
 267 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 268 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 269 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 270 ; X86-NEXT:    shrdl %cl, %edx, %eax
 271 ; X86-NEXT:    shrl %cl, %edx
 272 ; X86-NEXT:    retl
 273 ;
 274 ; X64-LABEL: test10:
 275 ; X64:       # %bb.0:
 276 ; X64-NEXT:    movl %esi, %ecx
 277 ; X64-NEXT:    movq %rdi, %rax
 278 ; X64-NEXT:    andb $31, %cl
 279 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 280 ; X64-NEXT:    shrq %cl, %rax
 281 ; X64-NEXT:    retq
 282   %and = and i32 %bits, 31
 283   %sh_prom = zext i32 %and to i64
 284   %lshr = lshr i64 %val, %sh_prom
 285   ret i64 %lshr
 286 }
 287
 288 ; SHLD/SHRD manual shifts
 289
 290 define i32 @test11(i32 %hi, i32 %lo, i32 %bits) nounwind {
 291 ; X86-LABEL: test11:
 292 ; X86:       # %bb.0:
 293 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 294 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 295 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 296 ; X86-NEXT:    andl $31, %ecx
 297 ; X86-NEXT:    # kill: def $cl killed $cl killed $ecx
 298 ; X86-NEXT:    shldl %cl, %edx, %eax
 299 ; X86-NEXT:    retl
 300 ;
 301 ; X64-LABEL: test11:
 302 ; X64:       # %bb.0:
 303 ; X64-NEXT:    movl %edx, %ecx
 304 ; X64-NEXT:    movl %edi, %eax
 305 ; X64-NEXT:    andl $31, %ecx
 306 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 307 ; X64-NEXT:    shldl %cl, %esi, %eax
 308 ; X64-NEXT:    retq
 309   %and = and i32 %bits, 31
 310   %and32 = sub i32 32, %and
 311   %sh_lo = lshr i32 %lo, %and32
 312   %sh_hi = shl i32 %hi, %and
 313   %sh = or i32 %sh_lo, %sh_hi
 314   ret i32 %sh
 315 }
 316
 317 define i32 @test12(i32 %hi, i32 %lo, i32 %bits) nounwind {
 318 ; X86-LABEL: test12:
 319 ; X86:       # %bb.0:
 320 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 321 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 322 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %ecx
 323 ; X86-NEXT:    andl $31, %ecx
 324 ; X86-NEXT:    # kill: def $cl killed $cl killed $ecx
 325 ; X86-NEXT:    shrdl %cl, %edx, %eax
 326 ; X86-NEXT:    retl
 327 ;
 328 ; X64-LABEL: test12:
 329 ; X64:       # %bb.0:
 330 ; X64-NEXT:    movl %edx, %ecx
 331 ; X64-NEXT:    movl %esi, %eax
 332 ; X64-NEXT:    andl $31, %ecx
 333 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 334 ; X64-NEXT:    shrdl %cl, %edi, %eax
 335 ; X64-NEXT:    retq
 336   %and = and i32 %bits, 31
 337   %and32 = sub i32 32, %and
 338   %sh_lo = shl i32 %hi, %and32
 339   %sh_hi = lshr i32 %lo, %and
 340   %sh = or i32 %sh_lo, %sh_hi
 341   ret i32 %sh
 342 }
 343
 344 define i32 @test13(i32 %hi, i32 %lo, i32 %bits) nounwind {
 345 ; X86-LABEL: test13:
 346 ; X86:       # %bb.0:
 347 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 348 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 349 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 350 ; X86-NEXT:    shldl %cl, %edx, %eax
 351 ; X86-NEXT:    retl
 352 ;
 353 ; X64-LABEL: test13:
 354 ; X64:       # %bb.0:
 355 ; X64-NEXT:    movl %edx, %ecx
 356 ; X64-NEXT:    movl %edi, %eax
 357 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 358 ; X64-NEXT:    shldl %cl, %esi, %eax
 359 ; X64-NEXT:    retq
 360   %bits32 = sub i32 32, %bits
 361   %sh_lo = lshr i32 %lo, %bits32
 362   %sh_hi = shl i32 %hi, %bits
 363   %sh = or i32 %sh_lo, %sh_hi
 364   ret i32 %sh
 365 }
 366
 367 define i32 @test14(i32 %hi, i32 %lo, i32 %bits) nounwind {
 368 ; X86-LABEL: test14:
 369 ; X86:       # %bb.0:
 370 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 371 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 372 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 373 ; X86-NEXT:    shrdl %cl, %edx, %eax
 374 ; X86-NEXT:    retl
 375 ;
 376 ; X64-LABEL: test14:
 377 ; X64:       # %bb.0:
 378 ; X64-NEXT:    movl %edx, %ecx
 379 ; X64-NEXT:    movl %esi, %eax
 380 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 381 ; X64-NEXT:    shrdl %cl, %edi, %eax
 382 ; X64-NEXT:    retq
 383   %bits32 = sub i32 32, %bits
 384   %sh_lo = shl i32 %hi, %bits32
 385   %sh_hi = lshr i32 %lo, %bits
 386   %sh = or i32 %sh_lo, %sh_hi
 387   ret i32 %sh
 388 }
 389
 390 define i32 @test15(i32 %hi, i32 %lo, i32 %bits) nounwind {
 391 ; X86-LABEL: test15:
 392 ; X86:       # %bb.0:
 393 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 394 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 395 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 396 ; X86-NEXT:    shldl %cl, %edx, %eax
 397 ; X86-NEXT:    retl
 398 ;
 399 ; X64-LABEL: test15:
 400 ; X64:       # %bb.0:
 401 ; X64-NEXT:    movl %edx, %ecx
 402 ; X64-NEXT:    movl %edi, %eax
 403 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 404 ; X64-NEXT:    shldl %cl, %esi, %eax
 405 ; X64-NEXT:    retq
 406   %bits32 = xor i32 %bits, 31
 407   %lo2 = lshr i32 %lo, 1
 408   %sh_lo = lshr i32 %lo2, %bits32
 409   %sh_hi = shl i32 %hi, %bits
 410   %sh = or i32 %sh_lo, %sh_hi
 411   ret i32 %sh
 412 }
 413
 414 define i32 @test16(i32 %hi, i32 %lo, i32 %bits) nounwind {
 415 ; X86-LABEL: test16:
 416 ; X86:       # %bb.0:
 417 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 418 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 419 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 420 ; X86-NEXT:    shrdl %cl, %edx, %eax
 421 ; X86-NEXT:    retl
 422 ;
 423 ; X64-LABEL: test16:
 424 ; X64:       # %bb.0:
 425 ; X64-NEXT:    movl %edx, %ecx
 426 ; X64-NEXT:    movl %edi, %eax
 427 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 428 ; X64-NEXT:    shrdl %cl, %esi, %eax
 429 ; X64-NEXT:    retq
 430   %bits32 = xor i32 %bits, 31
 431   %lo2 = shl i32 %lo, 1
 432   %sh_lo = shl i32 %lo2, %bits32
 433   %sh_hi = lshr i32 %hi, %bits
 434   %sh = or i32 %sh_lo, %sh_hi
 435   ret i32 %sh
 436 }
 437
 438 define i32 @test17(i32 %hi, i32 %lo, i32 %bits) nounwind {
 439 ; X86-LABEL: test17:
 440 ; X86:       # %bb.0:
 441 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 442 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 443 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 444 ; X86-NEXT:    shrdl %cl, %edx, %eax
 445 ; X86-NEXT:    retl
 446 ;
 447 ; X64-LABEL: test17:
 448 ; X64:       # %bb.0:
 449 ; X64-NEXT:    movl %edx, %ecx
 450 ; X64-NEXT:    movl %edi, %eax
 451 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 452 ; X64-NEXT:    shrdl %cl, %esi, %eax
 453 ; X64-NEXT:    retq
 454   %bits32 = xor i32 %bits, 31
 455   %lo2 = add i32 %lo, %lo
 456   %sh_lo = shl i32 %lo2, %bits32
 457   %sh_hi = lshr i32 %hi, %bits
 458   %sh = or i32 %sh_lo, %sh_hi
 459   ret i32 %sh
 460 }
 461
 462 define i32 @test18(i32 %hi, i32 %lo, i32 %bits) nounwind {
 463 ; X86-LABEL: test18:
 464 ; X86:       # %bb.0:
 465 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 466 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 467 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 468 ; X86-NEXT:    shldl %cl, %edx, %eax
 469 ; X86-NEXT:    retl
 470 ;
 471 ; X64-LABEL: test18:
 472 ; X64:       # %bb.0:
 473 ; X64-NEXT:    movl %edx, %ecx
 474 ; X64-NEXT:    movl %edi, %eax
 475 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 476 ; X64-NEXT:    shldl %cl, %esi, %eax
 477 ; X64-NEXT:    retq
 478   %tbits = trunc i32 %bits to i8
 479   %tand = and i8 %tbits, 31
 480   %tand64 = sub i8 32, %tand
 481   %and = zext i8 %tand to i32
 482   %and64 = zext i8 %tand64 to i32
 483   %sh_lo = lshr i32 %lo, %and64
 484   %sh_hi = shl i32 %hi, %and
 485   %sh = or i32 %sh_lo, %sh_hi
 486   ret i32 %sh
 487 }
 488
 489 ; PR34641 - Masked Shift Counts
 490
 491 define i32 @shld_safe_i32(i32, i32, i32) {
 492 ; X86-LABEL: shld_safe_i32:
 493 ; X86:       # %bb.0:
 494 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 495 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 496 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 497 ; X86-NEXT:    shldl %cl, %edx, %eax
 498 ; X86-NEXT:    retl
 499 ;
 500 ; X64-LABEL: shld_safe_i32:
 501 ; X64:       # %bb.0:
 502 ; X64-NEXT:    movl %edx, %ecx
 503 ; X64-NEXT:    movl %edi, %eax
 504 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 505 ; X64-NEXT:    shldl %cl, %esi, %eax
 506 ; X64-NEXT:    retq
 507   %4 = and i32 %2, 31
 508   %5 = shl i32 %0, %4
 509   %6 = sub i32 0, %2
 510   %7 = and i32 %6, 31
 511   %8 = lshr i32 %1, %7
 512   %9 = or i32 %5, %8
 513   ret i32 %9
 514 }
 515
 516 define i32 @shrd_safe_i32(i32, i32, i32) {
 517 ; X86-LABEL: shrd_safe_i32:
 518 ; X86:       # %bb.0:
 519 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
 520 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %edx
 521 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
 522 ; X86-NEXT:    shrdl %cl, %edx, %eax
 523 ; X86-NEXT:    retl
 524 ;
 525 ; X64-LABEL: shrd_safe_i32:
 526 ; X64:       # %bb.0:
 527 ; X64-NEXT:    movl %edx, %ecx
 528 ; X64-NEXT:    movl %edi, %eax
 529 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 530 ; X64-NEXT:    shrdl %cl, %esi, %eax
 531 ; X64-NEXT:    retq
 532   %4 = and i32 %2, 31
 533   %5 = lshr i32 %0, %4
 534   %6 = sub i32 0, %2
 535   %7 = and i32 %6, 31
 536   %8 = shl i32 %1, %7
 537   %9 = or i32 %5, %8
 538   ret i32 %9
 539 }