Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / llvm / 901b5750b2af095bb0e359f4d2c3debef3ad57e6 / . / test / Transforms / SimplifyCFG / branch-cond-prop.ll
blob: 448934e725081cce2d2785821b02df9bcbdb8c9e [file] [log] [blame]
Dan Gohman3c7d3082009-09-11 18:01:28 +0000[diff] [blame]1; RUN: opt < %s -simplifycfg -S | not grep call
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]2
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]3declare void @bar()
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]4
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]5define void @test(i32 %X, i32 %Y) {
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]6entry:
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]7 %tmp.2 = icmp slt i32 %X, %Y ; <i1> [#uses=2]
8 br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]9shortcirc_next: ; preds = %entry
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]10 br i1 %tmp.2, label %UnifiedReturnBlock, label %then
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]11then: ; preds = %shortcirc_next
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]12 call void @bar( )
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]13 ret void
Tanya Lattnerb46665e2008-03-18 03:45:45 +0000[diff] [blame]14UnifiedReturnBlock: ; preds = %shortcirc_next, %entry
15 ret void
Dan Gohmanf17a25c2007-07-18 16:29:46 +0000[diff] [blame]16}
17