1 ; RUN: opt < %s -memcpyopt -mldst-motion -gvn -S | FileCheck %s 2 3 declare void @check(i8) 4 5 declare void @write(i8* %res) 6 7 define 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
