From 31901f80f83de51de851335dda3a5a152d0ddf9d Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Fri, 23 Aug 2002 18:31:18 +0000 Subject: [PATCH] Test that demorgan's law is instcombined successfully git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3494 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/not.ll | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/test/Transforms/InstCombine/not.ll b/test/Transforms/InstCombine/not.ll index 8bc85866499..57560d61d6d 100644 --- a/test/Transforms/InstCombine/not.ll +++ b/test/Transforms/InstCombine/not.ll @@ -19,3 +19,13 @@ bool %test2(int %A, int %B) { %Ret = xor bool %cond, true ret bool %Ret } + + +; Test that demorgans law can be instcombined +int %test3(int %A, int %B) { + %a = xor int %A, -1 + %b = xor int %B, -1 + %c = and int %a, %b + %d = xor int %c, -1 + ret int %d +}