printf ("\
/* Generated automatically by the program '%s'\n\
- from the machine description file '%s'. */\n\n", progname, in_fname);
+ from the machine description file '%s'. */\n\n", progname,
+ rtx_reader_ptr->get_top_level_filename ());
puts ("\
#ifndef GCC_TM_CONSTRS_H\n\
printf ("\
/* Generated automatically by the program '%s'\n\
- from the machine description file '%s'. */\n\n", progname, in_fname);
+ from the machine description file '%s'. */\n\n", progname,
+ rtx_reader_ptr->get_top_level_filename ());
puts ("\
#ifndef GCC_TM_PREDS_H\n\
printf ("\
/* Generated automatically by the program '%s'\n\
- from the machine description file '%s'. */\n\n", progname, in_fname);
+ from the machine description file '%s'. */\n\n", progname,
+ rtx_reader_ptr->get_top_level_filename ());
puts ("\
#include \"config.h\"\n\