- printf ("\n#define MAX_INSN_CODE ((int) CODE_FOR_nothing)\n\n");
-
- traverse_md_constants (print_md_constant, stdout);
-
- printf ("\n#endif /* MAX_INSN_CODE */\n");
-
- fflush (stdout);
- return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
-}
-
-/* Define this so we can link with print-rtl.o to get debug_rtx function. */
-const char *
-get_insn_name (code)
- int code ATTRIBUTE_UNUSED;
-{
- return NULL;
-}
-
-/* Called via traverse_md_constants; emit a #define for
- the current constant definition. */
-static int
-print_md_constant (slot, info)
- void **slot;
- void *info;
-{
- struct md_constant *def = *slot;
- FILE *file = info;