test/CodeGen/ARM/2013-04-16-AAPCS-C5-vs-VFP.ll

   1 ;Check 5.5 Parameter Passing --> Stage C --> C.5 statement, when NSAA is not
   2 ;equal to SP.
   3 ;
   4 ; Our purpose: make NSAA != SP, and only after start to use GPRs, then pass
   5 ;              byval parameter and check that it goes to stack only.
   6 ;
   7 ;Co-Processor register candidates may be either in VFP or in stack, so after
   8 ;all VFP are allocated, stack is used. We can use stack without GPR allocation
   9 ;in that case, passing 9 f64 params, for example.
  10 ;First eight params goes to d0-d7, ninth one goes to the stack.
  11 ;Now, as 10th parameter, we pass i32, and it must go to R0.
  12 ;
  13 ;For more information,
  14 ;please, read 5.5 Parameter Passing, Stage C, stages C.2.cp, C.4 and C.5
  15 ;
  16 ;
  17 ;RUN: llc -mtriple=thumbv7-linux-gnueabihf -float-abi=hard < %s | FileCheck %s
  18
  19 %struct_t = type { i32, i32, i32, i32 }
  20 @static_val = constant %struct_t { i32 777, i32 888, i32 999, i32 1000 }
  21 declare void @fooUseStruct(%struct_t*)
  22
  23 define void @foo2(double %p0, ; --> D0
  24                   double %p1, ; --> D1
  25                   double %p2, ; --> D2
  26                   double %p3, ; --> D3
  27                   double %p4, ; --> D4
  28                   double %p5, ; --> D5
  29                   double %p6, ; --> D6
  30                   double %p7, ; --> D7
  31                   double %p8, ; --> Stack
  32                   i32 %p9,    ; --> R0
  33                   %struct_t* byval %p10) ; --> Stack+8
  34 {
  35 entry:
  36 ;CHECK:     push {r7, lr}
  37 ;CHECK-NOT: stm
  38 ;CHECK:     add r0, sp, #16
  39 ;CHECK:     bl fooUseStruct
  40   call void @fooUseStruct(%struct_t* %p10)
  41
  42   ret void
  43 }
  44
  45 define void @doFoo2() {
  46 entry:
  47 ;CHECK-NOT: ldm
  48   tail call void @foo2(double 23.0, ; --> D0
  49                        double 23.1, ; --> D1
  50                        double 23.2, ; --> D2
  51                        double 23.3, ; --> D3
  52                        double 23.4, ; --> D4
  53                        double 23.5, ; --> D5
  54                        double 23.6, ; --> D6
  55                        double 23.7, ; --> D7
  56                        double 23.8, ; --> Stack
  57                        i32 43,      ; --> R0, not Stack+8
  58                        %struct_t* byval @static_val) ; --> Stack+8, not R1
  59   ret void
  60 }
  61