Remove assert in get_def_bb_for_const
[official-gcc.git] / gcc / genmodes.c
blob788031b7fff961503a1d0f051a3f4ff8c61d0565
1 /* Generate the machine mode enumeration and associated tables.
2 Copyright (C) 2003-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #include "bconfig.h"
21 #include "system.h"
22 #include "errors.h"
24 /* enum mode_class is normally defined by machmode.h but we can't
25 include that header here. */
26 #include "mode-classes.def"
28 #define DEF_MODE_CLASS(M) M
29 enum mode_class { MODE_CLASSES, MAX_MODE_CLASS };
30 #undef DEF_MODE_CLASS
32 /* Text names of mode classes, for output. */
33 #define DEF_MODE_CLASS(M) #M
34 static const char *const mode_class_names[MAX_MODE_CLASS] =
36 MODE_CLASSES
38 #undef DEF_MODE_CLASS
39 #undef MODE_CLASSES
41 #ifdef EXTRA_MODES_FILE
42 # define HAVE_EXTRA_MODES 1
43 #else
44 # define HAVE_EXTRA_MODES 0
45 # define EXTRA_MODES_FILE ""
46 #endif
48 /* Data structure for building up what we know about a mode.
49 They're clustered by mode class. */
50 struct mode_data
52 struct mode_data *next; /* next this class - arbitrary order */
54 const char *name; /* printable mode name -- SI, not SImode */
55 enum mode_class cl; /* this mode class */
56 unsigned int precision; /* size in bits, equiv to TYPE_PRECISION */
57 unsigned int bytesize; /* storage size in addressable units */
58 unsigned int ncomponents; /* number of subunits */
59 unsigned int alignment; /* mode alignment */
60 const char *format; /* floating point format - float modes only */
62 struct mode_data *component; /* mode of components */
63 struct mode_data *wider; /* next wider mode */
65 struct mode_data *contained; /* Pointer to list of modes that have
66 this mode as a component. */
67 struct mode_data *next_cont; /* Next mode in that list. */
69 struct mode_data *complex; /* complex type with mode as component. */
70 const char *file; /* file and line of definition, */
71 unsigned int line; /* for error reporting */
72 unsigned int counter; /* Rank ordering of modes */
73 unsigned int ibit; /* the number of integral bits */
74 unsigned int fbit; /* the number of fractional bits */
75 bool need_bytesize_adj; /* true if this mode need dynamic size
76 adjustment */
77 unsigned int int_n; /* If nonzero, then __int<INT_N> will be defined */
80 static struct mode_data *modes[MAX_MODE_CLASS];
81 static unsigned int n_modes[MAX_MODE_CLASS];
82 static struct mode_data *void_mode;
84 static const struct mode_data blank_mode = {
85 0, "<unknown>", MAX_MODE_CLASS,
86 -1U, -1U, -1U, -1U,
87 0, 0, 0, 0, 0, 0,
88 "<unknown>", 0, 0, 0, 0, false, 0
91 static htab_t modes_by_name;
93 /* Data structure for recording target-specified runtime adjustments
94 to a particular mode. We support varying the byte size, the
95 alignment, and the floating point format. */
96 struct mode_adjust
98 struct mode_adjust *next;
99 struct mode_data *mode;
100 const char *adjustment;
102 const char *file;
103 unsigned int line;
106 static struct mode_adjust *adj_bytesize;
107 static struct mode_adjust *adj_alignment;
108 static struct mode_adjust *adj_format;
109 static struct mode_adjust *adj_ibit;
110 static struct mode_adjust *adj_fbit;
112 /* Mode class operations. */
113 static enum mode_class
114 complex_class (enum mode_class c)
116 switch (c)
118 case MODE_INT: return MODE_COMPLEX_INT;
119 case MODE_FLOAT: return MODE_COMPLEX_FLOAT;
120 default:
121 error ("no complex class for class %s", mode_class_names[c]);
122 return MODE_RANDOM;
126 static enum mode_class
127 vector_class (enum mode_class cl)
129 switch (cl)
131 case MODE_INT: return MODE_VECTOR_INT;
132 case MODE_FLOAT: return MODE_VECTOR_FLOAT;
133 case MODE_FRACT: return MODE_VECTOR_FRACT;
134 case MODE_UFRACT: return MODE_VECTOR_UFRACT;
135 case MODE_ACCUM: return MODE_VECTOR_ACCUM;
136 case MODE_UACCUM: return MODE_VECTOR_UACCUM;
137 default:
138 error ("no vector class for class %s", mode_class_names[cl]);
139 return MODE_RANDOM;
143 /* Utility routines. */
144 static inline struct mode_data *
145 find_mode (const char *name)
147 struct mode_data key;
149 key.name = name;
150 return (struct mode_data *) htab_find (modes_by_name, &key);
153 static struct mode_data *
154 new_mode (enum mode_class cl, const char *name,
155 const char *file, unsigned int line)
157 struct mode_data *m;
158 static unsigned int count = 0;
160 m = find_mode (name);
161 if (m)
163 error ("%s:%d: duplicate definition of mode \"%s\"",
164 trim_filename (file), line, name);
165 error ("%s:%d: previous definition here", m->file, m->line);
166 return m;
169 m = XNEW (struct mode_data);
170 memcpy (m, &blank_mode, sizeof (struct mode_data));
171 m->cl = cl;
172 m->name = name;
173 if (file)
174 m->file = trim_filename (file);
175 m->line = line;
176 m->counter = count++;
178 m->next = modes[cl];
179 modes[cl] = m;
180 n_modes[cl]++;
182 *htab_find_slot (modes_by_name, m, INSERT) = m;
184 return m;
187 static hashval_t
188 hash_mode (const void *p)
190 const struct mode_data *m = (const struct mode_data *)p;
191 return htab_hash_string (m->name);
194 static int
195 eq_mode (const void *p, const void *q)
197 const struct mode_data *a = (const struct mode_data *)p;
198 const struct mode_data *b = (const struct mode_data *)q;
200 return !strcmp (a->name, b->name);
203 #define for_all_modes(C, M) \
204 for (C = 0; C < MAX_MODE_CLASS; C++) \
205 for (M = modes[C]; M; M = M->next)
207 static void ATTRIBUTE_UNUSED
208 new_adjust (const char *name,
209 struct mode_adjust **category, const char *catname,
210 const char *adjustment,
211 enum mode_class required_class_from,
212 enum mode_class required_class_to,
213 const char *file, unsigned int line)
215 struct mode_data *mode = find_mode (name);
216 struct mode_adjust *a;
218 file = trim_filename (file);
220 if (!mode)
222 error ("%s:%d: no mode \"%s\"", file, line, name);
223 return;
226 if (required_class_from != MODE_RANDOM
227 && (mode->cl < required_class_from || mode->cl > required_class_to))
229 error ("%s:%d: mode \"%s\" is not among class {%s, %s}",
230 file, line, name, mode_class_names[required_class_from] + 5,
231 mode_class_names[required_class_to] + 5);
232 return;
235 for (a = *category; a; a = a->next)
236 if (a->mode == mode)
238 error ("%s:%d: mode \"%s\" already has a %s adjustment",
239 file, line, name, catname);
240 error ("%s:%d: previous adjustment here", a->file, a->line);
241 return;
244 a = XNEW (struct mode_adjust);
245 a->mode = mode;
246 a->adjustment = adjustment;
247 a->file = file;
248 a->line = line;
250 a->next = *category;
251 *category = a;
254 /* Diagnose failure to meet expectations in a partially filled out
255 mode structure. */
256 enum requirement { SET, UNSET, OPTIONAL };
258 #define validate_field_(mname, fname, req, val, unset, file, line) do { \
259 switch (req) \
261 case SET: \
262 if (val == unset) \
263 error ("%s:%d: (%s) field %s must be set", \
264 file, line, mname, fname); \
265 break; \
266 case UNSET: \
267 if (val != unset) \
268 error ("%s:%d: (%s) field %s must not be set", \
269 file, line, mname, fname); \
270 case OPTIONAL: \
271 break; \
273 } while (0)
275 #define validate_field(M, F) \
276 validate_field_(M->name, #F, r_##F, M->F, blank_mode.F, M->file, M->line)
278 static void
279 validate_mode (struct mode_data *m,
280 enum requirement r_precision,
281 enum requirement r_bytesize,
282 enum requirement r_component,
283 enum requirement r_ncomponents,
284 enum requirement r_format)
286 validate_field (m, precision);
287 validate_field (m, bytesize);
288 validate_field (m, component);
289 validate_field (m, ncomponents);
290 validate_field (m, format);
292 #undef validate_field
293 #undef validate_field_
295 /* Given a partially-filled-out mode structure, figure out what we can
296 and fill the rest of it in; die if it isn't enough. */
297 static void
298 complete_mode (struct mode_data *m)
300 unsigned int alignment;
302 if (!m->name)
304 error ("%s:%d: mode with no name", m->file, m->line);
305 return;
307 if (m->cl == MAX_MODE_CLASS)
309 error ("%s:%d: %smode has no mode class", m->file, m->line, m->name);
310 return;
313 switch (m->cl)
315 case MODE_RANDOM:
316 /* Nothing more need be said. */
317 if (!strcmp (m->name, "VOID"))
318 void_mode = m;
320 validate_mode (m, UNSET, UNSET, UNSET, UNSET, UNSET);
322 m->precision = 0;
323 m->bytesize = 0;
324 m->ncomponents = 0;
325 m->component = 0;
326 break;
328 case MODE_CC:
329 /* Again, nothing more need be said. For historical reasons,
330 the size of a CC mode is four units. */
331 validate_mode (m, UNSET, UNSET, UNSET, UNSET, UNSET);
333 m->bytesize = 4;
334 m->ncomponents = 1;
335 m->component = 0;
336 break;
338 case MODE_INT:
339 case MODE_POINTER_BOUNDS:
340 case MODE_FLOAT:
341 case MODE_DECIMAL_FLOAT:
342 case MODE_FRACT:
343 case MODE_UFRACT:
344 case MODE_ACCUM:
345 case MODE_UACCUM:
346 /* A scalar mode must have a byte size, may have a bit size,
347 and must not have components. A float mode must have a
348 format. */
349 validate_mode (m, OPTIONAL, SET, UNSET, UNSET,
350 (m->cl == MODE_FLOAT || m->cl == MODE_DECIMAL_FLOAT)
351 ? SET : UNSET);
353 m->ncomponents = 1;
354 m->component = 0;
355 break;
357 case MODE_PARTIAL_INT:
358 /* A partial integer mode uses ->component to say what the
359 corresponding full-size integer mode is, and may also
360 specify a bit size. */
361 validate_mode (m, OPTIONAL, UNSET, SET, UNSET, UNSET);
363 m->bytesize = m->component->bytesize;
365 m->ncomponents = 1;
366 break;
368 case MODE_COMPLEX_INT:
369 case MODE_COMPLEX_FLOAT:
370 /* Complex modes should have a component indicated, but no more. */
371 validate_mode (m, UNSET, UNSET, SET, UNSET, UNSET);
372 m->ncomponents = 2;
373 if (m->component->precision != (unsigned int)-1)
374 m->precision = 2 * m->component->precision;
375 m->bytesize = 2 * m->component->bytesize;
376 break;
378 case MODE_VECTOR_INT:
379 case MODE_VECTOR_FLOAT:
380 case MODE_VECTOR_FRACT:
381 case MODE_VECTOR_UFRACT:
382 case MODE_VECTOR_ACCUM:
383 case MODE_VECTOR_UACCUM:
384 /* Vector modes should have a component and a number of components. */
385 validate_mode (m, UNSET, UNSET, SET, SET, UNSET);
386 if (m->component->precision != (unsigned int)-1)
387 m->precision = m->ncomponents * m->component->precision;
388 m->bytesize = m->ncomponents * m->component->bytesize;
389 break;
391 default:
392 gcc_unreachable ();
395 /* If not already specified, the mode alignment defaults to the largest
396 power of two that divides the size of the object. Complex types are
397 not more aligned than their contents. */
398 if (m->cl == MODE_COMPLEX_INT || m->cl == MODE_COMPLEX_FLOAT)
399 alignment = m->component->bytesize;
400 else
401 alignment = m->bytesize;
403 m->alignment = alignment & (~alignment + 1);
405 /* If this mode has components, make the component mode point back
406 to this mode, for the sake of adjustments. */
407 if (m->component)
409 m->next_cont = m->component->contained;
410 m->component->contained = m;
414 static void
415 complete_all_modes (void)
417 struct mode_data *m;
418 int cl;
420 for_all_modes (cl, m)
421 complete_mode (m);
424 /* For each mode in class CLASS, construct a corresponding complex mode. */
425 #define COMPLEX_MODES(C) make_complex_modes (MODE_##C, __FILE__, __LINE__)
426 static void
427 make_complex_modes (enum mode_class cl,
428 const char *file, unsigned int line)
430 struct mode_data *m;
431 struct mode_data *c;
432 enum mode_class cclass = complex_class (cl);
434 if (cclass == MODE_RANDOM)
435 return;
437 for (m = modes[cl]; m; m = m->next)
439 char *p, *buf;
440 size_t m_len;
442 /* Skip BImode. FIXME: BImode probably shouldn't be MODE_INT. */
443 if (m->precision == 1)
444 continue;
446 m_len = strlen (m->name);
447 /* The leading "1 +" is in case we prepend a "C" below. */
448 buf = (char *) xmalloc (1 + m_len + 1);
450 /* Float complex modes are named SCmode, etc.
451 Int complex modes are named CSImode, etc.
452 This inconsistency should be eliminated. */
453 p = 0;
454 if (cl == MODE_FLOAT)
456 memcpy (buf, m->name, m_len + 1);
457 p = strchr (buf, 'F');
458 if (p == 0 && strchr (buf, 'D') == 0)
460 error ("%s:%d: float mode \"%s\" has no 'F' or 'D'",
461 m->file, m->line, m->name);
462 free (buf);
463 continue;
466 if (p != 0)
467 *p = 'C';
468 else
470 buf[0] = 'C';
471 memcpy (buf + 1, m->name, m_len + 1);
474 c = new_mode (cclass, buf, file, line);
475 c->component = m;
476 m->complex = c;
480 /* For all modes in class CL, construct vector modes of width
481 WIDTH, having as many components as necessary. */
482 #define VECTOR_MODES(C, W) make_vector_modes (MODE_##C, W, __FILE__, __LINE__)
483 static void ATTRIBUTE_UNUSED
484 make_vector_modes (enum mode_class cl, unsigned int width,
485 const char *file, unsigned int line)
487 struct mode_data *m;
488 struct mode_data *v;
489 char buf[8];
490 unsigned int ncomponents;
491 enum mode_class vclass = vector_class (cl);
493 if (vclass == MODE_RANDOM)
494 return;
496 for (m = modes[cl]; m; m = m->next)
498 /* Do not construct vector modes with only one element, or
499 vector modes where the element size doesn't divide the full
500 size evenly. */
501 ncomponents = width / m->bytesize;
502 if (ncomponents < 2)
503 continue;
504 if (width % m->bytesize)
505 continue;
507 /* Skip QFmode and BImode. FIXME: this special case should
508 not be necessary. */
509 if (cl == MODE_FLOAT && m->bytesize == 1)
510 continue;
511 if (cl == MODE_INT && m->precision == 1)
512 continue;
514 if ((size_t)snprintf (buf, sizeof buf, "V%u%s", ncomponents, m->name)
515 >= sizeof buf)
517 error ("%s:%d: mode name \"%s\" is too long",
518 m->file, m->line, m->name);
519 continue;
522 v = new_mode (vclass, xstrdup (buf), file, line);
523 v->component = m;
524 v->ncomponents = ncomponents;
528 /* Input. */
530 #define _SPECIAL_MODE(C, N) \
531 make_special_mode (MODE_##C, #N, __FILE__, __LINE__)
532 #define RANDOM_MODE(N) _SPECIAL_MODE (RANDOM, N)
533 #define CC_MODE(N) _SPECIAL_MODE (CC, N)
535 static void
536 make_special_mode (enum mode_class cl, const char *name,
537 const char *file, unsigned int line)
539 new_mode (cl, name, file, line);
542 #define POINTER_BOUNDS_MODE(N, Y) \
543 make_pointer_bounds_mode (#N, Y, __FILE__, __LINE__)
545 static void ATTRIBUTE_UNUSED
546 make_pointer_bounds_mode (const char *name,
547 unsigned int bytesize,
548 const char *file, unsigned int line)
550 struct mode_data *m = new_mode (MODE_POINTER_BOUNDS, name, file, line);
551 m->bytesize = bytesize;
555 #define INT_MODE(N, Y) FRACTIONAL_INT_MODE (N, -1U, Y)
556 #define FRACTIONAL_INT_MODE(N, B, Y) \
557 make_int_mode (#N, B, Y, __FILE__, __LINE__)
559 static void
560 make_int_mode (const char *name,
561 unsigned int precision, unsigned int bytesize,
562 const char *file, unsigned int line)
564 struct mode_data *m = new_mode (MODE_INT, name, file, line);
565 m->bytesize = bytesize;
566 m->precision = precision;
569 #define FRACT_MODE(N, Y, F) \
570 make_fixed_point_mode (MODE_FRACT, #N, Y, 0, F, __FILE__, __LINE__)
572 #define UFRACT_MODE(N, Y, F) \
573 make_fixed_point_mode (MODE_UFRACT, #N, Y, 0, F, __FILE__, __LINE__)
575 #define ACCUM_MODE(N, Y, I, F) \
576 make_fixed_point_mode (MODE_ACCUM, #N, Y, I, F, __FILE__, __LINE__)
578 #define UACCUM_MODE(N, Y, I, F) \
579 make_fixed_point_mode (MODE_UACCUM, #N, Y, I, F, __FILE__, __LINE__)
581 /* Create a fixed-point mode by setting CL, NAME, BYTESIZE, IBIT, FBIT,
582 FILE, and LINE. */
584 static void
585 make_fixed_point_mode (enum mode_class cl,
586 const char *name,
587 unsigned int bytesize,
588 unsigned int ibit,
589 unsigned int fbit,
590 const char *file, unsigned int line)
592 struct mode_data *m = new_mode (cl, name, file, line);
593 m->bytesize = bytesize;
594 m->ibit = ibit;
595 m->fbit = fbit;
598 #define FLOAT_MODE(N, Y, F) FRACTIONAL_FLOAT_MODE (N, -1U, Y, F)
599 #define FRACTIONAL_FLOAT_MODE(N, B, Y, F) \
600 make_float_mode (#N, B, Y, #F, __FILE__, __LINE__)
602 static void
603 make_float_mode (const char *name,
604 unsigned int precision, unsigned int bytesize,
605 const char *format,
606 const char *file, unsigned int line)
608 struct mode_data *m = new_mode (MODE_FLOAT, name, file, line);
609 m->bytesize = bytesize;
610 m->precision = precision;
611 m->format = format;
614 #define DECIMAL_FLOAT_MODE(N, Y, F) \
615 FRACTIONAL_DECIMAL_FLOAT_MODE (N, -1U, Y, F)
616 #define FRACTIONAL_DECIMAL_FLOAT_MODE(N, B, Y, F) \
617 make_decimal_float_mode (#N, B, Y, #F, __FILE__, __LINE__)
619 static void
620 make_decimal_float_mode (const char *name,
621 unsigned int precision, unsigned int bytesize,
622 const char *format,
623 const char *file, unsigned int line)
625 struct mode_data *m = new_mode (MODE_DECIMAL_FLOAT, name, file, line);
626 m->bytesize = bytesize;
627 m->precision = precision;
628 m->format = format;
631 #define RESET_FLOAT_FORMAT(N, F) \
632 reset_float_format (#N, #F, __FILE__, __LINE__)
633 static void ATTRIBUTE_UNUSED
634 reset_float_format (const char *name, const char *format,
635 const char *file, unsigned int line)
637 struct mode_data *m = find_mode (name);
638 if (!m)
640 error ("%s:%d: no mode \"%s\"", file, line, name);
641 return;
643 if (m->cl != MODE_FLOAT && m->cl != MODE_DECIMAL_FLOAT)
645 error ("%s:%d: mode \"%s\" is not a FLOAT class", file, line, name);
646 return;
648 m->format = format;
651 /* __intN support. */
652 #define INT_N(M,PREC) \
653 make_int_n (#M, PREC, __FILE__, __LINE__)
654 static void ATTRIBUTE_UNUSED
655 make_int_n (const char *m, int bitsize,
656 const char *file, unsigned int line)
658 struct mode_data *component = find_mode (m);
659 if (!component)
661 error ("%s:%d: no mode \"%s\"", file, line, m);
662 return;
664 if (component->cl != MODE_INT
665 && component->cl != MODE_PARTIAL_INT)
667 error ("%s:%d: mode \"%s\" is not class INT or PARTIAL_INT", file, line, m);
668 return;
670 if (component->int_n != 0)
672 error ("%s:%d: mode \"%s\" already has an intN", file, line, m);
673 return;
676 component->int_n = bitsize;
679 /* Partial integer modes are specified by relation to a full integer
680 mode. */
681 #define PARTIAL_INT_MODE(M,PREC,NAME) \
682 make_partial_integer_mode (#M, #NAME, PREC, __FILE__, __LINE__)
683 static void ATTRIBUTE_UNUSED
684 make_partial_integer_mode (const char *base, const char *name,
685 unsigned int precision,
686 const char *file, unsigned int line)
688 struct mode_data *m;
689 struct mode_data *component = find_mode (base);
690 if (!component)
692 error ("%s:%d: no mode \"%s\"", file, line, name);
693 return;
695 if (component->cl != MODE_INT)
697 error ("%s:%d: mode \"%s\" is not class INT", file, line, name);
698 return;
701 m = new_mode (MODE_PARTIAL_INT, name, file, line);
702 m->precision = precision;
703 m->component = component;
706 /* A single vector mode can be specified by naming its component
707 mode and the number of components. */
708 #define VECTOR_MODE(C, M, N) \
709 make_vector_mode (MODE_##C, #M, N, __FILE__, __LINE__);
710 static void ATTRIBUTE_UNUSED
711 make_vector_mode (enum mode_class bclass,
712 const char *base,
713 unsigned int ncomponents,
714 const char *file, unsigned int line)
716 struct mode_data *v;
717 enum mode_class vclass = vector_class (bclass);
718 struct mode_data *component = find_mode (base);
719 char namebuf[16];
721 if (vclass == MODE_RANDOM)
722 return;
723 if (component == 0)
725 error ("%s:%d: no mode \"%s\"", file, line, base);
726 return;
728 if (component->cl != bclass
729 && (component->cl != MODE_PARTIAL_INT
730 || bclass != MODE_INT))
732 error ("%s:%d: mode \"%s\" is not class %s",
733 file, line, base, mode_class_names[bclass] + 5);
734 return;
737 if ((size_t)snprintf (namebuf, sizeof namebuf, "V%u%s",
738 ncomponents, base) >= sizeof namebuf)
740 error ("%s:%d: mode name \"%s\" is too long",
741 file, line, base);
742 return;
745 v = new_mode (vclass, xstrdup (namebuf), file, line);
746 v->ncomponents = ncomponents;
747 v->component = component;
750 /* Adjustability. */
751 #define _ADD_ADJUST(A, M, X, C1, C2) \
752 new_adjust (#M, &adj_##A, #A, #X, MODE_##C1, MODE_##C2, __FILE__, __LINE__)
754 #define ADJUST_BYTESIZE(M, X) _ADD_ADJUST (bytesize, M, X, RANDOM, RANDOM)
755 #define ADJUST_ALIGNMENT(M, X) _ADD_ADJUST (alignment, M, X, RANDOM, RANDOM)
756 #define ADJUST_FLOAT_FORMAT(M, X) _ADD_ADJUST (format, M, X, FLOAT, FLOAT)
757 #define ADJUST_IBIT(M, X) _ADD_ADJUST (ibit, M, X, ACCUM, UACCUM)
758 #define ADJUST_FBIT(M, X) _ADD_ADJUST (fbit, M, X, FRACT, UACCUM)
760 static int bits_per_unit;
761 static int max_bitsize_mode_any_int;
763 static void
764 create_modes (void)
766 #include "machmode.def"
768 /* So put the default value unless the target needs a non standard
769 value. */
770 #ifdef BITS_PER_UNIT
771 bits_per_unit = BITS_PER_UNIT;
772 #else
773 bits_per_unit = 8;
774 #endif
776 #ifdef MAX_BITSIZE_MODE_ANY_INT
777 max_bitsize_mode_any_int = MAX_BITSIZE_MODE_ANY_INT;
778 #else
779 max_bitsize_mode_any_int = 0;
780 #endif
783 /* Processing. */
785 /* Sort a list of modes into the order needed for the WIDER field:
786 major sort by precision, minor sort by component precision.
788 For instance:
789 QI < HI < SI < DI < TI
790 V4QI < V2HI < V8QI < V4HI < V2SI.
792 If the precision is not set, sort by the bytesize. A mode with
793 precision set gets sorted before a mode without precision set, if
794 they have the same bytesize; this is the right thing because
795 the precision must always be smaller than the bytesize * BITS_PER_UNIT.
796 We don't have to do anything special to get this done -- an unset
797 precision shows up as (unsigned int)-1, i.e. UINT_MAX. */
798 static int
799 cmp_modes (const void *a, const void *b)
801 const struct mode_data *const m = *(const struct mode_data *const*)a;
802 const struct mode_data *const n = *(const struct mode_data *const*)b;
804 if (m->bytesize > n->bytesize)
805 return 1;
806 else if (m->bytesize < n->bytesize)
807 return -1;
809 if (m->precision > n->precision)
810 return 1;
811 else if (m->precision < n->precision)
812 return -1;
814 if (!m->component && !n->component)
816 if (m->counter < n->counter)
817 return -1;
818 else
819 return 1;
822 if (m->component->bytesize > n->component->bytesize)
823 return 1;
824 else if (m->component->bytesize < n->component->bytesize)
825 return -1;
827 if (m->component->precision > n->component->precision)
828 return 1;
829 else if (m->component->precision < n->component->precision)
830 return -1;
832 if (m->counter < n->counter)
833 return -1;
834 else
835 return 1;
838 static void
839 calc_wider_mode (void)
841 int c;
842 struct mode_data *m;
843 struct mode_data **sortbuf;
844 unsigned int max_n_modes = 0;
845 unsigned int i, j;
847 for (c = 0; c < MAX_MODE_CLASS; c++)
848 max_n_modes = MAX (max_n_modes, n_modes[c]);
850 /* Allocate max_n_modes + 1 entries to leave room for the extra null
851 pointer assigned after the qsort call below. */
852 sortbuf = XALLOCAVEC (struct mode_data *, max_n_modes + 1);
854 for (c = 0; c < MAX_MODE_CLASS; c++)
856 /* "wider" is not meaningful for MODE_RANDOM and MODE_CC.
857 However, we want these in textual order, and we have
858 precisely the reverse. */
859 if (c == MODE_RANDOM || c == MODE_CC)
861 struct mode_data *prev, *next;
863 for (prev = 0, m = modes[c]; m; m = next)
865 m->wider = void_mode;
867 /* this is nreverse */
868 next = m->next;
869 m->next = prev;
870 prev = m;
872 modes[c] = prev;
874 else
876 if (!modes[c])
877 continue;
879 for (i = 0, m = modes[c]; m; i++, m = m->next)
880 sortbuf[i] = m;
882 qsort (sortbuf, i, sizeof (struct mode_data *), cmp_modes);
884 sortbuf[i] = 0;
885 for (j = 0; j < i; j++)
887 sortbuf[j]->next = sortbuf[j + 1];
888 if (c == MODE_PARTIAL_INT)
889 sortbuf[j]->wider = sortbuf[j]->component;
890 else
891 sortbuf[j]->wider = sortbuf[j]->next;
894 modes[c] = sortbuf[0];
899 /* Output routines. */
901 #define tagged_printf(FMT, ARG, TAG) do { \
902 int count_ = printf (" " FMT ",", ARG); \
903 printf ("%*s/* %s */\n", 27 - count_, "", TAG); \
904 } while (0)
906 #define print_decl(TYPE, NAME, ASIZE) \
907 puts ("\nconst " TYPE " " NAME "[" ASIZE "] =\n{");
909 #define print_maybe_const_decl(TYPE, NAME, ASIZE, CATEGORY) \
910 printf ("\n" TYPE " " NAME "[" ASIZE "] = \n{\n", \
911 adj_##CATEGORY ? "" : "const ")
913 #define print_closer() puts ("};")
915 /* Compute the max bitsize of some of the classes of integers. It may
916 be that there are needs for the other integer classes, and this
917 code is easy to extend. */
918 static void
919 emit_max_int (void)
921 unsigned int max, mmax;
922 struct mode_data *i;
923 int j;
925 puts ("");
927 printf ("#define BITS_PER_UNIT (%d)\n", bits_per_unit);
929 if (max_bitsize_mode_any_int == 0)
931 for (max = 1, i = modes[MODE_INT]; i; i = i->next)
932 if (max < i->bytesize)
933 max = i->bytesize;
934 mmax = max;
935 for (max = 1, i = modes[MODE_PARTIAL_INT]; i; i = i->next)
936 if (max < i->bytesize)
937 max = i->bytesize;
938 if (max > mmax)
939 mmax = max;
940 printf ("#define MAX_BITSIZE_MODE_ANY_INT (%d*BITS_PER_UNIT)\n", mmax);
942 else
943 printf ("#define MAX_BITSIZE_MODE_ANY_INT %d\n", max_bitsize_mode_any_int);
945 mmax = 0;
946 for (j = 0; j < MAX_MODE_CLASS; j++)
947 for (i = modes[j]; i; i = i->next)
948 if (mmax < i->bytesize)
949 mmax = i->bytesize;
950 printf ("#define MAX_BITSIZE_MODE_ANY_MODE (%d*BITS_PER_UNIT)\n", mmax);
953 /* Emit mode_size_inline routine into insn-modes.h header. */
954 static void
955 emit_mode_size_inline (void)
957 int c;
958 struct mode_adjust *a;
959 struct mode_data *m;
961 /* Size adjustments must be propagated to all containing modes. */
962 for (a = adj_bytesize; a; a = a->next)
964 a->mode->need_bytesize_adj = true;
965 for (m = a->mode->contained; m; m = m->next_cont)
966 m->need_bytesize_adj = true;
969 printf ("\
970 #ifdef __cplusplus\n\
971 inline __attribute__((__always_inline__))\n\
972 #else\n\
973 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
974 #endif\n\
975 unsigned char\n\
976 mode_size_inline (machine_mode mode)\n\
977 {\n\
978 extern %sunsigned char mode_size[NUM_MACHINE_MODES];\n\
979 switch (mode)\n\
980 {\n", adj_bytesize ? "" : "const ");
982 for_all_modes (c, m)
983 if (!m->need_bytesize_adj)
984 printf (" case %smode: return %u;\n", m->name, m->bytesize);
986 puts ("\
987 default: return mode_size[mode];\n\
988 }\n\
989 }\n");
992 /* Emit mode_nunits_inline routine into insn-modes.h header. */
993 static void
994 emit_mode_nunits_inline (void)
996 int c;
997 struct mode_data *m;
999 puts ("\
1000 #ifdef __cplusplus\n\
1001 inline __attribute__((__always_inline__))\n\
1002 #else\n\
1003 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1004 #endif\n\
1005 unsigned char\n\
1006 mode_nunits_inline (machine_mode mode)\n\
1007 {\n\
1008 extern const unsigned char mode_nunits[NUM_MACHINE_MODES];\n\
1009 switch (mode)\n\
1010 {");
1012 for_all_modes (c, m)
1013 printf (" case %smode: return %u;\n", m->name, m->ncomponents);
1015 puts ("\
1016 default: return mode_nunits[mode];\n\
1017 }\n\
1018 }\n");
1021 /* Emit mode_inner_inline routine into insn-modes.h header. */
1022 static void
1023 emit_mode_inner_inline (void)
1025 int c;
1026 struct mode_data *m;
1028 puts ("\
1029 #ifdef __cplusplus\n\
1030 inline __attribute__((__always_inline__))\n\
1031 #else\n\
1032 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1033 #endif\n\
1034 unsigned char\n\
1035 mode_inner_inline (machine_mode mode)\n\
1036 {\n\
1037 extern const unsigned char mode_inner[NUM_MACHINE_MODES];\n\
1038 switch (mode)\n\
1039 {");
1041 for_all_modes (c, m)
1042 printf (" case %smode: return %smode;\n", m->name,
1043 c != MODE_PARTIAL_INT && m->component
1044 ? m->component->name : m->name);
1046 puts ("\
1047 default: return mode_inner[mode];\n\
1048 }\n\
1049 }\n");
1052 /* Emit mode_unit_size_inline routine into insn-modes.h header. */
1053 static void
1054 emit_mode_unit_size_inline (void)
1056 int c;
1057 struct mode_data *m;
1059 puts ("\
1060 #ifdef __cplusplus\n\
1061 inline __attribute__((__always_inline__))\n\
1062 #else\n\
1063 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1064 #endif\n\
1065 unsigned char\n\
1066 mode_unit_size_inline (machine_mode mode)\n\
1067 {\n\
1068 extern CONST_MODE_UNIT_SIZE unsigned char mode_unit_size[NUM_MACHINE_MODES];\
1070 switch (mode)\n\
1071 {");
1073 for_all_modes (c, m)
1075 const char *name = m->name;
1076 struct mode_data *m2 = m;
1077 if (c != MODE_PARTIAL_INT && m2->component)
1078 m2 = m2->component;
1079 if (!m2->need_bytesize_adj)
1080 printf (" case %smode: return %u;\n", name, m2->bytesize);
1083 puts ("\
1084 default: return mode_unit_size[mode];\n\
1085 }\n\
1086 }\n");
1089 /* Emit mode_unit_precision_inline routine into insn-modes.h header. */
1090 static void
1091 emit_mode_unit_precision_inline (void)
1093 int c;
1094 struct mode_data *m;
1096 puts ("\
1097 #ifdef __cplusplus\n\
1098 inline __attribute__((__always_inline__))\n\
1099 #else\n\
1100 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1101 #endif\n\
1102 unsigned short\n\
1103 mode_unit_precision_inline (machine_mode mode)\n\
1104 {\n\
1105 extern const unsigned short mode_unit_precision[NUM_MACHINE_MODES];\n\
1106 switch (mode)\n\
1107 {");
1109 for_all_modes (c, m)
1111 struct mode_data *m2
1112 = (c != MODE_PARTIAL_INT && m->component) ? m->component : m;
1113 if (m2->precision != (unsigned int)-1)
1114 printf (" case %smode: return %u;\n", m->name, m2->precision);
1115 else
1116 printf (" case %smode: return %u*BITS_PER_UNIT;\n",
1117 m->name, m2->bytesize);
1120 puts ("\
1121 default: return mode_unit_precision[mode];\n\
1122 }\n\
1123 }\n");
1126 static void
1127 emit_insn_modes_h (void)
1129 int c;
1130 struct mode_data *m, *first, *last;
1131 int n_int_n_ents = 0;
1133 printf ("/* Generated automatically from machmode.def%s%s\n",
1134 HAVE_EXTRA_MODES ? " and " : "",
1135 EXTRA_MODES_FILE);
1137 puts ("\
1138 by genmodes. */\n\
1140 #ifndef GCC_INSN_MODES_H\n\
1141 #define GCC_INSN_MODES_H\n\
1143 enum machine_mode\n{");
1145 for (c = 0; c < MAX_MODE_CLASS; c++)
1146 for (m = modes[c]; m; m = m->next)
1148 int count_ = printf (" %smode,", m->name);
1149 printf ("%*s/* %s:%d */\n", 27 - count_, "",
1150 trim_filename (m->file), m->line);
1151 printf ("#define HAVE_%smode\n", m->name);
1154 puts (" MAX_MACHINE_MODE,\n");
1156 for (c = 0; c < MAX_MODE_CLASS; c++)
1158 first = modes[c];
1159 last = 0;
1160 for (m = first; m; last = m, m = m->next)
1163 /* Don't use BImode for MIN_MODE_INT, since otherwise the middle
1164 end will try to use it for bitfields in structures and the
1165 like, which we do not want. Only the target md file should
1166 generate BImode widgets. */
1167 if (first && first->precision == 1 && c == MODE_INT)
1168 first = first->next;
1170 if (first && last)
1171 printf (" MIN_%s = %smode,\n MAX_%s = %smode,\n\n",
1172 mode_class_names[c], first->name,
1173 mode_class_names[c], last->name);
1174 else
1175 printf (" MIN_%s = %smode,\n MAX_%s = %smode,\n\n",
1176 mode_class_names[c], void_mode->name,
1177 mode_class_names[c], void_mode->name);
1180 puts ("\
1181 NUM_MACHINE_MODES = MAX_MACHINE_MODE\n\
1182 };\n");
1184 /* I can't think of a better idea, can you? */
1185 printf ("#define CONST_MODE_SIZE%s\n", adj_bytesize ? "" : " const");
1186 printf ("#define CONST_MODE_UNIT_SIZE%s\n", adj_bytesize ? "" : " const");
1187 printf ("#define CONST_MODE_BASE_ALIGN%s\n", adj_alignment ? "" : " const");
1188 #if 0 /* disabled for backward compatibility, temporary */
1189 printf ("#define CONST_REAL_FORMAT_FOR_MODE%s\n", adj_format ? "" :" const");
1190 #endif
1191 printf ("#define CONST_MODE_IBIT%s\n", adj_ibit ? "" : " const");
1192 printf ("#define CONST_MODE_FBIT%s\n", adj_fbit ? "" : " const");
1193 emit_max_int ();
1195 for_all_modes (c, m)
1196 if (m->int_n)
1197 n_int_n_ents ++;
1199 printf ("#define NUM_INT_N_ENTS %d\n", n_int_n_ents);
1201 puts ("\n#if !defined (USED_FOR_TARGET) && GCC_VERSION >= 4001\n");
1202 emit_mode_size_inline ();
1203 emit_mode_nunits_inline ();
1204 emit_mode_inner_inline ();
1205 emit_mode_unit_size_inline ();
1206 emit_mode_unit_precision_inline ();
1207 puts ("#endif /* GCC_VERSION >= 4001 */");
1209 puts ("\
1211 #endif /* insn-modes.h */");
1214 static void
1215 emit_insn_modes_c_header (void)
1217 printf ("/* Generated automatically from machmode.def%s%s\n",
1218 HAVE_EXTRA_MODES ? " and " : "",
1219 EXTRA_MODES_FILE);
1221 puts ("\
1222 by genmodes. */\n\
1224 #include \"config.h\"\n\
1225 #include \"system.h\"\n\
1226 #include \"coretypes.h\"\n\
1227 #include \"tm.h\"\n\
1228 #include \"machmode.h\"\n\
1229 #include \"real.h\"");
1232 static void
1233 emit_min_insn_modes_c_header (void)
1235 printf ("/* Generated automatically from machmode.def%s%s\n",
1236 HAVE_EXTRA_MODES ? " and " : "",
1237 EXTRA_MODES_FILE);
1239 puts ("\
1240 by genmodes. */\n\
1242 #include \"bconfig.h\"\n\
1243 #include \"system.h\"\n\
1244 #include \"machmode.h\"");
1247 static void
1248 emit_mode_name (void)
1250 int c;
1251 struct mode_data *m;
1253 print_decl ("char *const", "mode_name", "NUM_MACHINE_MODES");
1255 for_all_modes (c, m)
1256 printf (" \"%s\",\n", m->name);
1258 print_closer ();
1261 static void
1262 emit_mode_class (void)
1264 int c;
1265 struct mode_data *m;
1267 print_decl ("unsigned char", "mode_class", "NUM_MACHINE_MODES");
1269 for_all_modes (c, m)
1270 tagged_printf ("%s", mode_class_names[m->cl], m->name);
1272 print_closer ();
1275 static void
1276 emit_mode_precision (void)
1278 int c;
1279 struct mode_data *m;
1281 print_decl ("unsigned short", "mode_precision", "NUM_MACHINE_MODES");
1283 for_all_modes (c, m)
1284 if (m->precision != (unsigned int)-1)
1285 tagged_printf ("%u", m->precision, m->name);
1286 else
1287 tagged_printf ("%u*BITS_PER_UNIT", m->bytesize, m->name);
1289 print_closer ();
1292 static void
1293 emit_mode_size (void)
1295 int c;
1296 struct mode_data *m;
1298 print_maybe_const_decl ("%sunsigned char", "mode_size",
1299 "NUM_MACHINE_MODES", bytesize);
1301 for_all_modes (c, m)
1302 tagged_printf ("%u", m->bytesize, m->name);
1304 print_closer ();
1307 static void
1308 emit_mode_nunits (void)
1310 int c;
1311 struct mode_data *m;
1313 print_decl ("unsigned char", "mode_nunits", "NUM_MACHINE_MODES");
1315 for_all_modes (c, m)
1316 tagged_printf ("%u", m->ncomponents, m->name);
1318 print_closer ();
1321 static void
1322 emit_mode_wider (void)
1324 int c;
1325 struct mode_data *m;
1327 print_decl ("unsigned char", "mode_wider", "NUM_MACHINE_MODES");
1329 for_all_modes (c, m)
1330 tagged_printf ("%smode",
1331 m->wider ? m->wider->name : void_mode->name,
1332 m->name);
1334 print_closer ();
1335 print_decl ("unsigned char", "mode_2xwider", "NUM_MACHINE_MODES");
1337 for_all_modes (c, m)
1339 struct mode_data * m2;
1341 for (m2 = m;
1342 m2 && m2 != void_mode;
1343 m2 = m2->wider)
1345 if (m2->bytesize < 2 * m->bytesize)
1346 continue;
1347 if (m->precision != (unsigned int) -1)
1349 if (m2->precision != 2 * m->precision)
1350 continue;
1352 else
1354 if (m2->precision != (unsigned int) -1)
1355 continue;
1358 /* For vectors we want twice the number of components,
1359 with the same element type. */
1360 if (m->cl == MODE_VECTOR_INT
1361 || m->cl == MODE_VECTOR_FLOAT
1362 || m->cl == MODE_VECTOR_FRACT
1363 || m->cl == MODE_VECTOR_UFRACT
1364 || m->cl == MODE_VECTOR_ACCUM
1365 || m->cl == MODE_VECTOR_UACCUM)
1367 if (m2->ncomponents != 2 * m->ncomponents)
1368 continue;
1369 if (m->component != m2->component)
1370 continue;
1373 break;
1375 if (m2 == void_mode)
1376 m2 = 0;
1377 tagged_printf ("%smode",
1378 m2 ? m2->name : void_mode->name,
1379 m->name);
1382 print_closer ();
1385 static void
1386 emit_mode_complex (void)
1388 int c;
1389 struct mode_data *m;
1391 print_decl ("unsigned char", "mode_complex", "NUM_MACHINE_MODES");
1393 for_all_modes (c, m)
1394 tagged_printf ("%smode",
1395 m->complex ? m->complex->name : void_mode->name,
1396 m->name);
1398 print_closer ();
1401 static void
1402 emit_mode_mask (void)
1404 int c;
1405 struct mode_data *m;
1407 print_decl ("unsigned HOST_WIDE_INT", "mode_mask_array",
1408 "NUM_MACHINE_MODES");
1409 puts ("\
1410 #define MODE_MASK(m) \\\n\
1411 ((m) >= HOST_BITS_PER_WIDE_INT) \\\n\
1412 ? ~(unsigned HOST_WIDE_INT) 0 \\\n\
1413 : ((unsigned HOST_WIDE_INT) 1 << (m)) - 1\n");
1415 for_all_modes (c, m)
1416 if (m->precision != (unsigned int)-1)
1417 tagged_printf ("MODE_MASK (%u)", m->precision, m->name);
1418 else
1419 tagged_printf ("MODE_MASK (%u*BITS_PER_UNIT)", m->bytesize, m->name);
1421 puts ("#undef MODE_MASK");
1422 print_closer ();
1425 static void
1426 emit_mode_inner (void)
1428 int c;
1429 struct mode_data *m;
1431 print_decl ("unsigned char", "mode_inner", "NUM_MACHINE_MODES");
1433 for_all_modes (c, m)
1434 tagged_printf ("%smode",
1435 c != MODE_PARTIAL_INT && m->component
1436 ? m->component->name : m->name,
1437 m->name);
1439 print_closer ();
1442 /* Emit mode_unit_size array into insn-modes.c file. */
1443 static void
1444 emit_mode_unit_size (void)
1446 int c;
1447 struct mode_data *m;
1449 print_maybe_const_decl ("%sunsigned char", "mode_unit_size",
1450 "NUM_MACHINE_MODES", bytesize);
1452 for_all_modes (c, m)
1453 tagged_printf ("%u",
1454 c != MODE_PARTIAL_INT && m->component
1455 ? m->component->bytesize : m->bytesize, m->name);
1457 print_closer ();
1460 /* Emit mode_unit_precision array into insn-modes.c file. */
1461 static void
1462 emit_mode_unit_precision (void)
1464 int c;
1465 struct mode_data *m;
1467 print_decl ("unsigned short", "mode_unit_precision", "NUM_MACHINE_MODES");
1469 for_all_modes (c, m)
1471 struct mode_data *m2 = (c != MODE_PARTIAL_INT && m->component) ?
1472 m->component : m;
1473 if (m2->precision != (unsigned int)-1)
1474 tagged_printf ("%u", m2->precision, m->name);
1475 else
1476 tagged_printf ("%u*BITS_PER_UNIT", m2->bytesize, m->name);
1479 print_closer ();
1483 static void
1484 emit_mode_base_align (void)
1486 int c;
1487 struct mode_data *m;
1489 print_maybe_const_decl ("%sunsigned char",
1490 "mode_base_align", "NUM_MACHINE_MODES",
1491 alignment);
1493 for_all_modes (c, m)
1494 tagged_printf ("%u", m->alignment, m->name);
1496 print_closer ();
1499 static void
1500 emit_class_narrowest_mode (void)
1502 int c;
1504 print_decl ("unsigned char", "class_narrowest_mode", "MAX_MODE_CLASS");
1506 for (c = 0; c < MAX_MODE_CLASS; c++)
1507 /* Bleah, all this to get the comment right for MIN_MODE_INT. */
1508 tagged_printf ("MIN_%s", mode_class_names[c],
1509 modes[c]
1510 ? ((c != MODE_INT || modes[c]->precision != 1)
1511 ? modes[c]->name
1512 : (modes[c]->next
1513 ? modes[c]->next->name
1514 : void_mode->name))
1515 : void_mode->name);
1517 print_closer ();
1520 static void
1521 emit_real_format_for_mode (void)
1523 struct mode_data *m;
1525 /* The entities pointed to by this table are constant, whether
1526 or not the table itself is constant.
1528 For backward compatibility this table is always writable
1529 (several targets modify it in TARGET_OPTION_OVERRIDE). FIXME:
1530 convert all said targets to use ADJUST_FORMAT instead. */
1531 #if 0
1532 print_maybe_const_decl ("const struct real_format *%s",
1533 "real_format_for_mode",
1534 "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1",
1535 format);
1536 #else
1537 print_decl ("struct real_format *\n", "real_format_for_mode",
1538 "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1 "
1539 "+ MAX_MODE_DECIMAL_FLOAT - MIN_MODE_DECIMAL_FLOAT + 1");
1540 #endif
1542 /* The beginning of the table is entries for float modes. */
1543 for (m = modes[MODE_FLOAT]; m; m = m->next)
1544 if (!strcmp (m->format, "0"))
1545 tagged_printf ("%s", m->format, m->name);
1546 else
1547 tagged_printf ("&%s", m->format, m->name);
1549 /* The end of the table is entries for decimal float modes. */
1550 for (m = modes[MODE_DECIMAL_FLOAT]; m; m = m->next)
1551 if (!strcmp (m->format, "0"))
1552 tagged_printf ("%s", m->format, m->name);
1553 else
1554 tagged_printf ("&%s", m->format, m->name);
1556 print_closer ();
1559 static void
1560 emit_mode_adjustments (void)
1562 struct mode_adjust *a;
1563 struct mode_data *m;
1565 puts ("\
1566 \nvoid\
1567 \ninit_adjust_machine_modes (void)\
1568 \n{\
1569 \n size_t s ATTRIBUTE_UNUSED;");
1571 /* Size adjustments must be propagated to all containing modes.
1572 A size adjustment forces us to recalculate the alignment too. */
1573 for (a = adj_bytesize; a; a = a->next)
1575 printf ("\n /* %s:%d */\n s = %s;\n",
1576 a->file, a->line, a->adjustment);
1577 printf (" mode_size[%smode] = s;\n", a->mode->name);
1578 printf (" mode_unit_size[%smode] = s;\n", a->mode->name);
1579 printf (" mode_base_align[%smode] = s & (~s + 1);\n",
1580 a->mode->name);
1582 for (m = a->mode->contained; m; m = m->next_cont)
1584 switch (m->cl)
1586 case MODE_COMPLEX_INT:
1587 case MODE_COMPLEX_FLOAT:
1588 printf (" mode_size[%smode] = 2*s;\n", m->name);
1589 printf (" mode_unit_size[%smode] = s;\n", m->name);
1590 printf (" mode_base_align[%smode] = s & (~s + 1);\n",
1591 m->name);
1592 break;
1594 case MODE_VECTOR_INT:
1595 case MODE_VECTOR_FLOAT:
1596 case MODE_VECTOR_FRACT:
1597 case MODE_VECTOR_UFRACT:
1598 case MODE_VECTOR_ACCUM:
1599 case MODE_VECTOR_UACCUM:
1600 printf (" mode_size[%smode] = %d*s;\n",
1601 m->name, m->ncomponents);
1602 printf (" mode_unit_size[%smode] = s;\n", m->name);
1603 printf (" mode_base_align[%smode] = (%d*s) & (~(%d*s)+1);\n",
1604 m->name, m->ncomponents, m->ncomponents);
1605 break;
1607 default:
1608 internal_error (
1609 "mode %s is neither vector nor complex but contains %s",
1610 m->name, a->mode->name);
1611 /* NOTREACHED */
1616 /* Alignment adjustments propagate too.
1617 ??? This may not be the right thing for vector modes. */
1618 for (a = adj_alignment; a; a = a->next)
1620 printf ("\n /* %s:%d */\n s = %s;\n",
1621 a->file, a->line, a->adjustment);
1622 printf (" mode_base_align[%smode] = s;\n", a->mode->name);
1624 for (m = a->mode->contained; m; m = m->next_cont)
1626 switch (m->cl)
1628 case MODE_COMPLEX_INT:
1629 case MODE_COMPLEX_FLOAT:
1630 printf (" mode_base_align[%smode] = s;\n", m->name);
1631 break;
1633 case MODE_VECTOR_INT:
1634 case MODE_VECTOR_FLOAT:
1635 case MODE_VECTOR_FRACT:
1636 case MODE_VECTOR_UFRACT:
1637 case MODE_VECTOR_ACCUM:
1638 case MODE_VECTOR_UACCUM:
1639 printf (" mode_base_align[%smode] = %d*s;\n",
1640 m->name, m->ncomponents);
1641 break;
1643 default:
1644 internal_error (
1645 "mode %s is neither vector nor complex but contains %s",
1646 m->name, a->mode->name);
1647 /* NOTREACHED */
1652 /* Ibit adjustments don't have to propagate. */
1653 for (a = adj_ibit; a; a = a->next)
1655 printf ("\n /* %s:%d */\n s = %s;\n",
1656 a->file, a->line, a->adjustment);
1657 printf (" mode_ibit[%smode] = s;\n", a->mode->name);
1660 /* Fbit adjustments don't have to propagate. */
1661 for (a = adj_fbit; a; a = a->next)
1663 printf ("\n /* %s:%d */\n s = %s;\n",
1664 a->file, a->line, a->adjustment);
1665 printf (" mode_fbit[%smode] = s;\n", a->mode->name);
1668 /* Real mode formats don't have to propagate anywhere. */
1669 for (a = adj_format; a; a = a->next)
1670 printf ("\n /* %s:%d */\n REAL_MODE_FORMAT (%smode) = %s;\n",
1671 a->file, a->line, a->mode->name, a->adjustment);
1673 puts ("}");
1676 /* Emit ibit for all modes. */
1678 static void
1679 emit_mode_ibit (void)
1681 int c;
1682 struct mode_data *m;
1684 print_maybe_const_decl ("%sunsigned char",
1685 "mode_ibit", "NUM_MACHINE_MODES",
1686 ibit);
1688 for_all_modes (c, m)
1689 tagged_printf ("%u", m->ibit, m->name);
1691 print_closer ();
1694 /* Emit fbit for all modes. */
1696 static void
1697 emit_mode_fbit (void)
1699 int c;
1700 struct mode_data *m;
1702 print_maybe_const_decl ("%sunsigned char",
1703 "mode_fbit", "NUM_MACHINE_MODES",
1704 fbit);
1706 for_all_modes (c, m)
1707 tagged_printf ("%u", m->fbit, m->name);
1709 print_closer ();
1712 /* Emit __intN for all modes. */
1714 static void
1715 emit_mode_int_n (void)
1717 int c;
1718 struct mode_data *m;
1719 struct mode_data **mode_sort;
1720 int n_modes = 0;
1721 int i, j;
1723 print_decl ("int_n_data_t", "int_n_data", "");
1725 n_modes = 0;
1726 for_all_modes (c, m)
1727 if (m->int_n)
1728 n_modes ++;
1729 mode_sort = XALLOCAVEC (struct mode_data *, n_modes);
1731 n_modes = 0;
1732 for_all_modes (c, m)
1733 if (m->int_n)
1734 mode_sort[n_modes++] = m;
1736 /* Yes, this is a bubblesort, but there are at most four (and
1737 usually only 1-2) entries to sort. */
1738 for (i = 0; i<n_modes - 1; i++)
1739 for (j = i + 1; j < n_modes; j++)
1740 if (mode_sort[i]->int_n > mode_sort[j]->int_n)
1741 std::swap (mode_sort[i], mode_sort[j]);
1743 for (i = 0; i < n_modes; i ++)
1745 m = mode_sort[i];
1746 printf(" {\n");
1747 tagged_printf ("%u", m->int_n, m->name);
1748 printf ("%smode,", m->name);
1749 printf(" },\n");
1752 print_closer ();
1756 static void
1757 emit_insn_modes_c (void)
1759 emit_insn_modes_c_header ();
1760 emit_mode_name ();
1761 emit_mode_class ();
1762 emit_mode_precision ();
1763 emit_mode_size ();
1764 emit_mode_nunits ();
1765 emit_mode_wider ();
1766 emit_mode_complex ();
1767 emit_mode_mask ();
1768 emit_mode_inner ();
1769 emit_mode_unit_size ();
1770 emit_mode_unit_precision ();
1771 emit_mode_base_align ();
1772 emit_class_narrowest_mode ();
1773 emit_real_format_for_mode ();
1774 emit_mode_adjustments ();
1775 emit_mode_ibit ();
1776 emit_mode_fbit ();
1777 emit_mode_int_n ();
1780 static void
1781 emit_min_insn_modes_c (void)
1783 emit_min_insn_modes_c_header ();
1784 emit_mode_name ();
1785 emit_mode_class ();
1786 emit_mode_wider ();
1787 emit_class_narrowest_mode ();
1790 /* Master control. */
1792 main (int argc, char **argv)
1794 bool gen_header = false, gen_min = false;
1795 progname = argv[0];
1797 if (argc == 1)
1799 else if (argc == 2 && !strcmp (argv[1], "-h"))
1800 gen_header = true;
1801 else if (argc == 2 && !strcmp (argv[1], "-m"))
1802 gen_min = true;
1803 else
1805 error ("usage: %s [-h|-m] > file", progname);
1806 return FATAL_EXIT_CODE;
1809 modes_by_name = htab_create_alloc (64, hash_mode, eq_mode, 0, xcalloc, free);
1811 create_modes ();
1812 complete_all_modes ();
1814 if (have_error)
1815 return FATAL_EXIT_CODE;
1817 calc_wider_mode ();
1819 if (gen_header)
1820 emit_insn_modes_h ();
1821 else if (gen_min)
1822 emit_min_insn_modes_c ();
1823 else
1824 emit_insn_modes_c ();
1826 if (fflush (stdout) || fclose (stdout))
1827 return FATAL_EXIT_CODE;
1828 return SUCCESS_EXIT_CODE;