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__) |