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