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