ThePEG: fpudebug.h Source File

00001 #ifndef fpudebug_H
00002 #define fpudebug_H
00003 
00004 #include <fpu_control.h>
00005 
00007 void fpudebug() {
00008     fpu_control_t cw;
00009   _FPU_GETCW(cw);
00010   cw &= ~(_FPU_MASK_OM);
00011   cw &= ~(_FPU_MASK_ZM);
00012   cw &= ~(_FPU_MASK_DM);
00013   cw &= ~(_FPU_MASK_IM);
00014   _FPU_SETCW(cw);
00015 }
00016 
00017 #endif