New testcase. If one side of and/or is known to be 0/-1, it doesn't matter
[oota-llvm.git] / test / Transforms / SCCP / logical-nuke.ll
1 ; RUN: llvm-as < %s | opt -sccp | llvm-dis | grep 'ret int 0'
2
3 ; Test that SCCP has basic knowledge of when and/or nuke overdefined values.
4
5 int %test(int %X) {
6         %Y = and int %X, 0
7         ret int %Y
8 }