kc3-lang/libffi/testsuite/libffi.call/float1.c

• Show log

  Commit

• Hash : 9622ede2
  Author :
  Date : 2014-11-14T13:18:04
  

  Fix floating point number comparisons in testsuite/libffi.call/float[123].c. Rewrite the checks for approximate equality of floating point return values to be in the form "fabs(a - b) < EPS" instead of just "a - b < EPS".

Download

• testsuite/libffi.call/float1.c

• /* Area:	ffi_call
     Purpose:	Check return value double.
     Limitations:	none.
     PR:		none.
     Originator:	From the original ffitest.c  */
  
  /* { dg-do run } */
  #include "ffitest.h"
  #include "float.h"
  
  #include <math.h>
  
  typedef union
  {
    double d;
    unsigned char c[sizeof (double)];
  } value_type;
  
  #define CANARY 0xba
  
  static double dblit(float f)
  {
    return f/3.0;
  }
  
  int main (void)
  {
    ffi_cif cif;
    ffi_type *args[MAX_ARGS];
    void *values[MAX_ARGS];
    float f;
    value_type result[2];
    unsigned int i;
  
    args[0] = &ffi_type_float;
    values[0] = &f;
  
    /* Initialize the cif */
    CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1,
  		     &ffi_type_double, args) == FFI_OK);
  
    f = 3.14159;
  
    /* Put a canary in the return array.  This is a regression test for
       a buffer overrun.  */
    memset(result[1].c, CANARY, sizeof (double));
  
    ffi_call(&cif, FFI_FN(dblit), &result[0].d, values);
  
    /* These are not always the same!! Check for a reasonable delta */
  
    CHECK(fabs(result[0].d - dblit(f)) < DBL_EPSILON);
  
    /* Check the canary.  */
    for (i = 0; i < sizeof (double); ++i)
      CHECK(result[1].c[i] == CANARY);
  
    exit(0);
  
  }
  

Download