1; RUN: llc < %s -mtriple=x86_64-apple-macosx -regalloc=greedy | FileCheck %s
2
3; This testing case is reduced from 197.parser prune_match function.
4; We make sure register copies are not generated on isupper.exit blocks.
5
6; isupper.exit and isupper.exit223 get tail-duplicated into all their
7; predecessors.
8; CHECK: cond.true.i.i
9; CHECK-NEXT: in Loop
10; Mem-move
11; CHECK-NEXT: movl
12; CHECK-NEXT: andl
13; CHECK-NEXT: testl
14; CHECK-NEXT: jne
15; CHECK: cond.true.i.i217
16; CHECK-NEXT: in Loop
17; Mem-move
18; CHECK-NEXT: movl
19; CHECK-NEXT: andl
20; CHECK-NEXT: testl
21; CHECK-NEXT: je
22; CHECK: cond.false.i.i
23; CHECK: maskrune
24; CHECK-NEXT: movzbl
25; CHECK-NEXT: movzbl
26; CHECK-NEXT: testl
27; CHECK-NEXT: je
28; CHECK: cond.false.i.i219
29; CHECK: maskrune
30; CHECK-NEXT: movzbl
31; CHECK-NEXT: movzbl
32; CHECK-NEXT: testl
33; CHECK-NEXT: jne
34
35%struct.List_o_links_struct = type { i32, i32, i32, %struct.List_o_links_struct* }
36%struct.Connector_struct = type { i16, i16, i8, i8, %struct.Connector_struct*, i8* }
37%struct._RuneLocale = type { [8 x i8], [32 x i8], i32 (i8*, i64, i8**)*, i32 (i32, i8*, i64, i8**)*, i32, [256 x i32], [256 x i32], [256 x i32], %struct._RuneRange, %struct._RuneRange, %struct._RuneRange, i8*, i32, i32, %struct._RuneCharClass* }
38%struct._RuneRange = type { i32, %struct._RuneEntry* }
39%struct._RuneEntry = type { i32, i32, i32, i32* }
40%struct._RuneCharClass = type { [14 x i8], i32 }
41%struct.Exp_struct = type { i8, i8, i8, i8, %union.anon }
42%union.anon = type { %struct.E_list_struct* }
43%struct.E_list_struct = type { %struct.E_list_struct*, %struct.Exp_struct* }
44%struct.domain_struct = type { i8*, i32, %struct.List_o_links_struct*, i32, i32, %struct.d_tree_leaf_struct*, %struct.domain_struct* }
45%struct.d_tree_leaf_struct = type { %struct.domain_struct*, i32, %struct.d_tree_leaf_struct* }
46@_DefaultRuneLocale = external global %struct._RuneLocale
47declare i32 @__maskrune(i32, i64) #7
48define fastcc i32 @prune_match(%struct.Connector_struct* nocapture readonly %a, %struct.Connector_struct* nocapture readonly %b) #9 {
49entry:
50  %label56 = bitcast %struct.Connector_struct* %a to i16*
51  %0 = load i16, i16* %label56, align 2
52  %label157 = bitcast %struct.Connector_struct* %b to i16*
53  %1 = load i16, i16* %label157, align 2
54  %cmp = icmp eq i16 %0, %1
55  br i1 %cmp, label %if.end, label %return, !prof !988
56if.end:
57  %priority = getelementptr inbounds %struct.Connector_struct, %struct.Connector_struct* %a, i64 0, i32 2
58  %2 = load i8, i8* %priority, align 1
59  %priority5 = getelementptr inbounds %struct.Connector_struct, %struct.Connector_struct* %b, i64 0, i32 2
60  %3 = load i8, i8* %priority5, align 1
61  %string = getelementptr inbounds %struct.Connector_struct, %struct.Connector_struct* %a, i64 0, i32 5
62  %4 = load i8*, i8** %string, align 8
63  %string7 = getelementptr inbounds %struct.Connector_struct, %struct.Connector_struct* %b, i64 0, i32 5
64  %5 = load i8*, i8** %string7, align 8
65  br label %while.cond
66while.cond:
67  %lsr.iv27 = phi i64 [ %lsr.iv.next28, %if.end17 ], [ 0, %if.end ]
68  %scevgep55 = getelementptr i8, i8* %4, i64 %lsr.iv27
69  %6 = load i8, i8* %scevgep55, align 1
70  %idxprom.i.i = sext i8 %6 to i64
71  %isascii.i.i224 = icmp sgt i8 %6, -1
72  br i1 %isascii.i.i224, label %cond.true.i.i, label %cond.false.i.i, !prof !181
73cond.true.i.i:
74  %arrayidx.i.i = getelementptr inbounds %struct._RuneLocale, %struct._RuneLocale* @_DefaultRuneLocale, i64 0, i32 5, i64 %idxprom.i.i
75  %7 = load i32, i32* %arrayidx.i.i, align 4
76  %and.i.i = and i32 %7, 32768
77  br label %isupper.exit
78cond.false.i.i:
79  %8 = trunc i64 %idxprom.i.i to i8
80  %conv8 = sext i8 %8 to i32
81  %call3.i.i = tail call i32 @__maskrune(i32 %conv8, i64 32768) #3
82  br label %isupper.exit
83isupper.exit:
84  %tobool1.sink.i.in.i = phi i32 [ %and.i.i, %cond.true.i.i ], [ %call3.i.i, %cond.false.i.i ]
85  %tobool1.sink.i.i = icmp eq i32 %tobool1.sink.i.in.i, 0
86  br i1 %tobool1.sink.i.i, label %lor.rhs, label %while.body, !prof !989
87lor.rhs:
88  %sunkaddr = ptrtoint i8* %5 to i64
89  %sunkaddr58 = add i64 %sunkaddr, %lsr.iv27
90  %sunkaddr59 = inttoptr i64 %sunkaddr58 to i8*
91  %9 = load i8, i8* %sunkaddr59, align 1
92  %idxprom.i.i214 = sext i8 %9 to i64
93  %isascii.i.i213225 = icmp sgt i8 %9, -1
94  br i1 %isascii.i.i213225, label %cond.true.i.i217, label %cond.false.i.i219, !prof !181
95cond.true.i.i217:
96  %arrayidx.i.i215 = getelementptr inbounds %struct._RuneLocale, %struct._RuneLocale* @_DefaultRuneLocale, i64 0, i32 5, i64 %idxprom.i.i214
97  %10 = load i32, i32* %arrayidx.i.i215, align 4
98  %and.i.i216 = and i32 %10, 32768
99  br label %isupper.exit223
100cond.false.i.i219:
101  %11 = trunc i64 %idxprom.i.i214 to i8
102  %conv9 = sext i8 %11 to i32
103  %call3.i.i218 = tail call i32 @__maskrune(i32 %conv9, i64 32768) #3
104  br label %isupper.exit223
105isupper.exit223:
106  %tobool1.sink.i.in.i220 = phi i32 [ %and.i.i216, %cond.true.i.i217 ], [ %call3.i.i218, %cond.false.i.i219 ]
107  %tobool1.sink.i.i221 = icmp eq i32 %tobool1.sink.i.in.i220, 0
108  br i1 %tobool1.sink.i.i221, label %while.end, label %while.body, !prof !990
109while.body:
110  %sunkaddr60 = ptrtoint i8* %4 to i64
111  %sunkaddr61 = add i64 %sunkaddr60, %lsr.iv27
112  %sunkaddr62 = inttoptr i64 %sunkaddr61 to i8*
113  %12 = load i8, i8* %sunkaddr62, align 1
114  %sunkaddr63 = ptrtoint i8* %5 to i64
115  %sunkaddr64 = add i64 %sunkaddr63, %lsr.iv27
116  %sunkaddr65 = inttoptr i64 %sunkaddr64 to i8*
117  %13 = load i8, i8* %sunkaddr65, align 1
118  %cmp14 = icmp eq i8 %12, %13
119  br i1 %cmp14, label %if.end17, label %return, !prof !991
120if.end17:
121  %lsr.iv.next28 = add i64 %lsr.iv27, 1
122  br label %while.cond
123while.end:
124  %14 = or i8 %3, %2
125  %15 = icmp eq i8 %14, 0
126  br i1 %15, label %if.then23, label %if.else88, !prof !992
127if.then23:
128  %sunkaddr66 = ptrtoint %struct.Connector_struct* %a to i64
129  %sunkaddr67 = add i64 %sunkaddr66, 16
130  %sunkaddr68 = inttoptr i64 %sunkaddr67 to i8**
131  %16 = load i8*, i8** %sunkaddr68, align 8
132  %17 = load i8, i8* %16, align 1
133  %cmp26 = icmp eq i8 %17, 83
134  %sunkaddr69 = ptrtoint i8* %4 to i64
135  %sunkaddr70 = add i64 %sunkaddr69, %lsr.iv27
136  %sunkaddr71 = inttoptr i64 %sunkaddr70 to i8*
137  %18 = load i8, i8* %sunkaddr71, align 1
138  br i1 %cmp26, label %land.lhs.true28, label %while.cond59.preheader, !prof !993
139land.lhs.true28:
140  switch i8 %18, label %land.rhs.preheader [
141    i8 112, label %land.lhs.true35
142    i8 0, label %return
143  ], !prof !994
144land.lhs.true35:
145  %sunkaddr72 = ptrtoint i8* %5 to i64
146  %sunkaddr73 = add i64 %sunkaddr72, %lsr.iv27
147  %sunkaddr74 = inttoptr i64 %sunkaddr73 to i8*
148  %19 = load i8, i8* %sunkaddr74, align 1
149  switch i8 %19, label %land.rhs.preheader [
150    i8 112, label %land.lhs.true43
151  ], !prof !995
152land.lhs.true43:
153  %20 = ptrtoint i8* %16 to i64
154  %21 = sub i64 0, %20
155  %scevgep52 = getelementptr i8, i8* %4, i64 %21
156  %scevgep53 = getelementptr i8, i8* %scevgep52, i64 %lsr.iv27
157  %scevgep54 = getelementptr i8, i8* %scevgep53, i64 -1
158  %cmp45 = icmp eq i8* %scevgep54, null
159  br i1 %cmp45, label %return, label %lor.lhs.false47, !prof !996
160lor.lhs.false47:
161  %22 = ptrtoint i8* %16 to i64
162  %23 = sub i64 0, %22
163  %scevgep47 = getelementptr i8, i8* %4, i64 %23
164  %scevgep48 = getelementptr i8, i8* %scevgep47, i64 %lsr.iv27
165  %scevgep49 = getelementptr i8, i8* %scevgep48, i64 -2
166  %cmp50 = icmp eq i8* %scevgep49, null
167  br i1 %cmp50, label %land.lhs.true52, label %while.cond59.preheader, !prof !997
168land.lhs.true52:
169  %sunkaddr75 = ptrtoint i8* %4 to i64
170  %sunkaddr76 = add i64 %sunkaddr75, %lsr.iv27
171  %sunkaddr77 = add i64 %sunkaddr76, -1
172  %sunkaddr78 = inttoptr i64 %sunkaddr77 to i8*
173  %24 = load i8, i8* %sunkaddr78, align 1
174  %cmp55 = icmp eq i8 %24, 73
175  %cmp61233 = icmp eq i8 %18, 0
176  %or.cond265 = or i1 %cmp55, %cmp61233
177  br i1 %or.cond265, label %return, label %land.rhs.preheader, !prof !998
178while.cond59.preheader:
179  %cmp61233.old = icmp eq i8 %18, 0
180  br i1 %cmp61233.old, label %return, label %land.rhs.preheader, !prof !999
181land.rhs.preheader:
182  %scevgep33 = getelementptr i8, i8* %5, i64 %lsr.iv27
183  %scevgep43 = getelementptr i8, i8* %4, i64 %lsr.iv27
184  br label %land.rhs
185land.rhs:
186  %lsr.iv = phi i64 [ 0, %land.rhs.preheader ], [ %lsr.iv.next, %if.then83 ]
187  %25 = phi i8 [ %27, %if.then83 ], [ %18, %land.rhs.preheader ]
188  %scevgep34 = getelementptr i8, i8* %scevgep33, i64 %lsr.iv
189  %26 = load i8, i8* %scevgep34, align 1
190  %cmp64 = icmp eq i8 %26, 0
191  br i1 %cmp64, label %return, label %while.body66, !prof !1000
192while.body66:
193  %cmp68 = icmp eq i8 %25, 42
194  %cmp72 = icmp eq i8 %26, 42
195  %or.cond = or i1 %cmp68, %cmp72
196  br i1 %or.cond, label %if.then83, label %lor.lhs.false74, !prof !1001
197lor.lhs.false74:
198  %cmp77 = icmp ne i8 %25, %26
199  %cmp81 = icmp eq i8 %25, 94
200  %or.cond208 = or i1 %cmp77, %cmp81
201  br i1 %or.cond208, label %return, label %if.then83, !prof !1002
202if.then83:
203  %scevgep44 = getelementptr i8, i8* %scevgep43, i64 %lsr.iv
204  %scevgep45 = getelementptr i8, i8* %scevgep44, i64 1
205  %27 = load i8, i8* %scevgep45, align 1
206  %cmp61 = icmp eq i8 %27, 0
207  %lsr.iv.next = add i64 %lsr.iv, 1
208  br i1 %cmp61, label %return, label %land.rhs, !prof !999
209if.else88:
210  %cmp89 = icmp eq i8 %2, 1
211  %cmp92 = icmp eq i8 %3, 2
212  %or.cond159 = and i1 %cmp89, %cmp92
213  br i1 %or.cond159, label %while.cond95.preheader, label %if.else123, !prof !1003
214while.cond95.preheader:
215  %sunkaddr79 = ptrtoint i8* %4 to i64
216  %sunkaddr80 = add i64 %sunkaddr79, %lsr.iv27
217  %sunkaddr81 = inttoptr i64 %sunkaddr80 to i8*
218  %28 = load i8, i8* %sunkaddr81, align 1
219  %cmp97238 = icmp eq i8 %28, 0
220  br i1 %cmp97238, label %return, label %land.rhs99.preheader, !prof !1004
221land.rhs99.preheader:
222  %scevgep31 = getelementptr i8, i8* %5, i64 %lsr.iv27
223  %scevgep40 = getelementptr i8, i8* %4, i64 %lsr.iv27
224  br label %land.rhs99
225land.rhs99:
226  %lsr.iv17 = phi i64 [ 0, %land.rhs99.preheader ], [ %lsr.iv.next18, %if.then117 ]
227  %29 = phi i8 [ %31, %if.then117 ], [ %28, %land.rhs99.preheader ]
228  %scevgep32 = getelementptr i8, i8* %scevgep31, i64 %lsr.iv17
229  %30 = load i8, i8* %scevgep32, align 1
230  %cmp101 = icmp eq i8 %30, 0
231  br i1 %cmp101, label %return, label %while.body104, !prof !1005
232while.body104:
233  %cmp107 = icmp eq i8 %29, %30
234  %cmp111 = icmp eq i8 %29, 42
235  %or.cond209 = or i1 %cmp107, %cmp111
236  %cmp115 = icmp eq i8 %30, 94
237  %or.cond210 = or i1 %or.cond209, %cmp115
238  br i1 %or.cond210, label %if.then117, label %return, !prof !1006
239if.then117:
240  %scevgep41 = getelementptr i8, i8* %scevgep40, i64 %lsr.iv17
241  %scevgep42 = getelementptr i8, i8* %scevgep41, i64 1
242  %31 = load i8, i8* %scevgep42, align 1
243  %cmp97 = icmp eq i8 %31, 0
244  %lsr.iv.next18 = add i64 %lsr.iv17, 1
245  br i1 %cmp97, label %return, label %land.rhs99, !prof !1004
246if.else123:
247  %cmp124 = icmp eq i8 %3, 1
248  %cmp127 = icmp eq i8 %2, 2
249  %or.cond160 = and i1 %cmp124, %cmp127
250  br i1 %or.cond160, label %while.cond130.preheader, label %return, !prof !1007
251while.cond130.preheader:
252  %sunkaddr82 = ptrtoint i8* %4 to i64
253  %sunkaddr83 = add i64 %sunkaddr82, %lsr.iv27
254  %sunkaddr84 = inttoptr i64 %sunkaddr83 to i8*
255  %32 = load i8, i8* %sunkaddr84, align 1
256  %cmp132244 = icmp eq i8 %32, 0
257  br i1 %cmp132244, label %return, label %land.rhs134.preheader, !prof !1008
258land.rhs134.preheader:
259  %scevgep29 = getelementptr i8, i8* %5, i64 %lsr.iv27
260  %scevgep37 = getelementptr i8, i8* %4, i64 %lsr.iv27
261  br label %land.rhs134
262land.rhs134:
263  %lsr.iv22 = phi i64 [ 0, %land.rhs134.preheader ], [ %lsr.iv.next23, %if.then152 ]
264  %33 = phi i8 [ %35, %if.then152 ], [ %32, %land.rhs134.preheader ]
265  %scevgep30 = getelementptr i8, i8* %scevgep29, i64 %lsr.iv22
266  %34 = load i8, i8* %scevgep30, align 1
267  %cmp136 = icmp eq i8 %34, 0
268  br i1 %cmp136, label %return, label %while.body139, !prof !1009
269while.body139:
270  %cmp142 = icmp eq i8 %33, %34
271  %cmp146 = icmp eq i8 %34, 42
272  %or.cond211 = or i1 %cmp142, %cmp146
273  %cmp150 = icmp eq i8 %33, 94
274  %or.cond212 = or i1 %or.cond211, %cmp150
275  br i1 %or.cond212, label %if.then152, label %return, !prof !1010
276if.then152:
277  %scevgep38 = getelementptr i8, i8* %scevgep37, i64 %lsr.iv22
278  %scevgep39 = getelementptr i8, i8* %scevgep38, i64 1
279  %35 = load i8, i8* %scevgep39, align 1
280  %cmp132 = icmp eq i8 %35, 0
281  %lsr.iv.next23 = add i64 %lsr.iv22, 1
282  br i1 %cmp132, label %return, label %land.rhs134, !prof !1008
283return:
284  %retval.0 = phi i32 [ 0, %entry ], [ 1, %land.lhs.true52 ], [ 1, %land.lhs.true43 ], [ 0, %if.else123 ], [ 1, %while.cond59.preheader ], [ 1, %while.cond95.preheader ], [ 1, %while.cond130.preheader ], [ 1, %land.lhs.true28 ], [ 1, %if.then83 ], [ 0, %lor.lhs.false74 ], [ 1, %land.rhs ], [ 1, %if.then117 ], [ 0, %while.body104 ], [ 1, %land.rhs99 ], [ 1, %if.then152 ], [ 0, %while.body139 ], [ 1, %land.rhs134 ], [ 0, %while.body ]
285  ret i32 %retval.0
286}
287!181 = !{!"branch_weights", i32 662038, i32 1}
288!988 = !{!"branch_weights", i32 12091450, i32 1916}
289!989 = !{!"branch_weights", i32 7564670, i32 4526781}
290!990 = !{!"branch_weights", i32 7484958, i32 13283499}
291!991 = !{!"branch_weights", i32 8677007, i32 4606493}
292!992 = !{!"branch_weights", i32 -1172426948, i32 145094705}
293!993 = !{!"branch_weights", i32 1468914, i32 5683688}
294!994 = !{!"branch_weights", i32 114025221, i32 -1217548794, i32 -1199521551}
295!995 = !{!"branch_weights", i32 1853716452, i32 -444717951}
296!996 = !{!"branch_weights", i32 1004870, i32 20259}
297!997 = !{!"branch_weights", i32 20071, i32 189}
298!998 = !{!"branch_weights", i32 -1020255939, i32 572177766}
299!999 = !{!"branch_weights", i32 2666513, i32 3466431}
300!1000 = !{!"branch_weights", i32 5117635, i32 1859780}
301!1001 = !{!"branch_weights", i32 354902465, i32 -1444604407}
302!1002 = !{!"branch_weights", i32 -1762419279, i32 1592770684}
303!1003 = !{!"branch_weights", i32 1435905930, i32 -1951930624}
304!1004 = !{!"branch_weights", i32 1, i32 504888}
305!1005 = !{!"branch_weights", i32 94662, i32 504888}
306!1006 = !{!"branch_weights", i32 -1897793104, i32 160196332}
307!1007 = !{!"branch_weights", i32 2074643678, i32 -29579071}
308!1008 = !{!"branch_weights", i32 1, i32 226163}
309!1009 = !{!"branch_weights", i32 58357, i32 226163}
310!1010 = !{!"branch_weights", i32 -2072848646, i32 92907517}
311