CodeGen peephole: fold redundant phys reg copies

[oota-llvm.git] / test / CodeGen / X86 / loop-hoist.ll

diff --git a/test/CodeGen/X86/loop-hoist.ll b/test/CodeGen/X86/loop-hoist.ll
index ccbf53fe49d5e96988f80a19069f461fb3991210..8de240c0a97f283378b945145ba1bc825b27b117 100644 (file)
--- a/test/CodeGen/X86/loop-hoist.ll
+++ b/test/CodeGen/X86/loop-hoist.ll
@@ -1,25 +1,27 @@
-; RUN: llvm-upgrade < %s | llvm-as | llc -relocation-model=dynamic-no-pic -mtriple=i686-apple-darwin8.7.2 | grep L_Arr.non_lazy_ptr &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -relocation-model=dynamic-no-pic -mtriple=i686-apple-darwin8.7.2 | %prcontext L_Arr.non_lazy_ptr 1 | grep '4(%esp)'
+; LSR should hoist the load from the "Arr" stub out of the loop.
 
-%Arr = external global [0 x int]                ; <[0 x int]*> [#uses=2]
+; RUN: llc < %s -relocation-model=dynamic-no-pic -mtriple=i686-apple-darwin8.7.2 | FileCheck %s
 
-implementation   ; Functions:
+; CHECK: _foo:
+; CHECK:    L_Arr$non_lazy_ptr
+; CHECK: LBB0_1:
 
-void %foo(int %N.in) {
+@Arr = external global [0 x i32]               ; <[0 x i32]*> [#uses=1]
+
+define void @foo(i32 %N.in, i32 %x) nounwind {
 entry:
-        %N = cast int %N.in to uint                ; <uint> [#uses=1]
-        br label %cond_true
+       %N = bitcast i32 %N.in to i32           ; <i32> [#uses=1]
+       br label %cond_true
 
-cond_true:              ; preds = %cond_true, %entry
-        %indvar = phi uint [ 0, %entry ], [ %indvar.next, %cond_true ]          ; <uint> [#uses=3]
-        %i.0.0 = cast uint %indvar to int               ; <int> [#uses=1]
-        %tmp = getelementptr [0 x int]* %Arr, int 0, int %i.0.0
-        store int %i.0.0, int* %tmp
-        %indvar.next = add uint %indvar, 1              ; <uint> [#uses=2]
-        %exitcond = seteq uint %indvar.next, %N         ; <bool> [#uses=1]
-        br bool %exitcond, label %return, label %cond_true
+cond_true:             ; preds = %cond_true, %entry
+       %indvar = phi i32 [ %x, %entry ], [ %indvar.next, %cond_true ]          ; <i32> [#uses=2]
+       %i.0.0 = bitcast i32 %indvar to i32             ; <i32> [#uses=2]
+       %tmp = getelementptr [0 x i32], [0 x i32]* @Arr, i32 0, i32 %i.0.0              ; <i32*> [#uses=1]
+       store i32 %i.0.0, i32* %tmp
+       %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
+       %exitcond = icmp eq i32 %indvar.next, %N                ; <i1> [#uses=1]
+       br i1 %exitcond, label %return, label %cond_true
 
-return:         ; preds = %cond_true, %entry
-        ret void
+return:                ; preds = %cond_true
+       ret void
 }
-