51 lines · plain
1; REQUIRES: asserts2; RUN: opt < %s -passes='print<domfrontier>' 2>&1 | FileCheck %s3 4define void @a_linear_impl_fig_1() nounwind {50:6 br label %171:8 br label %292:10 br label %3113:12 br i1 1, label %a12, label %4134:14 br i1 1, label %5, label %1155:16 br i1 1, label %a8, label %6176:18 br i1 1, label %a7, label %419a7:20 ret void21a8:22 br i1 1, label %a9, label %123a9:24 br label %a1025a10:26 br i1 1, label %a13, label %a1127a11:28 br i1 1, label %a9, label %a829a12:30 br i1 1, label %2, label %131a13:32 switch i32 0, label %1 [ i32 0, label %a933 i32 1, label %a8]34}35 36; CHECK: DominanceFrontier for function: a_linear_impl_fig_137; CHECK-DAG: DomFrontier for BB %0 is:38; CHECK-DAG: DomFrontier for BB %a11 is: %a9 %a839; CHECK-DAG: DomFrontier for BB %1 is: %140; CHECK-DAG: DomFrontier for BB %2 is: %1 %241; CHECK-DAG: DomFrontier for BB %3 is: %1 %242; CHECK-DAG: DomFrontier for BB %a12 is: %2 %143; CHECK-DAG: DomFrontier for BB %4 is: %1 %444; CHECK-DAG: DomFrontier for BB %5 is: %4 %145; CHECK-DAG: DomFrontier for BB %a8 is: %1 %a846; CHECK-DAG: DomFrontier for BB %6 is: %447; CHECK-DAG: DomFrontier for BB %a7 is:48; CHECK-DAG: DomFrontier for BB %a9 is: %a9 %a8 %149; CHECK-DAG: DomFrontier for BB %a10 is: %a9 %a8 %150; CHECK-DAG: DomFrontier for BB %a13 is: %1 %a9 %a851