1 ; RUN: opt -memcpyopt -S < %s | FileCheck %s
3 target datalayout = "e-i64:64-f80:128-n8:16:32:64"
4 target triple = "x86_64-unknown-linux-gnu"
6 %S = type { i8*, i8, i32 }
8 define void @copy(%S* %src, %S* %dst) {
11 ; CHECK: call void @llvm.memmove.p0i8.p0i8.i64
12 ; CHECK-NEXT: ret void
13 %1 = load %S, %S* %src
18 define void @noaliassrc(%S* noalias %src, %S* %dst) {
19 ; CHECK-LABEL: noaliassrc
21 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
22 ; CHECK-NEXT: ret void
23 %1 = load %S, %S* %src
28 define void @noaliasdst(%S* %src, %S* noalias %dst) {
29 ; CHECK-LABEL: noaliasdst
31 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
32 ; CHECK-NEXT: ret void
33 %1 = load %S, %S* %src
38 define void @destroysrc(%S* %src, %S* %dst) {
39 ; CHECK-LABEL: destroysrc
40 ; CHECK: load %S, %S* %src
41 ; CHECK: call void @llvm.memset.p0i8.i64
42 ; CHECK-NEXT: store %S %1, %S* %dst
43 ; CHECK-NEXT: ret void
44 %1 = load %S, %S* %src
45 store %S zeroinitializer, %S* %src
50 define void @destroynoaliassrc(%S* noalias %src, %S* %dst) {
51 ; CHECK-LABEL: destroynoaliassrc
53 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
54 ; CHECK-NEXT: call void @llvm.memset.p0i8.i64
55 ; CHECK-NEXT: ret void
56 %1 = load %S, %S* %src
57 store %S zeroinitializer, %S* %src
62 define void @copyalias(%S* %src, %S* %dst) {
63 ; CHECK-LABEL: copyalias
64 ; CHECK-NEXT: [[LOAD:%[a-z0-9\.]+]] = load %S, %S* %src
66 ; CHECK: call void @llvm.memmove.p0i8.p0i8.i64
67 ; CHECK-NEXT: store %S [[LOAD]], %S* %dst
68 ; CHECK-NEXT: ret void
69 %1 = load %S, %S* %src
70 %2 = load %S, %S* %src
77 ; The GEP is present after the aliasing store, preventing to move the memcpy before
78 ; (without further analysis/transformation)
79 define void @copyaliaswithproducerinbetween(%S* %src, %S* %dst) {
80 ; CHECK-LABEL: copyalias
81 ; CHECK-NEXT: [[LOAD:%[a-z0-9\.]+]] = load %S, %S* %src
83 %1 = load %S, %S* %src
84 store %S undef, %S* %dst
85 %dst2 = getelementptr %S , %S* %dst, i64 1
86 store %S %1, %S* %dst2