test/Analysis/Dominators/basic.ll

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