; RUN: analyze %s -datastructure-gc -dsgc-check-flags=X:SMR

declare void %llvm.memcpy(sbyte*, sbyte*, uint, uint)

void %test() {
	%X = alloca int
	%Y = alloca int
	%x = cast int* %X to sbyte*
	%y = cast int* %Y to sbyte*
	store int 4, int* %X
	call void %llvm.memcpy(sbyte* %x, sbyte* %y, uint 4, uint 4)
	ret void
}