1; RUN: opt < %s -memcpyopt -mldst-motion -gvn -S | FileCheck %s 2 3declare void @check(i8) 4 5declare void @write(i8* %res) 6 7define void @test1() { 8 %1 = alloca [10 x i8] 9 %2 = bitcast [10 x i8]* %1 to i8* 10 call void @write(i8* %2) 11 %3 = load i8, i8* %2 12 13; CHECK-NOT: undef 14 call void @check(i8 %3) 15 16 ret void 17} 18 19