Annotation of gcc/genconfig.c, revision 1.1

1.1     ! root        1: /* Generate from machine description:
        !             2: 
        !             3:    - some #define configuration flags.
        !             4:    Copyright (C) 1987, 1991 Free Software Foundation, Inc.
        !             5: 
        !             6: This file is part of GNU CC.
        !             7: 
        !             8: GNU CC is free software; you can redistribute it and/or modify
        !             9: it under the terms of the GNU General Public License as published by
        !            10: the Free Software Foundation; either version 2, or (at your option)
        !            11: any later version.
        !            12: 
        !            13: GNU CC is distributed in the hope that it will be useful,
        !            14: but WITHOUT ANY WARRANTY; without even the implied warranty of
        !            15: MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
        !            16: GNU General Public License for more details.
        !            17: 
        !            18: You should have received a copy of the GNU General Public License
        !            19: along with GNU CC; see the file COPYING.  If not, write to
        !            20: the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
        !            21: 
        !            22: 
        !            23: #include <stdio.h>
        !            24: #include "config.h"
        !            25: #include "rtl.h"
        !            26: #include "obstack.h"
        !            27: 
        !            28: static struct obstack obstack;
        !            29: struct obstack *rtl_obstack = &obstack;
        !            30: 
        !            31: #define obstack_chunk_alloc xmalloc
        !            32: #define obstack_chunk_free free
        !            33: 
        !            34: extern void free ();
        !            35: 
        !            36: /* flags to determine output of machine description dependent #define's.  */
        !            37: static int max_recog_operands;
        !            38: static int max_dup_operands;
        !            39: static int max_clobbers_per_insn;
        !            40: static int register_constraint_flag;
        !            41: static int have_cc0_flag;
        !            42: static int have_lo_sum_flag;
        !            43: 
        !            44: /* Maximum number of insns seen in a split.  */
        !            45: static int max_insns_per_split = 1;
        !            46: 
        !            47: static int clobbers_seen_this_insn;
        !            48: static int dup_operands_seen_this_insn;
        !            49: 
        !            50: char *xmalloc ();
        !            51: static void fatal ();
        !            52: void fancy_abort ();
        !            53: 
        !            54: /* RECOG_P will be non-zero if this pattern was seen in a context where it will
        !            55:    be used to recognize, rather than just generate an insn.  */
        !            56: 
        !            57: static void
        !            58: walk_insn_part (part, recog_p)
        !            59:      rtx part;
        !            60: {
        !            61:   register int i, j;
        !            62:   register RTX_CODE code;
        !            63:   register char *format_ptr;
        !            64: 
        !            65:   if (part == 0)
        !            66:     return;
        !            67: 
        !            68:   code = GET_CODE (part);
        !            69:   switch (code)
        !            70:     {
        !            71:     case CLOBBER:
        !            72:       clobbers_seen_this_insn++;
        !            73:       break;
        !            74: 
        !            75:     case MATCH_OPERAND:
        !            76:       if (XINT (part, 0) > max_recog_operands)
        !            77:        max_recog_operands = XINT (part, 0);
        !            78:       if (XSTR (part, 2) && *XSTR (part, 2))
        !            79:        register_constraint_flag = 1;
        !            80:       return;
        !            81: 
        !            82:     case MATCH_OP_DUP:
        !            83:       ++dup_operands_seen_this_insn;
        !            84:     case MATCH_SCRATCH:
        !            85:     case MATCH_PARALLEL:
        !            86:     case MATCH_OPERATOR:
        !            87:       if (XINT (part, 0) > max_recog_operands)
        !            88:        max_recog_operands = XINT (part, 0);
        !            89:       /* Now scan the rtl's in the vector inside the MATCH_OPERATOR or
        !            90:         MATCH_PARALLEL.  */
        !            91:       break;
        !            92: 
        !            93:     case LABEL_REF:
        !            94:       if (GET_CODE (XEXP (part, 0)) == MATCH_OPERAND)
        !            95:        break;
        !            96:       return;
        !            97: 
        !            98:     case MATCH_DUP:
        !            99:       ++dup_operands_seen_this_insn;
        !           100:       if (XINT (part, 0) > max_recog_operands)
        !           101:        max_recog_operands = XINT (part, 0);
        !           102:       return;
        !           103: 
        !           104:     case CC0:
        !           105:       if (recog_p)
        !           106:        have_cc0_flag = 1;
        !           107:       return;
        !           108: 
        !           109:     case LO_SUM:
        !           110:       if (recog_p)
        !           111:        have_lo_sum_flag = 1;
        !           112:       return;
        !           113: 
        !           114:     case REG: case CONST_INT: case SYMBOL_REF:
        !           115:     case PC:
        !           116:       return;
        !           117:     }
        !           118: 
        !           119:   format_ptr = GET_RTX_FORMAT (GET_CODE (part));
        !           120: 
        !           121:   for (i = 0; i < GET_RTX_LENGTH (GET_CODE (part)); i++)
        !           122:     switch (*format_ptr++)
        !           123:       {
        !           124:       case 'e':
        !           125:       case 'u':
        !           126:        walk_insn_part (XEXP (part, i), recog_p);
        !           127:        break;
        !           128:       case 'E':
        !           129:        if (XVEC (part, i) != NULL)
        !           130:          for (j = 0; j < XVECLEN (part, i); j++)
        !           131:            walk_insn_part (XVECEXP (part, i, j), recog_p);
        !           132:        break;
        !           133:       }
        !           134: }
        !           135: 
        !           136: static void
        !           137: gen_insn (insn)
        !           138:      rtx insn;
        !           139: {
        !           140:   int i;
        !           141: 
        !           142:   /* Walk the insn pattern to gather the #define's status.  */
        !           143:   clobbers_seen_this_insn = 0;
        !           144:   dup_operands_seen_this_insn = 0;
        !           145:   if (XVEC (insn, 1) != 0)
        !           146:     for (i = 0; i < XVECLEN (insn, 1); i++)
        !           147:       walk_insn_part (XVECEXP (insn, 1, i), 1);
        !           148: 
        !           149:   if (clobbers_seen_this_insn > max_clobbers_per_insn)
        !           150:     max_clobbers_per_insn = clobbers_seen_this_insn;
        !           151:   if (dup_operands_seen_this_insn > max_dup_operands)
        !           152:     max_dup_operands = dup_operands_seen_this_insn;
        !           153: }
        !           154: 
        !           155: /* Similar but scan a define_expand.  */
        !           156: 
        !           157: static void
        !           158: gen_expand (insn)
        !           159:      rtx insn;
        !           160: {
        !           161:   int i;
        !           162: 
        !           163:   /* Walk the insn pattern to gather the #define's status.  */
        !           164: 
        !           165:   /* Note that we don't bother recording the number of MATCH_DUPs
        !           166:      that occur in a gen_expand, because only reload cares about that.  */
        !           167:   if (XVEC (insn, 1) != 0)
        !           168:     for (i = 0; i < XVECLEN (insn, 1); i++)
        !           169:       {
        !           170:        /* Compute the maximum SETs and CLOBBERS
        !           171:           in any one of the sub-insns;
        !           172:           don't sum across all of them.  */
        !           173:        clobbers_seen_this_insn = 0;
        !           174: 
        !           175:        walk_insn_part (XVECEXP (insn, 1, i), 0);
        !           176: 
        !           177:        if (clobbers_seen_this_insn > max_clobbers_per_insn)
        !           178:          max_clobbers_per_insn = clobbers_seen_this_insn;
        !           179:       }
        !           180: }
        !           181: 
        !           182: /* Similar but scan a define_split.  */
        !           183: 
        !           184: static void
        !           185: gen_split (split)
        !           186:      rtx split;
        !           187: {
        !           188:   int i;
        !           189: 
        !           190:   /* Look through the patterns that are matched
        !           191:      to compute the maximum operand number.  */
        !           192:   for (i = 0; i < XVECLEN (split, 0); i++)
        !           193:     walk_insn_part (XVECEXP (split, 0, i), 1);
        !           194:   /* Look at the number of insns this insn could split into.  */
        !           195:   if (XVECLEN (split, 2) > max_insns_per_split)
        !           196:     max_insns_per_split = XVECLEN (split, 2);
        !           197: }
        !           198: 
        !           199: static void
        !           200: gen_peephole (peep)
        !           201:      rtx peep;
        !           202: {
        !           203:   int i;
        !           204: 
        !           205:   /* Look through the patterns that are matched
        !           206:      to compute the maximum operand number.  */
        !           207:   for (i = 0; i < XVECLEN (peep, 0); i++)
        !           208:     walk_insn_part (XVECEXP (peep, 0, i), 1);
        !           209: }
        !           210: 
        !           211: char *
        !           212: xmalloc (size)
        !           213:      unsigned size;
        !           214: {
        !           215:   register char *val = (char *) malloc (size);
        !           216: 
        !           217:   if (val == 0)
        !           218:     fatal ("virtual memory exhausted");
        !           219: 
        !           220:   return val;
        !           221: }
        !           222: 
        !           223: char *
        !           224: xrealloc (ptr, size)
        !           225:      char *ptr;
        !           226:      unsigned size;
        !           227: {
        !           228:   char *result = (char *) realloc (ptr, size);
        !           229:   if (!result)
        !           230:     fatal ("virtual memory exhausted");
        !           231:   return result;
        !           232: }
        !           233: 
        !           234: static void
        !           235: fatal (s, a1, a2)
        !           236:      char *s;
        !           237: {
        !           238:   fprintf (stderr, "genconfig: ");
        !           239:   fprintf (stderr, s, a1, a2);
        !           240:   fprintf (stderr, "\n");
        !           241:   exit (FATAL_EXIT_CODE);
        !           242: }
        !           243: 
        !           244: /* More 'friendly' abort that prints the line and file.
        !           245:    config.h can #define abort fancy_abort if you like that sort of thing.  */
        !           246: 
        !           247: void
        !           248: fancy_abort ()
        !           249: {
        !           250:   fatal ("Internal gcc abort.");
        !           251: }
        !           252: 
        !           253: int
        !           254: main (argc, argv)
        !           255:      int argc;
        !           256:      char **argv;
        !           257: {
        !           258:   rtx desc;
        !           259:   FILE *infile;
        !           260:   extern rtx read_rtx ();
        !           261:   register int c;
        !           262: 
        !           263:   obstack_init (rtl_obstack);
        !           264: 
        !           265:   if (argc <= 1)
        !           266:     fatal ("No input file name.");
        !           267: 
        !           268:   infile = fopen (argv[1], "r");
        !           269:   if (infile == 0)
        !           270:     {
        !           271:       perror (argv[1]);
        !           272:       exit (FATAL_EXIT_CODE);
        !           273:     }
        !           274: 
        !           275:   init_rtl ();
        !           276: 
        !           277:   printf ("/* Generated automatically by the program `genconfig'\n\
        !           278: from the machine description file `md'.  */\n\n");
        !           279: 
        !           280:   /* Allow at least 10 operands for the sake of asm constructs.  */
        !           281:   max_recog_operands = 10;
        !           282:   max_dup_operands = 1;
        !           283: 
        !           284:   /* Read the machine description.  */
        !           285: 
        !           286:   while (1)
        !           287:     {
        !           288:       c = read_skip_spaces (infile);
        !           289:       if (c == EOF)
        !           290:        break;
        !           291:       ungetc (c, infile);
        !           292: 
        !           293:       desc = read_rtx (infile);
        !           294:       if (GET_CODE (desc) == DEFINE_INSN)
        !           295:        gen_insn (desc);
        !           296:       if (GET_CODE (desc) == DEFINE_EXPAND)
        !           297:        gen_expand (desc);
        !           298:       if (GET_CODE (desc) == DEFINE_SPLIT)
        !           299:        gen_split (desc);
        !           300:       if (GET_CODE (desc) == DEFINE_PEEPHOLE)
        !           301:        gen_peephole (desc);
        !           302:     }
        !           303: 
        !           304:   printf ("\n#define MAX_RECOG_OPERANDS %d\n", max_recog_operands);
        !           305: 
        !           306:   printf ("\n#define MAX_DUP_OPERANDS %d\n", max_dup_operands);
        !           307: 
        !           308:   /* This is conditionally defined, in case the user writes code which emits
        !           309:      more splits than we can readily see (and knows s/he does it).  */
        !           310:   printf ("#ifndef MAX_INSNS_PER_SPLIT\n#define MAX_INSNS_PER_SPLIT %d\n#endif\n",
        !           311:          max_insns_per_split);
        !           312: 
        !           313:   if (register_constraint_flag)
        !           314:     printf ("#define REGISTER_CONSTRAINTS\n");
        !           315: 
        !           316:   if (have_cc0_flag)
        !           317:     printf ("#define HAVE_cc0\n");
        !           318: 
        !           319:   if (have_lo_sum_flag)
        !           320:     printf ("#define HAVE_lo_sum\n");
        !           321: 
        !           322:   fflush (stdout);
        !           323:   exit (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
        !           324:   /* NOTREACHED */
        !           325:   return 0;
        !           326: }

unix.superglobalmegacorp.com

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.