xref: /llvm-project/llvm/test/Transforms/IndVarSimplify/loop_evaluate_3.ll (revision f15ed06a65de2715130ffeba5ed3698a08047d27)
1; RUN: opt < %s -passes=indvars -S | FileCheck %s
2; PR1179
3
4define i32 @foo() {
5; CHECK-LABEL: @foo(
6; CHECK: ret i32 600000
7entry:
8        br label %bb5
9
10bb5:            ; 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
18bb7:            ; preds = %bb5
19        ret i32 %tmp2
20}
21
22