[Ada] New aspect/pragma No_Caching for analysis of volatile data
[official-gcc.git] / gcc / gencodes.c
blobb985565783b64b5cac0270e7c065fd01b0be9f10
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-2019 Free Software Foundation, Inc.
6 This file is part of GCC.
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.
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.
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/>. */
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"
31 static void
32 gen_insn (md_rtx_info *info)
34 const char *name = XSTR (info->def, 0);
35 int truth = maybe_eval_c_test (XSTR (info->def, 2));
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] != '*')
42 if (truth == 0)
43 printf (",\n CODE_FOR_%s = CODE_FOR_nothing", name);
44 else
45 printf (",\n CODE_FOR_%s = %d", name, info->index);
49 int
50 main (int argc, const char **argv)
52 progname = "gencodes";
54 /* We need to see all the possibilities. Elided insns may have
55 direct references to CODE_FOR_xxx in C code. */
56 insn_elision = 0;
58 if (!init_rtx_reader_args (argc, argv))
59 return (FATAL_EXIT_CODE);
61 printf ("\
62 /* Generated automatically by the program `gencodes'\n\
63 from the machine description file `md'. */\n\
64 \n\
65 #ifndef GCC_INSN_CODES_H\n\
66 #define GCC_INSN_CODES_H\n\
67 \n\
68 enum insn_code {\n\
69 CODE_FOR_nothing = 0");
71 /* Read the machine description. */
73 md_rtx_info info;
74 while (read_md_rtx (&info))
75 switch (GET_CODE (info.def))
77 case DEFINE_INSN:
78 case DEFINE_EXPAND:
79 gen_insn (&info);
80 break;
82 default:
83 break;
86 printf ("\n};\n\
87 \n\
88 const unsigned int NUM_INSN_CODES = %d;\n\
89 #endif /* GCC_INSN_CODES_H */\n", get_num_insn_codes ());
91 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
92 return FATAL_EXIT_CODE;
94 return SUCCESS_EXIT_CODE;