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

   1 ; RUN: opt < %s -domtree -break-crit-edges -analyze -domtree | FileCheck %s
   2 ; PR932
   3
   4 ; CHECK: [3] %brtrue {1,2}
   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 }