• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -domtree -break-crit-edges -analyze -domtree | FileCheck %s
2; PR932
3
4; CHECK: [3] %brtrue {1,2}
5
6declare void @use1(i32)
7
8define void @f(i32 %i, i1 %c) {
9entry:
10	%A = icmp eq i32 %i, 0		; <i1> [#uses=1]
11	br i1 %A, label %brtrue, label %brfalse
12
13brtrue:		; 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
18brfalse:		; preds = %brtrue, %entry
19	call void @use1( i32 %i )
20	ret void
21}
22