+ printf ("#define HAVE_lo_sum 1\n");
+
+ if (have_peephole_flag)
+ printf ("#define HAVE_peephole 1\n");
+
+ if (have_peephole2_flag)
+ {
+ printf ("#define HAVE_peephole2 1\n");
+ printf ("#define MAX_INSNS_PER_PEEP2 %d\n", max_insns_per_peep2);
+ }
+
+ puts("\n#endif /* GCC_INSN_CONFIG_H */");
+
+ if (ferror (stdout) || fflush (stdout) || fclose (stdout))
+ return FATAL_EXIT_CODE;