test/Analysis/RegionInfo/outgoing_edge.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 the region info analysis, this test
   6 ; case caused an incorrect region bb2 => bb3 to be detected. It is incorrect
   7 ; because bb2 has an outgoing edge to bb4. This is interesting because
   8 ; bb2 dom bb3 and bb3 pdom bb2, which should have been enough to prevent incoming
   9 ; forward edges into the region and outgoing forward edges from the region.
  10
  11 define void @meread_() nounwind {
  12 bb:
  13    br label %bb1
  14
  15 bb1:                                              ; preds = %bb4, %bb
  16    br label %bb2
  17
  18 bb2:                                              ; preds = %bb1
  19   br i1 true, label %bb3, label %bb4
  20
  21 bb3:                                              ; preds = %bb2
  22   br i1 true, label %bb4, label %bb5
  23
  24 bb4:                                              ; preds = %bb3, %bb2
  25    br label %bb1
  26
  27 bb5:                                              ; preds = %bb3
  28    ret void
  29  }
  30
  31 ; CHECK:      [0] bb => <Function Return>
  32 ; CHECK-NEXT:   [1] bb1 => bb5
  33 ; CHECK-NEXT: End region tree