diff --git a/test/Analysis/DSGraph/2004-02-13-memcpy.ll b/test/Analysis/DSGraph/2004-02-13-memcpy.ll
new file mode 100644
index 00000000000..aefe2e587b6
--- /dev/null
+++ b/test/Analysis/DSGraph/2004-02-13-memcpy.ll
@@ -0,0 +1,13 @@
+; RUN: analyze %s -datastructure-gc -dsgc-check-flags=X:SM
+
+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
+}