llvm/test/CodeGen/ARM/struct_byval.ll

   1 ; RUN: llc < %s -mtriple=armv7-apple-ios6.0 | FileCheck %s
   2 ; RUN: llc < %s -mtriple=thumbv7-apple-ios6.0 | FileCheck %s
   3 ; RUN: llc < %s -mtriple=armv7-unknown-nacl-gnueabi | FileCheck %s -check-prefix=NACL
   4 ; RUN: llc < %s -mtriple=armv5-none-linux-gnueabi | FileCheck %s -check-prefix=NOMOVT
   5
   6 ; NOMOVT-NOT: movt
   7
   8 ; rdar://9877866
   9 %struct.SmallStruct = type { i32, [8 x i32], [37 x i8] }
  10 %struct.LargeStruct = type { i32, [1001 x i8], [300 x i32] }
  11
  12 define i32 @f() nounwind ssp {
  13 entry:
  14 ; CHECK-LABEL: f:
  15 ; CHECK: ldr
  16 ; CHECK: str
  17 ; CHECK-NOT:bne
  18   %st = alloca %struct.SmallStruct, align 4
  19   %call = call i32 @e1(ptr byval(%struct.SmallStruct) %st)
  20   ret i32 0
  21 }
  22
  23 ; Generate a loop for large struct byval
  24 define i32 @g() nounwind ssp {
  25 entry:
  26 ; CHECK-LABEL: g:
  27 ; CHECK: ldr
  28 ; CHECK: sub
  29 ; CHECK: str
  30 ; CHECK: bne
  31 ; NACL-LABEL: g:
  32 ; Ensure that use movw instead of constpool for the loop trip count. But don't
  33 ; match the __stack_chk_guard movw
  34 ; NACL: movw {{r[0-9]+|lr}}, #
  35 ; NACL: ldr
  36 ; NACL: sub
  37 ; NACL: str
  38 ; NACL: bne
  39   %st = alloca %struct.LargeStruct, align 4
  40   %call = call i32 @e2(ptr byval(%struct.LargeStruct) %st)
  41   ret i32 0
  42 }
  43
  44 ; Generate a loop using NEON instructions
  45 define i32 @h() nounwind ssp {
  46 entry:
  47 ; CHECK-LABEL: h:
  48 ; CHECK: vld1
  49 ; CHECK: sub
  50 ; CHECK: vst1
  51 ; CHECK: bne
  52 ; NACL: movw {{r[0-9]+|lr}}, #
  53 ; NACL: vld1
  54 ; NACL: sub
  55 ; NACL: vst1
  56 ; NACL: bne
  57   %st = alloca %struct.LargeStruct, align 16
  58   %call = call i32 @e3(ptr byval(%struct.LargeStruct) align 16 %st)
  59   ret i32 0
  60 }
  61
  62 declare i32 @e1(ptr nocapture byval(%struct.SmallStruct) %in) nounwind
  63 declare i32 @e2(ptr nocapture byval(%struct.LargeStruct) %in) nounwind
  64 declare i32 @e3(ptr nocapture byval(%struct.LargeStruct) align 16 %in) nounwind
  65
  66 ; rdar://12442472
  67 ; We can't do tail call since address of s is passed to the callee and part of
  68 ; s is in caller's local frame.
  69 define void @f3(ptr nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
  70 ; CHECK-LABEL: f3
  71 ; CHECK: bl _consumestruct
  72 entry:
  73   tail call void @consumestruct(ptr %s, i32 80) optsize
  74   ret void
  75 }
  76
  77 define void @f4(ptr nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
  78 ; CHECK-LABEL: f4
  79 ; CHECK: bl _consumestruct
  80 entry:
  81   tail call void @consumestruct(ptr %s, i32 80) optsize
  82   ret void
  83 }
  84
  85 ; We can do tail call here since s is in the incoming argument area.
  86 define void @f5(i32 %a, i32 %b, i32 %c, i32 %d, ptr nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
  87 ; CHECK-LABEL: f5
  88 ; CHECK: b{{(\.w)?}} _consumestruct
  89 entry:
  90   tail call void @consumestruct(ptr %s, i32 80) optsize
  91   ret void
  92 }
  93
  94 define void @f6(i32 %a, i32 %b, i32 %c, i32 %d, ptr nocapture byval(%struct.SmallStruct) %s) nounwind optsize {
  95 ; CHECK-LABEL: f6
  96 ; CHECK: b{{(\.w)?}} _consumestruct
  97 entry:
  98   tail call void @consumestruct(ptr %s, i32 80) optsize
  99   ret void
 100 }
 101
 102 declare void @consumestruct(ptr nocapture %structp, i32 %structsize) nounwind
 103
 104 ; PR17309
 105 %struct.I.8 = type { [10 x i32], [3 x i8] }
 106
 107 declare void @use_I(ptr byval(%struct.I.8))
 108 define void @test_I_16() {
 109 ; CHECK-LABEL: test_I_16
 110 ; CHECK: ldrb
 111 ; CHECK: strb
 112 entry:
 113   call void @use_I(ptr byval(%struct.I.8) align 16 undef)
 114   ret void
 115 }