test/Transforms/LoopUnroll/pr18861.ll

   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 }