1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
/* *************************************************************/
/* */
/* The Compcert verified compiler */
/* */
/* Sylvain Boulmé Grenoble-INP, VERIMAG */
/* David Monniaux CNRS, VERIMAG */
/* Cyril Six Kalray */
/* */
/* Copyright Kalray. Copyright VERIMAG. All rights reserved. */
/* This file is distributed under the terms of the INRIA */
/* Non-Commercial License Agreement. */
/* */
/* *************************************************************/
#ifndef _COMPCERT_MATH_H
#define _COMPCERT_MATH_H
#ifdef __K1C__
#define isfinite(__y) (fpclassify((__y)) >= FP_ZERO)
#include_next <math.h>
#ifndef COMPCERT_NO_FP_MACROS
#define fmin(x, y) __builtin_fmin((x),(y))
#define fmax(x, y) __builtin_fmax((x),(y))
#define fminf(x, y) __builtin_fminf((x),(y))
#define fmaxf(x, y) __builtin_fmaxf((x),(y))
#define fabs(x) __builtin_fabs((x))
#define fabsf(x) __builtin_fabsf((x))
#define fma(x, y, z) __builtin_fma((x),(y),(z))
#define fmaf(x, y, z) __builtin_fmaf((x),(y),(z))
#endif
#else
#include_next <math.h>
#endif
#endif
|
