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