test/CodeGen/Hexagon/struct_copy.ll

   1 ; RUN: llc -march=hexagon -hexagon-small-data-threshold=0 < %s | FileCheck %s
   2 ; Disable small-data, or otherwise g3 will end up in .sdata. While that is
   3 ; not a problem, this test was originally written with the g3 not being in
   4 ; there, so keep it that way.
   5
   6 %s.0 = type { i32, i32, i32, i32, i32, i32 }
   7 %s.1 = type { i64, i64, i64, i64, i64, i64 }
   8 %s.2 = type { i16, i16, i16, i16, i16, i16 }
   9 %s.3 = type { i8, i8, i8, i8, i8, i8 }
  10
  11 @g0 = external global %s.0
  12 @g1 = external global %s.1
  13 @g2 = external global %s.2
  14 @g3 = external global %s.3
  15
  16 ; CHECK-LABEL: f0:
  17 ; CHECK: [[REG1:(r[0-9]+)]] = {{[#]+}}g0
  18 ; CHECK: r{{[0-9]+}} = memw([[REG1]]+#{{[0-9]+}})
  19 ; CHECK-NOT: = memd
  20 ; CHECK: dealloc_return
  21 define i32 @f0() #0 {
  22 b0:
  23   %v0 = alloca %s.0, align 4
  24   %v1 = bitcast %s.0* %v0 to i8*
  25   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %v1, i8* align 4 bitcast (%s.0* @g0 to i8*), i32 24, i1 false)
  26   call void @f1(%s.0* %v0) #0
  27   ret i32 0
  28 }
  29
  30 declare void @f1(%s.0*)
  31
  32 ; CHECK-LABEL: f2:
  33 ; CHECK: [[REG2:(r[0-9]+)]] = {{[#]+}}g1
  34 ; CHECK: r{{[0-9]+}}:{{[0-9]+}} = memd([[REG2]]+#{{[0-9]+}})
  35 ; CHECK: dealloc_return
  36 define i32 @f2() #0 {
  37 b0:
  38   %v0 = alloca %s.1, align 8
  39   %v1 = bitcast %s.1* %v0 to i8*
  40   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 8 %v1, i8* align 8 bitcast (%s.1* @g1 to i8*), i32 48, i1 false)
  41   call void @f3(%s.1* %v0) #0
  42   ret i32 0
  43 }
  44
  45 declare void @f3(%s.1*)
  46
  47 ; CHECK-LABEL: f4:
  48 ; CHECK: [[REG1:(r[0-9]+)]] = {{[#]+}}g2
  49 ; CHECK: r{{[0-9]+}} = mem{{u?}}h([[REG1]]+#{{[0-9]+}})
  50 ; CHECK-NOT: = memd
  51 ; CHECK: dealloc_return
  52 define i32 @f4() #0 {
  53 b0:
  54   %v0 = alloca %s.2, align 2
  55   %v1 = bitcast %s.2* %v0 to i8*
  56   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 2 %v1, i8* align 2 bitcast (%s.2* @g2 to i8*), i32 12, i1 false)
  57   call void @f5(%s.2* %v0) #0
  58   ret i32 0
  59 }
  60
  61 declare void @f5(%s.2*)
  62
  63 ; CHECK-LABEL: f6:
  64 ; CHECK: [[REG1:(r[0-9]+)]] = {{[#]+}}g3
  65 ; CHECK: r{{[0-9]+}} = mem{{u?}}b([[REG1]]+#{{[0-9]+}})
  66 ; CHECK-NOT: = memw
  67 ; CHECK: dealloc_return
  68 define i32 @f6() #0 {
  69 b0:
  70   %v0 = alloca %s.3, align 1
  71   %v1 = getelementptr inbounds %s.3, %s.3* %v0, i32 0, i32 0
  72   call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %v1, i8* align 1 getelementptr inbounds (%s.3, %s.3* @g3, i32 0, i32 0), i32 6, i1 false)
  73   call void @f7(%s.3* %v0) #0
  74   ret i32 0
  75 }
  76
  77 declare void @f7(%s.3*)
  78
  79 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture writeonly, i8* nocapture readonly, i32, i1) #1
  80
  81 attributes #0 = { nounwind }
  82 attributes #1 = { argmemonly nounwind }