softfloat/f64_eq_signaling.c

   1
   2 #include <stdbool.h>
   3 #include <stdint.h>
   4 #include "platform.h"
   5 #include "internals.h"
   6 #include "softfloat.h"
   7
   8 bool f64_eq_signaling( float64_t a, float64_t b )
   9 {
  10     union ui64_f64 uA;
  11     uint_fast64_t uiA;
  12     union ui64_f64 uB;
  13     uint_fast64_t uiB;
  14
  15     uA.f = a;
  16     uiA = uA.ui;
  17     uB.f = b;
  18     uiB = uB.ui;
  19     if (
  20            ( ( expF64UI( uiA ) == 0x7FF ) && fracF64UI( uiA ) )
  21         || ( ( expF64UI( uiB ) == 0x7FF ) && fracF64UI( uiB ) )
  22     ) {
  23         softfloat_raiseFlags( softfloat_flag_invalid );
  24         return false;
  25     }
  26     return
  27         ( uiA == uiB ) || ! ( ( uiA | uiB ) & UINT64_C( 0x7FFFFFFFFFFFFFFF ) );
  28
  29 }
  30