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 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
  32 static int insn_code_number;
  33
  34 static void gen_insn PARAMS ((rtx));
  35
  36 static void
  37 gen_insn (insn)
  38      rtx insn;
  39 {
  40   /* Don't mention instructions whose names are the null string
  41      or begin with '*'.  They are in the machine description just
  42      to be recognized.  */
  43   if (XSTR (insn, 0)[0] != 0 && XSTR (insn, 0)[0] != '*')
  44     printf ("  CODE_FOR_%s = %d,\n", XSTR (insn, 0),
  45             insn_code_number);
  46 }
  47
  48 extern int main PARAMS ((int, char **));
  49
  50 int
  51 main (argc, argv)
  52      int argc;
  53      char **argv;
  54 {
  55   rtx desc;
  56
  57   progname = "gencodes";
  58
  59   if (argc <= 1)
  60     fatal ("No input file name.");
  61
  62   if (init_md_reader (argv[1]) != SUCCESS_EXIT_CODE)
  63     return (FATAL_EXIT_CODE);
  64
  65   printf ("/* Generated automatically by the program `gencodes'\n\
  66 from the machine description file `md'.  */\n\n");
  67
  68   printf ("#ifndef MAX_INSN_CODE\n\n");
  69
  70   /* Read the machine description.  */
  71
  72   insn_code_number = 0;
  73   printf ("enum insn_code {\n");
  74
  75   while (1)
  76     {
  77       int line_no;
  78
  79       desc = read_md_rtx (&line_no, &insn_code_number);
  80       if (desc == NULL)
  81         break;
  82
  83       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
  84         gen_insn (desc);
  85     }
  86
  87   printf ("  CODE_FOR_nothing = %d };\n", insn_code_number + 1);
  88
  89   printf ("\n#define MAX_INSN_CODE ((int) CODE_FOR_nothing)\n");
  90
  91   printf ("#endif /* MAX_INSN_CODE */\n");
  92
  93   fflush (stdout);
  94   return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
  95 }
  96
  97 /* Define this so we can link with print-rtl.o to get debug_rtx function.  */
  98 const char *
  99 get_insn_name (code)
 100      int code ATTRIBUTE_UNUSED;
 101 {
 102   return NULL;
 103 }