From e0e50dbb9fe975b4f4b3d2eb061b2ac74a5cc7c0 Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Sat, 11 Dec 2004 23:14:40 +0000
Subject: [PATCH] New testcase.  If one side of and/or is known to be 0/-1, it
 doesn't matter if the other side is overdefined.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@18806 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/SCCP/logical-nuke.ll | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/Transforms/SCCP/logical-nuke.ll

diff --git a/test/Transforms/SCCP/logical-nuke.ll b/test/Transforms/SCCP/logical-nuke.ll
new file mode 100644
index 00000000000..5b4f8426004
--- /dev/null
+++ b/test/Transforms/SCCP/logical-nuke.ll
@@ -0,0 +1,8 @@
+; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 0'
+
+; Test that SCCP has basic knowledge of when and/or nuke overdefined values.
+
+int %test(int %X) {
+	%Y = and int %X, 0
+	ret int %Y
+}