llvm/test/Transforms/IndVarSimplify/loop_evaluate_3.ll

   1 ; RUN: opt < %s -passes=indvars -S | FileCheck %s
   2 ; PR1179
   3
   4 define i32 @foo() {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK: ret i32 600000
   7 entry:
   8         br label %bb5
   9
  10 bb5:            ; preds = %bb5, %entry
  11         %i.01.0 = phi i32 [ 0, %entry ], [ %tmp2, %bb5 ]                ; <i32> [#uses=1]
  12         %x.03.0 = phi i32 [ 0, %entry ], [ %tmp4, %bb5 ]                ; <i32> [#uses=1]
  13         %tmp2 = add i32 %i.01.0, 3              ; <i32> [#uses=2]
  14         %tmp4 = add i32 %x.03.0, 1              ; <i32> [#uses=2]
  15         icmp slt i32 %tmp4, 200000              ; <i1>:0 [#uses=1]
  16         br i1 %0, label %bb5, label %bb7
  17
  18 bb7:            ; preds = %bb5
  19         ret i32 %tmp2
  20 }
  21