return (cw != _FPU_DEFAULT);
if (cw != (_FPU_DEFAULT & ~_FPU_RESERVED)) printf ("control word is 0x%x but should be 0x%x.\n", cw, (_FPU_DEFAULT & ~_FPU_RESERVED));  return cw != (_FPU_DEFAULT & ~_FPU_RESERVED);
main (void){#ifdef _FPU_GETCW/* Some architectures don't have _FPU_GETCW (e.g. Linux/Alpha).  */  fpu_control_t cw;  _FPU_GETCW (cw);  if (cw != _FPU_DEFAULT)    printf ("control word is 0x%x but should be 0x%x.\n", cw, _FPU_DEFAULT);  return (cw != _FPU_DEFAULT);#else  return 0;#endif}