test/CodeGen/X86/shift-folding.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=i686-unknown-unknown -verify-coalescing | FileCheck %s
   3
   4 define i32* @test1(i32* %P, i32 %X) {
   5 ; CHECK-LABEL: test1:
   6 ; CHECK:       # %bb.0:
   7 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
   8 ; CHECK-NEXT:    andl $-4, %eax
   9 ; CHECK-NEXT:    addl {{[0-9]+}}(%esp), %eax
  10 ; CHECK-NEXT:    retl
  11   %Y = lshr i32 %X, 2
  12   %gep.upgrd.1 = zext i32 %Y to i64
  13   %P2 = getelementptr i32, i32* %P, i64 %gep.upgrd.1
  14   ret i32* %P2
  15 }
  16
  17 define i32* @test2(i32* %P, i32 %X) {
  18 ; CHECK-LABEL: test2:
  19 ; CHECK:       # %bb.0:
  20 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
  21 ; CHECK-NEXT:    shll $4, %eax
  22 ; CHECK-NEXT:    addl {{[0-9]+}}(%esp), %eax
  23 ; CHECK-NEXT:    retl
  24   %Y = shl i32 %X, 2
  25   %gep.upgrd.2 = zext i32 %Y to i64
  26   %P2 = getelementptr i32, i32* %P, i64 %gep.upgrd.2
  27   ret i32* %P2
  28 }
  29
  30 define i32* @test3(i32* %P, i32 %X) {
  31 ; CHECK-LABEL: test3:
  32 ; CHECK:       # %bb.0:
  33 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
  34 ; CHECK-NEXT:    andl $-4, %eax
  35 ; CHECK-NEXT:    addl {{[0-9]+}}(%esp), %eax
  36 ; CHECK-NEXT:    retl
  37   %Y = ashr i32 %X, 2
  38   %P2 = getelementptr i32, i32* %P, i32 %Y
  39   ret i32* %P2
  40 }
  41
  42 define fastcc i32 @test4(i32* %d) {
  43 ; CHECK-LABEL: test4:
  44 ; CHECK:       # %bb.0:
  45 ; CHECK-NEXT:    movzbl 3(%ecx), %eax
  46 ; CHECK-NEXT:    retl
  47   %tmp4 = load i32, i32* %d
  48   %tmp512 = lshr i32 %tmp4, 24
  49   ret i32 %tmp512
  50 }
  51
  52 ; Ensure that we don't fold away shifts which have multiple uses, as they are
  53 ; just re-introduced for the second use.
  54
  55 define i64 @test5(i16 %i, i32* %arr) {
  56 ; CHECK-LABEL: test5:
  57 ; CHECK:       # %bb.0:
  58 ; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
  59 ; CHECK-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
  60 ; CHECK-NEXT:    shrl $11, %eax
  61 ; CHECK-NEXT:    xorl %edx, %edx
  62 ; CHECK-NEXT:    addl (%ecx,%eax,4), %eax
  63 ; CHECK-NEXT:    setb %dl
  64 ; CHECK-NEXT:    retl
  65   %i.zext = zext i16 %i to i32
  66   %index = lshr i32 %i.zext, 11
  67   %index.zext = zext i32 %index to i64
  68   %val.ptr = getelementptr inbounds i32, i32* %arr, i64 %index.zext
  69   %val = load i32, i32* %val.ptr
  70   %val.zext = zext i32 %val to i64
  71   %sum = add i64 %val.zext, %index.zext
  72   ret i64 %sum
  73 }
  74
  75 ; We should not crash because an undef shift was created.
  76
  77 define i32 @overshift(i32 %a) {
  78 ; CHECK-LABEL: overshift:
  79 ; CHECK:       # %bb.0:
  80 ; CHECK-NEXT:    retl
  81   %shr = lshr i32 %a, 33
  82   %xor = xor i32 1, %shr
  83   ret i32 %xor
  84 }
  85