If the source and destination pointers in an llvm.memmove are known

to not alias each other, it can be translated as an llvm.memcpy.

llvm-svn: 41489

4 files changed, 36 insertions, 0 deletions

diff --git a/llvm/test/CodeGen/X86/memmove-0.ll b/llvm/test/CodeGen/X86/memmove-0.ll
new file mode 100644
index 00000000000..4632aaae72f
--- /dev/null
+++ b/llvm/test/CodeGen/X86/memmove-0.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | llc -march=x86 | grep {call	memcpy}
+
+declare void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 %a)
+
+define void @foo(i8* noalias %d, i8* noalias %s, i64 %l)
+{
+  call void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 1)
+  ret void
+}
diff --git a/llvm/test/CodeGen/X86/memmove-1.ll b/llvm/test/CodeGen/X86/memmove-1.ll
new file mode 100644
index 00000000000..e19ba6f38bc
--- /dev/null
+++ b/llvm/test/CodeGen/X86/memmove-1.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | llc -march=x86 | grep {call	memmove}
+
+declare void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 %a)
+
+define void @foo(i8* %d, i8* %s, i64 %l)
+{
+  call void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 1)
+  ret void
+}
diff --git a/llvm/test/CodeGen/X86/memmove-2.ll b/llvm/test/CodeGen/X86/memmove-2.ll
new file mode 100644
index 00000000000..bb5485ffd9a
--- /dev/null
+++ b/llvm/test/CodeGen/X86/memmove-2.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | llc -march=x86 | not grep call
+
+declare void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 %a)
+
+define void @foo(i8* noalias %d, i8* noalias %s)
+{
+  call void @llvm.memmove.i64(i8* %d, i8* %s, i64 32, i32 1)
+  ret void
+}
diff --git a/llvm/test/CodeGen/X86/memmove-3.ll b/llvm/test/CodeGen/X86/memmove-3.ll
new file mode 100644
index 00000000000..5e07eade376
--- /dev/null
+++ b/llvm/test/CodeGen/X86/memmove-3.ll
@@ -0,0 +1,9 @@
+; RUN: llvm-as < %s | llc -march=x86 | grep {call	memmove}
+
+declare void @llvm.memmove.i64(i8* %d, i8* %s, i64 %l, i32 %a)
+
+define void @foo(i8* %d, i8* %s)
+{
+  call void @llvm.memmove.i64(i8* %d, i8* %s, i64 32, i32 1)
+  ret void
+}