set thumb as as default option for armv7l-gcc because thumb becomes default since...
[platform/upstream/gcc48.git] / gcc / gencodes.c
1 /* Generate from machine description:
2    - some macros CODE_FOR_... giving the insn_code_number value
3    for each of the defined standard insn names.
4    Copyright (C) 1987-2013 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 under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 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 #include "bconfig.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "rtl.h"
28 #include "errors.h"
29 #include "gensupport.h"
30
31 static void
32 gen_insn (rtx insn, int code)
33 {
34   const char *name = XSTR (insn, 0);
35   int truth = maybe_eval_c_test (XSTR (insn, 2));
36
37   /* Don't mention instructions whose names are the null string
38      or begin with '*'.  They are in the machine description just
39      to be recognized.  */
40   if (name[0] != 0 && name[0] != '*')
41     {
42       if (truth == 0)
43         printf ("#define CODE_FOR_%s CODE_FOR_nothing\n", name);
44       else
45         printf ("  CODE_FOR_%s = %d,\n", name, code);
46     }
47 }
48
49 int
50 main (int argc, char **argv)
51 {
52   rtx desc;
53
54   progname = "gencodes";
55
56   /* We need to see all the possibilities.  Elided insns may have
57      direct references to CODE_FOR_xxx in C code.  */
58   insn_elision = 0;
59
60   if (!init_rtx_reader_args (argc, argv))
61     return (FATAL_EXIT_CODE);
62
63   puts ("\
64 /* Generated automatically by the program `gencodes'\n\
65    from the machine description file `md'.  */\n\
66 \n\
67 #ifndef GCC_INSN_CODES_H\n\
68 #define GCC_INSN_CODES_H\n\
69 \n\
70 enum insn_code {\n\
71   CODE_FOR_nothing = 0,\n");
72
73   /* Read the machine description.  */
74
75   while (1)
76     {
77       int line_no;
78       int insn_code_number;
79
80       desc = read_md_rtx (&line_no, &insn_code_number);
81       if (desc == NULL)
82         break;
83
84       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
85         gen_insn (desc, insn_code_number);
86     }
87
88   puts ("  LAST_INSN_CODE\n\
89 };\n\
90 \n\
91 #endif /* GCC_INSN_CODES_H */");
92
93   if (ferror (stdout) || fflush (stdout) || fclose (stdout))
94     return FATAL_EXIT_CODE;
95
96   return SUCCESS_EXIT_CODE;
97 }