1 /* Generate from machine description:
2 - some flags HAVE_... saying which simple standard instructions are
3 available for this machine.
4 Copyright (C) 1987-2014 Free Software Foundation, Inc.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 3, or (at your option) any later
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING3. If not see
20 <http://www.gnu.org/licenses/>. */
25 #include "coretypes.h"
31 #include "gensupport.h"
33 /* Obstack to remember insns with. */
34 static struct obstack obstack
;
36 /* Max size of names encountered. */
37 static int max_id_len
;
39 /* Max operand encountered in a scan over some insn. */
42 static void max_operand_1 (rtx
);
43 static int num_operands (rtx
);
44 static void gen_proto (rtx
);
45 static void gen_macro (const char *, int, int);
46 static void gen_insn (int, rtx
);
48 /* Count the number of match_operand's found. */
63 if (code
== MATCH_OPERAND
|| code
== MATCH_OPERATOR
64 || code
== MATCH_PARALLEL
)
65 max_opno
= MAX (max_opno
, XINT (x
, 0));
67 fmt
= GET_RTX_FORMAT (code
);
68 len
= GET_RTX_LENGTH (code
);
69 for (i
= 0; i
< len
; i
++)
71 if (fmt
[i
] == 'e' || fmt
[i
] == 'u')
72 max_operand_1 (XEXP (x
, i
));
73 else if (fmt
[i
] == 'E')
76 for (j
= 0; j
< XVECLEN (x
, i
); j
++)
77 max_operand_1 (XVECEXP (x
, i
, j
));
83 num_operands (rtx insn
)
85 int len
= XVECLEN (insn
, 1);
90 for (i
= 0; i
< len
; i
++)
91 max_operand_1 (XVECEXP (insn
, 1, i
));
96 /* Print out a wrapper macro for a function which corrects the number
97 of arguments it takes. Any missing arguments are assumed to be at
100 gen_macro (const char *name
, int real
, int expect
)
104 gcc_assert (real
<= expect
);
107 /* #define GEN_CALL(A, B, C, D) gen_call((A), (B)) */
108 fputs ("#define GEN_", stdout
);
109 for (i
= 0; name
[i
]; i
++)
110 putchar (TOUPPER (name
[i
]));
113 for (i
= 0; i
< expect
- 1; i
++)
114 printf ("%c, ", i
+ 'A');
115 printf ("%c) gen_%s (", i
+ 'A', name
);
117 for (i
= 0; i
< real
- 1; i
++)
118 printf ("(%c), ", i
+ 'A');
119 printf ("(%c))\n", i
+ 'A');
122 /* Print out prototype information for a generator function. If the
123 insn pattern has been elided, print out a dummy generator that
129 int num
= num_operands (insn
);
131 const char *name
= XSTR (insn
, 0);
132 int truth
= maybe_eval_c_test (XSTR (insn
, 2));
134 /* Many md files don't refer to the last two operands passed to the
135 call patterns. This means their generator functions will be two
136 arguments too short. Instead of changing every md file to touch
137 those operands, we wrap the prototypes in macros that take the
138 correct number of arguments. */
139 if (name
[0] == 'c' || name
[0] == 's')
141 if (!strcmp (name
, "call")
142 || !strcmp (name
, "call_pop")
143 || !strcmp (name
, "sibcall")
144 || !strcmp (name
, "sibcall_pop"))
145 gen_macro (name
, num
, 4);
146 else if (!strcmp (name
, "call_value")
147 || !strcmp (name
, "call_value_pop")
148 || !strcmp (name
, "sibcall_value")
149 || !strcmp (name
, "sibcall_value_pop"))
150 gen_macro (name
, num
, 5);
154 printf ("extern rtx gen_%-*s (", max_id_len
, name
);
156 printf ("static inline rtx gen_%-*s (", max_id_len
, name
);
159 fputs ("void", stdout
);
162 for (i
= 1; i
< num
; i
++)
163 fputs ("rtx, ", stdout
);
165 fputs ("rtx", stdout
);
170 /* Some back ends want to take the address of generator functions,
171 so we cannot simply use #define for these dummy definitions. */
174 printf ("static inline rtx\ngen_%s", name
);
178 for (i
= 0; i
< num
-1; i
++)
179 printf ("rtx ARG_UNUSED (%c), ", 'a' + i
);
180 printf ("rtx ARG_UNUSED (%c))\n", 'a' + i
);
184 puts ("{\n return 0;\n}");
190 gen_insn (int line_no
, rtx insn
)
192 const char *name
= XSTR (insn
, 0);
196 int truth
= maybe_eval_c_test (XSTR (insn
, 2));
198 lt
= strchr (name
, '<');
199 if (lt
&& strchr (lt
+ 1, '>'))
201 message_with_line (line_no
, "unresolved iterator");
206 gt
= strchr (name
, '>');
209 message_with_line (line_no
,
210 "unmatched angle brackets, likely "
211 "an error in iterator syntax");
216 /* Don't mention instructions whose names are the null string
217 or begin with '*'. They are in the machine description just
219 if (name
[0] == 0 || name
[0] == '*')
224 if (len
> max_id_len
)
230 printf ("#define HAVE_%s 1\n", name
);
233 /* Write the macro definition, putting \'s at the end of each line,
235 printf ("#define HAVE_%s (", name
);
236 for (p
= XSTR (insn
, 2); *p
; p
++)
239 fputs (" \\\n", stdout
);
243 fputs (")\n", stdout
);
246 obstack_grow (&obstack
, &insn
, sizeof (rtx
));
250 main (int argc
, char **argv
)
257 progname
= "genflags";
258 obstack_init (&obstack
);
260 /* We need to see all the possibilities. Elided insns may have
261 direct calls to their generators in C code. */
264 if (!init_rtx_reader_args (argc
, argv
))
265 return (FATAL_EXIT_CODE
);
267 puts ("/* Generated automatically by the program `genflags'");
268 puts (" from the machine description file `md'. */\n");
269 puts ("#ifndef GCC_INSN_FLAGS_H");
270 puts ("#define GCC_INSN_FLAGS_H\n");
272 /* Read the machine description. */
276 int line_no
, insn_code_number
= 0;
278 desc
= read_md_rtx (&line_no
, &insn_code_number
);
281 if (GET_CODE (desc
) == DEFINE_INSN
|| GET_CODE (desc
) == DEFINE_EXPAND
)
282 gen_insn (line_no
, desc
);
285 /* Print out the prototypes now. */
287 obstack_grow (&obstack
, &dummy
, sizeof (rtx
));
288 insns
= XOBFINISH (&obstack
, rtx
*);
290 for (insn_ptr
= insns
; *insn_ptr
; insn_ptr
++)
291 gen_proto (*insn_ptr
);
293 puts ("\n#endif /* GCC_INSN_FLAGS_H */");
295 if (have_error
|| ferror (stdout
) || fflush (stdout
) || fclose (stdout
))
296 return FATAL_EXIT_CODE
;
298 return SUCCESS_EXIT_CODE
;