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 34
