2017-10-30 Paul Thomas <pault@gcc.gnu.org>
[official-gcc.git] / gcc / genmddump.c
blob2115bbf1440ce80abd11bd490b285fa318e476bf
1 /* Generate code from machine description to recognize rtl as insns.
2 Copyright (C) 1987-2017 Free Software Foundation, Inc.
4 This file is part of GCC.
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.
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.
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/>. */
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.
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. */
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"
38 extern int main (int, const char **);
40 int
41 main (int argc, const char **argv)
43 progname = "genmddump";
45 if (!init_rtx_reader_args (argc, argv))
46 return (FATAL_EXIT_CODE);
48 /* Read the machine description. */
49 md_rtx_info info;
50 while (read_md_rtx (&info))
52 printf (";; %s: %d\n", info.loc.filename, info.loc.lineno);
53 print_inline_rtx (stdout, info.def, 0);
54 printf ("\n\n");
57 fflush (stdout);
58 return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);