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, 1991, 1995, 1998,
   5    1999, 2000, 2001 Free Software Foundation, Inc.
   6
   7 This file is part of GNU CC.
   8
   9 GNU CC is free software; you can redistribute it and/or modify
  10 it under the terms of the GNU General Public License as published by
  11 the Free Software Foundation; either version 2, or (at your option)
  12 any later version.
  13
  14 GNU CC is distributed in the hope that it will be useful,
  15 but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 GNU General Public License for more details.
  18
  19 You should have received a copy of the GNU General Public License
  20 along with GNU CC; see the file COPYING.  If not, write to
  21 the Free Software Foundation, 59 Temple Place - Suite 330,
  22 Boston, MA 02111-1307, USA.  */
  23
  24
  25 #include "hconfig.h"
  26 #include "system.h"
  27 #include "rtl.h"
  28 #include "errors.h"
  29 #include "gensupport.h"
  30
  31 static int insn_code_number;
  32
  33 static void gen_insn PARAMS ((rtx));
  34
  35 static void
  36 gen_insn (insn)
  37      rtx insn;
  38 {
  39   /* Don't mention instructions whose names are the null string
  40      or begin with '*'.  They are in the machine description just
  41      to be recognized.  */
  42   if (XSTR (insn, 0)[0] != 0 && XSTR (insn, 0)[0] != '*')
  43     printf ("  CODE_FOR_%s = %d,\n", XSTR (insn, 0),
  44             insn_code_number);
  45 }
  46
  47 extern int main PARAMS ((int, char **));
  48
  49 int
  50 main (argc, argv)
  51      int argc;
  52      char **argv;
  53 {
  54   rtx desc;
  55
  56   progname = "gencodes";
  57
  58   if (argc <= 1)
  59     fatal ("No input file name.");
  60
  61   if (init_md_reader (argv[1]) != SUCCESS_EXIT_CODE)
  62     return (FATAL_EXIT_CODE);
  63
  64   puts ("/* Generated automatically by the program `gencodes'");
  65   puts ("   from the machine description file `md'.  */\n");
  66   puts ("#ifndef GCC_INSN_CODES_H");
  67   puts ("#define GCC_INSN_CODES_H\n");
  68
  69   /* Read the machine description.  */
  70
  71   insn_code_number = 0;
  72   printf ("enum insn_code {\n");
  73
  74   while (1)
  75     {
  76       int line_no;
  77
  78       desc = read_md_rtx (&line_no, &insn_code_number);
  79       if (desc == NULL)
  80         break;
  81
  82       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
  83         gen_insn (desc);
  84     }
  85
  86   printf ("  CODE_FOR_nothing = %d };\n", insn_code_number + 1);
  87
  88   printf ("\n#define MAX_INSN_CODE ((int) CODE_FOR_nothing)\n\n");
  89
  90   puts("\n#endif /* GCC_INSN_CODES_H */");
  91
  92   if (ferror (stdout) || fflush (stdout) || fclose (stdout))
  93     return FATAL_EXIT_CODE;
  94
  95   return SUCCESS_EXIT_CODE;
  96 }
  97
  98 /* Define this so we can link with print-rtl.o to get debug_rtx function.  */
  99
 100 const char *
 101 get_insn_name (code)
 102      int code ATTRIBUTE_UNUSED;
 103 {
 104   return NULL;
 105 }