1  /* Area:        fp and variadics
       2     Purpose:     check fp inputs and returns work on variadics, even the fixed params
       3     Limitations: None
       4     PR:          none
       5     Originator:  <david.gilbert@linaro.org> 2011-01-25
       6  
       7     Intended to stress the difference in ABI on ARM vfp
       8  */
       9  
      10  /* { dg-do run } */
      11  
      12  #include <stdarg.h>
      13  
      14  #include "ffitest.h"
      15  
      16  /* prints out all the parameters, and returns the sum of them all.
      17   * 'x' is the number of variadic parameters all of which are double in this test
      18   */
      19  double float_va_fn(unsigned int x, double y,...)
      20  {
      21    double total=0.0;
      22    va_list ap;
      23    unsigned int i;
      24  
      25    total+=(double)x;
      26    total+=y;
      27  
      28    printf("%u: %.1f :", x, y);
      29  
      30    va_start(ap, y);
      31    for(i=0;i<x;i++)
      32    {
      33      double arg=va_arg(ap, double);
      34      total+=arg;
      35      printf(" %d:%.1f ", i, arg);
      36    }
      37    va_end(ap);
      38  
      39    printf(" total: %.1f\n", total);
      40  
      41    return total;
      42  }
      43  
      44  int main (void)
      45  {
      46    ffi_cif    cif;
      47  
      48    ffi_type    *arg_types[5];
      49    void        *values[5];
      50    double        doubles[5];
      51    unsigned int firstarg;
      52    double        resfp;
      53  
      54    /* First test, pass float_va_fn(0,2.0) - note there are no actual
      55     * variadic parameters, but it's declared variadic so the ABI may be
      56     * different. */
      57    /* Call it statically and then via ffi */
      58    resfp=float_va_fn(0,2.0);
      59    /* { dg-output "0: 2.0 : total: 2.0" } */
      60    printf("compiled: %.1f\n", resfp);
      61    /* { dg-output "\ncompiled: 2.0" } */
      62  
      63    arg_types[0] = &ffi_type_uint;
      64    arg_types[1] = &ffi_type_double;
      65    arg_types[2] = NULL;
      66    CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 2, 2,
      67          &ffi_type_double, arg_types) == FFI_OK);
      68  
      69    firstarg = 0;
      70    doubles[0] = 2.0;
      71    values[0] = &firstarg;
      72    values[1] = &doubles[0];
      73    ffi_call(&cif, FFI_FN(float_va_fn), &resfp, values);
      74    /* { dg-output "\n0: 2.0 : total: 2.0" } */
      75    printf("ffi: %.1f\n", resfp);
      76    /* { dg-output "\nffi: 2.0" } */
      77  
      78    /* Second test, float_va_fn(2,2.0,3.0,4.0), now with variadic params */
      79    /* Call it statically and then via ffi */
      80    resfp=float_va_fn(2,2.0,3.0,4.0);
      81    /* { dg-output "\n2: 2.0 : 0:3.0  1:4.0  total: 11.0" } */
      82    printf("compiled: %.1f\n", resfp);
      83    /* { dg-output "\ncompiled: 11.0" } */
      84  
      85    arg_types[0] = &ffi_type_uint;
      86    arg_types[1] = &ffi_type_double;
      87    arg_types[2] = &ffi_type_double;
      88    arg_types[3] = &ffi_type_double;
      89    arg_types[4] = NULL;
      90    CHECK(ffi_prep_cif_var(&cif, FFI_DEFAULT_ABI, 2, 4,
      91          &ffi_type_double, arg_types) == FFI_OK);
      92  
      93    firstarg = 2;
      94    doubles[0] = 2.0;
      95    doubles[1] = 3.0;
      96    doubles[2] = 4.0;
      97    values[0] = &firstarg;
      98    values[1] = &doubles[0];
      99    values[2] = &doubles[1];
     100    values[3] = &doubles[2];
     101    ffi_call(&cif, FFI_FN(float_va_fn), &resfp, values);
     102    /* { dg-output "\n2: 2.0 : 0:3.0  1:4.0  total: 11.0" } */
     103    printf("ffi: %.1f\n", resfp);
     104    /* { dg-output "\nffi: 11.0" } */
     105  
     106    exit(0);
     107  }