llvm/test/Analysis/RegionInfo/outgoing_edge.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt < %s -passes='print<regions>' 2>&1 | FileCheck %s
   3
   4 ; While working on improvements to the region info analysis, this test
   5 ; case caused an incorrect region bb2 => bb3 to be detected. It is incorrect
   6 ; because bb2 has an outgoing edge to bb4. This is interesting because
   7 ; bb2 dom bb3 and bb3 pdom bb2, which should have been enough to prevent incoming
   8 ; forward edges into the region and outgoing forward edges from the region.
   9
  10 define void @meread_() nounwind {
  11 bb:
  12    br label %bb1
  13
  14 bb1:                                              ; preds = %bb4, %bb
  15    br label %bb2
  16
  17 bb2:                                              ; preds = %bb1
  18   br i1 true, label %bb3, label %bb4
  19
  20 bb3:                                              ; preds = %bb2
  21   br i1 true, label %bb4, label %bb5
  22
  23 bb4:                                              ; preds = %bb3, %bb2
  24    br label %bb1
  25
  26 bb5:                                              ; preds = %bb3
  27    ret void
  28  }
  29
  30 ; CHECK:      [0] bb => <Function Return>
  31 ; CHECK-NEXT:   [1] bb1 => bb5
  32 ; CHECK-NEXT: End region tree