58 lines · plain
1; RUN: opt < %s -disable-output -passes='print<domtree>' 2>&1 | FileCheck %s2 3define void @test1(i1 %arg) {4; CHECK-LABEL: DominatorTree for function: test15; CHECK: [1] %entry6; CHECK-NEXT: [2] %a7; CHECK-NEXT: [2] %c8; CHECK-NEXT: [3] %d9; CHECK-NEXT: [3] %e10; CHECK-NEXT: [2] %b11 12entry:13 br i1 %arg, label %a, label %b14 15a:16 br label %c17 18b:19 br label %c20 21c:22 br i1 %arg, label %d, label %e23 24d:25 ret void26 27e:28 ret void29}30 31define void @test2(i1 %arg) {32; CHECK-LABEL: DominatorTree for function: test233; CHECK: [1] %entry34; CHECK-NEXT: [2] %a35; CHECK-NEXT: [3] %b36; CHECK-NEXT: [4] %c37; CHECK-NEXT: [5] %d38; CHECK-NEXT: [5] %ret39 40entry:41 br label %a42 43a:44 br label %b45 46b:47 br i1 %arg, label %a, label %c48 49c:50 br i1 %arg, label %d, label %ret51 52d:53 br i1 %arg, label %a, label %ret54 55ret:56 ret void57}58