Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/MergeFunc/phi-speculation1.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 1f2b6ac9f198
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; REQUIRES: asserts
anatofuz
parents:
diff changeset
2 ; RUN: opt < %s -mergefunc -stats -disable-output 2>&1 | not grep "functions merged"
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 define i32 @foo1(i32 %x) {
anatofuz
parents:
diff changeset
5 entry:
anatofuz
parents:
diff changeset
6 %A = add i32 %x, 1
anatofuz
parents:
diff changeset
7 %B = call i32 @foo1(i32 %A)
anatofuz
parents:
diff changeset
8 br label %loop
anatofuz
parents:
diff changeset
9 loop:
anatofuz
parents:
diff changeset
10 %C = phi i32 [%B, %entry], [%D, %loop]
anatofuz
parents:
diff changeset
11 %D = add i32 %x, 2
anatofuz
parents:
diff changeset
12 %E = icmp ugt i32 %D, 10000
anatofuz
parents:
diff changeset
13 br i1 %E, label %loopexit, label %loop
anatofuz
parents:
diff changeset
14 loopexit:
anatofuz
parents:
diff changeset
15 ret i32 %D
anatofuz
parents:
diff changeset
16 }
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 define i32 @foo2(i32 %x) {
anatofuz
parents:
diff changeset
19 entry:
anatofuz
parents:
diff changeset
20 %0 = add i32 %x, 1
anatofuz
parents:
diff changeset
21 %1 = call i32 @foo2(i32 %0)
anatofuz
parents:
diff changeset
22 br label %loop
anatofuz
parents:
diff changeset
23 loop:
anatofuz
parents:
diff changeset
24 %2 = phi i32 [%1, %entry], [%3, %loop]
anatofuz
parents:
diff changeset
25 %3 = add i32 %2, 2
anatofuz
parents:
diff changeset
26 %4 = icmp ugt i32 %3, 10000
anatofuz
parents:
diff changeset
27 br i1 %4, label %loopexit, label %loop
anatofuz
parents:
diff changeset
28 loopexit:
anatofuz
parents:
diff changeset
29 ret i32 %3
anatofuz
parents:
diff changeset
30 }