1 /* Generate code to initialize optabs from machine description.
2 Copyright (C) 1993, 94-98, 1999 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
28 static struct obstack obstack;
29 struct obstack *rtl_obstack = &obstack;
31 #define obstack_chunk_alloc xmalloc
32 #define obstack_chunk_free free
34 /* Many parts of GCC use arrays that are indexed by machine mode and
35 contain the insn codes for pattern in the MD file that perform a given
36 operation on operands of that mode.
38 These patterns are present in the MD file with names that contain
39 the mode(s) used and the name of the operation. This program
40 writes a function `init_all_optabs' that initializes the optabs with
41 all the insn codes of the relevant patterns present in the MD file.
43 This array contains a list of optabs that need to be initialized. Within
44 each string, the name of the pattern to be matched against is delimited
45 with %( and %). In the string, %a and %b are used to match a short mode
46 name (the part of the mode name not including `mode' and converted to
47 lower-case). When writing out the initializer, the entire string is
48 used. %A and %B are replaced with the full name of the mode; %a and %b
49 are replaced with the short form of the name, as above.
51 If %N is present in the pattern, it means the two modes must be consecutive
52 widths in the same mode class (e.g, QImode and HImode). %I means that
53 only integer modes should be considered for the next mode, and %F means
54 that only float modes should be considered.
56 For some optabs, we store the operation by RTL codes. These are only
57 used for comparisons. In that case, %c and %C are the lower-case and
58 upper-case forms of the comparison, respectively. */
60 /* The reason we use \% is to avoid sequences of the form %-capletter-%
61 which SCCS treats as magic. This gets warnings which you should ignore. */
63 const char * const optabs[] =
64 { "extendtab[(int) %B][(int) %A][0] = CODE_FOR_%(extend%a\%b2%)",
65 "extendtab[(int) %B][(int) %A][1] = CODE_FOR_%(zero_extend%a\%b2%)",
66 "fixtab[(int) %A][(int) %B][0] = CODE_FOR_%(fix%F\%a%I\%b2%)",
67 "fixtab[(int) %A][(int) %B][1] = CODE_FOR_%(fixuns%F\%a%b2%)",
68 "fixtrunctab[(int) %A][(int) %B][0] = CODE_FOR_%(fix_trunc%F\%a%I\%b2%)",
69 "fixtrunctab[(int) %A][(int) %B][1] = CODE_FOR_%(fixuns_trunc%F\%a%I\%b2%)",
70 "floattab[(int) %B][(int) %A][0] = CODE_FOR_%(float%I\%a%F\%b2%)",
71 "floattab[(int) %B][(int) %A][1] = CODE_FOR_%(floatuns%I\%a%F\%b2%)",
72 "add_optab->handlers[(int) %A].insn_code = CODE_FOR_%(add%a3%)",
73 "sub_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sub%a3%)",
74 "smul_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mul%a3%)",
75 "umul_highpart_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umul%a3_highpart%)",
76 "smul_highpart_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smul%a3_highpart%)",
77 "smul_widen_optab->handlers[(int) %B].insn_code = CODE_FOR_%(mul%a%b3%)%N",
78 "umul_widen_optab->handlers[(int) %B].insn_code = CODE_FOR_%(umul%a%b3%)%N",
79 "sdiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(div%I\%a3%)",
80 "udiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(udiv%I\%a3%)",
81 "sdivmod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(divmod%a4%)",
82 "udivmod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(udivmod%a4%)",
83 "smod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mod%a3%)",
84 "umod_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umod%a3%)",
85 "flodiv_optab->handlers[(int) %A].insn_code = CODE_FOR_%(div%F\%a3%)",
86 "ftrunc_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ftrunc%F\%a2%)",
87 "and_optab->handlers[(int) %A].insn_code = CODE_FOR_%(and%a3%)",
88 "ior_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ior%a3%)",
89 "xor_optab->handlers[(int) %A].insn_code = CODE_FOR_%(xor%a3%)",
90 "ashl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ashl%a3%)",
91 "ashr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ashr%a3%)",
92 "lshr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(lshr%a3%)",
93 "rotl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(rotl%a3%)",
94 "rotr_optab->handlers[(int) %A].insn_code = CODE_FOR_%(rotr%a3%)",
95 "smin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smin%I\%a3%)",
96 "smin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(min%F\%a3%)",
97 "smax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(smax%I\%a3%)",
98 "smax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(max%F\%a3%)",
99 "umin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umin%I\%a3%)",
100 "umax_optab->handlers[(int) %A].insn_code = CODE_FOR_%(umax%I\%a3%)",
101 "neg_optab->handlers[(int) %A].insn_code = CODE_FOR_%(neg%a2%)",
102 "abs_optab->handlers[(int) %A].insn_code = CODE_FOR_%(abs%a2%)",
103 "sqrt_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sqrt%a2%)",
104 "sin_optab->handlers[(int) %A].insn_code = CODE_FOR_%(sin%a2%)",
105 "cos_optab->handlers[(int) %A].insn_code = CODE_FOR_%(cos%a2%)",
106 "strlen_optab->handlers[(int) %A].insn_code = CODE_FOR_%(strlen%a%)",
107 "one_cmpl_optab->handlers[(int) %A].insn_code = CODE_FOR_%(one_cmpl%a2%)",
108 "ffs_optab->handlers[(int) %A].insn_code = CODE_FOR_%(ffs%a2%)",
109 "mov_optab->handlers[(int) %A].insn_code = CODE_FOR_%(mov%a%)",
110 "movstrict_optab->handlers[(int) %A].insn_code = CODE_FOR_%(movstrict%a%)",
111 "cmp_optab->handlers[(int) %A].insn_code = CODE_FOR_%(cmp%a%)",
112 "tst_optab->handlers[(int) %A].insn_code = CODE_FOR_%(tst%a%)",
113 "bcc_gen_fctn[(int) %C] = gen_%(b%c%)",
114 "setcc_gen_code[(int) %C] = CODE_FOR_%(s%c%)",
115 "movcc_gen_code[(int) %A] = CODE_FOR_%(mov%acc%)",
116 "reload_in_optab[(int) %A] = CODE_FOR_%(reload_in%a%)",
117 "reload_out_optab[(int) %A] = CODE_FOR_%(reload_out%a%)",
118 "movstr_optab[(int) %A] = CODE_FOR_%(movstr%a%)",
119 "clrstr_optab[(int) %A] = CODE_FOR_%(clrstr%a%)" };
121 static void gen_insn PROTO((rtx));
127 char *name = XSTR (insn, 0);
131 const char *np, *pp, *p, *q;
133 /* Don't mention instructions whose names are the null string.
134 They are in the machine description just to be recognized. */
138 /* See if NAME matches one of the patterns we have for the optabs we know
141 for (pindex = 0; pindex < sizeof optabs / sizeof optabs[0]; pindex++)
143 int force_float = 0, force_int = 0;
144 int force_consec = 0;
147 for (pp = optabs[pindex]; pp[0] != '%' || pp[1] != '('; pp++)
150 for (pp += 2, np = name; matches && ! (pp[0] == '%' && pp[1] == ')');
171 for (op = 0; op < NUM_RTX_CODE; op++)
173 for (p = GET_RTX_NAME(op), q = np; *p; p++, q++)
177 /* We have to be concerned about matching "gt" and
178 missing "gtu", e.g., so verify we have reached the
179 end of thing we are to match. */
180 if (*p == 0 && *q == 0 && GET_RTX_CLASS(op) == '<')
184 if (op == NUM_RTX_CODE)
187 np += strlen (GET_RTX_NAME(op));
191 /* This loop will stop at the first prefix match, so
192 look through the modes in reverse order, in case
193 EXTRA_CC_MODES was used and CC is a prefix of the
194 CC modes (as it should be). */
195 for (i = ((int) MAX_MACHINE_MODE) - 1; i >= 0; i--)
197 for (p = GET_MODE_NAME(i), q = np; *p; p++, q++)
198 if (TOLOWER (*p) != *q)
202 && (! force_int || mode_class[i] == MODE_INT)
203 && (! force_float || mode_class[i] == MODE_FLOAT))
210 m1 = i, np += strlen (GET_MODE_NAME(i));
212 m2 = i, np += strlen (GET_MODE_NAME(i));
214 force_int = force_float = 0;
222 if (matches && pp[0] == '%' && pp[1] == ')'
224 && (! force_consec || (int) GET_MODE_WIDER_MODE(m1) == m2))
228 if (pindex == sizeof optabs / sizeof optabs[0])
231 /* We found a match. If this pattern is only conditionally present,
232 write out the "if" and two extra blanks. */
234 if (*XSTR (insn, 2) != 0)
235 printf (" if (HAVE_%s)\n ", name);
239 /* Now write out the initialization, making all required substitutions. */
240 for (pp = optabs[pindex]; *pp; pp++)
248 case 'I': case 'F': case 'N':
251 for (np = GET_MODE_NAME(m1); *np; np++)
252 putchar (TOLOWER (*np));
255 for (np = GET_MODE_NAME(m2); *np; np++)
256 putchar (TOLOWER (*np));
259 printf ("%smode", GET_MODE_NAME(m1));
262 printf ("%smode", GET_MODE_NAME(m2));
265 printf ("%s", GET_RTX_NAME(op));
268 for (np = GET_RTX_NAME(op); *np; np++)
269 putchar (TOUPPER (*np));
281 register PTR val = (PTR) malloc (size);
284 fatal ("virtual memory exhausted");
296 ptr = (PTR) realloc (old, size);
298 ptr = (PTR) malloc (size);
300 fatal ("virtual memory exhausted");
304 extern int main PROTO ((int, char **));
315 progname = "genopinit";
316 obstack_init (rtl_obstack);
319 fatal ("No input file name.");
321 infile = fopen (argv[1], "r");
325 return (FATAL_EXIT_CODE);
328 printf ("/* Generated automatically by the program `genopinit'\n\
329 from the machine description file `md'. */\n\n");
331 printf ("#include \"config.h\"\n");
332 printf ("#include \"system.h\"\n");
333 printf ("#include \"rtl.h\"\n");
334 printf ("#include \"flags.h\"\n");
335 printf ("#include \"insn-flags.h\"\n");
336 printf ("#include \"insn-codes.h\"\n");
337 printf ("#include \"insn-config.h\"\n");
338 printf ("#include \"recog.h\"\n");
339 printf ("#include \"expr.h\"\n");
340 printf ("#include \"reload.h\"\n\n");
342 printf ("void\ninit_all_optabs ()\n{\n");
344 /* Read the machine description. */
348 c = read_skip_spaces (infile);
353 desc = read_rtx (infile);
354 if (GET_CODE (desc) == DEFINE_INSN || GET_CODE (desc) == DEFINE_EXPAND)
361 return (ferror (stdout) != 0 ? FATAL_EXIT_CODE : SUCCESS_EXIT_CODE);
364 /* Define this so we can link with print-rtl.o to get debug_rtx function. */
367 int code ATTRIBUTE_UNUSED;