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, 1991, 1995, 1998,
5 1999, 2000, 2001 Free Software Foundation, Inc.
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify it under
10 the terms of the GNU General Public License as published by the Free
11 Software Foundation; either version 2, or (at your option) any later
14 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
15 WARRANTY; without even the implied warranty of MERCHANTABILITY or
16 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING. If not, write to the Free
21 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
29 #include "gensupport.h"
31 static void gen_insn
PARAMS ((rtx
, int));
38 const char *name
= XSTR (insn
, 0);
39 int truth
= maybe_eval_c_test (XSTR (insn
, 2));
41 /* Don't mention instructions whose names are the null string
42 or begin with '*'. They are in the machine description just
44 if (name
[0] != 0 && name
[0] != '*')
47 printf ("#define CODE_FOR_%s CODE_FOR_nothing\n", name
);
49 printf (" CODE_FOR_%s = %d,\n", name
, code
);
53 extern int main
PARAMS ((int, char **));
62 progname
= "gencodes";
64 /* We need to see all the possibilities. Elided insns may have
65 direct references to CODE_FOR_xxx in C code. */
69 fatal ("no input file name");
71 if (init_md_reader_args (argc
, argv
) != SUCCESS_EXIT_CODE
)
72 return (FATAL_EXIT_CODE
);
75 /* Generated automatically by the program `gencodes'\n\
76 from the machine description file `md'. */\n\
78 #ifndef GCC_INSN_CODES_H\n\
79 #define GCC_INSN_CODES_H\n\
83 /* Read the machine description. */
90 desc
= read_md_rtx (&line_no
, &insn_code_number
);
94 if (GET_CODE (desc
) == DEFINE_INSN
|| GET_CODE (desc
) == DEFINE_EXPAND
)
95 gen_insn (desc
, insn_code_number
);
98 puts (" CODE_FOR_nothing\n\
101 #endif /* GCC_INSN_CODES_H */");
103 if (ferror (stdout
) || fflush (stdout
) || fclose (stdout
))
104 return FATAL_EXIT_CODE
;
106 return SUCCESS_EXIT_CODE
;
109 /* Define this so we can link with print-rtl.o to get debug_rtx function. */
113 int code ATTRIBUTE_UNUSED
;