gcc/gencodes.c

   1 /* Generate from machine description:
   2
   3    - some macros CODE_FOR_... giving the insn_code_number value
   4    for each of the defined standard insn names.
   5    Copyright (C) 1987, 1991, 1995 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 #ifdef __STDC__
  27 #include <stdarg.h>
  28 #else
  29 #include <varargs.h>
  30 #endif
  31 #include "system.h"
  32 #include "rtl.h"
  33 #include "obstack.h"
  34
  35 static struct obstack obstack;
  36 struct obstack *rtl_obstack = &obstack;
  37
  38 #define obstack_chunk_alloc xmalloc
  39 #define obstack_chunk_free free
  40
  41 char *xmalloc PROTO((unsigned));
  42 static void fatal PVPROTO ((char *, ...)) ATTRIBUTE_PRINTF_1;
  43 void fancy_abort PROTO((void));
  44
  45 /* Define this so we can link with print-rtl.o to get debug_rtx function.  */
  46 char **insn_name_ptr = 0;
  47
  48 static int insn_code_number;
  49
  50 static void gen_insn PROTO((rtx));
  51
  52 static void
  53 gen_insn (insn)
  54      rtx insn;
  55 {
  56   /* Don't mention instructions whose names are the null string
  57      or begin with '*'.  They are in the machine description just
  58      to be recognized.  */
  59   if (XSTR (insn, 0)[0] != 0 && XSTR (insn, 0)[0] != '*')
  60     printf ("  CODE_FOR_%s = %d,\n", XSTR (insn, 0),
  61             insn_code_number);
  62 }
  63
  64 char *
  65 xmalloc (size)
  66      unsigned size;
  67 {
  68   register char *val = (char *) malloc (size);
  69
  70   if (val == 0)
  71     fatal ("virtual memory exhausted");
  72   return val;
  73 }
  74
  75 char *
  76 xrealloc (ptr, size)
  77      char *ptr;
  78      unsigned size;
  79 {
  80   char *result = (char *) realloc (ptr, size);
  81   if (!result)
  82     fatal ("virtual memory exhausted");
  83   return result;
  84 }
  85
  86 static void
  87 fatal VPROTO ((char *format, ...))
  88 {
  89 #ifndef __STDC__
  90   char *format;
  91 #endif
  92   va_list ap;
  93
  94   VA_START (ap, format);
  95
  96 #ifndef __STDC__
  97   format = va_arg (ap, char *);
  98 #endif
  99
 100   fprintf (stderr, "gencodes: ");
 101   vfprintf (stderr, format, ap);
 102   va_end (ap);
 103   fprintf (stderr, "\n");
 104   exit (FATAL_EXIT_CODE);
 105 }
 106
 107 /* More 'friendly' abort that prints the line and file.
 108    config.h can #define abort fancy_abort if you like that sort of thing.  */
 109
 110 void
 111 fancy_abort ()
 112 {
 113   fatal ("Internal gcc abort.");
 114 }
 115 \f
 116 int
 117 main (argc, argv)
 118      int argc;
 119      char **argv;
 120 {
 121   rtx desc;
 122   FILE *infile;
 123   register int c;
 124
 125   obstack_init (rtl_obstack);
 126
 127   if (argc <= 1)
 128     fatal ("No input file name.");
 129
 130   infile = fopen (argv[1], "r");
 131   if (infile == 0)
 132     {
 133       perror (argv[1]);
 134       exit (FATAL_EXIT_CODE);
 135     }
 136
 137   init_rtl ();
 138
 139   printf ("/* Generated automatically by the program `gencodes'\n\
 140 from the machine description file `md'.  */\n\n");
 141
 142   printf ("#ifndef MAX_INSN_CODE\n\n");
 143
 144   /* Read the machine description.  */
 145
 146   insn_code_number = 0;
 147   printf ("enum insn_code {\n");
 148
 149   while (1)
 150     {
 151       c = read_skip_spaces (infile);
 152       if (c == EOF)
 153         break;
 154       ungetc (c, infile);
 155
 156       desc = read_rtx (infile);
 157       if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
 158         {
 159           gen_insn (desc);
 160           insn_code_number++;
 161         }
 162       if (GET_CODE (desc) == DEFINE_PEEPHOLE
 163           || GET_CODE (desc) == DEFINE_SPLIT)
 164         {
 165           insn_code_number++;
 166         }
 167     }
 168
 169   printf ("  CODE_FOR_nothing };\n");
 170
 171   printf ("\n#define MAX_INSN_CODE ((int) CODE_FOR_nothing)\n");
 172
 173   printf ("#endif /* MAX_INSN_CODE */\n");
 174
 175   fflush (stdout);
 176   exit (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
 177   /* NOTREACHED */
 178   return 0;
 179 }