test/CodeGen/X86/memcpy.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mcpu=core2 | FileCheck %s -check-prefix=LINUX
   2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=core2 | FileCheck %s -check-prefix=DARWIN
   3
   4 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind
   5
   6
   7 ; Variable memcpy's should lower to calls.
   8 define i8* @test1(i8* %a, i8* %b, i64 %n) nounwind {
   9 entry:
  10         tail call void @llvm.memcpy.p0i8.p0i8.i64( i8* %a, i8* %b, i64 %n, i1 0 )
  11         ret i8* %a
  12
  13 ; LINUX-LABEL: test1:
  14 ; LINUX: memcpy
  15 }
  16
  17 ; Variable memcpy's should lower to calls.
  18 define i8* @test2(i64* %a, i64* %b, i64 %n) nounwind {
  19 entry:
  20         %tmp14 = bitcast i64* %a to i8*
  21         %tmp25 = bitcast i64* %b to i8*
  22         tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %tmp14, i8* %tmp25, i64 %n, i1 0 )
  23         ret i8* %tmp14
  24
  25 ; LINUX-LABEL: test2:
  26 ; LINUX: memcpy
  27 }
  28
  29 ; Large constant memcpy's should lower to a call when optimizing for size.
  30 ; PR6623
  31
  32 ; On the other hand, Darwin's definition of -Os is optimizing for size without
  33 ; hurting performance so it should just ignore optsize when expanding memcpy.
  34 ; rdar://8821501
  35 define void @test3(i8* nocapture %A, i8* nocapture %B) nounwind optsize noredzone {
  36 entry:
  37   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %A, i8* %B, i64 64, i1 false)
  38   ret void
  39 ; LINUX-LABEL: test3:
  40 ; LINUX: memcpy
  41
  42 ; DARWIN-LABEL: test3:
  43 ; DARWIN-NOT: memcpy
  44 ; DARWIN: movq
  45 ; DARWIN: movq
  46 ; DARWIN: movq
  47 ; DARWIN: movq
  48 ; DARWIN: movq
  49 ; DARWIN: movq
  50 ; DARWIN: movq
  51 ; DARWIN: movq
  52 ; DARWIN: movq
  53 ; DARWIN: movq
  54 ; DARWIN: movq
  55 ; DARWIN: movq
  56 ; DARWIN: movq
  57 ; DARWIN: movq
  58 ; DARWIN: movq
  59 ; DARWIN: movq
  60 }
  61
  62 define void @test3_minsize(i8* nocapture %A, i8* nocapture %B) nounwind minsize noredzone {
  63   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %A, i8* %B, i64 64, i1 false)
  64   ret void
  65 ; LINUX-LABEL: test3_minsize:
  66 ; LINUX: memcpy
  67
  68 ; DARWIN-LABEL: test3_minsize:
  69 ; DARWIN: memcpy
  70 }
  71
  72 define void @test3_minsize_optsize(i8* nocapture %A, i8* nocapture %B) nounwind optsize minsize noredzone {
  73   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %A, i8* %B, i64 64, i1 false)
  74   ret void
  75 ; LINUX-LABEL: test3_minsize_optsize:
  76 ; LINUX: memcpy
  77
  78 ; DARWIN-LABEL: test3_minsize_optsize:
  79 ; DARWIN: memcpy
  80 }
  81
  82 ; Large constant memcpy's should be inlined when not optimizing for size.
  83 define void @test4(i8* nocapture %A, i8* nocapture %B) nounwind noredzone {
  84 entry:
  85   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %A, i8* %B, i64 64, i1 false)
  86   ret void
  87 ; LINUX-LABEL: test4:
  88 ; LINUX: movq
  89 ; LINUX: movq
  90 ; LINUX: movq
  91 ; LINUX: movq
  92 ; LINUX: movq
  93 ; LINUX: movq
  94 ; LINUX: movq
  95 ; LINUX: movq
  96 ; LINUX: movq
  97 ; LINUX: movq
  98 ; LINUX: movq
  99 ; LINUX: movq
 100 }
 101
 102
 103 @.str = private unnamed_addr constant [30 x i8] c"\00aaaaaaaaaaaaaaaaaaaaaaaaaaaa\00", align 1
 104
 105 define void @test5(i8* nocapture %C) nounwind uwtable ssp {
 106 entry:
 107   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %C, i8* getelementptr inbounds ([30 x i8], [30 x i8]* @.str, i64 0, i64 0), i64 16, i1 false)
 108   ret void
 109
 110 ; DARWIN-LABEL: test5:
 111 ; DARWIN: movabsq       $7016996765293437281
 112 ; DARWIN: movabsq       $7016996765293437184
 113 }
 114
 115
 116 ; PR14896
 117 @.str2 = private unnamed_addr constant [2 x i8] c"x\00", align 1
 118
 119 define void @test6() nounwind uwtable {
 120 entry:
 121 ; DARWIN: test6
 122 ; DARWIN: movw $0, 8
 123 ; DARWIN: movq $120, 0
 124   tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* null, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str2, i64 0, i64 0), i64 10, i1 false)
 125   ret void
 126 }
 127
 128 define void @PR15348(i8* %a, i8* %b) {
 129 ; Ensure that alignment of '0' in an @llvm.memcpy intrinsic results in
 130 ; unaligned loads and stores.
 131 ; LINUX: PR15348
 132 ; LINUX: movb
 133 ; LINUX: movb
 134 ; LINUX: movq
 135 ; LINUX: movq
 136 ; LINUX: movq
 137 ; LINUX: movq
 138   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %a, i8* %b, i64 17, i1 false)
 139   ret void
 140 }