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, 2003 Free Software Foundation, Inc.
   6
   7 This file is part of GCC.
   8
   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
  12 version.
  13
  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
  17 for more details.
  18
  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
  22 02111-1307, USA.  */
  23
  24
  25 #include "bconfig.h"
  26 #include "system.h"
  27 #include "coretypes.h"
  28 #include "tm.h"
  29 #include "rtl.h"
  30 #include "errors.h"
  31 #include "gensupport.h"
  32
  33 static void
  34 gen_insn (rtx insn, int code)
  35 {
  36   const char *name = XSTR (insn, 0);
  37   int truth = maybe_eval_c_test (XSTR (insn, 2));
  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 (name[0] != 0 && name[0] != '*')
  43     {
  44       if (truth == 0)
  45         printf ("#define CODE_FOR_%s CODE_FOR_nothing\n", name);
  46       else
  47         printf ("  CODE_FOR_%s = %d,\n", name, code);
  48     }
  49 }
  50
  51 int
  52 main (int argc, char **argv)
  53 {
  54   rtx desc;
  55
  56   progname = "gencodes";
  57
  58   /* We need to see all the possibilities.  Elided insns may have
  59      direct references to CODE_FOR_xxx in C code.  */
  60   insn_elision = 0;
  61
  62   if (argc <= 1)
  63     fatal ("no input file name");
  64
  65   if (init_md_reader_args (argc, argv) != SUCCESS_EXIT_CODE)
  66     return (FATAL_EXIT_CODE);
  67
  68   puts ("\
  69 /* Generated automatically by the program `gencodes'\n\
  70    from the machine description file `md'.  */\n\
  71 \n\
  72 #ifndef GCC_INSN_CODES_H\n\
  73 #define GCC_INSN_CODES_H\n\
  74 \n\
  75 enum insn_code {");
  76
  77   /* Read the machine description.  */
  78
  79   while (1)
  80     {
  81       int line_no;
  82       int insn_code_number;
  83
  84       desc = read_md_rtx (&line_no, &insn_code_number);
  85       if (desc == NULL)
  86         break;
  87
  88       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
  89         gen_insn (desc, insn_code_number);
  90     }
  91
  92   puts ("  CODE_FOR_nothing\n\
  93 };\n\
  94 \n\
  95 #endif /* GCC_INSN_CODES_H */");
  96
  97   if (ferror (stdout) || fflush (stdout) || fclose (stdout))
  98     return FATAL_EXIT_CODE;
  99
 100   return SUCCESS_EXIT_CODE;
 101 }
 102
 103 /* Define this so we can link with print-rtl.o to get debug_rtx function.  */
 104
 105 const char *
 106 get_insn_name (int code ATTRIBUTE_UNUSED)
 107 {
 108   return NULL;
 109 }