diff options
author | dim <dim@FreeBSD.org> | 2012-04-14 13:54:10 +0000 |
---|---|---|
committer | dim <dim@FreeBSD.org> | 2012-04-14 13:54:10 +0000 |
commit | 1fc08f5e9ef733ef1ce6f363fecedc2260e78974 (patch) | |
tree | 19c69a04768629f2d440944b71cbe90adae0b615 /test/Transforms/InstCombine/select.ll | |
parent | 07637c87f826cdf411f0673595e9bc92ebd793f2 (diff) | |
download | FreeBSD-src-1fc08f5e9ef733ef1ce6f363fecedc2260e78974.zip FreeBSD-src-1fc08f5e9ef733ef1ce6f363fecedc2260e78974.tar.gz |
Vendor import of llvm trunk r154661:
http://llvm.org/svn/llvm-project/llvm/trunk@r154661
Diffstat (limited to 'test/Transforms/InstCombine/select.ll')
-rw-r--r-- | test/Transforms/InstCombine/select.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/select.ll b/test/Transforms/InstCombine/select.ll index 4661561..4baae26 100644 --- a/test/Transforms/InstCombine/select.ll +++ b/test/Transforms/InstCombine/select.ll @@ -809,3 +809,23 @@ define i32 @test61(i32* %ptr) { ; CHECK: @test61 ; CHECK: ret i32 10 } + +define i1 @test62(i1 %A, i1 %B) { + %not = xor i1 %A, true + %C = select i1 %A, i1 %not, i1 %B + ret i1 %C +; CHECK: @test62 +; CHECK: %not = xor i1 %A, true +; CHECK: %C = and i1 %not, %B +; CHECK: ret i1 %C +} + +define i1 @test63(i1 %A, i1 %B) { + %not = xor i1 %A, true + %C = select i1 %A, i1 %B, i1 %not + ret i1 %C +; CHECK: @test63 +; CHECK: %not = xor i1 %A, true +; CHECK: %C = or i1 %B, %not +; CHECK: ret i1 %C +} |