1 /* Generate attribute information (insn-attr.h) from machine description.
2 Copyright (C) 1991, 1994, 1996, 1998, 1999, 2000, 2003, 2004
3 Free Software Foundation, Inc.
4 Contributed by Richard Kenner (kenner@vlsi1.ultra.nyu.edu)
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 2, 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 COPYING. If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
26 #include "coretypes.h"
30 #include "gensupport.h"
33 /* A range of values. */
41 /* Record information about each function unit mentioned in a
42 DEFINE_FUNCTION_UNIT. */
46 char *name
; /* Function unit name. */
47 struct function_unit
*next
; /* Next function unit. */
48 int multiplicity
; /* Number of units of this type. */
49 int simultaneity
; /* Maximum number of simultaneous insns
50 on this function unit or 0 if unlimited. */
51 struct range ready_cost
; /* Range of ready cost values. */
52 struct range issue_delay
; /* Range of issue delay values. */
55 static void extend_range (struct range
*, int, int);
56 static void init_range (struct range
*);
57 static void write_upcase (const char *);
58 static void gen_attr (rtx
);
59 static void write_units (int, struct range
*, struct range
*,
60 struct range
*, struct range
*,
63 extend_range (struct range
*range
, int min
, int max
)
65 if (range
->min
> min
) range
->min
= min
;
66 if (range
->max
< max
) range
->max
= max
;
70 init_range (struct range
*range
)
77 write_upcase (const char *str
)
80 putchar (TOUPPER(*str
));
87 int is_const
= GET_CODE (XEXP (attr
, 2)) == CONST
;
89 printf ("#define HAVE_ATTR_%s\n", XSTR (attr
, 0));
91 /* If numeric attribute, don't need to write an enum. */
94 printf ("extern int get_attr_%s (%s);\n", XSTR (attr
, 0),
95 (is_const
? "void" : "rtx"));
98 printf ("enum attr_%s {", XSTR (attr
, 0));
100 while ((tag
= scan_comma_elt (&p
)) != 0)
102 write_upcase (XSTR (attr
, 0));
105 putchar (TOUPPER (*tag
++));
107 fputs (", ", stdout
);
110 fputs ("};\n", stdout
);
111 printf ("extern enum attr_%s get_attr_%s (%s);\n\n",
112 XSTR (attr
, 0), XSTR (attr
, 0), (is_const
? "void" : "rtx"));
115 /* If `length' attribute, write additional function definitions and define
116 variables used by `insn_current_length'. */
117 if (! strcmp (XSTR (attr
, 0), "length"))
120 extern void shorten_branches (rtx);\n\
121 extern int insn_default_length (rtx);\n\
122 extern int insn_variable_length_p (rtx);\n\
123 extern int insn_current_length (rtx);\n\n\
124 #include \"insn-addr.h\"\n");
129 write_units (int num_units
, struct range
*multiplicity
, struct range
*simultaneity
,
130 struct range
*ready_cost
, struct range
*issue_delay
,
131 struct range
*blockage
)
135 printf ("#define INSN_SCHEDULING\n\n");
136 printf ("extern int result_ready_cost (rtx);\n");
137 printf ("extern int function_units_used (rtx);\n\n");
138 printf ("extern const struct function_unit_desc\n");
140 printf (" const char *const name;\n");
141 printf (" const int bitmask;\n");
142 printf (" const int multiplicity;\n");
143 printf (" const int simultaneity;\n");
144 printf (" const int default_cost;\n");
145 printf (" const int max_issue_delay;\n");
146 printf (" int (*const ready_cost_function) (rtx);\n");
147 printf (" int (*const conflict_cost_function) (rtx, rtx);\n");
148 printf (" const int max_blockage;\n");
149 printf (" unsigned int (*const blockage_range_function) (rtx);\n");
150 printf (" int (*const blockage_function) (rtx, rtx);\n");
151 printf ("} function_units[];\n\n");
152 printf ("#define FUNCTION_UNITS_SIZE %d\n", num_units
);
153 printf ("#define MIN_MULTIPLICITY %d\n", multiplicity
->min
);
154 printf ("#define MAX_MULTIPLICITY %d\n", multiplicity
->max
);
155 printf ("#define MIN_SIMULTANEITY %d\n", simultaneity
->min
);
156 printf ("#define MAX_SIMULTANEITY %d\n", simultaneity
->max
);
157 printf ("#define MIN_READY_COST %d\n", ready_cost
->min
);
158 printf ("#define MAX_READY_COST %d\n", ready_cost
->max
);
159 printf ("#define MIN_ISSUE_DELAY %d\n", issue_delay
->min
);
160 printf ("#define MAX_ISSUE_DELAY %d\n", issue_delay
->max
);
161 printf ("#define MIN_BLOCKAGE %d\n", blockage
->min
);
162 printf ("#define MAX_BLOCKAGE %d\n", blockage
->max
);
163 for (i
= 0; (1 << i
) < blockage
->max
; i
++)
165 printf ("#define BLOCKAGE_BITS %d\n", i
+ 1);
167 /* INSN_QUEUE_SIZE is a power of two larger than MAX_BLOCKAGE and
168 MAX_READY_COST. This is the longest time an insn may be queued. */
169 i
= MAX (blockage
->max
, ready_cost
->max
);
170 for (q_size
= 1; q_size
<= i
; q_size
<<= 1)
172 printf ("#define INSN_QUEUE_SIZE %d\n", q_size
);
176 main (int argc
, char **argv
)
180 int have_annul_true
= 0;
181 int have_annul_false
= 0;
182 int num_insn_reservations
= 0;
184 struct range all_simultaneity
, all_multiplicity
;
185 struct range all_ready_cost
, all_issue_delay
, all_blockage
;
186 struct function_unit
*units
= 0, *unit
;
189 init_range (&all_multiplicity
);
190 init_range (&all_simultaneity
);
191 init_range (&all_ready_cost
);
192 init_range (&all_issue_delay
);
193 init_range (&all_blockage
);
195 progname
= "genattr";
198 fatal ("no input file name");
200 if (init_md_reader_args (argc
, argv
) != SUCCESS_EXIT_CODE
)
201 return (FATAL_EXIT_CODE
);
203 puts ("/* Generated automatically by the program `genattr'");
204 puts (" from the machine description file `md'. */\n");
205 puts ("#ifndef GCC_INSN_ATTR_H");
206 puts ("#define GCC_INSN_ATTR_H\n");
208 /* For compatibility, define the attribute `alternative', which is just
209 a reference to the variable `which_alternative'. */
211 puts ("#define HAVE_ATTR_alternative");
212 puts ("#define get_attr_alternative(insn) which_alternative");
214 /* Read the machine description. */
218 int line_no
, insn_code_number
;
220 desc
= read_md_rtx (&line_no
, &insn_code_number
);
224 if (GET_CODE (desc
) == DEFINE_ATTR
)
227 else if (GET_CODE (desc
) == DEFINE_DELAY
)
231 printf ("#define DELAY_SLOTS\n");
232 printf ("extern int num_delay_slots (rtx);\n");
233 printf ("extern int eligible_for_delay (rtx, int, rtx, int);\n\n");
234 printf ("extern int const_num_delay_slots (rtx);\n\n");
238 for (i
= 0; i
< XVECLEN (desc
, 1); i
+= 3)
240 if (XVECEXP (desc
, 1, i
+ 1) && ! have_annul_true
)
242 printf ("#define ANNUL_IFTRUE_SLOTS\n");
243 printf ("extern int eligible_for_annul_true (rtx, int, rtx, int);\n");
247 if (XVECEXP (desc
, 1, i
+ 2) && ! have_annul_false
)
249 printf ("#define ANNUL_IFFALSE_SLOTS\n");
250 printf ("extern int eligible_for_annul_false (rtx, int, rtx, int);\n");
251 have_annul_false
= 1;
256 else if (GET_CODE (desc
) == DEFINE_FUNCTION_UNIT
)
258 const char *name
= XSTR (desc
, 0);
259 int multiplicity
= XINT (desc
, 1);
260 int simultaneity
= XINT (desc
, 2);
261 int ready_cost
= MAX (XINT (desc
, 4), 1);
262 int issue_delay
= MAX (XINT (desc
, 5), 1);
263 int issueexp_p
= (XVEC (desc
, 6) != 0);
265 for (unit
= units
; unit
; unit
= unit
->next
)
266 if (strcmp (unit
->name
, name
) == 0)
271 unit
= xmalloc (sizeof (struct function_unit
));
272 unit
->name
= xstrdup (name
);
273 unit
->multiplicity
= multiplicity
;
274 unit
->simultaneity
= simultaneity
;
275 unit
->ready_cost
.min
= unit
->ready_cost
.max
= ready_cost
;
276 unit
->issue_delay
.min
= unit
->issue_delay
.max
= issue_delay
;
281 extend_range (&all_multiplicity
, multiplicity
, multiplicity
);
282 extend_range (&all_simultaneity
, simultaneity
, simultaneity
);
284 else if (unit
->multiplicity
!= multiplicity
285 || unit
->simultaneity
!= simultaneity
)
286 fatal ("Differing specifications given for `%s' function unit",
289 extend_range (&unit
->ready_cost
, ready_cost
, ready_cost
);
290 extend_range (&unit
->issue_delay
,
291 issueexp_p
? 1 : issue_delay
, issue_delay
);
292 extend_range (&all_ready_cost
,
293 unit
->ready_cost
.min
, unit
->ready_cost
.max
);
294 extend_range (&all_issue_delay
,
295 unit
->issue_delay
.min
, unit
->issue_delay
.max
);
297 else if (GET_CODE (desc
) == DEFINE_INSN_RESERVATION
)
298 num_insn_reservations
++;
301 if (num_units
> 0 || num_insn_reservations
> 0)
303 /* Compute the range of blockage cost values. See genattrtab.c
304 for the derivation. BLOCKAGE (E,C) when SIMULTANEITY is zero is
306 MAX (ISSUE-DELAY (E,C),
307 READY-COST (E) - (READY-COST (C) - 1))
311 MAX (ISSUE-DELAY (E,C),
312 READY-COST (E) - (READY-COST (C) - 1),
313 READY-COST (E) - FILL-TIME) */
315 for (unit
= units
; unit
; unit
= unit
->next
)
317 struct range blockage
;
319 blockage
= unit
->issue_delay
;
320 blockage
.max
= MAX (unit
->ready_cost
.max
321 - (unit
->ready_cost
.min
- 1),
323 blockage
.min
= MAX (1, blockage
.min
);
325 if (unit
->simultaneity
!= 0)
327 int fill_time
= ((unit
->simultaneity
- 1)
328 * unit
->issue_delay
.min
);
329 blockage
.min
= MAX (unit
->ready_cost
.min
- fill_time
,
331 blockage
.max
= MAX (unit
->ready_cost
.max
- fill_time
,
334 extend_range (&all_blockage
, blockage
.min
, blockage
.max
);
337 write_units (num_units
, &all_multiplicity
, &all_simultaneity
,
338 &all_ready_cost
, &all_issue_delay
, &all_blockage
);
340 /* Output interface for pipeline hazards recognition based on
341 DFA (deterministic finite state automata. */
342 printf ("\n/* DFA based pipeline interface. */");
343 printf ("\n#ifndef AUTOMATON_ALTS\n");
344 printf ("#define AUTOMATON_ALTS 0\n");
345 printf ("#endif\n\n");
346 printf ("\n#ifndef AUTOMATON_STATE_ALTS\n");
347 printf ("#define AUTOMATON_STATE_ALTS 0\n");
348 printf ("#endif\n\n");
349 printf ("#ifndef CPU_UNITS_QUERY\n");
350 printf ("#define CPU_UNITS_QUERY 0\n");
351 printf ("#endif\n\n");
352 /* Interface itself: */
353 printf ("extern int max_dfa_issue_rate;\n\n");
354 printf ("/* The following macro value is calculated from the\n");
355 printf (" automaton based pipeline description and is equal to\n");
356 printf (" maximal number of all insns described in constructions\n");
357 printf (" `define_insn_reservation' which can be issued on the\n");
358 printf (" same processor cycle. */\n");
359 printf ("#define MAX_DFA_ISSUE_RATE max_dfa_issue_rate\n\n");
360 printf ("/* Insn latency time defined in define_insn_reservation. */\n");
361 printf ("extern int insn_default_latency (rtx);\n\n");
362 printf ("/* Return nonzero if there is a bypass for given insn\n");
363 printf (" which is a data producer. */\n");
364 printf ("extern int bypass_p (rtx);\n\n");
365 printf ("/* Insn latency time on data consumed by the 2nd insn.\n");
366 printf (" Use the function if bypass_p returns nonzero for\n");
367 printf (" the 1st insn. */\n");
368 printf ("extern int insn_latency (rtx, rtx);\n\n");
369 printf ("\n#if AUTOMATON_ALTS\n");
370 printf ("/* The following function returns number of alternative\n");
371 printf (" reservations of given insn. It may be used for better\n");
372 printf (" insns scheduling heuristics. */\n");
373 printf ("extern int insn_alts (rtx);\n\n");
374 printf ("#endif\n\n");
375 printf ("/* Maximal possible number of insns waiting results being\n");
376 printf (" produced by insns whose execution is not finished. */\n");
377 printf ("extern int max_insn_queue_index;\n\n");
378 printf ("/* Pointer to data describing current state of DFA. */\n");
379 printf ("typedef void *state_t;\n\n");
380 printf ("/* Size of the data in bytes. */\n");
381 printf ("extern int state_size (void);\n\n");
382 printf ("/* Initiate given DFA state, i.e. Set up the state\n");
383 printf (" as all functional units were not reserved. */\n");
384 printf ("extern void state_reset (state_t);\n");
385 printf ("/* The following function returns negative value if given\n");
386 printf (" insn can be issued in processor state described by given\n");
387 printf (" DFA state. In this case, the DFA state is changed to\n");
388 printf (" reflect the current and future reservations by given\n");
389 printf (" insn. Otherwise the function returns minimal time\n");
390 printf (" delay to issue the insn. This delay may be zero\n");
391 printf (" for superscalar or VLIW processors. If the second\n");
392 printf (" parameter is NULL the function changes given DFA state\n");
393 printf (" as new processor cycle started. */\n");
394 printf ("extern int state_transition (state_t, rtx);\n");
395 printf ("\n#if AUTOMATON_STATE_ALTS\n");
396 printf ("/* The following function returns number of possible\n");
397 printf (" alternative reservations of given insn in given\n");
398 printf (" DFA state. It may be used for better insns scheduling\n");
399 printf (" heuristics. By default the function is defined if\n");
400 printf (" macro AUTOMATON_STATE_ALTS is defined because its\n");
401 printf (" implementation may require much memory. */\n");
402 printf ("extern int state_alts (state_t, rtx);\n");
403 printf ("#endif\n\n");
404 printf ("extern int min_issue_delay (state_t, rtx);\n");
405 printf ("/* The following function returns nonzero if no one insn\n");
406 printf (" can be issued in current DFA state. */\n");
407 printf ("extern int state_dead_lock_p (state_t);\n");
408 printf ("/* The function returns minimal delay of issue of the 2nd\n");
409 printf (" insn after issuing the 1st insn in given DFA state.\n");
410 printf (" The 1st insn should be issued in given state (i.e.\n");
411 printf (" state_transition should return negative value for\n");
412 printf (" the insn and the state). Data dependencies between\n");
413 printf (" the insns are ignored by the function. */\n");
415 ("extern int min_insn_conflict_delay (state_t, rtx, rtx);\n");
416 printf ("/* The following function outputs reservations for given\n");
417 printf (" insn as they are described in the corresponding\n");
418 printf (" define_insn_reservation. */\n");
419 printf ("extern void print_reservation (FILE *, rtx);\n");
420 printf ("\n#if CPU_UNITS_QUERY\n");
421 printf ("/* The following function returns code of functional unit\n");
422 printf (" with given name (see define_cpu_unit). */\n");
423 printf ("extern int get_cpu_unit_code (const char *);\n");
424 printf ("/* The following function returns nonzero if functional\n");
425 printf (" unit with given code is currently reserved in given\n");
426 printf (" DFA state. */\n");
427 printf ("extern int cpu_unit_reservation_p (state_t, int);\n");
428 printf ("#endif\n\n");
429 printf ("/* Clean insn code cache. It should be called if there\n");
430 printf (" is a chance that condition value in a\n");
431 printf (" define_insn_reservation will be changed after\n");
432 printf (" last call of dfa_start. */\n");
433 printf ("extern void dfa_clean_insn_cache (void);\n\n");
434 printf ("/* Initiate and finish work with DFA. They should be\n");
435 printf (" called as the first and the last interface\n");
436 printf (" functions. */\n");
437 printf ("extern void dfa_start (void);\n");
438 printf ("extern void dfa_finish (void);\n");
442 /* Otherwise we do no scheduling, but we need these typedefs
443 in order to avoid uglifying other code with more ifdefs. */
444 printf ("typedef void *state_t;\n\n");
447 /* Output flag masks for use by reorg.
449 Flags are used to hold branch direction and prediction information
450 for use by eligible_for_... */
451 printf("\n#define ATTR_FLAG_forward\t0x1\n");
452 printf("#define ATTR_FLAG_backward\t0x2\n");
453 printf("#define ATTR_FLAG_likely\t0x4\n");
454 printf("#define ATTR_FLAG_very_likely\t0x8\n");
455 printf("#define ATTR_FLAG_unlikely\t0x10\n");
456 printf("#define ATTR_FLAG_very_unlikely\t0x20\n");
458 puts("\n#endif /* GCC_INSN_ATTR_H */");
460 if (ferror (stdout
) || fflush (stdout
) || fclose (stdout
))
461 return FATAL_EXIT_CODE
;
463 return SUCCESS_EXIT_CODE
;
466 /* Define this so we can link with print-rtl.o to get debug_rtx function. */
468 get_insn_name (int code ATTRIBUTE_UNUSED
)