; RUN: llvm-as < %s | opt -gvnpre | llvm-dis

define i32* @_ZN6Solver9propagateEv(i32* %this) {
entry:
	%tmp15.i48 = load i8* null		; <i8> [#uses=2]
	%tmp64.i.i51 = sub i8 0, %tmp15.i48		; <i8> [#uses=1]
	%tmp231.i52 = select i1 false, i8 %tmp15.i48, i8 %tmp64.i.i51		; <i8> [#uses=0]
	ret i32* null
}