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: llvm-upgrade < %s | llvm-as | opt -loopsimplify
   5
   6 implementation   ; Functions:
   7
   8 int %yylex() {          ; No predecessors!
   9         br label %loopentry.0
  10
  11 loopentry.0:            ; preds = %0, %yy_find_action, %else.4
  12         br label %loopexit.2
  13
  14 loopexit.2:             ; preds = %loopentry.0, %else.4, %loopexit.2
  15         br bool false, label %loopexit.2, label %else.4
  16
  17 yy_find_action:         ; preds = %loopexit.2, %else.4
  18         br label %else.4
  19
  20 else.4:         ; preds = %yy_find_action
  21         switch uint 0, label %loopexit.2 [
  22                  uint 2, label %yy_find_action
  23                  uint 0, label %loopentry.0
  24         ]
  25 }