]>
Commit | Line | Data |
---|---|---|
2f2771f2 | 1 | /* Generate code from machine description to recognize rtl as insns. |
d353bf18 | 2 | Copyright (C) 1987-2015 Free Software Foundation, Inc. |
2f2771f2 | 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 | \f | |
38 | extern int main (int, char **); | |
39 | ||
40 | int | |
41 | main (int argc, char **argv) | |
42 | { | |
2f2771f2 | 43 | progname = "genmddump"; |
44 | ||
45 | if (!init_rtx_reader_args (argc, argv)) | |
46 | return (FATAL_EXIT_CODE); | |
47 | ||
48 | /* Read the machine description. */ | |
c04601c1 | 49 | md_rtx_info info; |
50 | while (read_md_rtx (&info)) | |
2f2771f2 | 51 | { |
c04601c1 | 52 | printf (";; %s: %d\n", info.loc.filename, info.loc.lineno); |
53 | print_inline_rtx (stdout, info.def, 0); | |
2f2771f2 | 54 | printf ("\n\n"); |
55 | } | |
56 | ||
57 | fflush (stdout); | |
58 | return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE); | |
59 | } | |
60 |