mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-13 23:18:58 +00:00
875007d3c4
Allows more aggressive folding of ashr/shl pairs. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@240788 91177308-0d34-0410-b5e6-96231b3b80d8
79 lines
1.8 KiB
LLVM
79 lines
1.8 KiB
LLVM
; RUN: llc -march=x86 < %s | FileCheck %s
|
|
|
|
@array = weak global [4 x i32] zeroinitializer
|
|
|
|
define i32 @test_lshr_and(i32 %x) {
|
|
; CHECK-LABEL: test_lshr_and:
|
|
; CHECK-NOT: shrl
|
|
; CHECK: andl $12,
|
|
; CHECK: movl {{.*}}array{{.*}},
|
|
; CHECK: ret
|
|
|
|
entry:
|
|
%tmp2 = lshr i32 %x, 2
|
|
%tmp3 = and i32 %tmp2, 3
|
|
%tmp4 = getelementptr [4 x i32], [4 x i32]* @array, i32 0, i32 %tmp3
|
|
%tmp5 = load i32, i32* %tmp4, align 4
|
|
ret i32 %tmp5
|
|
}
|
|
|
|
define i32* @test_exact1(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact1:
|
|
; CHECK: sarl %
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = ashr exact i32 %sub, 3
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|
|
|
|
define i32* @test_exact2(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact2:
|
|
; CHECK: sarl %
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = ashr exact i32 %sub, 3
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|
|
|
|
define i32* @test_exact3(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact3:
|
|
; CHECK-NOT: sarl
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = ashr exact i32 %sub, 2
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|
|
|
|
define i32* @test_exact4(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact4:
|
|
; CHECK: shrl %
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = lshr exact i32 %sub, 3
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|
|
|
|
define i32* @test_exact5(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact5:
|
|
; CHECK: shrl %
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = lshr exact i32 %sub, 3
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|
|
|
|
define i32* @test_exact6(i32 %a, i32 %b, i32* %x) {
|
|
; CHECK-LABEL: test_exact6:
|
|
; CHECK-NOT: shrl
|
|
|
|
%sub = sub i32 %b, %a
|
|
%shr = lshr exact i32 %sub, 2
|
|
%gep = getelementptr inbounds i32, i32* %x, i32 %shr
|
|
ret i32* %gep
|
|
}
|