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 4define 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 17define 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 30define 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 42define 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 55define 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