* to int conversion which are specified as truncation in the C standard we have
* to spill, change and restore the fpu rounding mode between spills.
*/
-#ifdef HAVE_CONFIG_H
#include "config.h"
-#endif
#include "ia32_fpu.h"
#include "ia32_new_nodes.h"