Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / bc041b82d44b51a3b7da79c38e4052e28ff8011c / . / llvm / test / Analysis / Dominators / 2006-10-02-BreakCritEdges.ll
blob: 45efc4238114f1b0d550ef6163182c5ff90aade2 [file] [log] [blame]
Bill Wendling1981c0e2012-04-24 10:45:44 +0000[diff] [blame]1; RUN: opt < %s -domtree -break-crit-edges -analyze -domtree | FileCheck %s
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]2; PR932
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]3
Bill Wendling1981c0e2012-04-24 10:45:44 +0000[diff] [blame]4; CHECK: [3] %brtrue {1,2}
5
Tanya Lattnerf865dcd2008-02-14 06:56:27 +0000[diff] [blame]6declare void @use1(i32)
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]7
Tanya Lattnerf865dcd2008-02-14 06:56:27 +0000[diff] [blame]8define void @f(i32 %i, i1 %c) {
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]9entry:
Tanya Lattnerf865dcd2008-02-14 06:56:27 +0000[diff] [blame]10 %A = icmp eq i32 %i, 0 ; <i1> [#uses=1]
11 br i1 %A, label %brtrue, label %brfalse
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]12
13brtrue: ; preds = %brtrue, %entry
Tanya Lattnerf865dcd2008-02-14 06:56:27 +0000[diff] [blame]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
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]17
18brfalse: ; preds = %brtrue, %entry
Tanya Lattnerf865dcd2008-02-14 06:56:27 +0000[diff] [blame]19 call void @use1( i32 %i )
Chris Lattner2a7e3c22006-10-03 07:00:13 +0000[diff] [blame]20 ret void
21}