[TwoAddressInstructionPass] When looking for a 3 addr conversion after commuting...

[oota-llvm.git] / test / Transforms / LoopStrengthReduce / exit_compare_live_range.ll

diff --git a/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll b/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll
index 5a34a2a31404d1c17c366d428f5d73388b8f6f3e..498be1a9a1a28b99252ce19c7fc7b2f26fe3eae3 100644 (file)
--- a/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll
+++ b/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll
@@ -1,20 +1,21 @@
 ; Make sure that the compare instruction occurs after the increment to avoid
-; having overlapping live ranges that result in copies.  We want the setcc instruction
-; immediately before the conditional branch.
+; having overlapping live ranges that result in copies.  We want the setcc 
+; instruction immediately before the conditional branch.
 ;
-; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce | llvm-dis | %prcontext 'br bool' 1 | grep icmp
+; RUN: opt -S -loop-reduce < %s | FileCheck %s
 
-void %foo(float* %D, uint %E) {
+define void @foo(float* %D, i32 %E) {
 entry:
        br label %no_exit
-
-no_exit:
-       %indvar = phi uint [ 0, %entry ], [ %indvar.next, %no_exit ]
-       volatile store float 0.0, float* %D
-       %indvar.next = add uint %indvar, 1              ; <uint> [#uses=2]
-       %exitcond = seteq uint %indvar.next, %E         ; <bool> [#uses=1]
-       br bool %exitcond, label %loopexit, label %no_exit
-
-loopexit:
+no_exit:               ; preds = %no_exit, %entry
+       %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %no_exit ]             ; <i32> [#uses=1]
+       store volatile float 0.000000e+00, float* %D
+       %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
+; CHECK: icmp
+; CHECK-NEXT: br i1
+       %exitcond = icmp eq i32 %indvar.next, %E                ; <i1> [#uses=1]
+       br i1 %exitcond, label %loopexit, label %no_exit
+loopexit:              ; preds = %no_exit
        ret void
 }
+