; RUN: opt < %s -passes=memcpyopt,mldst-motion,gvn -S | FileCheck %s
declare void @check(i8)
declare void @write(ptr %res)
define void @test1() {
%1 = alloca [10 x i8]
call void @write(ptr %1)
%2 = load i8, ptr %1
; CHECK-NOT: undef
call void @check(i8 %2)
ret void
}