Home | History | Annotate | Download | only in Dominators
      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 }
     22