Probably not a good idea to convert a single vector load into a memcpy. We
[oota-llvm.git] / test / Transforms / MemCpyOpt / 2008-03-13-ReturnSlotBitcast.ll
index 13205e6854f073dbe5d886acc12d3e284794280f..24cf576a08bae5c7001d5e5d06906479d5989e1c 100644 (file)
@@ -1,19 +1,22 @@
-; RUN: opt < %s -memcpyopt -S | not grep {call.*memcpy.}
-       %a = type { i32 }
-       %b = type { float }
+; RUN: opt < %s -basicaa -memcpyopt -S | not grep {call.*memcpy.}
+target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64"
+
+%a = type { i32 }
+%b = type { float }
 
-declare void @llvm.memcpy.i32(i8*, i8*, i32, i32) nounwind 
 declare void @g(%a*)
 
 define float @f() {
 entry:
-       %a_var = alloca %a
-       %b_var = alloca %b
-       call void @g(%a *%a_var)
-       %a_i8 = bitcast %a* %a_var to i8*
-       %b_i8 = bitcast %b* %b_var to i8*
-       call void @llvm.memcpy.i32(i8* %b_i8, i8* %a_i8, i32 4, i32 4)
-       %tmp1 = getelementptr %b* %b_var, i32 0, i32 0
-       %tmp2 = load float* %tmp1
-       ret float %tmp2
+  %a_var = alloca %a
+  %b_var = alloca %b
+  call void @g(%a* %a_var)
+  %a_i8 = bitcast %a* %a_var to i8*
+  %b_i8 = bitcast %b* %b_var to i8*
+  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %b_i8, i8* %a_i8, i32 4, i32 4, i1 false)
+  %tmp1 = getelementptr %b* %b_var, i32 0, i32 0
+  %tmp2 = load float* %tmp1
+  ret float %tmp2
 }
+
+declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind