test/Analysis/RegionInfo/outgoing_edge_1.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -regions -analyze < %s | FileCheck %s
   3 ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
   4
   5 ; While working on improvements to region info analysis, this test
   6 ; case caused an incorrect region bb2 => bb3 to be detected.
   7
   8 define internal i8 @main_read() nounwind {
   9 bb:
  10    br label %bb1
  11
  12 bb1:
  13    br i1 true, label %bb2, label %bb7
  14
  15 bb2:
  16   br i1 true, label %bb4, label %bb3
  17
  18 bb3:
  19   br i1 true, label %bb4, label %bb8
  20
  21 bb4:
  22    br label %bb5
  23
  24 bb5:
  25    br label %bb6
  26
  27 bb6:
  28    br label %bb1
  29
  30 bb7:
  31    br label %bb5
  32
  33 bb8:
  34    ret i8 1
  35 }
  36
  37 ; CHECK:    [0] bb => <Function Return>
  38 ; CHECK-NEXT: [1] bb1 => bb8
  39 ; CHECK-NEXT: End region tree