interflop_checkdenormal.h

/*--------------------------------------------------------------------*/
/*--- Verrou: a FPU instrumentation tool.                          ---*/
/*--- Interface for floatin-point operations overloading           ---*/
/*--- designed to detect denormal and apply flush to zero          ---*/
/*---                               interflop_checkdenorm.h        ---*/
/*--------------------------------------------------------------------*/

/*
   This file is part of Verrou, a FPU instrumentation tool.

   Copyright (C) 2014-2021 EDF
     B. Lathuilière <bruno.lathuiliere@edf.fr>

   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public License as
   published by the Free Software Foundation; either version 2.1 of the
   License, or (at your option) any later version.

   This program is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
   02111-1307, USA.

   The GNU Lesser General Public License is contained in the file COPYING.
*/

#ifndef __INTERFLOP_CHECKDENORM_H
#define __INTERFLOP_CHECKDENORM_H

//#define DEBUG_PRINT_OP

#ifdef __cplusplus
extern "C" {
#endif
#define INTERFLOP_CHECKDENORMAL_API(FCT) interflop_checkdenormal_##FCT
#define IFCD_DOOP

#include "interflop/interflop.h"

typedef struct checkdenorm_conf {
  IBool flushtozero;
} checkdenormal_conf_t;

typedef checkdenormal_conf_t checkdenormal_context_t;

void INTERFLOP_CHECKDENORMAL_API(add_double)(double a, double b, double *res,
                                             void *context);
void INTERFLOP_CHECKDENORMAL_API(add_float)(float a, float b, float *res,
                                            void *context);
void INTERFLOP_CHECKDENORMAL_API(sub_double)(double a, double b, double *res,
                                             void *context);
void INTERFLOP_CHECKDENORMAL_API(sub_float)(float a, float b, float *res,
                                            void *context);
void INTERFLOP_CHECKDENORMAL_API(mul_double)(double a, double b, double *res,
                                             void *context);
void INTERFLOP_CHECKDENORMAL_API(mul_float)(float a, float b, float *res,
                                            void *context);
void INTERFLOP_CHECKDENORMAL_API(div_double)(double a, double b, double *res,
                                             void *context);
void INTERFLOP_CHECKDENORMAL_API(div_float)(float a, float b, float *res,
                                            void *context);

void INTERFLOP_CHECKDENORMAL_API(cast_double_to_float)(double a, float *b,
                                                       void *context);

void INTERFLOP_CHECKDENORMAL_API(fma_double)(double a, double b, double c,
                                             double *res, void *context);
void INTERFLOP_CHECKDENORMAL_API(fma_float)(float a, float b, float c,
                                            float *res, void *context);
void INTERFLOP_CHECKDENORMAL_API(finalize)(void *context);

const char *INTERFLOP_CHECKDENORMAL_API(get_backend_name)(void);
const char *INTERFLOP_CHECKDENORMAL_API(get_backend_version)(void);

void INTERFLOP_CHECKDENORMAL_API(pre_init)(interflop_panic_t panic,
                                           File *stream, void **context);
void INTERFLOP_CHECKDENORMAL_API(cli)(int argc, char **argv, void *context);
void INTERFLOP_CHECKDENORMAL_API(configure)(void *configure, void *context);
struct interflop_backend_interface_t
    INTERFLOP_CHECKDENORMAL_API(init)(void *context);
#ifdef __cplusplus
}
#endif

#endif /* ndef __INTERFLOP_CHECKDENORM_H */