From 0f63e22e843e750ab89617824183d2821563f5e7 Mon Sep 17 00:00:00 2001
From: "Vikram S. Adve" <vadve@cs.uiuc.edu>
Date: Thu, 15 Aug 2002 14:09:56 +0000
Subject: [PATCH] Add tests for unary NOT operations.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3340 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/CodeGen/Generic/select.ll | 18 ++++++++++++++++++
 test/LLC/select.ll             | 18 ++++++++++++++++++
 2 files changed, 36 insertions(+)

diff --git a/test/CodeGen/Generic/select.ll b/test/CodeGen/Generic/select.ll
index ed2e833ae9c..5976e5f88d4 100644
--- a/test/CodeGen/Generic/select.ll
+++ b/test/CodeGen/Generic/select.ll
@@ -149,3 +149,21 @@ bb2:		;;<label>
 	%reg160 = add long 7654321, %cast117	;;  and here.
 	ret int 0
 end
+
+
+; Test case for unary NOT operation constructed from XOR.
+; 
+void "checkNot"(bool %b, int %i)
+begin
+	%notB = xor bool %b, true
+	%notI = xor int %i, -1
+	%F    = setge int %notI, 100
+	%J    = add int %i, %i
+	%andNotB = and bool %F, %notB		;; should get folded with notB
+	%andNotI = and int %J, %notI		;; should get folded with notI
+
+	%notB2 = xor bool true, %b		;; should become XNOR
+	%notI2 = xor int -1, %i			;; should become XNOR
+
+	ret void
+end
diff --git a/test/LLC/select.ll b/test/LLC/select.ll
index ed2e833ae9c..5976e5f88d4 100644
--- a/test/LLC/select.ll
+++ b/test/LLC/select.ll
@@ -149,3 +149,21 @@ bb2:		;;<label>
 	%reg160 = add long 7654321, %cast117	;;  and here.
 	ret int 0
 end
+
+
+; Test case for unary NOT operation constructed from XOR.
+; 
+void "checkNot"(bool %b, int %i)
+begin
+	%notB = xor bool %b, true
+	%notI = xor int %i, -1
+	%F    = setge int %notI, 100
+	%J    = add int %i, %i
+	%andNotB = and bool %F, %notB		;; should get folded with notB
+	%andNotI = and int %J, %notI		;; should get folded with notI
+
+	%notB2 = xor bool true, %b		;; should become XNOR
+	%notI2 = xor int -1, %i			;; should become XNOR
+
+	ret void
+end