llvm/test/CodeGen/ARM/2013-05-02-AAPCS-ByVal-Structs-C4-C5-VFP2.ll

   1 ;Check AAPCS, 5.5 Parameters Passing, C4 and C5 rules.
   2 ;Check case when NSAA != 0, and NCRN < R4, NCRN+ParamSize > R4
   3 ;RUN: llc -mtriple=thumbv7-linux-gnueabihf -float-abi=hard < %s | FileCheck %s
   4
   5 %st_t = type { i32, i32, i32, i32 }
   6 @static_val = constant %st_t { i32 777, i32 888, i32 787, i32 878}
   7
   8 define void @foo(double %vfp0,     ; --> D0,              NSAA=SP
   9                  double %vfp1,     ; --> D1,              NSAA=SP
  10                  double %vfp2,     ; --> D2,              NSAA=SP
  11                  double %vfp3,     ; --> D3,              NSAA=SP
  12                  double %vfp4,     ; --> D4,              NSAA=SP
  13                  double %vfp5,     ; --> D5,              NSAA=SP
  14                  double %vfp6,     ; --> D6,              NSAA=SP
  15                  double %vfp7,     ; --> D7,              NSAA=SP
  16                  double %vfp8,     ; --> SP,              NSAA=SP+8 (!)
  17                  i32 %p0,          ; --> R0,              NSAA=SP+8
  18                  ptr byval(%st_t) %p1, ; --> SP+8, 4 words    NSAA=SP+24
  19                  i32 %p2) #0 {     ; --> SP+24,           NSAA=SP+24
  20
  21 entry:
  22   ;CHECK:  push {r7, lr}
  23   ;CHECK:  ldr    r0, [sp, #32]
  24   ;CHECK:  bl     fooUseI32
  25   call void @fooUseI32(i32 %p2)
  26   ret void
  27 }
  28
  29 declare void @fooUseI32(i32)
  30
  31 define void @doFoo() {
  32 entry:
  33   call void @foo(double 23.0,
  34                  double 23.1,
  35                  double 23.2,
  36                  double 23.3,
  37                  double 23.4,
  38                  double 23.5,
  39                  double 23.6,
  40                  double 23.7,
  41                  double 23.8,
  42                  i32 0, ptr byval(%st_t) @static_val, i32 1)
  43   ret void
  44 }
  45