| version 1.1, 2000/12/22 10:03:29 |
version 1.2, 2000/12/23 11:36:49 |
|
|
| /* |
/* |
| * $OpenXM: $ |
* $OpenXM: OpenXM_contrib2/asir2000/include/interval.h,v 1.1 2000/12/22 10:03:29 saito Exp $ |
| */ |
*/ |
| #ifndef _INTERVAL_H |
#ifndef _INTERVAL_H |
| #define _INTERVAL_H |
#define _INTERVAL_H |
| Line 32 static char *Interval_dummy; |
|
| Line 32 static char *Interval_dummy; |
|
| |
|
| #ifdef linux |
#ifdef linux |
| #include <fpu_control.h> |
#include <fpu_control.h> |
| |
#if 1 |
| |
#define LINUX_FPU_RC_MASK 0xf3ff |
| |
#define LINUX_FPU_SETCW(c) {_FPU_GETCW(__fpu_control);\ |
| |
_FPU_SETCW(__fpu_control & LINUX_FPU_RC_MASK | c);} |
| |
#define FPNEAREST LINUX_FPU_SETCW(_FPU_RC_NEAREST); |
| |
#define FPPLUSINF LINUX_FPU_SETCW(_FPU_RC_UP); |
| |
#define FPMINUSINF LINUX_FPU_SETCW(_FPU_RC_DOWN); |
| |
#define FPTOZERO LINUX_FPU_SETCW(_FPU_RC_ZERO); |
| |
#else |
| #define _FPU_DEFAULT_p_FPU_RC_UP 0x1b72 |
#define _FPU_DEFAULT_p_FPU_RC_UP 0x1b72 |
| #define _FPU_DEFAULT_p_FPU_RC_DOWN 0x1772 |
#define _FPU_DEFAULT_p_FPU_RC_DOWN 0x1772 |
| #define _FPU_DEFAULT_p_FPU_RC_ZERO 0x1f72 |
#define _FPU_DEFAULT_p_FPU_RC_ZERO 0x1f72 |
| Line 39 static char *Interval_dummy; |
|
| Line 48 static char *Interval_dummy; |
|
| #define FPPLUSINF __setfpucw(_FPU_DEFAULT_p_FPU_RC_UP); |
#define FPPLUSINF __setfpucw(_FPU_DEFAULT_p_FPU_RC_UP); |
| #define FPMINUSINF __setfpucw(_FPU_DEFAULT_p_FPU_RC_DOWN); |
#define FPMINUSINF __setfpucw(_FPU_DEFAULT_p_FPU_RC_DOWN); |
| #define FPTOZERO __setfpucw(_FPU_DEFAULT_p_FPU_RC_ZERO); |
#define FPTOZERO __setfpucw(_FPU_DEFAULT_p_FPU_RC_ZERO); |
| |
#endif |
| #endif |
#endif |
| |
|
| #if defined(__osf__) |
#if defined(__osf__) |