Chris Lattner 3ec804b7f5 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
2004-12-11 23:14:40 +00:00

9 lines
195 B
LLVM

; 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
}