From b493b2774c23dfb83fa0279718083f686b7c9e5e Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 28 Oct 2008 22:38:57 +0000 Subject: (A & sext(C)) | (B & ~sext(C) -> C ? A : B git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@58351 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/logical-select.ll | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 test/Transforms/InstCombine/logical-select.ll (limited to 'test/Transforms/InstCombine/logical-select.ll') diff --git a/test/Transforms/InstCombine/logical-select.ll b/test/Transforms/InstCombine/logical-select.ll new file mode 100644 index 0000000000..6369badee6 --- /dev/null +++ b/test/Transforms/InstCombine/logical-select.ll @@ -0,0 +1,20 @@ +; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep select | count 2 + +define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { + %e = icmp slt i32 %a, %b + %f = sext i1 %e to i32 + %g = and i32 %c, %f + %h = xor i32 %f, -1 + %i = and i32 %d, %h + %j = or i32 %g, %i + ret i32 %j +} +define i32 @bar(i32 %a, i32 %b, i32 %c, i32 %d) nounwind { + %e = icmp slt i32 %a, %b + %f = sext i1 %e to i32 + %g = and i32 %c, %f + %h = xor i32 %f, -1 + %i = and i32 %d, %h + %j = or i32 %i, %g + ret i32 %j +} -- cgit v1.2.3