mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
98aa1d9693
have pointer types, though in contrast to C pointer types, SCEV addition is never implicitly scaled. This not only eliminates the need for special code like IndVars' EliminatePointerRecurrence and LSR's own GEP expansion code, it also does a better job because it lets the normal optimizations handle pointer expressions just like integer expressions. Also, since LLVM IR GEPs can't directly index into multi-dimensional VLAs, moving the GEP analysis out of client code and into the SCEV framework makes it easier for clients to handle multi-dimensional VLAs the same way as other arrays. Some existing regression tests show improved optimization. test/CodeGen/ARM/2007-03-13-InstrSched.ll in particular improved to the point where if-conversion started kicking in; I turned it off for this test to preserve the intent of the test. llvm-svn: 69258
35 lines
1.1 KiB
LLVM
35 lines
1.1 KiB
LLVM
; RUN: llvm-as < %s | llc -march=x86 -relocation-model=static | not grep lea
|
|
; RUN: llvm-as < %s | llc -march=x86-64 | not grep lea
|
|
|
|
; P should be sunk into the loop and folded into the address mode. There
|
|
; shouldn't be any lea instructions inside the loop.
|
|
|
|
@B = external global [1000 x i8], align 32
|
|
@A = external global [1000 x i8], align 32
|
|
@P = external global [1000 x i8], align 32
|
|
|
|
define void @foo(i32 %m, i32 %p) nounwind {
|
|
entry:
|
|
%tmp1 = icmp sgt i32 %m, 0
|
|
br i1 %tmp1, label %bb, label %return
|
|
|
|
bb:
|
|
%i.019.0 = phi i32 [ %indvar.next, %bb ], [ 0, %entry ]
|
|
%tmp2 = getelementptr [1000 x i8]* @B, i32 0, i32 %i.019.0
|
|
%tmp3 = load i8* %tmp2, align 4
|
|
%tmp4 = mul i8 %tmp3, 2
|
|
%tmp5 = getelementptr [1000 x i8]* @A, i32 0, i32 %i.019.0
|
|
store i8 %tmp4, i8* %tmp5, align 4
|
|
%tmp8 = mul i32 %i.019.0, 9
|
|
%tmp0 = add i32 %tmp8, %p
|
|
%tmp10 = getelementptr [1000 x i8]* @P, i32 0, i32 %tmp0
|
|
store i8 17, i8* %tmp10, align 4
|
|
%indvar.next = add i32 %i.019.0, 1
|
|
%exitcond = icmp eq i32 %indvar.next, %m
|
|
br i1 %exitcond, label %return, label %bb
|
|
|
|
return:
|
|
ret void
|
|
}
|
|
|