test/Transforms/MemCpyOpt/memmove.ll

   1 ; RUN: opt < %s -basicaa -memcpyopt -S | FileCheck %s
   2 ; These memmoves should get optimized to memcpys.
   3
   4 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   5 target triple = "x86_64-apple-darwin9.0"
   6
   7 declare void @llvm.memmove.i64(i8* nocapture, i8* nocapture, i64, i32) nounwind
   8
   9 define i8* @test1(i8* nocapture %src) nounwind {
  10 entry:
  11 ; CHECK: @test1
  12 ; CHECK: call void @llvm.memcpy
  13
  14   %call3 = malloc [13 x i8]                       ; <[13 x i8]*> [#uses=1]
  15   %call3.sub = getelementptr inbounds [13 x i8]* %call3, i64 0, i64 0 ; <i8*> [#uses=2]
  16   tail call void @llvm.memmove.i64(i8* %call3.sub, i8* %src, i64 13, i32 1)
  17   ret i8* %call3.sub
  18 }
  19
  20 define void @test2(i8* %P) nounwind {
  21 entry:
  22 ; CHECK: @test2
  23 ; CHECK: call void @llvm.memcpy
  24   %add.ptr = getelementptr i8* %P, i64 16         ; <i8*> [#uses=1]
  25   tail call void @llvm.memmove.i64(i8* %P, i8* %add.ptr, i64 16, i32 1)
  26   ret void
  27 }
  28
  29 ; This cannot be optimize because the src/dst really do overlap.
  30 define void @test3(i8* %P) nounwind {
  31 entry:
  32 ; CHECK: @test3
  33 ; CHECK: call void @llvm.memmove
  34   %add.ptr = getelementptr i8* %P, i64 16         ; <i8*> [#uses=1]
  35   tail call void @llvm.memmove.i64(i8* %P, i8* %add.ptr, i64 17, i32 1)
  36   ret void
  37 }