New testcase. If one side of and/or is known to be 0/-1, it doesn't matter
if the other side is overdefined.
llvm-svn: 18806
diff --git a/llvm/test/Regression/Transforms/SCCP/logical-nuke.ll b/llvm/test/Regression/Transforms/SCCP/logical-nuke.ll
new file mode 100644
index 0000000..5b4f842
--- /dev/null
+++ b/llvm/test/Regression/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
+}