; RUN: opt < %s -passes=memcpyopt,mldst-motion,gvn -S | FileCheck %s
define void @foo(ptr %ret, i1 %x) {
%a = alloca i8
br i1 %x, label %yes, label %no
yes: ; preds = %0
store i8 5, ptr %a
br label %out
no: ; preds = %0
store i8 5, ptr %a
br label %out
out: ; preds = %no, %yes
%tmp = load i8, ptr %a
; CHECK-NOT: undef
store i8 %tmp, ptr %ret
ret void
}