| Jan Wen Voung | 6dc3076 | 2013-03-12 16:27:52 +0000 | [diff] [blame] | 1 | ; REQUIRES: asserts |
| Andrew Trick | d04d1529 | 2011-12-09 06:19:40 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -disable-output -stats -loop-unroll -unroll-runtime -unroll-threshold=400 -info-output-file - | FileCheck %s --check-prefix=STATS |
| 3 | |
| 4 | ; Test that nested loops can be unrolled. We need to increase threshold to do it |
| 5 | |
| 6 | ; STATS: 2 loop-unroll - Number of loops unrolled (completely or otherwise) |
| 7 | |
| 8 | define i32 @nested(i32* nocapture %a, i32 %n, i32 %m) nounwind uwtable readonly { |
| 9 | entry: |
| 10 | %cmp11 = icmp sgt i32 %n, 0 |
| 11 | br i1 %cmp11, label %for.cond1.preheader.lr.ph, label %for.end7 |
| 12 | |
| 13 | for.cond1.preheader.lr.ph: ; preds = %entry |
| 14 | %cmp28 = icmp sgt i32 %m, 0 |
| 15 | br label %for.cond1.preheader |
| 16 | |
| 17 | for.cond1.preheader: ; preds = %for.inc5, %for.cond1.preheader.lr.ph |
| 18 | %indvars.iv16 = phi i64 [ 0, %for.cond1.preheader.lr.ph ], [ %indvars.iv.next17, %for.inc5 ] |
| 19 | %sum.012 = phi i32 [ 0, %for.cond1.preheader.lr.ph ], [ %sum.1.lcssa, %for.inc5 ] |
| 20 | br i1 %cmp28, label %for.body3, label %for.inc5 |
| 21 | |
| 22 | for.body3: ; preds = %for.cond1.preheader, %for.body3 |
| 23 | %indvars.iv = phi i64 [ %indvars.iv.next, %for.body3 ], [ 0, %for.cond1.preheader ] |
| 24 | %sum.19 = phi i32 [ %add4, %for.body3 ], [ %sum.012, %for.cond1.preheader ] |
| 25 | %0 = add nsw i64 %indvars.iv, %indvars.iv16 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame^] | 26 | %arrayidx = getelementptr inbounds i32, i32* %a, i64 %0 |
| Andrew Trick | d04d1529 | 2011-12-09 06:19:40 +0000 | [diff] [blame] | 27 | %1 = load i32* %arrayidx, align 4 |
| 28 | %add4 = add nsw i32 %1, %sum.19 |
| 29 | %indvars.iv.next = add i64 %indvars.iv, 1 |
| 30 | %lftr.wideiv = trunc i64 %indvars.iv.next to i32 |
| 31 | %exitcond = icmp eq i32 %lftr.wideiv, %m |
| 32 | br i1 %exitcond, label %for.inc5, label %for.body3 |
| 33 | |
| 34 | for.inc5: ; preds = %for.body3, %for.cond1.preheader |
| 35 | %sum.1.lcssa = phi i32 [ %sum.012, %for.cond1.preheader ], [ %add4, %for.body3 ] |
| 36 | %indvars.iv.next17 = add i64 %indvars.iv16, 1 |
| 37 | %lftr.wideiv18 = trunc i64 %indvars.iv.next17 to i32 |
| 38 | %exitcond19 = icmp eq i32 %lftr.wideiv18, %n |
| 39 | br i1 %exitcond19, label %for.end7, label %for.cond1.preheader |
| 40 | |
| 41 | for.end7: ; preds = %for.inc5, %entry |
| 42 | %sum.0.lcssa = phi i32 [ 0, %entry ], [ %sum.1.lcssa, %for.inc5 ] |
| 43 | ret i32 %sum.0.lcssa |
| 44 | } |
| 45 | |