* c-ubsan.c (ubsan_instrument_shift): Use type0.
[official-gcc.git] / gcc / gencodes.c
blob081b1cd93543c821ccf4e42da328c6951ee33eca
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-2015 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 (rtx insn, int code)
34 const char *name = XSTR (insn, 0);
35 int truth = maybe_eval_c_test (XSTR (insn, 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 ("#define CODE_FOR_%s CODE_FOR_nothing\n", name);
44 else
45 printf (" CODE_FOR_%s = %d,\n", name, code);
49 int
50 main (int argc, char **argv)
52 rtx desc;
53 int last = 1;
55 progname = "gencodes";
57 /* We need to see all the possibilities. Elided insns may have
58 direct references to CODE_FOR_xxx in C code. */
59 insn_elision = 0;
61 if (!init_rtx_reader_args (argc, argv))
62 return (FATAL_EXIT_CODE);
64 puts ("\
65 /* Generated automatically by the program `gencodes'\n\
66 from the machine description file `md'. */\n\
67 \n\
68 #ifndef GCC_INSN_CODES_H\n\
69 #define GCC_INSN_CODES_H\n\
70 \n\
71 enum insn_code {\n\
72 CODE_FOR_nothing = 0,\n");
74 /* Read the machine description. */
76 while (1)
78 int line_no;
79 int insn_code_number;
81 desc = read_md_rtx (&line_no, &insn_code_number);
82 if (desc == NULL)
83 break;
85 if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
87 gen_insn (desc, insn_code_number);
88 last = insn_code_number + 1;
92 printf (" LAST_INSN_CODE = %d\n\
93 };\n\
94 \n\
95 #endif /* GCC_INSN_CODES_H */\n", last);
97 if (ferror (stdout) || fflush (stdout) || fclose (stdout))
98 return FATAL_EXIT_CODE;
100 return SUCCESS_EXIT_CODE;