mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 19:23:23 +01:00
ab043ff680
Essentially the same as the GEP change in r230786.
A similar migration script can be used to update test cases, though a few more
test case improvements/changes were required this time around: (r229269-r229278)
import fileinput
import sys
import re
pat = re.compile(r"((?:=|:|^)\s*load (?:atomic )?(?:volatile )?(.*?))(| addrspace\(\d+\) *)\*($| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$)")
for line in sys.stdin:
sys.stdout.write(re.sub(pat, r"\1, \2\3*\4", line))
Reviewers: rafael, dexonsmith, grosser
Differential Revision: http://reviews.llvm.org/D7649
llvm-svn: 230794
71 lines
1.4 KiB
LLVM
71 lines
1.4 KiB
LLVM
; RUN: llc < %s -march=x86 -verify-coalescing | FileCheck %s
|
|
|
|
define i32* @test1(i32* %P, i32 %X) {
|
|
; CHECK-LABEL: test1:
|
|
; 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, i32* %P, i64 %gep.upgrd.1
|
|
ret i32* %P2
|
|
}
|
|
|
|
define i32* @test2(i32* %P, i32 %X) {
|
|
; CHECK-LABEL: test2:
|
|
; 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, i32* %P, i64 %gep.upgrd.2
|
|
ret i32* %P2
|
|
}
|
|
|
|
define i32* @test3(i32* %P, i32 %X) {
|
|
; CHECK-LABEL: test3:
|
|
; CHECK-NOT: shrl
|
|
; CHECK-NOT: shll
|
|
; CHECK: ret
|
|
|
|
entry:
|
|
%Y = ashr i32 %X, 2
|
|
%P2 = getelementptr i32, i32* %P, i32 %Y
|
|
ret i32* %P2
|
|
}
|
|
|
|
define fastcc i32 @test4(i32* %d) {
|
|
; CHECK-LABEL: test4:
|
|
; CHECK-NOT: shrl
|
|
; CHECK: ret
|
|
|
|
entry:
|
|
%tmp4 = load i32, i32* %d
|
|
%tmp512 = lshr i32 %tmp4, 24
|
|
ret i32 %tmp512
|
|
}
|
|
|
|
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.
|
|
; CHECK-LABEL: test5:
|
|
; 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, i32* %arr, i64 %index.zext
|
|
%val = load i32, i32* %val.ptr
|
|
%val.zext = zext i32 %val to i64
|
|
%sum = add i64 %val.zext, %index.zext
|
|
ret i64 %sum
|
|
}
|