X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FTransforms%2FLoopStrengthReduce%2Fexit_compare_live_range.ll;h=498be1a9a1a28b99252ce19c7fc7b2f26fe3eae3;hb=49c8f7512a37b53bf459e51241935ab4ab67ef38;hp=5a34a2a31404d1c17c366d428f5d73388b8f6f3e;hpb=e4d87aa2de6e52952dca73716386db09aad5a8fd;p=oota-llvm.git diff --git a/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll b/test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll index 5a34a2a3140..498be1a9a1a 100644 --- 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 ; [#uses=2] - %exitcond = seteq uint %indvar.next, %E ; [#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 ] ; [#uses=1] + store volatile float 0.000000e+00, float* %D + %indvar.next = add i32 %indvar, 1 ; [#uses=2] +; CHECK: icmp +; CHECK-NEXT: br i1 + %exitcond = icmp eq i32 %indvar.next, %E ; [#uses=1] + br i1 %exitcond, label %loopexit, label %no_exit +loopexit: ; preds = %no_exit ret void } +