test/Analysis/Dominators/basic.ll

   1 ; RUN: opt < %s -domtree -analyze | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-OLDPM
   2 ; RUN: opt < %s -disable-output -passes='print<domtree>' 2>&1 | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-NEWPM
   3
   4 define void @test1() {
   5 ; CHECK-OLDPM-LABEL: 'Dominator Tree Construction' for function 'test1':
   6 ; CHECK-NEWPM-LABEL: DominatorTree for function: test1
   7 ; CHECK:      [1] %entry
   8 ; CHECK-NEXT:   [2] %a
   9 ; CHECK-NEXT:   [2] %c
  10 ; CHECK-NEXT:     [3] %d
  11 ; CHECK-NEXT:     [3] %e
  12 ; CHECK-NEXT:   [2] %b
  13
  14 entry:
  15   br i1 undef, label %a, label %b
  16
  17 a:
  18   br label %c
  19
  20 b:
  21   br label %c
  22
  23 c:
  24   br i1 undef, label %d, label %e
  25
  26 d:
  27   ret void
  28
  29 e:
  30   ret void
  31 }
  32
  33 define void @test2() {
  34 ; CHECK-OLDPM-LABEL: 'Dominator Tree Construction' for function 'test2':
  35 ; CHECK-NEWPM-LABEL: DominatorTree for function: test2
  36 ; CHECK:      [1] %entry
  37 ; CHECK-NEXT:   [2] %a
  38 ; CHECK-NEXT:     [3] %b
  39 ; CHECK-NEXT:       [4] %c
  40 ; CHECK-NEXT:         [5] %d
  41 ; CHECK-NEXT:         [5] %ret
  42
  43 entry:
  44   br label %a
  45
  46 a:
  47   br label %b
  48
  49 b:
  50   br i1 undef, label %a, label %c
  51
  52 c:
  53   br i1 undef, label %d, label %ret
  54
  55 d:
  56   br i1 undef, label %a, label %ret
  57
  58 ret:
  59   ret void
  60 }