; RUN: opt < %s -sccp -S | not grep select

@A = constant i32 10

define i712 @test1() {
        %P = getelementptr i32* @A, i32 0
        %B = ptrtoint i32* %P to i64
        %BB = and i64 %B, undef
        %C = icmp sge i64 %BB, 0
	%X = select i1 %C, i712 0, i712 1
	ret i712 %X
}



define i712 @test2(i1 %C) {
	%X = select i1 %C, i712 0, i712 undef
	ret i712 %X
}