Home | History | Annotate | Line # | Download | only in gcc 
      1 /* Generate code from machine description to recognize rtl as insns.
      2    Copyright (C) 1987-2022 Free Software Foundation, Inc.
      3 
      4    This file is part of GCC.
      5 
      6    GCC is free software; you can redistribute it and/or modify it
      7    under the terms of the GNU General Public License as published by
      8    the Free Software Foundation; either version 3, or (at your option)
      9    any later version.
     10 
     11    GCC is distributed in the hope that it will be useful, but WITHOUT
     12    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     13    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
     14    License for more details.
     15 
     16    You should have received a copy of the GNU General Public License
     17    along with GCC; see the file COPYING3.  If not see
     18    <http://www.gnu.org/licenses/>.  */
     19 
     20 
     21 /* This program is used to produce tmp-mddump.md, which represents
     22    md-file with expanded iterators and after define_subst transformation
     23    is performed.
     24 
     25    The only argument of the program is a source md-file (e.g.
     26    config/i386/i386.md).  STDERR is used for the program output.  */
     27 
     28 #include "bconfig.h"
     29 #include "system.h"
     30 #include "coretypes.h"
     31 #include "tm.h"
     32 #include "rtl.h"
     33 #include "errors.h"
     34 #include "read-md.h"
     35 #include "gensupport.h"
     36 
     37 
     38 extern int main (int, const char **);
     40 
     41 int
     42 main (int argc, const char **argv)
     43 {
     44   progname = "genmddump";
     45 
     46   if (!init_rtx_reader_args (argc, argv))
     47     return (FATAL_EXIT_CODE);
     48 
     49   /* Read the machine description.  */
     50   md_rtx_info info;
     51   while (read_md_rtx (&info))
     52     {
     53       printf (";; %s: %d\n", info.loc.filename, info.loc.lineno);
     54       print_inline_rtx (stdout, info.def, 0);
     55       printf ("\n\n");
     56     }
     57 
     58   fflush (stdout);
     59   return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
     60 }
     61