1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-darwin | FileCheck %s --check-prefix=GENERIC
3; RUN: llc < %s -mtriple=x86_64-darwin -mcpu=atom | FileCheck %s --check-prefix=ATOM
4
5@Te0 = external global [256 x i32]		; <[256 x i32]*> [#uses=5]
6@Te1 = external global [256 x i32]		; <[256 x i32]*> [#uses=4]
7@Te3 = external global [256 x i32]		; <[256 x i32]*> [#uses=2]
8
9define void @t(i8* nocapture %in, i8* nocapture %out, i32* nocapture %rk, i32 %r) nounwind {
10; GENERIC-LABEL: t:
11; GENERIC:       ## %bb.0: ## %entry
12; GENERIC-NEXT:    pushq %rbp
13; GENERIC-NEXT:    pushq %r14
14; GENERIC-NEXT:    pushq %rbx
15; GENERIC-NEXT:    ## kill: def $ecx killed $ecx def $rcx
16; GENERIC-NEXT:    movl (%rdx), %eax
17; GENERIC-NEXT:    movl 4(%rdx), %ebx
18; GENERIC-NEXT:    decl %ecx
19; GENERIC-NEXT:    leaq 20(%rdx), %r11
20; GENERIC-NEXT:    movq _Te0@GOTPCREL(%rip), %r9
21; GENERIC-NEXT:    movq _Te1@GOTPCREL(%rip), %r8
22; GENERIC-NEXT:    movq _Te3@GOTPCREL(%rip), %r10
23; GENERIC-NEXT:    movq %rcx, %r14
24; GENERIC-NEXT:    .p2align 4, 0x90
25; GENERIC-NEXT:  LBB0_1: ## %bb
26; GENERIC-NEXT:    ## =>This Inner Loop Header: Depth=1
27; GENERIC-NEXT:    movzbl %al, %edi
28; GENERIC-NEXT:    ## kill: def $eax killed $eax def $rax
29; GENERIC-NEXT:    shrl $24, %eax
30; GENERIC-NEXT:    movl %ebx, %ebp
31; GENERIC-NEXT:    shrl $16, %ebp
32; GENERIC-NEXT:    movzbl %bpl, %ebp
33; GENERIC-NEXT:    movl (%r8,%rbp,4), %ebp
34; GENERIC-NEXT:    xorl (%r9,%rax,4), %ebp
35; GENERIC-NEXT:    xorl -12(%r11), %ebp
36; GENERIC-NEXT:    shrl $24, %ebx
37; GENERIC-NEXT:    movl (%r10,%rdi,4), %edi
38; GENERIC-NEXT:    xorl (%r9,%rbx,4), %edi
39; GENERIC-NEXT:    xorl -8(%r11), %edi
40; GENERIC-NEXT:    movl %ebp, %eax
41; GENERIC-NEXT:    shrl $24, %eax
42; GENERIC-NEXT:    movl (%r9,%rax,4), %eax
43; GENERIC-NEXT:    subq $1, %r14
44; GENERIC-NEXT:    jb LBB0_3
45; GENERIC-NEXT:  ## %bb.2: ## %bb1
46; GENERIC-NEXT:    ## in Loop: Header=BB0_1 Depth=1
47; GENERIC-NEXT:    movl %edi, %ebx
48; GENERIC-NEXT:    shrl $16, %ebx
49; GENERIC-NEXT:    movzbl %bl, %ebx
50; GENERIC-NEXT:    xorl (%r8,%rbx,4), %eax
51; GENERIC-NEXT:    xorl -4(%r11), %eax
52; GENERIC-NEXT:    shrl $24, %edi
53; GENERIC-NEXT:    movzbl %bpl, %ebx
54; GENERIC-NEXT:    movl (%r10,%rbx,4), %ebx
55; GENERIC-NEXT:    xorl (%r9,%rdi,4), %ebx
56; GENERIC-NEXT:    xorl (%r11), %ebx
57; GENERIC-NEXT:    addq $16, %r11
58; GENERIC-NEXT:    jmp LBB0_1
59; GENERIC-NEXT:  LBB0_3: ## %bb2
60; GENERIC-NEXT:    shlq $4, %rcx
61; GENERIC-NEXT:    andl $-16777216, %eax ## imm = 0xFF000000
62; GENERIC-NEXT:    movl %edi, %ebx
63; GENERIC-NEXT:    shrl $16, %ebx
64; GENERIC-NEXT:    movzbl %bl, %ebx
65; GENERIC-NEXT:    movzbl 2(%r8,%rbx,4), %ebx
66; GENERIC-NEXT:    shll $16, %ebx
67; GENERIC-NEXT:    orl %eax, %ebx
68; GENERIC-NEXT:    xorl 16(%rcx,%rdx), %ebx
69; GENERIC-NEXT:    shrl $8, %edi
70; GENERIC-NEXT:    movzbl 3(%r9,%rdi,4), %eax
71; GENERIC-NEXT:    shll $24, %eax
72; GENERIC-NEXT:    movzbl %bpl, %edi
73; GENERIC-NEXT:    movzbl 2(%r8,%rdi,4), %edi
74; GENERIC-NEXT:    shll $16, %edi
75; GENERIC-NEXT:    orl %eax, %edi
76; GENERIC-NEXT:    xorl 20(%rcx,%rdx), %edi
77; GENERIC-NEXT:    movl %ebx, %eax
78; GENERIC-NEXT:    shrl $24, %eax
79; GENERIC-NEXT:    movb %al, (%rsi)
80; GENERIC-NEXT:    shrl $16, %ebx
81; GENERIC-NEXT:    movb %bl, 1(%rsi)
82; GENERIC-NEXT:    movl %edi, %eax
83; GENERIC-NEXT:    shrl $24, %eax
84; GENERIC-NEXT:    movb %al, 4(%rsi)
85; GENERIC-NEXT:    shrl $16, %edi
86; GENERIC-NEXT:    movb %dil, 5(%rsi)
87; GENERIC-NEXT:    popq %rbx
88; GENERIC-NEXT:    popq %r14
89; GENERIC-NEXT:    popq %rbp
90; GENERIC-NEXT:    retq
91;
92; ATOM-LABEL: t:
93; ATOM:       ## %bb.0: ## %entry
94; ATOM-NEXT:    pushq %rbp
95; ATOM-NEXT:    pushq %r15
96; ATOM-NEXT:    pushq %r14
97; ATOM-NEXT:    pushq %rbx
98; ATOM-NEXT:    ## kill: def $ecx killed $ecx def $rcx
99; ATOM-NEXT:    movl (%rdx), %r15d
100; ATOM-NEXT:    movl 4(%rdx), %eax
101; ATOM-NEXT:    leaq 20(%rdx), %r11
102; ATOM-NEXT:    movq _Te0@GOTPCREL(%rip), %r9
103; ATOM-NEXT:    movq _Te1@GOTPCREL(%rip), %r8
104; ATOM-NEXT:    movq _Te3@GOTPCREL(%rip), %r10
105; ATOM-NEXT:    decl %ecx
106; ATOM-NEXT:    movq %rcx, %r14
107; ATOM-NEXT:    .p2align 4, 0x90
108; ATOM-NEXT:  LBB0_1: ## %bb
109; ATOM-NEXT:    ## =>This Inner Loop Header: Depth=1
110; ATOM-NEXT:    movl %eax, %edi
111; ATOM-NEXT:    movl %r15d, %ebp
112; ATOM-NEXT:    shrl $24, %eax
113; ATOM-NEXT:    shrl $16, %edi
114; ATOM-NEXT:    shrl $24, %ebp
115; ATOM-NEXT:    movzbl %dil, %edi
116; ATOM-NEXT:    movl (%r8,%rdi,4), %ebx
117; ATOM-NEXT:    movzbl %r15b, %edi
118; ATOM-NEXT:    xorl (%r9,%rbp,4), %ebx
119; ATOM-NEXT:    movl (%r10,%rdi,4), %edi
120; ATOM-NEXT:    xorl -12(%r11), %ebx
121; ATOM-NEXT:    xorl (%r9,%rax,4), %edi
122; ATOM-NEXT:    movl %ebx, %eax
123; ATOM-NEXT:    xorl -8(%r11), %edi
124; ATOM-NEXT:    shrl $24, %eax
125; ATOM-NEXT:    movl (%r9,%rax,4), %r15d
126; ATOM-NEXT:    subq $1, %r14
127; ATOM-NEXT:    movl %edi, %eax
128; ATOM-NEXT:    jb LBB0_3
129; ATOM-NEXT:  ## %bb.2: ## %bb1
130; ATOM-NEXT:    ## in Loop: Header=BB0_1 Depth=1
131; ATOM-NEXT:    shrl $16, %eax
132; ATOM-NEXT:    shrl $24, %edi
133; ATOM-NEXT:    movzbl %al, %eax
134; ATOM-NEXT:    xorl (%r8,%rax,4), %r15d
135; ATOM-NEXT:    movzbl %bl, %eax
136; ATOM-NEXT:    movl (%r10,%rax,4), %eax
137; ATOM-NEXT:    xorl -4(%r11), %r15d
138; ATOM-NEXT:    xorl (%r9,%rdi,4), %eax
139; ATOM-NEXT:    xorl (%r11), %eax
140; ATOM-NEXT:    addq $16, %r11
141; ATOM-NEXT:    jmp LBB0_1
142; ATOM-NEXT:  LBB0_3: ## %bb2
143; ATOM-NEXT:    shrl $16, %eax
144; ATOM-NEXT:    shrl $8, %edi
145; ATOM-NEXT:    movzbl %bl, %ebp
146; ATOM-NEXT:    andl $-16777216, %r15d ## imm = 0xFF000000
147; ATOM-NEXT:    shlq $4, %rcx
148; ATOM-NEXT:    movzbl %al, %eax
149; ATOM-NEXT:    movzbl 3(%r9,%rdi,4), %edi
150; ATOM-NEXT:    movzbl 2(%r8,%rbp,4), %ebp
151; ATOM-NEXT:    movzbl 2(%r8,%rax,4), %eax
152; ATOM-NEXT:    shll $24, %edi
153; ATOM-NEXT:    shll $16, %ebp
154; ATOM-NEXT:    shll $16, %eax
155; ATOM-NEXT:    orl %edi, %ebp
156; ATOM-NEXT:    orl %r15d, %eax
157; ATOM-NEXT:    xorl 20(%rcx,%rdx), %ebp
158; ATOM-NEXT:    xorl 16(%rcx,%rdx), %eax
159; ATOM-NEXT:    movl %eax, %edi
160; ATOM-NEXT:    shrl $16, %eax
161; ATOM-NEXT:    shrl $24, %edi
162; ATOM-NEXT:    movb %dil, (%rsi)
163; ATOM-NEXT:    movb %al, 1(%rsi)
164; ATOM-NEXT:    movl %ebp, %eax
165; ATOM-NEXT:    shrl $16, %ebp
166; ATOM-NEXT:    shrl $24, %eax
167; ATOM-NEXT:    movb %al, 4(%rsi)
168; ATOM-NEXT:    movb %bpl, 5(%rsi)
169; ATOM-NEXT:    popq %rbx
170; ATOM-NEXT:    popq %r14
171; ATOM-NEXT:    popq %r15
172; ATOM-NEXT:    popq %rbp
173; ATOM-NEXT:    retq
174entry:
175	%0 = load i32, i32* %rk, align 4		; <i32> [#uses=1]
176	%1 = getelementptr i32, i32* %rk, i64 1		; <i32*> [#uses=1]
177	%2 = load i32, i32* %1, align 4		; <i32> [#uses=1]
178	%tmp15 = add i32 %r, -1		; <i32> [#uses=1]
179	%tmp.16 = zext i32 %tmp15 to i64		; <i64> [#uses=2]
180	br label %bb
181
182bb:		; preds = %bb1, %entry
183	%indvar = phi i64 [ 0, %entry ], [ %indvar.next, %bb1 ]		; <i64> [#uses=3]
184	%s1.0 = phi i32 [ %2, %entry ], [ %56, %bb1 ]		; <i32> [#uses=2]
185	%s0.0 = phi i32 [ %0, %entry ], [ %43, %bb1 ]		; <i32> [#uses=2]
186	%tmp18 = shl i64 %indvar, 4		; <i64> [#uses=4]
187	%rk26 = bitcast i32* %rk to i8*		; <i8*> [#uses=6]
188	%3 = lshr i32 %s0.0, 24		; <i32> [#uses=1]
189	%4 = zext i32 %3 to i64		; <i64> [#uses=1]
190	%5 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %4		; <i32*> [#uses=1]
191	%6 = load i32, i32* %5, align 4		; <i32> [#uses=1]
192	%7 = lshr i32 %s1.0, 16		; <i32> [#uses=1]
193	%8 = and i32 %7, 255		; <i32> [#uses=1]
194	%9 = zext i32 %8 to i64		; <i64> [#uses=1]
195	%10 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %9		; <i32*> [#uses=1]
196	%11 = load i32, i32* %10, align 4		; <i32> [#uses=1]
197	%ctg2.sum2728 = or i64 %tmp18, 8		; <i64> [#uses=1]
198	%12 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2728		; <i8*> [#uses=1]
199	%13 = bitcast i8* %12 to i32*		; <i32*> [#uses=1]
200	%14 = load i32, i32* %13, align 4		; <i32> [#uses=1]
201	%15 = xor i32 %11, %6		; <i32> [#uses=1]
202	%16 = xor i32 %15, %14		; <i32> [#uses=3]
203	%17 = lshr i32 %s1.0, 24		; <i32> [#uses=1]
204	%18 = zext i32 %17 to i64		; <i64> [#uses=1]
205	%19 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %18		; <i32*> [#uses=1]
206	%20 = load i32, i32* %19, align 4		; <i32> [#uses=1]
207	%21 = and i32 %s0.0, 255		; <i32> [#uses=1]
208	%22 = zext i32 %21 to i64		; <i64> [#uses=1]
209	%23 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %22		; <i32*> [#uses=1]
210	%24 = load i32, i32* %23, align 4		; <i32> [#uses=1]
211	%ctg2.sum2930 = or i64 %tmp18, 12		; <i64> [#uses=1]
212	%25 = getelementptr i8, i8* %rk26, i64 %ctg2.sum2930		; <i8*> [#uses=1]
213	%26 = bitcast i8* %25 to i32*		; <i32*> [#uses=1]
214	%27 = load i32, i32* %26, align 4		; <i32> [#uses=1]
215	%28 = xor i32 %24, %20		; <i32> [#uses=1]
216	%29 = xor i32 %28, %27		; <i32> [#uses=4]
217	%30 = lshr i32 %16, 24		; <i32> [#uses=1]
218	%31 = zext i32 %30 to i64		; <i64> [#uses=1]
219	%32 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %31		; <i32*> [#uses=1]
220	%33 = load i32, i32* %32, align 4		; <i32> [#uses=2]
221	%exitcond = icmp eq i64 %indvar, %tmp.16		; <i1> [#uses=1]
222	br i1 %exitcond, label %bb2, label %bb1
223
224bb1:		; preds = %bb
225	%ctg2.sum31 = add i64 %tmp18, 16		; <i64> [#uses=1]
226	%34 = getelementptr i8, i8* %rk26, i64 %ctg2.sum31		; <i8*> [#uses=1]
227	%35 = bitcast i8* %34 to i32*		; <i32*> [#uses=1]
228	%36 = lshr i32 %29, 16		; <i32> [#uses=1]
229	%37 = and i32 %36, 255		; <i32> [#uses=1]
230	%38 = zext i32 %37 to i64		; <i64> [#uses=1]
231	%39 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %38		; <i32*> [#uses=1]
232	%40 = load i32, i32* %39, align 4		; <i32> [#uses=1]
233	%41 = load i32, i32* %35, align 4		; <i32> [#uses=1]
234	%42 = xor i32 %40, %33		; <i32> [#uses=1]
235	%43 = xor i32 %42, %41		; <i32> [#uses=1]
236	%44 = lshr i32 %29, 24		; <i32> [#uses=1]
237	%45 = zext i32 %44 to i64		; <i64> [#uses=1]
238	%46 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %45		; <i32*> [#uses=1]
239	%47 = load i32, i32* %46, align 4		; <i32> [#uses=1]
240	%48 = and i32 %16, 255		; <i32> [#uses=1]
241	%49 = zext i32 %48 to i64		; <i64> [#uses=1]
242	%50 = getelementptr [256 x i32], [256 x i32]* @Te3, i64 0, i64 %49		; <i32*> [#uses=1]
243	%51 = load i32, i32* %50, align 4		; <i32> [#uses=1]
244	%ctg2.sum32 = add i64 %tmp18, 20		; <i64> [#uses=1]
245	%52 = getelementptr i8, i8* %rk26, i64 %ctg2.sum32		; <i8*> [#uses=1]
246	%53 = bitcast i8* %52 to i32*		; <i32*> [#uses=1]
247	%54 = load i32, i32* %53, align 4		; <i32> [#uses=1]
248	%55 = xor i32 %51, %47		; <i32> [#uses=1]
249	%56 = xor i32 %55, %54		; <i32> [#uses=1]
250	%indvar.next = add i64 %indvar, 1		; <i64> [#uses=1]
251	br label %bb
252
253bb2:		; preds = %bb
254	%tmp10 = shl i64 %tmp.16, 4		; <i64> [#uses=2]
255	%ctg2.sum = add i64 %tmp10, 16		; <i64> [#uses=1]
256	%tmp1213 = getelementptr i8, i8* %rk26, i64 %ctg2.sum		; <i8*> [#uses=1]
257	%57 = bitcast i8* %tmp1213 to i32*		; <i32*> [#uses=1]
258	%58 = and i32 %33, -16777216		; <i32> [#uses=1]
259	%59 = lshr i32 %29, 16		; <i32> [#uses=1]
260	%60 = and i32 %59, 255		; <i32> [#uses=1]
261	%61 = zext i32 %60 to i64		; <i64> [#uses=1]
262	%62 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %61		; <i32*> [#uses=1]
263	%63 = load i32, i32* %62, align 4		; <i32> [#uses=1]
264	%64 = and i32 %63, 16711680		; <i32> [#uses=1]
265	%65 = or i32 %64, %58		; <i32> [#uses=1]
266	%66 = load i32, i32* %57, align 4		; <i32> [#uses=1]
267	%67 = xor i32 %65, %66		; <i32> [#uses=2]
268	%68 = lshr i32 %29, 8		; <i32> [#uses=1]
269	%69 = zext i32 %68 to i64		; <i64> [#uses=1]
270	%70 = getelementptr [256 x i32], [256 x i32]* @Te0, i64 0, i64 %69		; <i32*> [#uses=1]
271	%71 = load i32, i32* %70, align 4		; <i32> [#uses=1]
272	%72 = and i32 %71, -16777216		; <i32> [#uses=1]
273	%73 = and i32 %16, 255		; <i32> [#uses=1]
274	%74 = zext i32 %73 to i64		; <i64> [#uses=1]
275	%75 = getelementptr [256 x i32], [256 x i32]* @Te1, i64 0, i64 %74		; <i32*> [#uses=1]
276	%76 = load i32, i32* %75, align 4		; <i32> [#uses=1]
277	%77 = and i32 %76, 16711680		; <i32> [#uses=1]
278	%78 = or i32 %77, %72		; <i32> [#uses=1]
279	%ctg2.sum25 = add i64 %tmp10, 20		; <i64> [#uses=1]
280	%79 = getelementptr i8, i8* %rk26, i64 %ctg2.sum25		; <i8*> [#uses=1]
281	%80 = bitcast i8* %79 to i32*		; <i32*> [#uses=1]
282	%81 = load i32, i32* %80, align 4		; <i32> [#uses=1]
283	%82 = xor i32 %78, %81		; <i32> [#uses=2]
284	%83 = lshr i32 %67, 24		; <i32> [#uses=1]
285	%84 = trunc i32 %83 to i8		; <i8> [#uses=1]
286	store i8 %84, i8* %out, align 1
287	%85 = lshr i32 %67, 16		; <i32> [#uses=1]
288	%86 = trunc i32 %85 to i8		; <i8> [#uses=1]
289	%87 = getelementptr i8, i8* %out, i64 1		; <i8*> [#uses=1]
290	store i8 %86, i8* %87, align 1
291	%88 = getelementptr i8, i8* %out, i64 4		; <i8*> [#uses=1]
292	%89 = lshr i32 %82, 24		; <i32> [#uses=1]
293	%90 = trunc i32 %89 to i8		; <i8> [#uses=1]
294	store i8 %90, i8* %88, align 1
295	%91 = lshr i32 %82, 16		; <i32> [#uses=1]
296	%92 = trunc i32 %91 to i8		; <i8> [#uses=1]
297	%93 = getelementptr i8, i8* %out, i64 5		; <i8*> [#uses=1]
298	store i8 %92, i8* %93, align 1
299	ret void
300}
301
302; Check that DAGCombiner doesn't mess up the IV update when the exiting value
303; is equal to the stride.
304; It must not fold (cmp (add iv, 1), 1) --> (cmp iv, 0).
305
306define i32 @f(i32 %i, i32* nocapture %a) nounwind uwtable readonly ssp {
307; GENERIC-LABEL: f:
308; GENERIC:       ## %bb.0: ## %entry
309; GENERIC-NEXT:    xorl %eax, %eax
310; GENERIC-NEXT:    cmpl $1, %edi
311; GENERIC-NEXT:    je LBB1_3
312; GENERIC-NEXT:  ## %bb.1: ## %for.body.lr.ph
313; GENERIC-NEXT:    movslq %edi, %rax
314; GENERIC-NEXT:    leaq (%rsi,%rax,4), %rcx
315; GENERIC-NEXT:    xorl %eax, %eax
316; GENERIC-NEXT:    xorl %edx, %edx
317; GENERIC-NEXT:    .p2align 4, 0x90
318; GENERIC-NEXT:  LBB1_2: ## %for.body
319; GENERIC-NEXT:    ## =>This Inner Loop Header: Depth=1
320; GENERIC-NEXT:    movl (%rcx), %esi
321; GENERIC-NEXT:    cmpl %edx, %esi
322; GENERIC-NEXT:    cmoval %esi, %edx
323; GENERIC-NEXT:    cmoval %edi, %eax
324; GENERIC-NEXT:    incl %edi
325; GENERIC-NEXT:    addq $4, %rcx
326; GENERIC-NEXT:    cmpl $1, %edi
327; GENERIC-NEXT:    jne LBB1_2
328; GENERIC-NEXT:  LBB1_3: ## %for.end
329; GENERIC-NEXT:    retq
330;
331; ATOM-LABEL: f:
332; ATOM:       ## %bb.0: ## %entry
333; ATOM-NEXT:    xorl %eax, %eax
334; ATOM-NEXT:    cmpl $1, %edi
335; ATOM-NEXT:    je LBB1_3
336; ATOM-NEXT:  ## %bb.1: ## %for.body.lr.ph
337; ATOM-NEXT:    movslq %edi, %rax
338; ATOM-NEXT:    xorl %edx, %edx
339; ATOM-NEXT:    leaq (%rsi,%rax,4), %rcx
340; ATOM-NEXT:    xorl %eax, %eax
341; ATOM-NEXT:    .p2align 4, 0x90
342; ATOM-NEXT:  LBB1_2: ## %for.body
343; ATOM-NEXT:    ## =>This Inner Loop Header: Depth=1
344; ATOM-NEXT:    movl (%rcx), %esi
345; ATOM-NEXT:    cmpl %edx, %esi
346; ATOM-NEXT:    cmoval %esi, %edx
347; ATOM-NEXT:    cmoval %edi, %eax
348; ATOM-NEXT:    incl %edi
349; ATOM-NEXT:    leaq 4(%rcx), %rcx
350; ATOM-NEXT:    cmpl $1, %edi
351; ATOM-NEXT:    jne LBB1_2
352; ATOM-NEXT:  LBB1_3: ## %for.end
353; ATOM-NEXT:    nop
354; ATOM-NEXT:    nop
355; ATOM-NEXT:    retq
356entry:
357  %cmp4 = icmp eq i32 %i, 1
358  br i1 %cmp4, label %for.end, label %for.body.lr.ph
359
360for.body.lr.ph:                                   ; preds = %entry
361  %0 = sext i32 %i to i64
362  br label %for.body
363
364for.body:                                         ; preds = %for.body.lr.ph, %for.body
365  %indvars.iv = phi i64 [ %0, %for.body.lr.ph ], [ %indvars.iv.next, %for.body ]
366  %bi.06 = phi i32 [ 0, %for.body.lr.ph ], [ %i.addr.0.bi.0, %for.body ]
367  %b.05 = phi i32 [ 0, %for.body.lr.ph ], [ %.b.0, %for.body ]
368  %arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
369  %1 = load i32, i32* %arrayidx, align 4
370  %cmp1 = icmp ugt i32 %1, %b.05
371  %.b.0 = select i1 %cmp1, i32 %1, i32 %b.05
372  %2 = trunc i64 %indvars.iv to i32
373  %i.addr.0.bi.0 = select i1 %cmp1, i32 %2, i32 %bi.06
374  %indvars.iv.next = add i64 %indvars.iv, 1
375  %lftr.wideiv = trunc i64 %indvars.iv.next to i32
376  %exitcond = icmp eq i32 %lftr.wideiv, 1
377  br i1 %exitcond, label %for.end, label %for.body
378
379for.end:                                          ; preds = %for.body, %entry
380  %bi.0.lcssa = phi i32 [ 0, %entry ], [ %i.addr.0.bi.0, %for.body ]
381  ret i32 %bi.0.lcssa
382}
383