test/Transforms/MemCpyOpt/fca2memcpy.ll

   1 ; RUN: opt -memcpyopt -S < %s | FileCheck %s
   2
   3 target datalayout = "e-i64:64-f80:128-n8:16:32:64"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 %S = type { i8*, i32 }
   7
   8 define void @copy(%S* %src, %S* %dst) {
   9 ; CHECK-LABEL: copy
  10 ; CHECK-NOT: load
  11 ; CHECK: call void @llvm.memmove.p0i8.p0i8.i64
  12 ; CHECK-NEXT: ret void
  13   %1 = load %S, %S* %src
  14   store %S %1, %S* %dst
  15   ret void
  16 }
  17
  18 define void @noaliassrc(%S* noalias %src, %S* %dst) {
  19 ; CHECK-LABEL: noaliassrc
  20 ; CHECK-NOT: load
  21 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
  22 ; CHECK-NEXT: ret void
  23   %1 = load %S, %S* %src
  24   store %S %1, %S* %dst
  25   ret void
  26 }
  27
  28 define void @noaliasdst(%S* %src, %S* noalias %dst) {
  29 ; CHECK-LABEL: noaliasdst
  30 ; CHECK-NOT: load
  31 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
  32 ; CHECK-NEXT: ret void
  33   %1 = load %S, %S* %src
  34   store %S %1, %S* %dst
  35   ret void
  36 }
  37
  38 define void @destroysrc(%S* %src, %S* %dst) {
  39 ; CHECK-LABEL: destroysrc
  40 ; CHECK-NOT: call
  41 ; CHECK: ret void
  42   %1 = load %S, %S* %src
  43   store %S zeroinitializer, %S* %src
  44   store %S %1, %S* %dst
  45   ret void
  46 }
  47
  48 define void @destroynoaliassrc(%S* noalias %src, %S* %dst) {
  49 ; CHECK-LABEL: destroynoaliassrc
  50 ; CHECK-NOT: load
  51 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64
  52 ; CHECK-NEXT: store %S zeroinitializer, %S* %src
  53 ; CHECK-NEXT: ret void
  54   %1 = load %S, %S* %src
  55   store %S zeroinitializer, %S* %src
  56   store %S %1, %S* %dst
  57   ret void
  58 }
  59
  60 define void @copyalias(%S* %src, %S* %dst) {
  61 ; CHECK-LABEL: copyalias
  62 ; CHECK-NEXT: [[LOAD:%[a-z0-9\.]+]] = load %S, %S* %src
  63 ; CHECK-NOT: load
  64 ; CHECK: call void @llvm.memmove.p0i8.p0i8.i64
  65 ; CHECK-NEXT: store %S [[LOAD]], %S* %dst
  66 ; CHECK-NEXT: ret void
  67   %1 = load %S, %S* %src
  68   %2 = load %S, %S* %src
  69   store %S %1, %S* %dst
  70   store %S %2, %S* %dst
  71   ret void
  72 }