From e264f62ca09a8f65c87a46d562a4d0f9ec5d457e Mon Sep 17 00:00:00 2001 From: Shih-wei Liao Date: Wed, 10 Feb 2010 11:10:31 -0800 Subject: Check in LLVM r95781. --- test/Transforms/JumpThreading/and-and-cond.ll | 33 +++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 test/Transforms/JumpThreading/and-and-cond.ll (limited to 'test/Transforms/JumpThreading/and-and-cond.ll') diff --git a/test/Transforms/JumpThreading/and-and-cond.ll b/test/Transforms/JumpThreading/and-and-cond.ll new file mode 100644 index 0000000..e6db9ee --- /dev/null +++ b/test/Transforms/JumpThreading/and-and-cond.ll @@ -0,0 +1,33 @@ +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | grep {ret i32 %v1} +; There should be no uncond branches left. +; RUN: opt < %s -jump-threading -mem2reg -instcombine -simplifycfg -S | not grep {br label} + +declare i32 @f1() +declare i32 @f2() +declare void @f3() + +define i32 @test(i1 %cond, i1 %cond2, i1 %cond3) { + br i1 %cond, label %T1, label %F1 + +T1: + %v1 = call i32 @f1() + br label %Merge + +F1: + %v2 = call i32 @f2() + br label %Merge + +Merge: + %A = phi i1 [true, %T1], [false, %F1] + %B = phi i32 [%v1, %T1], [%v2, %F1] + %C = and i1 %A, %cond2 + %D = and i1 %C, %cond3 + br i1 %D, label %T2, label %F2 + +T2: + call void @f3() + ret i32 %B + +F2: + ret i32 %B +} -- cgit v1.1