Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/IndVarSimplify/pr18223.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt -indvars -S < %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 ; indvars should transform the phi node pair from the for-loop
anatofuz
parents:
diff changeset
4 ; CHECK-LABEL: @main(
anatofuz
parents:
diff changeset
5 ; CHECK: ret = phi i32 [ 0, %entry ], [ 0, {{.*}} ]
anatofuz
parents:
diff changeset
6
anatofuz
parents:
diff changeset
7 @c = common global i32 0, align 4
anatofuz
parents:
diff changeset
8
anatofuz
parents:
diff changeset
9 define i32 @main() #0 {
anatofuz
parents:
diff changeset
10 entry:
anatofuz
parents:
diff changeset
11 %0 = load i32, i32* @c, align 4
anatofuz
parents:
diff changeset
12 %tobool = icmp eq i32 %0, 0
anatofuz
parents:
diff changeset
13 br i1 %tobool, label %for.body, label %exit
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 for.body:
anatofuz
parents:
diff changeset
16 %inc2 = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
anatofuz
parents:
diff changeset
17 %sub = add i32 %inc2, -1
anatofuz
parents:
diff changeset
18 %cmp1 = icmp uge i32 %sub, %inc2
anatofuz
parents:
diff changeset
19 %conv = zext i1 %cmp1 to i32
anatofuz
parents:
diff changeset
20 br label %for.inc
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 for.inc:
anatofuz
parents:
diff changeset
23 %inc = add nsw i32 %inc2, 1
anatofuz
parents:
diff changeset
24 %cmp = icmp slt i32 %inc, 5
anatofuz
parents:
diff changeset
25 br i1 %cmp, label %for.body, label %exit
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 exit:
anatofuz
parents:
diff changeset
28 %ret = phi i32 [ 0, %entry ], [ %conv, %for.inc ]
anatofuz
parents:
diff changeset
29 ret i32 %ret
anatofuz
parents:
diff changeset
30 }