Mercurial > hg > CbC > CbC_llvm

annotate test/Transforms/SimplifyCFG/multiple-phis.ll @ 146:3fc4d5c3e21e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
set tail call flag for code segment in CGCAll
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:23:36 +0900
parents 3a76565eade5
children c2174574ed3a
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
2 ; RUN: opt -simplifycfg -keep-loops=false -S < %s | FileCheck %s
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 ; It's not worthwhile to if-convert one of the phi nodes and leave
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 ; the other behind, because that still requires a branch. If
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 ; SimplifyCFG if-converts one of the phis, it should do both.
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 define i32 @upper_bound(i32* %r, i32 %high, i32 %k) nounwind {
134
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
9 ; CHECK-LABEL: @upper_bound(
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
10 ; CHECK-NEXT: entry:
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
11 ; CHECK-NEXT: br label [[WHILE_COND:%.*]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
12 ; CHECK: while.cond:
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
13 ; CHECK-NEXT: [[HIGH_ADDR_0:%.*]] = phi i32 [ [[HIGH:%.*]], [[ENTRY:%.*]] ], [ [[DIV_HIGH_ADDR_0:%.*]], [[WHILE_BODY:%.*]] ]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
14 ; CHECK-NEXT: [[LOW_0:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[LOW_0_ADD2:%.*]], [[WHILE_BODY]] ]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
15 ; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[LOW_0]], [[HIGH_ADDR_0]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
16 ; CHECK-NEXT: br i1 [[CMP]], label [[WHILE_BODY]], label [[WHILE_END:%.*]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
17 ; CHECK: while.body:
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
18 ; CHECK-NEXT: [[ADD:%.*]] = add i32 [[LOW_0]], [[HIGH_ADDR_0]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
19 ; CHECK-NEXT: [[DIV:%.*]] = udiv i32 [[ADD]], 2
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
20 ; CHECK-NEXT: [[IDXPROM:%.*]] = zext i32 [[DIV]] to i64
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
21 ; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, i32* [[R:%.*]], i64 [[IDXPROM]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
22 ; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[ARRAYIDX]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
23 ; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i32 [[K:%.*]], [[TMP0]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
24 ; CHECK-NEXT: [[ADD2:%.*]] = add i32 [[DIV]], 1
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
25 ; CHECK-NEXT: [[DIV_HIGH_ADDR_0]] = select i1 [[CMP1]], i32 [[DIV]], i32 [[HIGH_ADDR_0]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
26 ; CHECK-NEXT: [[LOW_0_ADD2]] = select i1 [[CMP1]], i32 [[LOW_0]], i32 [[ADD2]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
27 ; CHECK-NEXT: br label [[WHILE_COND]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
28 ; CHECK: while.end:
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
29 ; CHECK-NEXT: ret i32 [[LOW_0]]
3a76565eade5 update 5.0.1
mir3636
parents: 121
diff changeset
30 ;
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 entry:
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 br label %while.cond
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 while.cond: ; preds = %if.then, %if.else, %entry
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 %high.addr.0 = phi i32 [ %high, %entry ], [ %div, %if.then ], [ %high.addr.0, %if.else ]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 %low.0 = phi i32 [ 0, %entry ], [ %low.0, %if.then ], [ %add2, %if.else ]
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 %cmp = icmp ult i32 %low.0, %high.addr.0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 br i1 %cmp, label %while.body, label %while.end
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 while.body: ; preds = %while.cond
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 %add = add i32 %low.0, %high.addr.0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 %div = udiv i32 %add, 2
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 %idxprom = zext i32 %div to i64
95
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
44 %arrayidx = getelementptr inbounds i32, i32* %r, i64 %idxprom
afa8332a0e37 LLVM 3.8
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
45 %0 = load i32, i32* %arrayidx
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 %cmp1 = icmp ult i32 %k, %0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 br i1 %cmp1, label %if.then, label %if.else
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 if.then: ; preds = %while.body
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 br label %while.cond
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 if.else: ; preds = %while.body
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 %add2 = add i32 %div, 1
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 br label %while.cond
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 while.end: ; preds = %while.cond
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 ret i32 %low.0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 }