gcc/genmddump.c

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