1; RUN: llc < %s -march=x86 -verify-coalescing | FileCheck %s 2 3define i32* @test1(i32* %P, i32 %X) { 4; CHECK-LABEL: test1: 5; CHECK-NOT: shrl 6; CHECK-NOT: shll 7; CHECK: ret 8 9entry: 10 %Y = lshr i32 %X, 2 11 %gep.upgrd.1 = zext i32 %Y to i64 12 %P2 = getelementptr i32, i32* %P, i64 %gep.upgrd.1 13 ret i32* %P2 14} 15 16define i32* @test2(i32* %P, i32 %X) { 17; CHECK-LABEL: test2: 18; CHECK: shll $4 19; CHECK-NOT: shll 20; CHECK: ret 21 22entry: 23 %Y = shl i32 %X, 2 24 %gep.upgrd.2 = zext i32 %Y to i64 25 %P2 = getelementptr i32, i32* %P, i64 %gep.upgrd.2 26 ret i32* %P2 27} 28 29define i32* @test3(i32* %P, i32 %X) { 30; CHECK-LABEL: test3: 31; CHECK-NOT: shrl 32; CHECK-NOT: shll 33; CHECK: ret 34 35entry: 36 %Y = ashr i32 %X, 2 37 %P2 = getelementptr i32, i32* %P, i32 %Y 38 ret i32* %P2 39} 40 41define fastcc i32 @test4(i32* %d) { 42; CHECK-LABEL: test4: 43; CHECK-NOT: shrl 44; CHECK: ret 45 46entry: 47 %tmp4 = load i32, i32* %d 48 %tmp512 = lshr i32 %tmp4, 24 49 ret i32 %tmp512 50} 51 52define i64 @test5(i16 %i, i32* %arr) { 53; Ensure that we don't fold away shifts which have multiple uses, as they are 54; just re-introduced for the second use. 55; CHECK-LABEL: test5: 56; CHECK-NOT: shrl 57; CHECK: shrl $11 58; CHECK-NOT: shrl 59; CHECK: ret 60 61entry: 62 %i.zext = zext i16 %i to i32 63 %index = lshr i32 %i.zext, 11 64 %index.zext = zext i32 %index to i64 65 %val.ptr = getelementptr inbounds i32, i32* %arr, i64 %index.zext 66 %val = load i32, i32* %val.ptr 67 %val.zext = zext i32 %val to i64 68 %sum = add i64 %val.zext, %index.zext 69 ret i64 %sum 70} 71