2012-05-20 08:38:32 +02:00
|
|
|
; RUN: llc < %s -march=x86 -verify-coalescing | FileCheck %s
|
2012-01-05 12:05:47 +01:00
|
|
|
|
|
|
|
define i32* @test1(i32* %P, i32 %X) {
|
2013-07-13 22:38:47 +02:00
|
|
|
; CHECK-LABEL: test1:
|
2012-01-05 12:05:47 +01:00
|
|
|
; CHECK-NOT: shrl
|
|
|
|
; CHECK-NOT: shll
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
|
|
|
%Y = lshr i32 %X, 2
|
|
|
|
%gep.upgrd.1 = zext i32 %Y to i64
|
|
|
|
%P2 = getelementptr i32* %P, i64 %gep.upgrd.1
|
|
|
|
ret i32* %P2
|
2005-05-09 19:09:31 +02:00
|
|
|
}
|
|
|
|
|
2012-01-05 12:05:47 +01:00
|
|
|
define i32* @test2(i32* %P, i32 %X) {
|
2013-07-13 22:38:47 +02:00
|
|
|
; CHECK-LABEL: test2:
|
2012-01-05 12:05:47 +01:00
|
|
|
; CHECK: shll $4
|
|
|
|
; CHECK-NOT: shll
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
|
|
|
%Y = shl i32 %X, 2
|
|
|
|
%gep.upgrd.2 = zext i32 %Y to i64
|
|
|
|
%P2 = getelementptr i32* %P, i64 %gep.upgrd.2
|
|
|
|
ret i32* %P2
|
2005-05-09 19:09:31 +02:00
|
|
|
}
|
|
|
|
|
2012-01-05 12:05:47 +01:00
|
|
|
define i32* @test3(i32* %P, i32 %X) {
|
2013-07-13 22:38:47 +02:00
|
|
|
; CHECK-LABEL: test3:
|
2012-01-05 12:05:47 +01:00
|
|
|
; CHECK-NOT: shrl
|
|
|
|
; CHECK-NOT: shll
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
|
|
|
%Y = ashr i32 %X, 2
|
|
|
|
%P2 = getelementptr i32* %P, i32 %Y
|
|
|
|
ret i32* %P2
|
2005-05-09 19:09:31 +02:00
|
|
|
}
|
2008-02-21 08:42:26 +01:00
|
|
|
|
2012-01-05 12:05:47 +01:00
|
|
|
define fastcc i32 @test4(i32* %d) {
|
2013-07-13 22:38:47 +02:00
|
|
|
; CHECK-LABEL: test4:
|
2012-01-05 12:05:47 +01:00
|
|
|
; CHECK-NOT: shrl
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
2010-06-24 16:30:44 +02:00
|
|
|
%tmp4 = load i32* %d
|
|
|
|
%tmp512 = lshr i32 %tmp4, 24
|
|
|
|
ret i32 %tmp512
|
|
|
|
}
|
2012-01-05 12:05:55 +01:00
|
|
|
|
|
|
|
define i64 @test5(i16 %i, i32* %arr) {
|
|
|
|
; Ensure that we don't fold away shifts which have multiple uses, as they are
|
|
|
|
; just re-introduced for the second use.
|
2013-07-13 22:38:47 +02:00
|
|
|
; CHECK-LABEL: test5:
|
2012-01-05 12:05:55 +01:00
|
|
|
; CHECK-NOT: shrl
|
|
|
|
; CHECK: shrl $11
|
|
|
|
; CHECK-NOT: shrl
|
|
|
|
; CHECK: ret
|
|
|
|
|
|
|
|
entry:
|
|
|
|
%i.zext = zext i16 %i to i32
|
|
|
|
%index = lshr i32 %i.zext, 11
|
|
|
|
%index.zext = zext i32 %index to i64
|
|
|
|
%val.ptr = getelementptr inbounds i32* %arr, i64 %index.zext
|
|
|
|
%val = load i32* %val.ptr
|
|
|
|
%val.zext = zext i32 %val to i64
|
|
|
|
%sum = add i64 %val.zext, %index.zext
|
|
|
|
ret i64 %sum
|
|
|
|
}
|