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: analyze -loops %s | grep '     Loop Containing:[ ]*%Inner'
   6 ;
   7
   8 implementation
   9
  10 void %test() {
  11         br label %Top
  12 Top:
  13         br label %LoopHeader
  14 Next:
  15         br bool false, label %Inner, label %Out
  16 Inner:
  17         br bool false, label %Inner, label %LoopHeader
  18
  19 LoopHeader:
  20         br label %Next
  21
  22 Out:
  23         br bool false, label %Top, label %Done
  24
  25 Done:
  26         ret void
  27 }