1target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
2
3; RUN: opt -mtriple=thumbv7em %s -S -loop-reduce -lsr-complexity-limit=65536 -o - | FileCheck %s --check-prefix=CHECK-DEFAULT
4; RUN: opt -mtriple=thumbv7em %s -S -loop-reduce -lsr-complexity-limit=2147483647 -o - | FileCheck %s --check-prefix=CHECK-COMPLEX
5
6; CHECK-DEFAULT-LABEL: for.body12.us.us:
7; CHECK-DEFAULT: phi i32
8; CHECK-DEFAULT: [[LSR_IV:%[^ ]+]] = phi i32 [ [[LSR_IV_NEXT:%[^ ]+]], %for.body12.us.us ], [ 0, %for.cond9.preheader.us.us ]
9; CHECK-DEFAULT: phi i32
10; CHECK-DEFAULT: [[LSR_IV_NEXT]] = add i32 [[LSR_IV]], 8
11
12; CHECK-COMPLEX-LABEL: for.body12.us.us:
13; CHECK-COMPLEX: phi i32
14; CHECK-COMPLEX: [[LSR_IV6:%[^ ]+]] = phi i16* [ [[SCEVGEP7:%[^ ]+]], %for.body12.us.us ], [ [[SCEVGEP5:%[^ ]+]], %for.cond9.preheader.us.us ]
15; CHECK-COMPLEX: [[LSR_IV:%[^ ]+]] = phi i16* [ [[SCEVGEP1:%[^ ]+]], %for.body12.us.us ], [ [[SCEVGEP:%[^ ]+]], %for.cond9.preheader.us.us ]
16; CHECK-COMPLEX: phi i32
17; CHECK-COMPLEX: [[SCEVGEP1]] = getelementptr i16, i16* [[LSR_IV]], i32 4
18; CHECK-COMPLEX: [[SCEVGEP7]] = getelementptr i16, i16* [[LSR_IV6]], i32 4
19
20define void @convolve(i16** nocapture readonly %input_image, i16** nocapture readonly %filter, i32 %filter_dim, i32 %out_width, i32 %out_height, i32** nocapture readonly %convolved) {
21entry:
22  %cmp92 = icmp eq i32 %out_height, 0
23  br i1 %cmp92, label %for.cond.cleanup, label %for.cond1.preheader.lr.ph
24
25for.cond1.preheader.lr.ph:                        ; preds = %entry
26  %xtraiter = and i32 %filter_dim, 3
27  %unroll_iter = sub i32 %filter_dim, %xtraiter
28  br label %for.cond1.preheader
29
30for.cond1.preheader:                              ; preds = %for.cond.cleanup3, %for.cond1.preheader.lr.ph
31  %res_y.093 = phi i32 [ 0, %for.cond1.preheader.lr.ph ], [ %add28, %for.cond.cleanup3 ]
32  %arrayidx22 = getelementptr inbounds i32*, i32** %convolved, i32 %res_y.093
33  %tmp3 = load i32*, i32** %arrayidx22, align 4
34  br label %for.cond9.preheader.us.us.preheader
35
36for.cond9.preheader.us.us.preheader:              ; preds = %for.cond5.for.cond.cleanup7_crit_edge.us, %for.cond5.preheader.lr.ph
37  %res_x.060.us = phi i32 [ %add25.us, %for.cond5.for.cond.cleanup7_crit_edge.us ], [ 0, %for.cond1.preheader ]
38  br label %for.cond9.preheader.us.us
39
40for.cond9.preheader.us.us:                        ; preds = %for.cond9.for.cond.cleanup11_crit_edge.us.us, %for.cond9.preheader.us.us.preheader
41  %filter_y.056.us.us = phi i32 [ %inc20.us.us, %for.cond9.for.cond.cleanup11_crit_edge.us.us.unr-lcssa ], [ 0, %for.cond9.preheader.us.us.preheader ]
42  %result_element.055.us.us = phi i32 [ %add18.us.us.3, %for.cond9.for.cond.cleanup11_crit_edge.us.us.unr-lcssa ], [ 0, %for.cond9.preheader.us.us.preheader ]
43  %add.us.us = add i32 %filter_y.056.us.us, %res_y.093
44  %arrayidx.us.us = getelementptr inbounds i16*, i16** %filter, i32 %filter_y.056.us.us
45  %tmp5 = load i16*, i16** %arrayidx.us.us, align 4
46  %arrayidx15.us.us = getelementptr inbounds i16*, i16** %input_image, i32 %add.us.us
47  %tmp6 = load i16*, i16** %arrayidx15.us.us, align 4
48  br label %for.body12.us.us
49
50for.body12.us.us:                                 ; preds = %for.body12.us.us, %for.cond9.preheader.us.us
51  %filter_x.053.us.us = phi i32 [ %inc.us.us.3, %for.body12.us.us ], [ 0, %for.cond9.preheader.us.us ]
52  %result_element.152.us.us = phi i32 [ %add18.us.us.3, %for.body12.us.us ], [ %result_element.055.us.us, %for.cond9.preheader.us.us ]
53  %niter = phi i32 [ %niter.nsub.3, %for.body12.us.us ], [ %unroll_iter, %for.cond9.preheader.us.us ]
54  %add13.us.us = add i32 %filter_x.053.us.us, %res_x.060.us
55  %arrayidx14.us.us = getelementptr inbounds i16, i16* %tmp5, i32 %filter_x.053.us.us
56  %tmp9 = load i16, i16* %arrayidx14.us.us, align 2
57  %conv.us.us = sext i16 %tmp9 to i32
58  %arrayidx16.us.us = getelementptr inbounds i16, i16* %tmp6, i32 %add13.us.us
59  %tmp10 = load i16, i16* %arrayidx16.us.us, align 2
60  %conv17.us.us = sext i16 %tmp10 to i32
61  %mul.us.us = mul nsw i32 %conv17.us.us, %conv.us.us
62  %add18.us.us = add nsw i32 %mul.us.us, %result_element.152.us.us
63  %inc.us.us = or i32 %filter_x.053.us.us, 1
64  %add13.us.us.1 = add i32 %inc.us.us, %res_x.060.us
65  %arrayidx14.us.us.1 = getelementptr inbounds i16, i16* %tmp5, i32 %inc.us.us
66  %tmp11 = load i16, i16* %arrayidx14.us.us.1, align 2
67  %conv.us.us.1 = sext i16 %tmp11 to i32
68  %arrayidx16.us.us.1 = getelementptr inbounds i16, i16* %tmp6, i32 %add13.us.us.1
69  %tmp12 = load i16, i16* %arrayidx16.us.us.1, align 2
70  %conv17.us.us.1 = sext i16 %tmp12 to i32
71  %mul.us.us.1 = mul nsw i32 %conv17.us.us.1, %conv.us.us.1
72  %add18.us.us.1 = add nsw i32 %mul.us.us.1, %add18.us.us
73  %inc.us.us.1 = or i32 %filter_x.053.us.us, 2
74  %add13.us.us.2 = add i32 %inc.us.us.1, %res_x.060.us
75  %arrayidx14.us.us.2 = getelementptr inbounds i16, i16* %tmp5, i32 %inc.us.us.1
76  %tmp13 = load i16, i16* %arrayidx14.us.us.2, align 2
77  %conv.us.us.2 = sext i16 %tmp13 to i32
78  %arrayidx16.us.us.2 = getelementptr inbounds i16, i16* %tmp6, i32 %add13.us.us.2
79  %tmp14 = load i16, i16* %arrayidx16.us.us.2, align 2
80  %conv17.us.us.2 = sext i16 %tmp14 to i32
81  %mul.us.us.2 = mul nsw i32 %conv17.us.us.2, %conv.us.us.2
82  %add18.us.us.2 = add nsw i32 %mul.us.us.2, %add18.us.us.1
83  %inc.us.us.2 = or i32 %filter_x.053.us.us, 3
84  %add13.us.us.3 = add i32 %inc.us.us.2, %res_x.060.us
85  %arrayidx14.us.us.3 = getelementptr inbounds i16, i16* %tmp5, i32 %inc.us.us.2
86  %tmp15 = load i16, i16* %arrayidx14.us.us.3, align 2
87  %conv.us.us.3 = sext i16 %tmp15 to i32
88  %arrayidx16.us.us.3 = getelementptr inbounds i16, i16* %tmp6, i32 %add13.us.us.3
89  %tmp16 = load i16, i16* %arrayidx16.us.us.3, align 2
90  %conv17.us.us.3 = sext i16 %tmp16 to i32
91  %mul.us.us.3 = mul nsw i32 %conv17.us.us.3, %conv.us.us.3
92  %add18.us.us.3 = add nsw i32 %mul.us.us.3, %add18.us.us.2
93  %inc.us.us.3 = add i32 %filter_x.053.us.us, 4
94  %niter.nsub.3 = add i32 %niter, -4
95  %niter.ncmp.3 = icmp eq i32 %niter.nsub.3, 0
96  br i1 %niter.ncmp.3, label %for.cond9.for.cond.cleanup11_crit_edge.us.us.unr-lcssa, label %for.body12.us.us
97
98for.cond9.for.cond.cleanup11_crit_edge.us.us.unr-lcssa: ; preds = %for.body12.us.us, %for.cond9.preheader.us.us
99  %inc20.us.us = add nuw i32 %filter_y.056.us.us, 1
100  %exitcond98 = icmp eq i32 %inc20.us.us, %filter_dim
101  br i1 %exitcond98, label %for.cond5.for.cond.cleanup7_crit_edge.us, label %for.cond9.preheader.us.us
102
103for.cond5.for.cond.cleanup7_crit_edge.us:         ; preds = %for.cond9.for.cond.cleanup11_crit_edge.us.us
104  %arrayidx23.us = getelementptr inbounds i32, i32* %tmp3, i32 %res_x.060.us
105  store i32 %add18.us.us.3, i32* %arrayidx23.us, align 4
106  %add25.us = add nuw i32 %res_x.060.us, 1
107  %exitcond99 = icmp eq i32 %add25.us, %out_width
108  br i1 %exitcond99, label %for.cond.cleanup3, label %for.cond9.preheader.us.us.preheader
109
110for.cond.cleanup3:                                ; preds = %for.cond5.for.cond.cleanup7_crit_edge.us, %for.cond5.preheader.preheader, %for.cond1.preheader
111  %add28 = add nuw i32 %res_y.093, 1
112  %exitcond100 = icmp eq i32 %add28, %out_height
113  br i1 %exitcond100, label %for.cond.cleanup, label %for.cond1.preheader
114
115for.cond.cleanup:                                 ; preds = %for.cond.cleanup3, %entry
116  ret void
117}
118
119