llvm/test/Analysis/Dominators/2006-10-02-BreakCritEdges.ll

   1 ; RUN: opt < %s -passes='require<domtree>,break-crit-edges,print<domtree>' -disable-output 2>&1| FileCheck %s
   2 ; PR932
   3
   4 ; CHECK: [3] %brtrue {{{[0-9]+}},{{[0-9]+}}}
   5
   6 declare void @use1(i32)
   7
   8 define void @f(i32 %i, i1 %c) {
   9 entry:
  10         %A = icmp eq i32 %i, 0          ; <i1> [#uses=1]
  11         br i1 %A, label %brtrue, label %brfalse
  12
  13 brtrue:         ; preds = %brtrue, %entry
  14         %B = phi i1 [ true, %brtrue ], [ false, %entry ]                ; <i1> [#uses=1]
  15         call void @use1( i32 %i )
  16         br i1 %B, label %brtrue, label %brfalse
  17
  18 brfalse:                ; preds = %brtrue, %entry
  19         call void @use1( i32 %i )
  20         ret void
  21 }