• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -indvars -S | FileCheck %s
2
3define i32 @main() {
4; CHECK-LABEL: @main(
5; CHECK: ret i32 152
6entry:
7        br label %no_exit
8
9no_exit:                ; preds = %no_exit, %entry
10        %i.1.0 = phi i32 [ 0, %entry ], [ %inc, %no_exit ]              ; <i32> [#uses=2]
11        %tmp.4 = icmp sgt i32 %i.1.0, 50                ; <i1> [#uses=1]
12        %tmp.7 = select i1 %tmp.4, i32 100, i32 0               ; <i32> [#uses=1]
13        %i.0 = add i32 %i.1.0, 1                ; <i32> [#uses=1]
14        %inc = add i32 %i.0, %tmp.7             ; <i32> [#uses=3]
15        %tmp.1 = icmp slt i32 %inc, 100         ; <i1> [#uses=1]
16        br i1 %tmp.1, label %no_exit, label %loopexit
17
18loopexit:               ; preds = %no_exit
19        ret i32 %inc
20}
21
22