test/Transforms/LoopSimplify/2010-07-15-IncorrectDomFrontierUpdate.ll

   1 ; RUN: opt < %s -domfrontier -loop-simplify -domfrontier -verify-dom-info -analyze
   2
   3
   4 define void @a() nounwind {
   5 entry:
   6   br i1 undef, label %bb37, label %bb1.i
   7
   8 bb1.i:                                            ; preds = %bb1.i, %bb
   9   %indvar = phi i64 [ %indvar.next, %bb1.i ], [ 0, %entry ] ; <i64> [#uses=1]
  10   %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=2]
  11   %exitcond = icmp eq i64 %indvar.next, 576       ; <i1> [#uses=1]
  12   br i1 %exitcond, label %bb37, label %bb1.i
  13
  14 bb37:                                             ; preds = %bb1.i, %bb
  15   br label %return
  16
  17
  18 return:                                           ; preds = %bb39
  19   ret void
  20 }