better check
authorAndrew Lenharth <andrewl@lenharth.org>
Wed, 15 Mar 2006 19:02:54 +0000 (19:02 +0000)
committerAndrew Lenharth <andrewl@lenharth.org>
Wed, 15 Mar 2006 19:02:54 +0000 (19:02 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@26780 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/DSGraph/2004-02-13-memcpy.ll

index 5760712fdff862913f6714eb893ec294ba7ab178..e2fcfee177fcd638b6ff03784b516fbcbdf3cfdc 100644 (file)
@@ -1,6 +1,8 @@
-; RUN: analyze %s -datastructure-gc -dsgc-check-flags=X:SMR
+; RUN: analyze %s -datastructure-gc -dsgc-check-flags=Xn:SMR
+; RUN: analyze %s -datastructure-gc -dsgc-check-flags=X:SM
 
-declare void %llvm.memcpy(sbyte*, sbyte*, uint, uint)
+declare void %llvm.memcpy.i32(sbyte*, sbyte*, uint, uint)
+declare void %llvm.memmove.i32(sbyte*, sbyte*, uint, uint)
 
 void %test() {
        %X = alloca int
@@ -8,6 +10,16 @@ void %test() {
        %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)
+       call void %llvm.memcpy.i32(sbyte* %x, sbyte* %y, uint 4, uint 4)
+       ret void
+}
+
+void %test2() {
+       %Xn = alloca int
+       %Yn = alloca int
+       %xn = cast int* %Xn to sbyte*
+       %yn = cast int* %Yn to sbyte*
+       store int 4, int* %Xn
+       call void %llvm.memmove.i32(sbyte* %xn, sbyte* %yn, uint 4, uint 4)
        ret void
 }