Home | History | Annotate | Download | only in libffi.call
      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 (at) 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 }
    108