Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / f156f0cf5763abb3ee1ae8d3ba69b99f4b96d23a / . / llvm / test / Transforms / SimplifyCFG / branch-fold.ll
blob: 2b2968119188b29b080c39ea4af0b3f402b0eb12 [file] [log] [blame]
Chandler Carruthf156f0c2011-11-26 08:24:25 +0000[diff] [blame^]1; RUN: opt < %s -simplifycfg -S | FileCheck %s
Chris Lattner62f565d2005-09-23 18:43:57 +0000[diff] [blame]2
Tanya Lattnerbaa370b2008-03-18 03:45:45 +0000[diff] [blame]3define void @test(i32* %P, i32* %Q, i1 %A, i1 %B) {
Chandler Carruthf156f0c2011-11-26 08:24:25 +0000[diff] [blame^]4; CHECK: test
5; CHECK: br i1
6; CHECK-NOT: br i1
7; CHECK: ret
8; CHECK: ret
9
10entry:
Tanya Lattnerbaa370b2008-03-18 03:45:45 +0000[diff] [blame]11 br i1 %A, label %a, label %b
Chandler Carruthf156f0c2011-11-26 08:24:25 +0000[diff] [blame^]12a:
Tanya Lattnerbaa370b2008-03-18 03:45:45 +0000[diff] [blame]13 br i1 %B, label %b, label %c
Chandler Carruthf156f0c2011-11-26 08:24:25 +0000[diff] [blame^]14b:
Tanya Lattnerbaa370b2008-03-18 03:45:45 +0000[diff] [blame]15 store i32 123, i32* %P
16 ret void
Chandler Carruthf156f0c2011-11-26 08:24:25 +0000[diff] [blame^]17c:
Tanya Lattnerbaa370b2008-03-18 03:45:45 +0000[diff] [blame]18 ret void
Chris Lattner62f565d2005-09-23 18:43:57 +0000[diff] [blame]19}