1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
; RUN: opt < %s -S -loop-reduce | FileCheck %s
define void @testIVNext(ptr nocapture %a, i64 signext %m, i64 signext %n) {
entry:
br label %for.body
for.body:
%indvars.iv.prol = phi i64 [ %indvars.iv.next.prol, %for.body ], [ %m, %entry ]
%i = phi i64 [ %i.next, %for.body ], [ 0, %entry ]
%uglygep138 = getelementptr i64, ptr %a, i64 %i
store i64 55, ptr %uglygep138, align 4
%indvars.iv.next.prol = add nuw nsw i64 %indvars.iv.prol, 1
%i.next = add i64 %i, 1
%i.cmp.not = icmp eq i64 %i.next, %n
br i1 %i.cmp.not, label %for.exit, label %for.body
; CHECK: entry:
; CHECK: %0 = add i64 %n, %m
; CHECK-NOT: %indvars.iv.next.prol
; CHECK-NOT: %indvars.iv.prol
; CHECK: %indvars.iv.unr = phi i64 [ %0, %for.exit ]
for.exit:
%indvars.iv.next.prol.lcssa = phi i64 [ %indvars.iv.next.prol, %for.body ]
br label %exit
exit:
%indvars.iv.unr = phi i64 [ %indvars.iv.next.prol.lcssa, %for.exit ]
ret void
}
define void @testIV(ptr nocapture %a, i64 signext %m, i64 signext %n) {
entry:
br label %for.body
for.body:
%iv.prol = phi i64 [ %iv.next.prol, %for.body ], [ %m, %entry ]
%i = phi i64 [ %i.next, %for.body ], [ 0, %entry ]
%uglygep138 = getelementptr i64, ptr %a, i64 %i
store i64 55, ptr %uglygep138, align 4
%iv.next.prol = add nuw nsw i64 %iv.prol, 1
%i.next = add i64 %i, 1
%i.cmp.not = icmp eq i64 %i.next, %n
br i1 %i.cmp.not, label %for.exit, label %for.body
; CHECK: entry:
; CHECK: %0 = add i64 %n, %m
; CHECK: %1 = add i64 %0, -1
; CHECK-NOT: %iv.next.prol
; CHECK-NOT: %iv.prol
; CHECK: %indvars.iv.unr = phi i64 [ %1, %for.exit ]
for.exit:
%iv.prol.lcssa = phi i64 [ %iv.prol, %for.body ]
br label %exit
exit:
%indvars.iv.unr = phi i64 [%iv.prol.lcssa, %for.exit]
ret void
}
define void @testNonIndVarPhi() {
cont5820:
br label %for.cond5821
for.cond5821: ; preds = %cont5825, %cont5820
%0 = phi i32 [ 0, %cont5825 ], [ 1, %cont5820 ]
br label %cont5825
cont5825: ; preds = %for.cond5821
br i1 false, label %for.cond5821, label %for.cond6403
for.cond6403: ; preds = %dead, %cont5825
%1 = phi i32 [ %.lcssa221, %dead ], [ 0, %cont5825 ]
br label %for.cond6418
for.cond6418: ; preds = %cont6497, %for.cond6403
%2 = phi i32 [ %0, %cont6497 ], [ %1, %for.cond6403 ]
%3 = phi i64 [ 1, %cont6497 ], [ 0, %for.cond6403 ]
%cmp6419 = icmp ule i64 %3, 0
br i1 %cmp6419, label %cont6497, label %for.end6730
cont6497: ; preds = %for.cond6418
%conv6498 = sext i32 %2 to i64
br label %for.cond6418
for.end6730: ; preds = %for.cond6418
; Check that we don't make changes for phis which are not considered
; induction variables
; CHECK: %.lcssa221 = phi i32 [ %2, %for.cond6418 ]
%.lcssa221 = phi i32 [ %2, %for.cond6418 ]
ret void
dead: ; No predecessors!
br label %for.cond6403
}
; Check that this doesn't crash
define void @kernfs_path_from_node() {
entry:
callbr void asm sideeffect "", "!i"()
to label %asm.fallthrough [label %while.body]
asm.fallthrough: ; preds = %entry
br label %while.body
while.body: ; preds = %while.body, %asm.fallthrough, %entry
%depth.04 = phi i32 [ %inc, %while.body ], [ 0, %asm.fallthrough ], [ 0, %entry ]
%inc = add i32 %depth.04, 1
br i1 false, label %while.end, label %while.body
while.end: ; preds = %while.body
%inc.lcssa = phi i32 [ %depth.04, %while.body ]
store i32 %inc.lcssa, ptr null, align 4
ret void
}
|
