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

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