diff options
author | Marc Espie <espie@cvs.openbsd.org> | 1999-05-26 13:38:57 +0000 |
---|---|---|
committer | Marc Espie <espie@cvs.openbsd.org> | 1999-05-26 13:38:57 +0000 |
commit | 0126e157b87f137fc08dc7f46f6c291b9d06ac5d (patch) | |
tree | f8555e3e504eb82b4cd3cba5cec20ae4ce8124ff /gnu/egcs/gcc/genopinit.c | |
parent | ff8e9a4356e55ed142306c3a375fa280800abc86 (diff) |
egcs projects compiler system
Exact copy of the snapshot, except for the removal of
texinfo/
gcc/ch/
libchill/
Diffstat (limited to 'gnu/egcs/gcc/genopinit.c')
-rw-r--r-- | gnu/egcs/gcc/genopinit.c | 399 |
1 files changed, 399 insertions, 0 deletions
diff --git a/gnu/egcs/gcc/genopinit.c b/gnu/egcs/gcc/genopinit.c new file mode 100644 index 00000000000..2cd67b31866 --- /dev/null +++ b/gnu/egcs/gcc/genopinit.c @@ -0,0 +1,399 @@ +/* Generate code to initialize optabs from machine description. + Copyright (C) 1993, 94-98, 1999 Free Software Foundation, Inc. + +This file is part of GNU CC. + +GNU CC is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2, or (at your option) +any later version. + +GNU CC is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with GNU CC; see the file COPYING. If not, write to +the Free Software Foundation, 59 Temple Place - Suite 330, +Boston, MA 02111-1307, USA. */ + + +#include "hconfig.h" +#include "system.h" +#include "rtl.h" +#include "obstack.h" + +static struct obstack obstack; +struct obstack *rtl_obstack = &obstack; + +#define obstack_chunk_alloc xmalloc +#define obstack_chunk_free free + +void fatal PVPROTO ((const char *, ...)) + ATTRIBUTE_PRINTF_1 ATTRIBUTE_NORETURN; +void fancy_abort PROTO((void)) ATTRIBUTE_NORETURN; + +/* Many parts of GCC use arrays that are indexed by machine mode and + contain the insn codes for pattern in the MD file that perform a given + operation on operands of that mode. + + These patterns are present in the MD file with names that contain + the mode(s) used and the name of the operation. This program + writes a function `init_all_optabs' that initializes the optabs with + all the insn codes of the relevant patterns present in the MD file. + + This array contains a list of optabs that need to be initialized. Within + each string, the name of the pattern to be matched against is delimited + with %( and %). In the string, %a and %b are used to match a short mode + name (the part of the mode name not including `mode' and converted to + lower-case). When writing out the initializer, the entire string is + used. %A and %B are replaced with the full name of the mode; %a and %b + are replaced with the short form of the name, as above. + + If %N is present in the pattern, it means the two modes must be consecutive + widths in the same mode class (e.g, QImode and HImode). %I means that + only integer modes should be considered for the next mode, and %F means + that only float modes should be considered. + + For some optabs, we store the operation by RTL codes. These are only + used for comparisons. In that case, %c and %C are the lower-case and + upper-case forms of the comparison, respectively. */ + +/* The reason we use \% is to avoid sequences of the form %-capletter-% + which SCCS treats as magic. This gets warnings which you should ignore. */ + +const char *optabs[] = +{ "extendtab[(int) %B][(int) %A][0] = CODE_FOR_%(extend%a\%b2%)", + "extendtab[(int) %B][(int) %A][1] = CODE_FOR_%(zero_extend%a\%b2%)", + "fixtab[(int) %A][(int) %B][0] = CODE_FOR_%(fix%F\%a%I\%b2%)", + "fixtab[(int) %A][(int) %B][1] = CODE_FOR_%(fixuns%F\%a%b2%)", + "fixtrunctab[(int) %A][(int) %B][0] = CODE_FOR_%(fix_trunc%F\%a%I\%b2%)", + "fixtrunctab[(int) %A][(int) %B][1] = CODE_FOR_%(fixuns_trunc%F\%a%I\%b2%)", + "floattab[(int) %B][(int) %A][0] = CODE_FOR_%(float%I\%a%F\%b2%)", + "floattab[(int) %B][(int) %A][1] = CODE_FOR_%(floatuns%I\%a%F\%b2%)", + "add_optab->handlers[(int) %A].insn_code = CODE_FOR_%(add%a3%)", + "sub_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sub%a3%)", + "smul_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mul%a3%)", + "umul_highpart_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umul%a3_highpart%)", + "smul_highpart_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smul%a3_highpart%)", + "smul_widen_optab->handlers[(int) %B].insn_code = CODE_FOR_%(mul%a%b3%)%N", + "umul_widen_optab->handlers[(int) %B].insn_code = CODE_FOR_%(umul%a%b3%)%N", + "sdiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(div%I\%a3%)", + "udiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(udiv%I\%a3%)", + "sdivmod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(divmod%a4%)", + "udivmod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(udivmod%a4%)", + "smod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mod%a3%)", + "umod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umod%a3%)", + "flodiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(div%F\%a3%)", + "ftrunc_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ftrunc%F\%a2%)", + "and_optab->handlers[(int) %A].insn_code = CODE_FOR_%(and%a3%)", + "ior_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ior%a3%)", + "xor_optab->handlers[(int) %A].insn_code = CODE_FOR_%(xor%a3%)", + "ashl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ashl%a3%)", + "ashr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ashr%a3%)", + "lshr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(lshr%a3%)", + "rotl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(rotl%a3%)", + "rotr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(rotr%a3%)", + "smin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smin%I\%a3%)", + "smin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(min%F\%a3%)", + "smax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smax%I\%a3%)", + "smax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(max%F\%a3%)", + "umin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umin%I\%a3%)", + "umax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umax%I\%a3%)", + "neg_optab->handlers[(int) %A].insn_code = CODE_FOR_%(neg%a2%)", + "abs_optab->handlers[(int) %A].insn_code = CODE_FOR_%(abs%a2%)", + "sqrt_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sqrt%a2%)", + "sin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sin%a2%)", + "cos_optab->handlers[(int) %A].insn_code = CODE_FOR_%(cos%a2%)", + "strlen_optab->handlers[(int) %A].insn_code = CODE_FOR_%(strlen%a%)", + "one_cmpl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(one_cmpl%a2%)", + "ffs_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ffs%a2%)", + "mov_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mov%a%)", + "movstrict_optab->handlers[(int) %A].insn_code = CODE_FOR_%(movstrict%a%)", + "cmp_optab->handlers[(int) %A].insn_code = CODE_FOR_%(cmp%a%)", + "tst_optab->handlers[(int) %A].insn_code = CODE_FOR_%(tst%a%)", + "bcc_gen_fctn[(int) %C] = gen_%(b%c%)", + "setcc_gen_code[(int) %C] = CODE_FOR_%(s%c%)", + "movcc_gen_code[(int) %A] = CODE_FOR_%(mov%acc%)", + "reload_in_optab[(int) %A] = CODE_FOR_%(reload_in%a%)", + "reload_out_optab[(int) %A] = CODE_FOR_%(reload_out%a%)", + "movstr_optab[(int) %A] = CODE_FOR_%(movstr%a%)", + "clrstr_optab[(int) %A] = CODE_FOR_%(clrstr%a%)" }; + +/* Allow linking with print-rtl.c. */ +char **insn_name_ptr; + +static void gen_insn PROTO((rtx)); + +static void +gen_insn (insn) + rtx insn; +{ + char *name = XSTR (insn, 0); + int m1, m2, op; + size_t pindex; + int i; + const char *np, *pp, *p, *q; + + /* Don't mention instructions whose names are the null string. + They are in the machine description just to be recognized. */ + if (*name == 0) + return; + + /* See if NAME matches one of the patterns we have for the optabs we know + about. */ + + for (pindex = 0; pindex < sizeof optabs / sizeof optabs[0]; pindex++) + { + int force_float = 0, force_int = 0; + int force_consec = 0; + int matches = 1; + + for (pp = optabs[pindex]; pp[0] != '%' || pp[1] != '('; pp++) + ; + + for (pp += 2, np = name; matches && ! (pp[0] == '%' && pp[1] == ')'); + pp++) + { + if (*pp != '%') + { + if (*pp != *np++) + break; + } + else + switch (*++pp) + { + case 'N': + force_consec = 1; + break; + case 'I': + force_int = 1; + break; + case 'F': + force_float = 1; + break; + case 'c': + for (op = 0; op < NUM_RTX_CODE; op++) + { + for (p = rtx_name[op], q = np; *p; p++, q++) + if (*p != *q) + break; + + /* We have to be concerned about matching "gt" and + missing "gtu", e.g., so verify we have reached the + end of thing we are to match. */ + if (*p == 0 && *q == 0 && rtx_class[op] == '<') + break; + } + + if (op == NUM_RTX_CODE) + matches = 0; + else + np += strlen (rtx_name[op]); + break; + case 'a': + case 'b': + /* This loop will stop at the first prefix match, so + look through the modes in reverse order, in case + EXTRA_CC_MODES was used and CC is a prefix of the + CC modes (as it should be). */ + for (i = ((int) MAX_MACHINE_MODE) - 1; i >= 0; i--) + { + for (p = mode_name[i], q = np; *p; p++, q++) + if (tolower ((unsigned char)*p) != *q) + break; + + if (*p == 0 + && (! force_int || mode_class[i] == MODE_INT) + && (! force_float || mode_class[i] == MODE_FLOAT)) + break; + } + + if (i < 0) + matches = 0; + else if (*pp == 'a') + m1 = i, np += strlen (mode_name[i]); + else + m2 = i, np += strlen (mode_name[i]); + + force_int = force_float = 0; + break; + + default: + abort (); + } + } + + if (matches && pp[0] == '%' && pp[1] == ')' + && *np == 0 + && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2)) + break; + } + + if (pindex == sizeof optabs / sizeof optabs[0]) + return; + + /* We found a match. If this pattern is only conditionally present, + write out the "if" and two extra blanks. */ + + if (*XSTR (insn, 2) != 0) + printf (" if (HAVE_%s)\n ", name); + + printf (" "); + + /* Now write out the initialization, making all required substitutions. */ + for (pp = optabs[pindex]; *pp; pp++) + { + if (*pp != '%') + printf ("%c", *pp); + else + switch (*++pp) + { + case '(': case ')': + case 'I': case 'F': case 'N': + break; + case 'a': + for (np = mode_name[m1]; *np; np++) + printf ("%c", tolower ((unsigned char)*np)); + break; + case 'b': + for (np = mode_name[m2]; *np; np++) + printf ("%c", tolower ((unsigned char)*np)); + break; + case 'A': + printf ("%smode", mode_name[m1]); + break; + case 'B': + printf ("%smode", mode_name[m2]); + break; + case 'c': + printf ("%s", rtx_name[op]); + break; + case 'C': + for (np = rtx_name[op]; *np; np++) + printf ("%c", toupper ((unsigned char)*np)); + break; + } + } + + printf (";\n"); +} + +PTR +xmalloc (size) + size_t size; +{ + register PTR val = (PTR) malloc (size); + + if (val == 0) + fatal ("virtual memory exhausted"); + + return val; +} + +PTR +xrealloc (old, size) + PTR old; + size_t size; +{ + register PTR ptr; + if (old) + ptr = (PTR) realloc (old, size); + else + ptr = (PTR) malloc (size); + if (!ptr) + fatal ("virtual memory exhausted"); + return ptr; +} + +void +fatal VPROTO ((const char *format, ...)) +{ +#ifndef ANSI_PROTOTYPES + const char *format; +#endif + va_list ap; + + VA_START (ap, format); + +#ifndef ANSI_PROTOTYPES + format = va_arg (ap, const char *); +#endif + + fprintf (stderr, "genopinit: "); + vfprintf (stderr, format, ap); + va_end (ap); + fprintf (stderr, "\n"); + exit (FATAL_EXIT_CODE); +} + +/* More 'friendly' abort that prints the line and file. + config.h can #define abort fancy_abort if you like that sort of thing. */ + +void +fancy_abort () +{ + fatal ("Internal gcc abort."); +} + +int +main (argc, argv) + int argc; + char **argv; +{ + rtx desc; + FILE *infile; + register int c; + + obstack_init (rtl_obstack); + + if (argc <= 1) + fatal ("No input file name."); + + infile = fopen (argv[1], "r"); + if (infile == 0) + { + perror (argv[1]); + exit (FATAL_EXIT_CODE); + } + + init_rtl (); + + printf ("/* Generated automatically by the program `genopinit'\n\ +from the machine description file `md'. */\n\n"); + + printf ("#include \"config.h\"\n"); + printf ("#include \"system.h\"\n"); + printf ("#include \"rtl.h\"\n"); + printf ("#include \"flags.h\"\n"); + printf ("#include \"insn-flags.h\"\n"); + printf ("#include \"insn-codes.h\"\n"); + printf ("#include \"insn-config.h\"\n"); + printf ("#include \"recog.h\"\n"); + printf ("#include \"expr.h\"\n"); + printf ("#include \"reload.h\"\n\n"); + + printf ("void\ninit_all_optabs ()\n{\n"); + + /* Read the machine description. */ + + while (1) + { + c = read_skip_spaces (infile); + if (c == EOF) + break; + ungetc (c, infile); + + desc = read_rtx (infile); + if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND) + gen_insn (desc); + } + + printf ("}\n"); + + fflush (stdout); + exit (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE); + /* NOTREACHED */ + return 0; +} |