; RUN: llvm-as < %s | opt -sccp | llvm-dis | \ ; RUN: grep {ret i1 false} define i1 @foo() { %X = and i1 false, undef ; [#uses=1] ret i1 %X }