| Dinesh Dwivedi | d266cb1 | 2014-05-29 06:47:23 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-unroll -indvars -disable-output |
| 2 | |
| 3 | @b = external global i32, align 4 |
| 4 | |
| 5 | ; Function Attrs: nounwind uwtable |
| 6 | define void @fn1() #0 { |
| 7 | entry: |
| 8 | br label %for.cond1thread-pre-split |
| 9 | |
| 10 | for.cond1thread-pre-split: ; preds = %for.inc8, %entry |
| 11 | %storemerge1 = phi i32 [ 0, %entry ], [ %inc9, %for.inc8 ] |
| 12 | br i1 undef, label %for.inc8, label %for.cond2.preheader.lr.ph |
| 13 | |
| 14 | for.cond2.preheader.lr.ph: ; preds = %for.cond1thread-pre-split |
| 15 | br label %for.cond2.preheader |
| 16 | |
| 17 | for.cond2.preheader: ; preds = %for.inc5, %for.cond2.preheader.lr.ph |
| 18 | br label %for.cond2 |
| 19 | |
| 20 | for.cond2: ; preds = %for.body3, %for.cond2.preheader |
| 21 | %storemerge = phi i32 [ %add, %for.body3 ], [ 0, %for.cond2.preheader ] |
| 22 | %cmp = icmp slt i32 %storemerge, 1 |
| 23 | br i1 %cmp, label %for.body3, label %for.inc5 |
| 24 | |
| 25 | for.body3: ; preds = %for.cond2 |
| 26 | %tobool4 = icmp eq i32 %storemerge, 0 |
| 27 | %add = add nsw i32 %storemerge, 1 |
| 28 | br i1 %tobool4, label %for.cond2, label %if.then |
| 29 | |
| 30 | if.then: ; preds = %for.body3 |
| 31 | store i32 %storemerge1, i32* @b, align 4 |
| 32 | ret void |
| 33 | |
| 34 | for.inc5: ; preds = %for.cond2 |
| 35 | br i1 undef, label %for.cond1.for.inc8_crit_edge, label %for.cond2.preheader |
| 36 | |
| 37 | for.cond1.for.inc8_crit_edge: ; preds = %for.inc5 |
| 38 | br label %for.inc8 |
| 39 | |
| 40 | for.inc8: ; preds = %for.cond1.for.inc8_crit_edge, %for.cond1thread-pre-split |
| 41 | %inc9 = add nsw i32 %storemerge1, 1 |
| 42 | br label %for.cond1thread-pre-split |
| 43 | } |