test/Analysis/RegionInfo/multiple_exiting_edge.ll

   1 ; RUN: opt -regions -print-region-style=bb  -analyze < %s |& FileCheck -check-prefix=BBIT %s
   2 ; RUN: opt -regions -print-region-style=rn  -analyze < %s |& FileCheck -check-prefix=RNIT %s
   3
   4 define void @normal_condition_0() nounwind {
   5 bb38:                                             ; preds = %bb34, %bb34, %bb37
   6   switch i32 undef, label %bb42 [
   7     i32 67, label %bb42
   8     i32 90, label %bb41
   9   ]
  10 bb41:                                             ; preds = %bb38
  11   br label %bb42
  12 bb42:                                             ; preds = %bb38, %bb38, %bb41
  13   ret void
  14 }
  15
  16 ; BBIT: bb38, bb42, bb41,
  17 ; BBIT: bb38, bb41,
  18
  19 ; RNIT: bb38 => bb42, bb42,
  20 ; RNIT: bb38, bb41,
  21
  22 define void @normal_condition_1() nounwind {
  23 bb38:                                             ; preds = %bb34, %bb34, %bb37
  24   switch i32 undef, label %bb41 [
  25     i32 67, label %bb42
  26     i32 90, label %bb42
  27   ]
  28 bb41:                                             ; preds = %bb38
  29   br label %bb42
  30 bb42:                                             ; preds = %bb38, %bb38, %bb41
  31   ret void
  32 }
  33
  34 ; BBIT: bb38, bb41, bb42,
  35 ; BBIT: bb38, bb41,
  36
  37 ; RNIT: bb38 => bb42, bb42,
  38 ; RNIT: bb38, bb41,