1; RUN: llc < %s -mcpu=cyclone -verify-machineinstrs -aarch64-ccmp | FileCheck %s
2target triple = "arm64-apple-ios7.0.0"
3
4@channelColumns = external global i64
5@channelTracks = external global i64
6@mazeRoute = external hidden unnamed_addr global i8*, align 8
7@TOP = external global i64*
8@BOT = external global i64*
9@netsAssign = external global i64*
10
11; Function from yacr2/maze.c
12; The branch at the end of %if.then is driven by %cmp5 and %cmp6.
13; Isel converts the and i1 into two branches, and arm64-ccmp should not convert
14; it back again. %cmp6 has much higher latency than %cmp5.
15; CHECK: Maze1
16; CHECK: %if.then
17; CHECK: cmp x{{[0-9]+}}, #2
18; CHECK-NEXT b.cc
19; CHECK: %if.then
20; CHECK: cmp x{{[0-9]+}}, #2
21; CHECK-NEXT b.cc
22define i32 @Maze1() nounwind ssp {
23entry:
24  %0 = load i64* @channelColumns, align 8, !tbaa !0
25  %cmp90 = icmp eq i64 %0, 0
26  br i1 %cmp90, label %for.end, label %for.body
27
28for.body:                                         ; preds = %for.inc, %entry
29  %1 = phi i64 [ %0, %entry ], [ %37, %for.inc ]
30  %i.092 = phi i64 [ 1, %entry ], [ %inc53, %for.inc ]
31  %numLeft.091 = phi i32 [ 0, %entry ], [ %numLeft.1, %for.inc ]
32  %2 = load i8** @mazeRoute, align 8, !tbaa !3
33  %arrayidx = getelementptr inbounds i8* %2, i64 %i.092
34  %3 = load i8* %arrayidx, align 1, !tbaa !1
35  %tobool = icmp eq i8 %3, 0
36  br i1 %tobool, label %for.inc, label %if.then
37
38if.then:                                          ; preds = %for.body
39  %4 = load i64** @TOP, align 8, !tbaa !3
40  %arrayidx1 = getelementptr inbounds i64* %4, i64 %i.092
41  %5 = load i64* %arrayidx1, align 8, !tbaa !0
42  %6 = load i64** @netsAssign, align 8, !tbaa !3
43  %arrayidx2 = getelementptr inbounds i64* %6, i64 %5
44  %7 = load i64* %arrayidx2, align 8, !tbaa !0
45  %8 = load i64** @BOT, align 8, !tbaa !3
46  %arrayidx3 = getelementptr inbounds i64* %8, i64 %i.092
47  %9 = load i64* %arrayidx3, align 8, !tbaa !0
48  %arrayidx4 = getelementptr inbounds i64* %6, i64 %9
49  %10 = load i64* %arrayidx4, align 8, !tbaa !0
50  %cmp5 = icmp ugt i64 %i.092, 1
51  %cmp6 = icmp ugt i64 %10, 1
52  %or.cond = and i1 %cmp5, %cmp6
53  br i1 %or.cond, label %land.lhs.true7, label %if.else
54
55land.lhs.true7:                                   ; preds = %if.then
56  %11 = load i64* @channelTracks, align 8, !tbaa !0
57  %add = add i64 %11, 1
58  %call = tail call fastcc i32 @Maze1Mech(i64 %i.092, i64 %add, i64 %10, i64 0, i64 %7, i32 -1, i32 -1)
59  %tobool8 = icmp eq i32 %call, 0
60  br i1 %tobool8, label %land.lhs.true7.if.else_crit_edge, label %if.then9
61
62land.lhs.true7.if.else_crit_edge:                 ; preds = %land.lhs.true7
63  %.pre = load i64* @channelColumns, align 8, !tbaa !0
64  br label %if.else
65
66if.then9:                                         ; preds = %land.lhs.true7
67  %12 = load i8** @mazeRoute, align 8, !tbaa !3
68  %arrayidx10 = getelementptr inbounds i8* %12, i64 %i.092
69  store i8 0, i8* %arrayidx10, align 1, !tbaa !1
70  %13 = load i64** @TOP, align 8, !tbaa !3
71  %arrayidx11 = getelementptr inbounds i64* %13, i64 %i.092
72  %14 = load i64* %arrayidx11, align 8, !tbaa !0
73  tail call fastcc void @CleanNet(i64 %14)
74  %15 = load i64** @BOT, align 8, !tbaa !3
75  %arrayidx12 = getelementptr inbounds i64* %15, i64 %i.092
76  %16 = load i64* %arrayidx12, align 8, !tbaa !0
77  tail call fastcc void @CleanNet(i64 %16)
78  br label %for.inc
79
80if.else:                                          ; preds = %land.lhs.true7.if.else_crit_edge, %if.then
81  %17 = phi i64 [ %.pre, %land.lhs.true7.if.else_crit_edge ], [ %1, %if.then ]
82  %cmp13 = icmp ult i64 %i.092, %17
83  %or.cond89 = and i1 %cmp13, %cmp6
84  br i1 %or.cond89, label %land.lhs.true16, label %if.else24
85
86land.lhs.true16:                                  ; preds = %if.else
87  %18 = load i64* @channelTracks, align 8, !tbaa !0
88  %add17 = add i64 %18, 1
89  %call18 = tail call fastcc i32 @Maze1Mech(i64 %i.092, i64 %add17, i64 %10, i64 0, i64 %7, i32 1, i32 -1)
90  %tobool19 = icmp eq i32 %call18, 0
91  br i1 %tobool19, label %if.else24, label %if.then20
92
93if.then20:                                        ; preds = %land.lhs.true16
94  %19 = load i8** @mazeRoute, align 8, !tbaa !3
95  %arrayidx21 = getelementptr inbounds i8* %19, i64 %i.092
96  store i8 0, i8* %arrayidx21, align 1, !tbaa !1
97  %20 = load i64** @TOP, align 8, !tbaa !3
98  %arrayidx22 = getelementptr inbounds i64* %20, i64 %i.092
99  %21 = load i64* %arrayidx22, align 8, !tbaa !0
100  tail call fastcc void @CleanNet(i64 %21)
101  %22 = load i64** @BOT, align 8, !tbaa !3
102  %arrayidx23 = getelementptr inbounds i64* %22, i64 %i.092
103  %23 = load i64* %arrayidx23, align 8, !tbaa !0
104  tail call fastcc void @CleanNet(i64 %23)
105  br label %for.inc
106
107if.else24:                                        ; preds = %land.lhs.true16, %if.else
108  br i1 %cmp5, label %land.lhs.true26, label %if.else36
109
110land.lhs.true26:                                  ; preds = %if.else24
111  %24 = load i64* @channelTracks, align 8, !tbaa !0
112  %cmp27 = icmp ult i64 %7, %24
113  br i1 %cmp27, label %land.lhs.true28, label %if.else36
114
115land.lhs.true28:                                  ; preds = %land.lhs.true26
116  %add29 = add i64 %24, 1
117  %call30 = tail call fastcc i32 @Maze1Mech(i64 %i.092, i64 0, i64 %7, i64 %add29, i64 %10, i32 -1, i32 1)
118  %tobool31 = icmp eq i32 %call30, 0
119  br i1 %tobool31, label %if.else36, label %if.then32
120
121if.then32:                                        ; preds = %land.lhs.true28
122  %25 = load i8** @mazeRoute, align 8, !tbaa !3
123  %arrayidx33 = getelementptr inbounds i8* %25, i64 %i.092
124  store i8 0, i8* %arrayidx33, align 1, !tbaa !1
125  %26 = load i64** @TOP, align 8, !tbaa !3
126  %arrayidx34 = getelementptr inbounds i64* %26, i64 %i.092
127  %27 = load i64* %arrayidx34, align 8, !tbaa !0
128  tail call fastcc void @CleanNet(i64 %27)
129  %28 = load i64** @BOT, align 8, !tbaa !3
130  %arrayidx35 = getelementptr inbounds i64* %28, i64 %i.092
131  %29 = load i64* %arrayidx35, align 8, !tbaa !0
132  tail call fastcc void @CleanNet(i64 %29)
133  br label %for.inc
134
135if.else36:                                        ; preds = %land.lhs.true28, %land.lhs.true26, %if.else24
136  %30 = load i64* @channelColumns, align 8, !tbaa !0
137  %cmp37 = icmp ult i64 %i.092, %30
138  br i1 %cmp37, label %land.lhs.true38, label %if.else48
139
140land.lhs.true38:                                  ; preds = %if.else36
141  %31 = load i64* @channelTracks, align 8, !tbaa !0
142  %cmp39 = icmp ult i64 %7, %31
143  br i1 %cmp39, label %land.lhs.true40, label %if.else48
144
145land.lhs.true40:                                  ; preds = %land.lhs.true38
146  %add41 = add i64 %31, 1
147  %call42 = tail call fastcc i32 @Maze1Mech(i64 %i.092, i64 0, i64 %7, i64 %add41, i64 %10, i32 1, i32 1)
148  %tobool43 = icmp eq i32 %call42, 0
149  br i1 %tobool43, label %if.else48, label %if.then44
150
151if.then44:                                        ; preds = %land.lhs.true40
152  %32 = load i8** @mazeRoute, align 8, !tbaa !3
153  %arrayidx45 = getelementptr inbounds i8* %32, i64 %i.092
154  store i8 0, i8* %arrayidx45, align 1, !tbaa !1
155  %33 = load i64** @TOP, align 8, !tbaa !3
156  %arrayidx46 = getelementptr inbounds i64* %33, i64 %i.092
157  %34 = load i64* %arrayidx46, align 8, !tbaa !0
158  tail call fastcc void @CleanNet(i64 %34)
159  %35 = load i64** @BOT, align 8, !tbaa !3
160  %arrayidx47 = getelementptr inbounds i64* %35, i64 %i.092
161  %36 = load i64* %arrayidx47, align 8, !tbaa !0
162  tail call fastcc void @CleanNet(i64 %36)
163  br label %for.inc
164
165if.else48:                                        ; preds = %land.lhs.true40, %land.lhs.true38, %if.else36
166  %inc = add nsw i32 %numLeft.091, 1
167  br label %for.inc
168
169for.inc:                                          ; preds = %if.else48, %if.then44, %if.then32, %if.then20, %if.then9, %for.body
170  %numLeft.1 = phi i32 [ %numLeft.091, %if.then9 ], [ %numLeft.091, %if.then20 ], [ %numLeft.091, %if.then32 ], [ %numLeft.091, %if.then44 ], [ %inc, %if.else48 ], [ %numLeft.091, %for.body ]
171  %inc53 = add i64 %i.092, 1
172  %37 = load i64* @channelColumns, align 8, !tbaa !0
173  %cmp = icmp ugt i64 %inc53, %37
174  br i1 %cmp, label %for.end, label %for.body
175
176for.end:                                          ; preds = %for.inc, %entry
177  %numLeft.0.lcssa = phi i32 [ 0, %entry ], [ %numLeft.1, %for.inc ]
178  ret i32 %numLeft.0.lcssa
179}
180
181; Materializable
182declare hidden fastcc i32 @Maze1Mech(i64, i64, i64, i64, i64, i32, i32) nounwind ssp
183
184; Materializable
185declare hidden fastcc void @CleanNet(i64) nounwind ssp
186
187!0 = !{!"long", !1}
188!1 = !{!"omnipotent char", !2}
189!2 = !{!"Simple C/C++ TBAA"}
190!3 = !{!"any pointer", !1}
191