test/Transforms/LoopSimplify/2003-04-25-AssertFail.ll

   1 ; This testcase exposed a problem with the loop identification pass (LoopInfo).
   2 ; Basically, it was incorrectly calculating the loop nesting information.
   3 ;
   4 ; RUN: opt %s -loopsimplify
   5
   6 define i32 @yylex() {
   7         br label %loopentry.0
   8 loopentry.0:            ; preds = %else.4, %0
   9         br label %loopexit.2
  10 loopexit.2:             ; preds = %else.4, %loopexit.2, %loopentry.0
  11         br i1 false, label %loopexit.2, label %else.4
  12 yy_find_action:         ; preds = %else.4
  13         br label %else.4
  14 else.4:         ; preds = %yy_find_action, %loopexit.2
  15         switch i32 0, label %loopexit.2 [
  16                  i32 2, label %yy_find_action
  17                  i32 0, label %loopentry.0
  18         ]
  19 }
  20