test/Other/2003-02-19-LoopInfoNestingBug.ll

   1 ; LoopInfo is incorrectly calculating loop nesting!  In this case it doesn't
   2 ; figure out that loop "Inner" should be nested inside of leep "LoopHeader",
   3 ; and instead nests it just inside loop "Top"
   4 ;
   5 ; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -loops | \
   6 ; RUN:   grep {     Loop Containing:\[ \]*%Inner}
   7 ;
   8
   9 implementation
  10
  11 void %test() {
  12         br label %Top
  13 Top:
  14         br label %LoopHeader
  15 Next:
  16         br bool false, label %Inner, label %Out
  17 Inner:
  18         br bool false, label %Inner, label %LoopHeader
  19
  20 LoopHeader:
  21         br label %Next
  22
  23 Out:
  24         br bool false, label %Top, label %Done
  25
  26 Done:
  27         ret void
  28 }