llvm/test/Analysis/RegionInfo/multiple_exiting_edge.ll

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