1 /* Generate from machine description:
2 - some flags HAVE_... saying which simple standard instructions are
3 available for this machine.
4 Copyright (C) 1987, 1991, 1995, 1998,
5 1999, 2000, 2003 Free Software Foundation, Inc.
7 This file is part of GCC.
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
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
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
27 #include "coretypes.h"
32 #include "gensupport.h"
34 /* Obstack to remember insns with. */
35 static struct obstack obstack
;
37 /* Max size of names encountered. */
38 static int max_id_len
;
40 /* Max operand encountered in a scan over some insn. */
43 static void max_operand_1 (rtx
);
44 static int num_operands (rtx
);
45 static void gen_proto (rtx
);
46 static void gen_macro (const char *, int, int);
47 static void gen_insn (rtx
);
49 /* Count the number of match_operand's found. */
64 if (code
== MATCH_OPERAND
|| code
== MATCH_OPERATOR
65 || code
== MATCH_PARALLEL
)
66 max_opno
= MAX (max_opno
, XINT (x
, 0));
68 fmt
= GET_RTX_FORMAT (code
);
69 len
= GET_RTX_LENGTH (code
);
70 for (i
= 0; i
< len
; i
++)
72 if (fmt
[i
] == 'e' || fmt
[i
] == 'u')
73 max_operand_1 (XEXP (x
, i
));
74 else if (fmt
[i
] == 'E')
77 for (j
= 0; j
< XVECLEN (x
, i
); j
++)
78 max_operand_1 (XVECEXP (x
, i
, j
));
84 num_operands (rtx insn
)
86 int len
= XVECLEN (insn
, 1);
91 for (i
= 0; i
< len
; i
++)
92 max_operand_1 (XVECEXP (insn
, 1, i
));
97 /* Print out a wrapper macro for a function which corrects the number
98 of arguments it takes. Any missing arguments are assumed to be at
101 gen_macro (const char *name
, int real
, int expect
)
110 /* #define GEN_CALL(A, B, C, D) gen_call((A), (B)) */
111 fputs ("#define GEN_", stdout
);
112 for (i
= 0; name
[i
]; i
++)
113 putchar (TOUPPER (name
[i
]));
116 for (i
= 0; i
< expect
- 1; i
++)
117 printf ("%c, ", i
+ 'A');
118 printf ("%c) gen_%s (", i
+ 'A', name
);
120 for (i
= 0; i
< real
- 1; i
++)
121 printf ("(%c), ", i
+ 'A');
122 printf ("(%c))\n", i
+ 'A');
125 /* Print out prototype information for a generator function. If the
126 insn pattern has been elided, print out a dummy generator that
132 int num
= num_operands (insn
);
134 const char *name
= XSTR (insn
, 0);
135 int truth
= maybe_eval_c_test (XSTR (insn
, 2));
137 /* Many md files don't refer to the last two operands passed to the
138 call patterns. This means their generator functions will be two
139 arguments too short. Instead of changing every md file to touch
140 those operands, we wrap the prototypes in macros that take the
141 correct number of arguments. */
142 if (name
[0] == 'c' || name
[0] == 's')
144 if (!strcmp (name
, "call")
145 || !strcmp (name
, "call_pop")
146 || !strcmp (name
, "sibcall")
147 || !strcmp (name
, "sibcall_pop"))
148 gen_macro (name
, num
, 4);
149 else if (!strcmp (name
, "call_value")
150 || !strcmp (name
, "call_value_pop")
151 || !strcmp (name
, "sibcall_value")
152 || !strcmp (name
, "sibcall_value_pop"))
153 gen_macro (name
, num
, 5);
157 printf ("extern rtx gen_%-*s (", max_id_len
, name
);
159 printf ("static inline rtx gen_%-*s (", max_id_len
, name
);
162 fputs ("void", stdout
);
165 for (i
= 1; i
< num
; i
++)
166 fputs ("rtx, ", stdout
);
168 fputs ("rtx", stdout
);
173 /* Some back ends want to take the address of generator functions,
174 so we cannot simply use #define for these dummy definitions. */
177 printf ("static inline rtx\ngen_%s", name
);
181 for (i
= 0; i
< num
-1; i
++)
182 printf ("%c, ", 'a' + i
);
183 printf ("%c)\n", 'a' + i
);
184 for (i
= 0; i
< num
; i
++)
185 printf (" rtx %c ATTRIBUTE_UNUSED;\n", 'a' + i
);
189 puts ("{\n return 0;\n}");
197 const char *name
= XSTR (insn
, 0);
200 int truth
= maybe_eval_c_test (XSTR (insn
, 2));
202 /* Don't mention instructions whose names are the null string
203 or begin with '*'. They are in the machine description just
205 if (name
[0] == 0 || name
[0] == '*')
210 if (len
> max_id_len
)
216 printf ("#define HAVE_%s 1\n", name
);
219 /* Write the macro definition, putting \'s at the end of each line,
221 printf ("#define HAVE_%s (", name
);
222 for (p
= XSTR (insn
, 2); *p
; p
++)
225 fputs (" \\\n", stdout
);
229 fputs (")\n", stdout
);
232 obstack_grow (&obstack
, &insn
, sizeof (rtx
));
236 main (int argc
, char **argv
)
243 progname
= "genflags";
244 obstack_init (&obstack
);
246 /* We need to see all the possibilities. Elided insns may have
247 direct calls to their generators in C code. */
251 fatal ("no input file name");
253 if (init_md_reader_args (argc
, argv
) != SUCCESS_EXIT_CODE
)
254 return (FATAL_EXIT_CODE
);
256 puts ("/* Generated automatically by the program `genflags'");
257 puts (" from the machine description file `md'. */\n");
258 puts ("#ifndef GCC_INSN_FLAGS_H");
259 puts ("#define GCC_INSN_FLAGS_H\n");
261 /* Read the machine description. */
265 int line_no
, insn_code_number
= 0;
267 desc
= read_md_rtx (&line_no
, &insn_code_number
);
270 if (GET_CODE (desc
) == DEFINE_INSN
|| GET_CODE (desc
) == DEFINE_EXPAND
)
274 /* Print out the prototypes now. */
276 obstack_grow (&obstack
, &dummy
, sizeof (rtx
));
277 insns
= (rtx
*) obstack_finish (&obstack
);
279 for (insn_ptr
= insns
; *insn_ptr
; insn_ptr
++)
280 gen_proto (*insn_ptr
);
282 puts("\n#endif /* GCC_INSN_FLAGS_H */");
284 if (ferror (stdout
) || fflush (stdout
) || fclose (stdout
))
285 return FATAL_EXIT_CODE
;
287 return SUCCESS_EXIT_CODE
;
290 /* Define this so we can link with print-rtl.o to get debug_rtx function. */
292 get_insn_name (int code ATTRIBUTE_UNUSED
)