===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/include/interval.h,v
retrieving revision 1.1
retrieving revision 1.3
diff -u -p -r1.1 -r1.3
--- OpenXM_contrib2/asir2000/include/interval.h	2000/12/22 10:03:29	1.1
+++ OpenXM_contrib2/asir2000/include/interval.h	2001/03/19 01:13:50	1.3
@@ -1,5 +1,5 @@
 /*
- * $OpenXM: $
+ * $OpenXM: OpenXM_contrib2/asir2000/include/interval.h,v 1.2 2000/12/23 11:36:49 saito Exp $
 */
 #ifndef	_INTERVAL_H
 #define	_INTERVAL_H
@@ -32,6 +32,15 @@ static char	*Interval_dummy;
 
 #ifdef	linux
 #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_DOWN	0x1772
 #define	_FPU_DEFAULT_p_FPU_RC_ZERO	0x1f72
@@ -40,6 +49,7 @@ static char	*Interval_dummy;
 #define	FPMINUSINF	__setfpucw(_FPU_DEFAULT_p_FPU_RC_DOWN);
 #define	FPTOZERO	__setfpucw(_FPU_DEFAULT_p_FPU_RC_ZERO);
 #endif
+#endif
 
 #if defined(__osf__)
 #if 0
@@ -87,6 +97,7 @@ static char	*Interval_dummy;
 #undef  N_LM
 #undef  N_GF2N
 #undef  N_GFPN
+#undef  N_GFS
 #define N_IP	(N_B+1)
 #define N_ID	(N_B+2)
 #define N_IT	(N_B+3)
@@ -97,6 +108,7 @@ static char	*Interval_dummy;
 #define N_LM	(N_B+7)
 #define N_GF2N	(N_B+8)
 #define N_GFPN	(N_B+9)
+#define N_GFS	(N_B+10)
 
 /* data structures */
 struct oItv {