version 1.220, 2009/05/24 13:36:55
|
version 1.221, 2009/05/24 15:59:52
|
Line 2277 int main(int argc, char **argv, char **e
|
Line 2277 int main(int argc, char **argv, char **e
|
Address image; |
Address image; |
#endif |
#endif |
int retvalue; |
int retvalue; |
#if defined(__i386) |
#if 0 && defined(__i386) |
|
/* disabled because the drawbacks may be worse than the benefits */ |
/* set 387 precision control to use 53-bit mantissae to avoid most |
/* set 387 precision control to use 53-bit mantissae to avoid most |
cases of double rounding */ |
cases of double rounding */ |
short fpu_control = 0x027f ; |
short fpu_control = 0x027f ; |