[gcc]
[official-gcc.git] / gcc / genmodes.c
blob1170d4f5b0cd84c8b36aaa5a1e2c50bd229113b9
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 gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
980 switch (mode)\n\
981 {\n", adj_bytesize ? "" : "const ");
983 for_all_modes (c, m)
984 if (!m->need_bytesize_adj)
985 printf (" case %smode: return %u;\n", m->name, m->bytesize);
987 puts ("\
988 default: return mode_size[mode];\n\
989 }\n\
990 }\n");
993 /* Emit mode_nunits_inline routine into insn-modes.h header. */
994 static void
995 emit_mode_nunits_inline (void)
997 int c;
998 struct mode_data *m;
1000 puts ("\
1001 #ifdef __cplusplus\n\
1002 inline __attribute__((__always_inline__))\n\
1003 #else\n\
1004 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1005 #endif\n\
1006 unsigned char\n\
1007 mode_nunits_inline (machine_mode mode)\n\
1008 {\n\
1009 extern const unsigned char mode_nunits[NUM_MACHINE_MODES];\n\
1010 gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1011 switch (mode)\n\
1012 {");
1014 for_all_modes (c, m)
1015 printf (" case %smode: return %u;\n", m->name, m->ncomponents);
1017 puts ("\
1018 default: return mode_nunits[mode];\n\
1019 }\n\
1020 }\n");
1023 /* Emit mode_inner_inline routine into insn-modes.h header. */
1024 static void
1025 emit_mode_inner_inline (void)
1027 int c;
1028 struct mode_data *m;
1030 puts ("\
1031 #ifdef __cplusplus\n\
1032 inline __attribute__((__always_inline__))\n\
1033 #else\n\
1034 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1035 #endif\n\
1036 unsigned char\n\
1037 mode_inner_inline (machine_mode mode)\n\
1038 {\n\
1039 extern const unsigned char mode_inner[NUM_MACHINE_MODES];\n\
1040 gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1041 switch (mode)\n\
1042 {");
1044 for_all_modes (c, m)
1045 printf (" case %smode: return %smode;\n", m->name,
1046 c != MODE_PARTIAL_INT && m->component
1047 ? m->component->name : m->name);
1049 puts ("\
1050 default: return mode_inner[mode];\n\
1051 }\n\
1052 }\n");
1055 /* Emit mode_unit_size_inline routine into insn-modes.h header. */
1056 static void
1057 emit_mode_unit_size_inline (void)
1059 int c;
1060 struct mode_data *m;
1062 puts ("\
1063 #ifdef __cplusplus\n\
1064 inline __attribute__((__always_inline__))\n\
1065 #else\n\
1066 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1067 #endif\n\
1068 unsigned char\n\
1069 mode_unit_size_inline (machine_mode mode)\n\
1070 {\n\
1071 extern CONST_MODE_UNIT_SIZE unsigned char mode_unit_size[NUM_MACHINE_MODES];\
1073 gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1074 switch (mode)\n\
1075 {");
1077 for_all_modes (c, m)
1079 const char *name = m->name;
1080 struct mode_data *m2 = m;
1081 if (c != MODE_PARTIAL_INT && m2->component)
1082 m2 = m2->component;
1083 if (!m2->need_bytesize_adj)
1084 printf (" case %smode: return %u;\n", name, m2->bytesize);
1087 puts ("\
1088 default: return mode_unit_size[mode];\n\
1089 }\n\
1090 }\n");
1093 /* Emit mode_unit_precision_inline routine into insn-modes.h header. */
1094 static void
1095 emit_mode_unit_precision_inline (void)
1097 int c;
1098 struct mode_data *m;
1100 puts ("\
1101 #ifdef __cplusplus\n\
1102 inline __attribute__((__always_inline__))\n\
1103 #else\n\
1104 extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1105 #endif\n\
1106 unsigned short\n\
1107 mode_unit_precision_inline (machine_mode mode)\n\
1108 {\n\
1109 extern const unsigned short mode_unit_precision[NUM_MACHINE_MODES];\n\
1110 gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1111 switch (mode)\n\
1112 {");
1114 for_all_modes (c, m)
1116 struct mode_data *m2
1117 = (c != MODE_PARTIAL_INT && m->component) ? m->component : m;
1118 if (m2->precision != (unsigned int)-1)
1119 printf (" case %smode: return %u;\n", m->name, m2->precision);
1120 else
1121 printf (" case %smode: return %u*BITS_PER_UNIT;\n",
1122 m->name, m2->bytesize);
1125 puts ("\
1126 default: return mode_unit_precision[mode];\n\
1127 }\n\
1128 }\n");
1131 static void
1132 emit_insn_modes_h (void)
1134 int c;
1135 struct mode_data *m, *first, *last;
1136 int n_int_n_ents = 0;
1138 printf ("/* Generated automatically from machmode.def%s%s\n",
1139 HAVE_EXTRA_MODES ? " and " : "",
1140 EXTRA_MODES_FILE);
1142 puts ("\
1143 by genmodes. */\n\
1145 #ifndef GCC_INSN_MODES_H\n\
1146 #define GCC_INSN_MODES_H\n\
1148 enum machine_mode\n{");
1150 for (c = 0; c < MAX_MODE_CLASS; c++)
1151 for (m = modes[c]; m; m = m->next)
1153 int count_ = printf (" %smode,", m->name);
1154 printf ("%*s/* %s:%d */\n", 27 - count_, "",
1155 trim_filename (m->file), m->line);
1156 printf ("#define HAVE_%smode\n", m->name);
1159 puts (" MAX_MACHINE_MODE,\n");
1161 for (c = 0; c < MAX_MODE_CLASS; c++)
1163 first = modes[c];
1164 last = 0;
1165 for (m = first; m; last = m, m = m->next)
1168 /* Don't use BImode for MIN_MODE_INT, since otherwise the middle
1169 end will try to use it for bitfields in structures and the
1170 like, which we do not want. Only the target md file should
1171 generate BImode widgets. */
1172 if (first && first->precision == 1 && c == MODE_INT)
1173 first = first->next;
1175 if (first && last)
1176 printf (" MIN_%s = %smode,\n MAX_%s = %smode,\n\n",
1177 mode_class_names[c], first->name,
1178 mode_class_names[c], last->name);
1179 else
1180 printf (" MIN_%s = %smode,\n MAX_%s = %smode,\n\n",
1181 mode_class_names[c], void_mode->name,
1182 mode_class_names[c], void_mode->name);
1185 puts ("\
1186 NUM_MACHINE_MODES = MAX_MACHINE_MODE\n\
1187 };\n");
1189 /* I can't think of a better idea, can you? */
1190 printf ("#define CONST_MODE_SIZE%s\n", adj_bytesize ? "" : " const");
1191 printf ("#define CONST_MODE_UNIT_SIZE%s\n", adj_bytesize ? "" : " const");
1192 printf ("#define CONST_MODE_BASE_ALIGN%s\n", adj_alignment ? "" : " const");
1193 #if 0 /* disabled for backward compatibility, temporary */
1194 printf ("#define CONST_REAL_FORMAT_FOR_MODE%s\n", adj_format ? "" :" const");
1195 #endif
1196 printf ("#define CONST_MODE_IBIT%s\n", adj_ibit ? "" : " const");
1197 printf ("#define CONST_MODE_FBIT%s\n", adj_fbit ? "" : " const");
1198 emit_max_int ();
1200 for_all_modes (c, m)
1201 if (m->int_n)
1202 n_int_n_ents ++;
1204 printf ("#define NUM_INT_N_ENTS %d\n", n_int_n_ents);
1206 puts ("\n#if !defined (USED_FOR_TARGET) && GCC_VERSION >= 4001\n");
1207 emit_mode_size_inline ();
1208 emit_mode_nunits_inline ();
1209 emit_mode_inner_inline ();
1210 emit_mode_unit_size_inline ();
1211 emit_mode_unit_precision_inline ();
1212 puts ("#endif /* GCC_VERSION >= 4001 */");
1214 puts ("\
1216 #endif /* insn-modes.h */");
1219 static void
1220 emit_insn_modes_c_header (void)
1222 printf ("/* Generated automatically from machmode.def%s%s\n",
1223 HAVE_EXTRA_MODES ? " and " : "",
1224 EXTRA_MODES_FILE);
1226 puts ("\
1227 by genmodes. */\n\
1229 #include \"config.h\"\n\
1230 #include \"system.h\"\n\
1231 #include \"coretypes.h\"\n\
1232 #include \"tm.h\"\n\
1233 #include \"machmode.h\"\n\
1234 #include \"real.h\"");
1237 static void
1238 emit_min_insn_modes_c_header (void)
1240 printf ("/* Generated automatically from machmode.def%s%s\n",
1241 HAVE_EXTRA_MODES ? " and " : "",
1242 EXTRA_MODES_FILE);
1244 puts ("\
1245 by genmodes. */\n\
1247 #include \"bconfig.h\"\n\
1248 #include \"system.h\"\n\
1249 #include \"machmode.h\"");
1252 static void
1253 emit_mode_name (void)
1255 int c;
1256 struct mode_data *m;
1258 print_decl ("char *const", "mode_name", "NUM_MACHINE_MODES");
1260 for_all_modes (c, m)
1261 printf (" \"%s\",\n", m->name);
1263 print_closer ();
1266 static void
1267 emit_mode_class (void)
1269 int c;
1270 struct mode_data *m;
1272 print_decl ("unsigned char", "mode_class", "NUM_MACHINE_MODES");
1274 for_all_modes (c, m)
1275 tagged_printf ("%s", mode_class_names[m->cl], m->name);
1277 print_closer ();
1280 static void
1281 emit_mode_precision (void)
1283 int c;
1284 struct mode_data *m;
1286 print_decl ("unsigned short", "mode_precision", "NUM_MACHINE_MODES");
1288 for_all_modes (c, m)
1289 if (m->precision != (unsigned int)-1)
1290 tagged_printf ("%u", m->precision, m->name);
1291 else
1292 tagged_printf ("%u*BITS_PER_UNIT", m->bytesize, m->name);
1294 print_closer ();
1297 static void
1298 emit_mode_size (void)
1300 int c;
1301 struct mode_data *m;
1303 print_maybe_const_decl ("%sunsigned char", "mode_size",
1304 "NUM_MACHINE_MODES", bytesize);
1306 for_all_modes (c, m)
1307 tagged_printf ("%u", m->bytesize, m->name);
1309 print_closer ();
1312 static void
1313 emit_mode_nunits (void)
1315 int c;
1316 struct mode_data *m;
1318 print_decl ("unsigned char", "mode_nunits", "NUM_MACHINE_MODES");
1320 for_all_modes (c, m)
1321 tagged_printf ("%u", m->ncomponents, m->name);
1323 print_closer ();
1326 static void
1327 emit_mode_wider (void)
1329 int c;
1330 struct mode_data *m;
1332 print_decl ("unsigned char", "mode_wider", "NUM_MACHINE_MODES");
1334 for_all_modes (c, m)
1335 tagged_printf ("%smode",
1336 m->wider ? m->wider->name : void_mode->name,
1337 m->name);
1339 print_closer ();
1340 print_decl ("unsigned char", "mode_2xwider", "NUM_MACHINE_MODES");
1342 for_all_modes (c, m)
1344 struct mode_data * m2;
1346 for (m2 = m;
1347 m2 && m2 != void_mode;
1348 m2 = m2->wider)
1350 if (m2->bytesize < 2 * m->bytesize)
1351 continue;
1352 if (m->precision != (unsigned int) -1)
1354 if (m2->precision != 2 * m->precision)
1355 continue;
1357 else
1359 if (m2->precision != (unsigned int) -1)
1360 continue;
1363 /* For vectors we want twice the number of components,
1364 with the same element type. */
1365 if (m->cl == MODE_VECTOR_INT
1366 || m->cl == MODE_VECTOR_FLOAT
1367 || m->cl == MODE_VECTOR_FRACT
1368 || m->cl == MODE_VECTOR_UFRACT
1369 || m->cl == MODE_VECTOR_ACCUM
1370 || m->cl == MODE_VECTOR_UACCUM)
1372 if (m2->ncomponents != 2 * m->ncomponents)
1373 continue;
1374 if (m->component != m2->component)
1375 continue;
1378 break;
1380 if (m2 == void_mode)
1381 m2 = 0;
1382 tagged_printf ("%smode",
1383 m2 ? m2->name : void_mode->name,
1384 m->name);
1387 print_closer ();
1390 static void
1391 emit_mode_complex (void)
1393 int c;
1394 struct mode_data *m;
1396 print_decl ("unsigned char", "mode_complex", "NUM_MACHINE_MODES");
1398 for_all_modes (c, m)
1399 tagged_printf ("%smode",
1400 m->complex ? m->complex->name : void_mode->name,
1401 m->name);
1403 print_closer ();
1406 static void
1407 emit_mode_mask (void)
1409 int c;
1410 struct mode_data *m;
1412 print_decl ("unsigned HOST_WIDE_INT", "mode_mask_array",
1413 "NUM_MACHINE_MODES");
1414 puts ("\
1415 #define MODE_MASK(m) \\\n\
1416 ((m) >= HOST_BITS_PER_WIDE_INT) \\\n\
1417 ? HOST_WIDE_INT_M1U \\\n\
1418 : (HOST_WIDE_INT_1U << (m)) - 1\n");
1420 for_all_modes (c, m)
1421 if (m->precision != (unsigned int)-1)
1422 tagged_printf ("MODE_MASK (%u)", m->precision, m->name);
1423 else
1424 tagged_printf ("MODE_MASK (%u*BITS_PER_UNIT)", m->bytesize, m->name);
1426 puts ("#undef MODE_MASK");
1427 print_closer ();
1430 static void
1431 emit_mode_inner (void)
1433 int c;
1434 struct mode_data *m;
1436 print_decl ("unsigned char", "mode_inner", "NUM_MACHINE_MODES");
1438 for_all_modes (c, m)
1439 tagged_printf ("%smode",
1440 c != MODE_PARTIAL_INT && m->component
1441 ? m->component->name : m->name,
1442 m->name);
1444 print_closer ();
1447 /* Emit mode_unit_size array into insn-modes.c file. */
1448 static void
1449 emit_mode_unit_size (void)
1451 int c;
1452 struct mode_data *m;
1454 print_maybe_const_decl ("%sunsigned char", "mode_unit_size",
1455 "NUM_MACHINE_MODES", bytesize);
1457 for_all_modes (c, m)
1458 tagged_printf ("%u",
1459 c != MODE_PARTIAL_INT && m->component
1460 ? m->component->bytesize : m->bytesize, m->name);
1462 print_closer ();
1465 /* Emit mode_unit_precision array into insn-modes.c file. */
1466 static void
1467 emit_mode_unit_precision (void)
1469 int c;
1470 struct mode_data *m;
1472 print_decl ("unsigned short", "mode_unit_precision", "NUM_MACHINE_MODES");
1474 for_all_modes (c, m)
1476 struct mode_data *m2 = (c != MODE_PARTIAL_INT && m->component) ?
1477 m->component : m;
1478 if (m2->precision != (unsigned int)-1)
1479 tagged_printf ("%u", m2->precision, m->name);
1480 else
1481 tagged_printf ("%u*BITS_PER_UNIT", m2->bytesize, m->name);
1484 print_closer ();
1488 static void
1489 emit_mode_base_align (void)
1491 int c;
1492 struct mode_data *m;
1494 print_maybe_const_decl ("%sunsigned char",
1495 "mode_base_align", "NUM_MACHINE_MODES",
1496 alignment);
1498 for_all_modes (c, m)
1499 tagged_printf ("%u", m->alignment, m->name);
1501 print_closer ();
1504 static void
1505 emit_class_narrowest_mode (void)
1507 int c;
1509 print_decl ("unsigned char", "class_narrowest_mode", "MAX_MODE_CLASS");
1511 for (c = 0; c < MAX_MODE_CLASS; c++)
1512 /* Bleah, all this to get the comment right for MIN_MODE_INT. */
1513 tagged_printf ("MIN_%s", mode_class_names[c],
1514 modes[c]
1515 ? ((c != MODE_INT || modes[c]->precision != 1)
1516 ? modes[c]->name
1517 : (modes[c]->next
1518 ? modes[c]->next->name
1519 : void_mode->name))
1520 : void_mode->name);
1522 print_closer ();
1525 static void
1526 emit_real_format_for_mode (void)
1528 struct mode_data *m;
1530 /* The entities pointed to by this table are constant, whether
1531 or not the table itself is constant.
1533 For backward compatibility this table is always writable
1534 (several targets modify it in TARGET_OPTION_OVERRIDE). FIXME:
1535 convert all said targets to use ADJUST_FORMAT instead. */
1536 #if 0
1537 print_maybe_const_decl ("const struct real_format *%s",
1538 "real_format_for_mode",
1539 "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1",
1540 format);
1541 #else
1542 print_decl ("struct real_format *\n", "real_format_for_mode",
1543 "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1 "
1544 "+ MAX_MODE_DECIMAL_FLOAT - MIN_MODE_DECIMAL_FLOAT + 1");
1545 #endif
1547 /* The beginning of the table is entries for float modes. */
1548 for (m = modes[MODE_FLOAT]; m; m = m->next)
1549 if (!strcmp (m->format, "0"))
1550 tagged_printf ("%s", m->format, m->name);
1551 else
1552 tagged_printf ("&%s", m->format, m->name);
1554 /* The end of the table is entries for decimal float modes. */
1555 for (m = modes[MODE_DECIMAL_FLOAT]; m; m = m->next)
1556 if (!strcmp (m->format, "0"))
1557 tagged_printf ("%s", m->format, m->name);
1558 else
1559 tagged_printf ("&%s", m->format, m->name);
1561 print_closer ();
1564 static void
1565 emit_mode_adjustments (void)
1567 struct mode_adjust *a;
1568 struct mode_data *m;
1570 puts ("\
1571 \nvoid\
1572 \ninit_adjust_machine_modes (void)\
1573 \n{\
1574 \n size_t s ATTRIBUTE_UNUSED;");
1576 /* Size adjustments must be propagated to all containing modes.
1577 A size adjustment forces us to recalculate the alignment too. */
1578 for (a = adj_bytesize; a; a = a->next)
1580 printf ("\n /* %s:%d */\n s = %s;\n",
1581 a->file, a->line, a->adjustment);
1582 printf (" mode_size[%smode] = s;\n", a->mode->name);
1583 printf (" mode_unit_size[%smode] = s;\n", a->mode->name);
1584 printf (" mode_base_align[%smode] = s & (~s + 1);\n",
1585 a->mode->name);
1587 for (m = a->mode->contained; m; m = m->next_cont)
1589 switch (m->cl)
1591 case MODE_COMPLEX_INT:
1592 case MODE_COMPLEX_FLOAT:
1593 printf (" mode_size[%smode] = 2*s;\n", m->name);
1594 printf (" mode_unit_size[%smode] = s;\n", m->name);
1595 printf (" mode_base_align[%smode] = s & (~s + 1);\n",
1596 m->name);
1597 break;
1599 case MODE_VECTOR_INT:
1600 case MODE_VECTOR_FLOAT:
1601 case MODE_VECTOR_FRACT:
1602 case MODE_VECTOR_UFRACT:
1603 case MODE_VECTOR_ACCUM:
1604 case MODE_VECTOR_UACCUM:
1605 printf (" mode_size[%smode] = %d*s;\n",
1606 m->name, m->ncomponents);
1607 printf (" mode_unit_size[%smode] = s;\n", m->name);
1608 printf (" mode_base_align[%smode] = (%d*s) & (~(%d*s)+1);\n",
1609 m->name, m->ncomponents, m->ncomponents);
1610 break;
1612 default:
1613 internal_error (
1614 "mode %s is neither vector nor complex but contains %s",
1615 m->name, a->mode->name);
1616 /* NOTREACHED */
1621 /* Alignment adjustments propagate too.
1622 ??? This may not be the right thing for vector modes. */
1623 for (a = adj_alignment; a; a = a->next)
1625 printf ("\n /* %s:%d */\n s = %s;\n",
1626 a->file, a->line, a->adjustment);
1627 printf (" mode_base_align[%smode] = s;\n", a->mode->name);
1629 for (m = a->mode->contained; m; m = m->next_cont)
1631 switch (m->cl)
1633 case MODE_COMPLEX_INT:
1634 case MODE_COMPLEX_FLOAT:
1635 printf (" mode_base_align[%smode] = s;\n", m->name);
1636 break;
1638 case MODE_VECTOR_INT:
1639 case MODE_VECTOR_FLOAT:
1640 case MODE_VECTOR_FRACT:
1641 case MODE_VECTOR_UFRACT:
1642 case MODE_VECTOR_ACCUM:
1643 case MODE_VECTOR_UACCUM:
1644 printf (" mode_base_align[%smode] = %d*s;\n",
1645 m->name, m->ncomponents);
1646 break;
1648 default:
1649 internal_error (
1650 "mode %s is neither vector nor complex but contains %s",
1651 m->name, a->mode->name);
1652 /* NOTREACHED */
1657 /* Ibit adjustments don't have to propagate. */
1658 for (a = adj_ibit; a; a = a->next)
1660 printf ("\n /* %s:%d */\n s = %s;\n",
1661 a->file, a->line, a->adjustment);
1662 printf (" mode_ibit[%smode] = s;\n", a->mode->name);
1665 /* Fbit adjustments don't have to propagate. */
1666 for (a = adj_fbit; a; a = a->next)
1668 printf ("\n /* %s:%d */\n s = %s;\n",
1669 a->file, a->line, a->adjustment);
1670 printf (" mode_fbit[%smode] = s;\n", a->mode->name);
1673 /* Real mode formats don't have to propagate anywhere. */
1674 for (a = adj_format; a; a = a->next)
1675 printf ("\n /* %s:%d */\n REAL_MODE_FORMAT (%smode) = %s;\n",
1676 a->file, a->line, a->mode->name, a->adjustment);
1678 puts ("}");
1681 /* Emit ibit for all modes. */
1683 static void
1684 emit_mode_ibit (void)
1686 int c;
1687 struct mode_data *m;
1689 print_maybe_const_decl ("%sunsigned char",
1690 "mode_ibit", "NUM_MACHINE_MODES",
1691 ibit);
1693 for_all_modes (c, m)
1694 tagged_printf ("%u", m->ibit, m->name);
1696 print_closer ();
1699 /* Emit fbit for all modes. */
1701 static void
1702 emit_mode_fbit (void)
1704 int c;
1705 struct mode_data *m;
1707 print_maybe_const_decl ("%sunsigned char",
1708 "mode_fbit", "NUM_MACHINE_MODES",
1709 fbit);
1711 for_all_modes (c, m)
1712 tagged_printf ("%u", m->fbit, m->name);
1714 print_closer ();
1717 /* Emit __intN for all modes. */
1719 static void
1720 emit_mode_int_n (void)
1722 int c;
1723 struct mode_data *m;
1724 struct mode_data **mode_sort;
1725 int n_modes = 0;
1726 int i, j;
1728 print_decl ("int_n_data_t", "int_n_data", "");
1730 n_modes = 0;
1731 for_all_modes (c, m)
1732 if (m->int_n)
1733 n_modes ++;
1734 mode_sort = XALLOCAVEC (struct mode_data *, n_modes);
1736 n_modes = 0;
1737 for_all_modes (c, m)
1738 if (m->int_n)
1739 mode_sort[n_modes++] = m;
1741 /* Yes, this is a bubblesort, but there are at most four (and
1742 usually only 1-2) entries to sort. */
1743 for (i = 0; i<n_modes - 1; i++)
1744 for (j = i + 1; j < n_modes; j++)
1745 if (mode_sort[i]->int_n > mode_sort[j]->int_n)
1746 std::swap (mode_sort[i], mode_sort[j]);
1748 for (i = 0; i < n_modes; i ++)
1750 m = mode_sort[i];
1751 printf(" {\n");
1752 tagged_printf ("%u", m->int_n, m->name);
1753 printf ("%smode,", m->name);
1754 printf(" },\n");
1757 print_closer ();
1761 static void
1762 emit_insn_modes_c (void)
1764 emit_insn_modes_c_header ();
1765 emit_mode_name ();
1766 emit_mode_class ();
1767 emit_mode_precision ();
1768 emit_mode_size ();
1769 emit_mode_nunits ();
1770 emit_mode_wider ();
1771 emit_mode_complex ();
1772 emit_mode_mask ();
1773 emit_mode_inner ();
1774 emit_mode_unit_size ();
1775 emit_mode_unit_precision ();
1776 emit_mode_base_align ();
1777 emit_class_narrowest_mode ();
1778 emit_real_format_for_mode ();
1779 emit_mode_adjustments ();
1780 emit_mode_ibit ();
1781 emit_mode_fbit ();
1782 emit_mode_int_n ();
1785 static void
1786 emit_min_insn_modes_c (void)
1788 emit_min_insn_modes_c_header ();
1789 emit_mode_name ();
1790 emit_mode_class ();
1791 emit_mode_wider ();
1792 emit_class_narrowest_mode ();
1795 /* Master control. */
1797 main (int argc, char **argv)
1799 bool gen_header = false, gen_min = false;
1800 progname = argv[0];
1802 if (argc == 1)
1804 else if (argc == 2 && !strcmp (argv[1], "-h"))
1805 gen_header = true;
1806 else if (argc == 2 && !strcmp (argv[1], "-m"))
1807 gen_min = true;
1808 else
1810 error ("usage: %s [-h|-m] > file", progname);
1811 return FATAL_EXIT_CODE;
1814 modes_by_name = htab_create_alloc (64, hash_mode, eq_mode, 0, xcalloc, free);
1816 create_modes ();
1817 complete_all_modes ();
1819 if (have_error)
1820 return FATAL_EXIT_CODE;
1822 calc_wider_mode ();
1824 if (gen_header)
1825 emit_insn_modes_h ();
1826 else if (gen_min)
1827 emit_min_insn_modes_c ();
1828 else
1829 emit_insn_modes_c ();
1831 if (fflush (stdout) || fclose (stdout))
1832 return FATAL_EXIT_CODE;
1833 return SUCCESS_EXIT_CODE;