test/CodeGen/X86/element-wise-atomic-memory-intrinsics.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
   2
   3 define i8* @test_memcpy1(i8* %P, i8* %Q) {
   4   ; CHECK: test_memcpy
   5   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 1, i32 1)
   6   ret i8* %P
   7   ; 3rd arg (%edx) -- length
   8   ; CHECK-DAG: movl $1, %edx
   9   ; CHECK: __llvm_memcpy_element_unordered_atomic_1
  10 }
  11
  12 define i8* @test_memcpy2(i8* %P, i8* %Q) {
  13   ; CHECK: test_memcpy2
  14   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 2, i32 2)
  15   ret i8* %P
  16   ; 3rd arg (%edx) -- length
  17   ; CHECK-DAG: movl $2, %edx
  18   ; CHECK: __llvm_memcpy_element_unordered_atomic_2
  19 }
  20
  21 define i8* @test_memcpy4(i8* %P, i8* %Q) {
  22   ; CHECK: test_memcpy4
  23   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 4, i32 4)
  24   ret i8* %P
  25   ; 3rd arg (%edx) -- length
  26   ; CHECK-DAG: movl $4, %edx
  27   ; CHECK: __llvm_memcpy_element_unordered_atomic_4
  28 }
  29
  30 define i8* @test_memcpy8(i8* %P, i8* %Q) {
  31   ; CHECK: test_memcpy8
  32   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 8 %P, i8* align 8 %Q, i32 8, i32 8)
  33   ret i8* %P
  34   ; 3rd arg (%edx) -- length
  35   ; CHECK-DAG: movl $8, %edx
  36   ; CHECK: __llvm_memcpy_element_unordered_atomic_8
  37 }
  38
  39 define i8* @test_memcpy16(i8* %P, i8* %Q) {
  40   ; CHECK: test_memcpy16
  41   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 16 %P, i8* align 16 %Q, i32 16, i32 16)
  42   ret i8* %P
  43   ; 3rd arg (%edx) -- length
  44   ; CHECK-DAG: movl $16, %edx
  45   ; CHECK: __llvm_memcpy_element_unordered_atomic_16
  46 }
  47
  48 define void @test_memcpy_args(i8** %Storage) {
  49   ; CHECK: test_memcpy_args
  50   %Dst = load i8*, i8** %Storage
  51   %Src.addr = getelementptr i8*, i8** %Storage, i64 1
  52   %Src = load i8*, i8** %Src.addr
  53
  54   ; 1st arg (%rdi)
  55   ; CHECK-DAG: movq (%rdi), [[REG1:%r.+]]
  56   ; CHECK-DAG: movq [[REG1]], %rdi
  57   ; 2nd arg (%rsi)
  58   ; CHECK-DAG: movq 8(%rdi), %rsi
  59   ; 3rd arg (%edx) -- length
  60   ; CHECK-DAG: movl $4, %edx
  61   ; CHECK: __llvm_memcpy_element_unordered_atomic_4
  62   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %Dst, i8* align 4 %Src, i32 4, i32 4)  ret void
  63 }
  64
  65 define i8* @test_memmove1(i8* %P, i8* %Q) {
  66   ; CHECK: test_memmove
  67   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 1, i32 1)
  68   ret i8* %P
  69   ; 3rd arg (%edx) -- length
  70   ; CHECK-DAG: movl $1, %edx
  71   ; CHECK: __llvm_memmove_element_unordered_atomic_1
  72 }
  73
  74 define i8* @test_memmove2(i8* %P, i8* %Q) {
  75   ; CHECK: test_memmove2
  76   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 2, i32 2)
  77   ret i8* %P
  78   ; 3rd arg (%edx) -- length
  79   ; CHECK-DAG: movl $2, %edx
  80   ; CHECK: __llvm_memmove_element_unordered_atomic_2
  81 }
  82
  83 define i8* @test_memmove4(i8* %P, i8* %Q) {
  84   ; CHECK: test_memmove4
  85   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %P, i8* align 4 %Q, i32 4, i32 4)
  86   ret i8* %P
  87   ; 3rd arg (%edx) -- length
  88   ; CHECK-DAG: movl $4, %edx
  89   ; CHECK: __llvm_memmove_element_unordered_atomic_4
  90 }
  91
  92 define i8* @test_memmove8(i8* %P, i8* %Q) {
  93   ; CHECK: test_memmove8
  94   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 8 %P, i8* align 8 %Q, i32 8, i32 8)
  95   ret i8* %P
  96   ; 3rd arg (%edx) -- length
  97   ; CHECK-DAG: movl $8, %edx
  98   ; CHECK: __llvm_memmove_element_unordered_atomic_8
  99 }
 100
 101 define i8* @test_memmove16(i8* %P, i8* %Q) {
 102   ; CHECK: test_memmove16
 103   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 16 %P, i8* align 16 %Q, i32 16, i32 16)
 104   ret i8* %P
 105   ; 3rd arg (%edx) -- length
 106   ; CHECK-DAG: movl $16, %edx
 107   ; CHECK: __llvm_memmove_element_unordered_atomic_16
 108 }
 109
 110 define void @test_memmove_args(i8** %Storage) {
 111   ; CHECK: test_memmove_args
 112   %Dst = load i8*, i8** %Storage
 113   %Src.addr = getelementptr i8*, i8** %Storage, i64 1
 114   %Src = load i8*, i8** %Src.addr
 115
 116   ; 1st arg (%rdi)
 117   ; CHECK-DAG: movq (%rdi), [[REG1:%r.+]]
 118   ; CHECK-DAG: movq [[REG1]], %rdi
 119   ; 2nd arg (%rsi)
 120   ; CHECK-DAG: movq 8(%rdi), %rsi
 121   ; 3rd arg (%edx) -- length
 122   ; CHECK-DAG: movl $4, %edx
 123   ; CHECK: __llvm_memmove_element_unordered_atomic_4
 124   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* align 4 %Dst, i8* align 4 %Src, i32 4, i32 4)  ret void
 125 }
 126
 127 define i8* @test_memset1(i8* %P, i8 %V) {
 128   ; CHECK: test_memset
 129   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 4 %P, i8 %V, i32 1, i32 1)
 130   ret i8* %P
 131   ; 3rd arg (%edx) -- length
 132   ; CHECK-DAG: movl $1, %edx
 133   ; CHECK: __llvm_memset_element_unordered_atomic_1
 134 }
 135
 136 define i8* @test_memset2(i8* %P, i8 %V) {
 137   ; CHECK: test_memset2
 138   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 4 %P, i8 %V, i32 2, i32 2)
 139   ret i8* %P
 140   ; 3rd arg (%edx) -- length
 141   ; CHECK-DAG: movl $2, %edx
 142   ; CHECK: __llvm_memset_element_unordered_atomic_2
 143 }
 144
 145 define i8* @test_memset4(i8* %P, i8 %V) {
 146   ; CHECK: test_memset4
 147   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 4 %P, i8 %V, i32 4, i32 4)
 148   ret i8* %P
 149   ; 3rd arg (%edx) -- length
 150   ; CHECK-DAG: movl $4, %edx
 151   ; CHECK: __llvm_memset_element_unordered_atomic_4
 152 }
 153
 154 define i8* @test_memset8(i8* %P, i8 %V) {
 155   ; CHECK: test_memset8
 156   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 8 %P, i8 %V, i32 8, i32 8)
 157   ret i8* %P
 158   ; 3rd arg (%edx) -- length
 159   ; CHECK-DAG: movl $8, %edx
 160   ; CHECK: __llvm_memset_element_unordered_atomic_8
 161 }
 162
 163 define i8* @test_memset16(i8* %P, i8 %V) {
 164   ; CHECK: test_memset16
 165   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 16 %P, i8 %V, i32 16, i32 16)
 166   ret i8* %P
 167   ; 3rd arg (%edx) -- length
 168   ; CHECK-DAG: movl $16, %edx
 169   ; CHECK: __llvm_memset_element_unordered_atomic_16
 170 }
 171
 172 define void @test_memset_args(i8** %Storage, i8* %V) {
 173   ; CHECK: test_memset_args
 174   %Dst = load i8*, i8** %Storage
 175   %Val = load i8, i8* %V
 176
 177   ; 1st arg (%rdi)
 178   ; CHECK-DAG: movq (%rdi), %rdi
 179   ; 2nd arg (%rsi)
 180   ; CHECK-DAG: movzbl (%rsi), %esi
 181   ; 3rd arg (%edx) -- length
 182   ; CHECK-DAG: movl $4, %edx
 183   ; CHECK: __llvm_memset_element_unordered_atomic_4
 184   call void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* align 4 %Dst, i8 %Val, i32 4, i32 4)  ret void
 185 }
 186
 187 declare void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32) nounwind
 188 declare void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32) nounwind
 189 declare void @llvm.memset.element.unordered.atomic.p0i8.i32(i8* nocapture, i8, i32, i32) nounwind