if (cw != _FPU_DEFAULT) printf ("control word is 0x%x but should be 0x%x.\n", cw, _FPU_DEFAULT);
cw &= ~_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}