xref: /dflybsd-src/contrib/gcc-8.0/gcc/genmodes.c (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj /* Generate the machine mode enumeration and associated tables.
2*38fd1498Szrj    Copyright (C) 2003-2018 Free Software Foundation, Inc.
3*38fd1498Szrj 
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj 
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it under
7*38fd1498Szrj the terms of the GNU General Public License as published by the Free
8*38fd1498Szrj Software Foundation; either version 3, or (at your option) any later
9*38fd1498Szrj version.
10*38fd1498Szrj 
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12*38fd1498Szrj WARRANTY; without even the implied warranty of MERCHANTABILITY or
13*38fd1498Szrj FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
14*38fd1498Szrj for more details.
15*38fd1498Szrj 
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3.  If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>.  */
19*38fd1498Szrj 
20*38fd1498Szrj #include "bconfig.h"
21*38fd1498Szrj #include "system.h"
22*38fd1498Szrj #include "errors.h"
23*38fd1498Szrj 
24*38fd1498Szrj /* enum mode_class is normally defined by machmode.h but we can't
25*38fd1498Szrj    include that header here.  */
26*38fd1498Szrj #include "mode-classes.def"
27*38fd1498Szrj 
28*38fd1498Szrj #define DEF_MODE_CLASS(M) M
29*38fd1498Szrj enum mode_class { MODE_CLASSES, MAX_MODE_CLASS };
30*38fd1498Szrj #undef DEF_MODE_CLASS
31*38fd1498Szrj 
32*38fd1498Szrj /* Text names of mode classes, for output.  */
33*38fd1498Szrj #define DEF_MODE_CLASS(M) #M
34*38fd1498Szrj static const char *const mode_class_names[MAX_MODE_CLASS] =
35*38fd1498Szrj {
36*38fd1498Szrj   MODE_CLASSES
37*38fd1498Szrj };
38*38fd1498Szrj #undef DEF_MODE_CLASS
39*38fd1498Szrj #undef MODE_CLASSES
40*38fd1498Szrj 
41*38fd1498Szrj #ifdef EXTRA_MODES_FILE
42*38fd1498Szrj # define HAVE_EXTRA_MODES 1
43*38fd1498Szrj #else
44*38fd1498Szrj # define HAVE_EXTRA_MODES 0
45*38fd1498Szrj # define EXTRA_MODES_FILE ""
46*38fd1498Szrj #endif
47*38fd1498Szrj 
48*38fd1498Szrj /* Data structure for building up what we know about a mode.
49*38fd1498Szrj    They're clustered by mode class.  */
50*38fd1498Szrj struct mode_data
51*38fd1498Szrj {
52*38fd1498Szrj   struct mode_data *next;	/* next this class - arbitrary order */
53*38fd1498Szrj 
54*38fd1498Szrj   const char *name;		/* printable mode name -- SI, not SImode */
55*38fd1498Szrj   enum mode_class cl;		/* this mode class */
56*38fd1498Szrj   unsigned int precision;	/* size in bits, equiv to TYPE_PRECISION */
57*38fd1498Szrj   unsigned int bytesize;	/* storage size in addressable units */
58*38fd1498Szrj   unsigned int ncomponents;	/* number of subunits */
59*38fd1498Szrj   unsigned int alignment;	/* mode alignment */
60*38fd1498Szrj   const char *format;		/* floating point format - float modes only */
61*38fd1498Szrj 
62*38fd1498Szrj   struct mode_data *component;	/* mode of components */
63*38fd1498Szrj   struct mode_data *wider;	/* next wider mode */
64*38fd1498Szrj 
65*38fd1498Szrj   struct mode_data *contained;  /* Pointer to list of modes that have
66*38fd1498Szrj 				   this mode as a component.  */
67*38fd1498Szrj   struct mode_data *next_cont;  /* Next mode in that list.  */
68*38fd1498Szrj 
69*38fd1498Szrj   struct mode_data *complex;	/* complex type with mode as component.  */
70*38fd1498Szrj   const char *file;		/* file and line of definition, */
71*38fd1498Szrj   unsigned int line;		/* for error reporting */
72*38fd1498Szrj   unsigned int counter;		/* Rank ordering of modes */
73*38fd1498Szrj   unsigned int ibit;		/* the number of integral bits */
74*38fd1498Szrj   unsigned int fbit;		/* the number of fractional bits */
75*38fd1498Szrj   bool need_nunits_adj;		/* true if this mode needs dynamic nunits
76*38fd1498Szrj 				   adjustment */
77*38fd1498Szrj   bool need_bytesize_adj;	/* true if this mode needs dynamic size
78*38fd1498Szrj 				   adjustment */
79*38fd1498Szrj   unsigned int int_n;		/* If nonzero, then __int<INT_N> will be defined */
80*38fd1498Szrj };
81*38fd1498Szrj 
82*38fd1498Szrj static struct mode_data *modes[MAX_MODE_CLASS];
83*38fd1498Szrj static unsigned int n_modes[MAX_MODE_CLASS];
84*38fd1498Szrj static struct mode_data *void_mode;
85*38fd1498Szrj 
86*38fd1498Szrj static const struct mode_data blank_mode = {
87*38fd1498Szrj   0, "<unknown>", MAX_MODE_CLASS,
88*38fd1498Szrj   -1U, -1U, -1U, -1U,
89*38fd1498Szrj   0, 0, 0, 0, 0, 0,
90*38fd1498Szrj   "<unknown>", 0, 0, 0, 0, false, false, 0
91*38fd1498Szrj };
92*38fd1498Szrj 
93*38fd1498Szrj static htab_t modes_by_name;
94*38fd1498Szrj 
95*38fd1498Szrj /* Data structure for recording target-specified runtime adjustments
96*38fd1498Szrj    to a particular mode.  We support varying the byte size, the
97*38fd1498Szrj    alignment, and the floating point format.  */
98*38fd1498Szrj struct mode_adjust
99*38fd1498Szrj {
100*38fd1498Szrj   struct mode_adjust *next;
101*38fd1498Szrj   struct mode_data *mode;
102*38fd1498Szrj   const char *adjustment;
103*38fd1498Szrj 
104*38fd1498Szrj   const char *file;
105*38fd1498Szrj   unsigned int line;
106*38fd1498Szrj };
107*38fd1498Szrj 
108*38fd1498Szrj static struct mode_adjust *adj_nunits;
109*38fd1498Szrj static struct mode_adjust *adj_bytesize;
110*38fd1498Szrj static struct mode_adjust *adj_alignment;
111*38fd1498Szrj static struct mode_adjust *adj_format;
112*38fd1498Szrj static struct mode_adjust *adj_ibit;
113*38fd1498Szrj static struct mode_adjust *adj_fbit;
114*38fd1498Szrj 
115*38fd1498Szrj /* Mode class operations.  */
116*38fd1498Szrj static enum mode_class
complex_class(enum mode_class c)117*38fd1498Szrj complex_class (enum mode_class c)
118*38fd1498Szrj {
119*38fd1498Szrj   switch (c)
120*38fd1498Szrj     {
121*38fd1498Szrj     case MODE_INT: return MODE_COMPLEX_INT;
122*38fd1498Szrj     case MODE_PARTIAL_INT: return MODE_COMPLEX_INT;
123*38fd1498Szrj     case MODE_FLOAT: return MODE_COMPLEX_FLOAT;
124*38fd1498Szrj     default:
125*38fd1498Szrj       error ("no complex class for class %s", mode_class_names[c]);
126*38fd1498Szrj       return MODE_RANDOM;
127*38fd1498Szrj     }
128*38fd1498Szrj }
129*38fd1498Szrj 
130*38fd1498Szrj static enum mode_class
vector_class(enum mode_class cl)131*38fd1498Szrj vector_class (enum mode_class cl)
132*38fd1498Szrj {
133*38fd1498Szrj   switch (cl)
134*38fd1498Szrj     {
135*38fd1498Szrj     case MODE_INT: return MODE_VECTOR_INT;
136*38fd1498Szrj     case MODE_FLOAT: return MODE_VECTOR_FLOAT;
137*38fd1498Szrj     case MODE_FRACT: return MODE_VECTOR_FRACT;
138*38fd1498Szrj     case MODE_UFRACT: return MODE_VECTOR_UFRACT;
139*38fd1498Szrj     case MODE_ACCUM: return MODE_VECTOR_ACCUM;
140*38fd1498Szrj     case MODE_UACCUM: return MODE_VECTOR_UACCUM;
141*38fd1498Szrj     default:
142*38fd1498Szrj       error ("no vector class for class %s", mode_class_names[cl]);
143*38fd1498Szrj       return MODE_RANDOM;
144*38fd1498Szrj     }
145*38fd1498Szrj }
146*38fd1498Szrj 
147*38fd1498Szrj /* Utility routines.  */
148*38fd1498Szrj static inline struct mode_data *
find_mode(const char * name)149*38fd1498Szrj find_mode (const char *name)
150*38fd1498Szrj {
151*38fd1498Szrj   struct mode_data key;
152*38fd1498Szrj 
153*38fd1498Szrj   key.name = name;
154*38fd1498Szrj   return (struct mode_data *) htab_find (modes_by_name, &key);
155*38fd1498Szrj }
156*38fd1498Szrj 
157*38fd1498Szrj static struct mode_data *
new_mode(enum mode_class cl,const char * name,const char * file,unsigned int line)158*38fd1498Szrj new_mode (enum mode_class cl, const char *name,
159*38fd1498Szrj 	  const char *file, unsigned int line)
160*38fd1498Szrj {
161*38fd1498Szrj   struct mode_data *m;
162*38fd1498Szrj   static unsigned int count = 0;
163*38fd1498Szrj 
164*38fd1498Szrj   m = find_mode (name);
165*38fd1498Szrj   if (m)
166*38fd1498Szrj     {
167*38fd1498Szrj       error ("%s:%d: duplicate definition of mode \"%s\"",
168*38fd1498Szrj 	     trim_filename (file), line, name);
169*38fd1498Szrj       error ("%s:%d: previous definition here", m->file, m->line);
170*38fd1498Szrj       return m;
171*38fd1498Szrj     }
172*38fd1498Szrj 
173*38fd1498Szrj   m = XNEW (struct mode_data);
174*38fd1498Szrj   memcpy (m, &blank_mode, sizeof (struct mode_data));
175*38fd1498Szrj   m->cl = cl;
176*38fd1498Szrj   m->name = name;
177*38fd1498Szrj   if (file)
178*38fd1498Szrj     m->file = trim_filename (file);
179*38fd1498Szrj   m->line = line;
180*38fd1498Szrj   m->counter = count++;
181*38fd1498Szrj 
182*38fd1498Szrj   m->next = modes[cl];
183*38fd1498Szrj   modes[cl] = m;
184*38fd1498Szrj   n_modes[cl]++;
185*38fd1498Szrj 
186*38fd1498Szrj   *htab_find_slot (modes_by_name, m, INSERT) = m;
187*38fd1498Szrj 
188*38fd1498Szrj   return m;
189*38fd1498Szrj }
190*38fd1498Szrj 
191*38fd1498Szrj static hashval_t
hash_mode(const void * p)192*38fd1498Szrj hash_mode (const void *p)
193*38fd1498Szrj {
194*38fd1498Szrj   const struct mode_data *m = (const struct mode_data *)p;
195*38fd1498Szrj   return htab_hash_string (m->name);
196*38fd1498Szrj }
197*38fd1498Szrj 
198*38fd1498Szrj static int
eq_mode(const void * p,const void * q)199*38fd1498Szrj eq_mode (const void *p, const void *q)
200*38fd1498Szrj {
201*38fd1498Szrj   const struct mode_data *a = (const struct mode_data *)p;
202*38fd1498Szrj   const struct mode_data *b = (const struct mode_data *)q;
203*38fd1498Szrj 
204*38fd1498Szrj   return !strcmp (a->name, b->name);
205*38fd1498Szrj }
206*38fd1498Szrj 
207*38fd1498Szrj #define for_all_modes(C, M)			\
208*38fd1498Szrj   for (C = 0; C < MAX_MODE_CLASS; C++)		\
209*38fd1498Szrj     for (M = modes[C]; M; M = M->next)
210*38fd1498Szrj 
211*38fd1498Szrj static void ATTRIBUTE_UNUSED
new_adjust(const char * name,struct mode_adjust ** category,const char * catname,const char * adjustment,enum mode_class required_class_from,enum mode_class required_class_to,const char * file,unsigned int line)212*38fd1498Szrj new_adjust (const char *name,
213*38fd1498Szrj 	    struct mode_adjust **category, const char *catname,
214*38fd1498Szrj 	    const char *adjustment,
215*38fd1498Szrj 	    enum mode_class required_class_from,
216*38fd1498Szrj 	    enum mode_class required_class_to,
217*38fd1498Szrj 	    const char *file, unsigned int line)
218*38fd1498Szrj {
219*38fd1498Szrj   struct mode_data *mode = find_mode (name);
220*38fd1498Szrj   struct mode_adjust *a;
221*38fd1498Szrj 
222*38fd1498Szrj   file = trim_filename (file);
223*38fd1498Szrj 
224*38fd1498Szrj   if (!mode)
225*38fd1498Szrj     {
226*38fd1498Szrj       error ("%s:%d: no mode \"%s\"", file, line, name);
227*38fd1498Szrj       return;
228*38fd1498Szrj     }
229*38fd1498Szrj 
230*38fd1498Szrj   if (required_class_from != MODE_RANDOM
231*38fd1498Szrj       && (mode->cl < required_class_from || mode->cl > required_class_to))
232*38fd1498Szrj     {
233*38fd1498Szrj       error ("%s:%d: mode \"%s\" is not among class {%s, %s}",
234*38fd1498Szrj 	     file, line, name, mode_class_names[required_class_from] + 5,
235*38fd1498Szrj 	     mode_class_names[required_class_to] + 5);
236*38fd1498Szrj       return;
237*38fd1498Szrj     }
238*38fd1498Szrj 
239*38fd1498Szrj   for (a = *category; a; a = a->next)
240*38fd1498Szrj     if (a->mode == mode)
241*38fd1498Szrj       {
242*38fd1498Szrj 	error ("%s:%d: mode \"%s\" already has a %s adjustment",
243*38fd1498Szrj 	       file, line, name, catname);
244*38fd1498Szrj 	error ("%s:%d: previous adjustment here", a->file, a->line);
245*38fd1498Szrj 	return;
246*38fd1498Szrj       }
247*38fd1498Szrj 
248*38fd1498Szrj   a = XNEW (struct mode_adjust);
249*38fd1498Szrj   a->mode = mode;
250*38fd1498Szrj   a->adjustment = adjustment;
251*38fd1498Szrj   a->file = file;
252*38fd1498Szrj   a->line = line;
253*38fd1498Szrj 
254*38fd1498Szrj   a->next = *category;
255*38fd1498Szrj   *category = a;
256*38fd1498Szrj }
257*38fd1498Szrj 
258*38fd1498Szrj /* Diagnose failure to meet expectations in a partially filled out
259*38fd1498Szrj    mode structure.  */
260*38fd1498Szrj enum requirement { SET, UNSET, OPTIONAL };
261*38fd1498Szrj 
262*38fd1498Szrj #define validate_field_(mname, fname, req, val, unset, file, line) do {	\
263*38fd1498Szrj   switch (req)								\
264*38fd1498Szrj     {									\
265*38fd1498Szrj     case SET:								\
266*38fd1498Szrj       if (val == unset)							\
267*38fd1498Szrj 	error ("%s:%d: (%s) field %s must be set",			\
268*38fd1498Szrj 	       file, line, mname, fname);				\
269*38fd1498Szrj       break;								\
270*38fd1498Szrj     case UNSET:								\
271*38fd1498Szrj       if (val != unset)							\
272*38fd1498Szrj 	error ("%s:%d: (%s) field %s must not be set",			\
273*38fd1498Szrj 	       file, line, mname, fname);				\
274*38fd1498Szrj     case OPTIONAL:							\
275*38fd1498Szrj       break;								\
276*38fd1498Szrj     }									\
277*38fd1498Szrj } while (0)
278*38fd1498Szrj 
279*38fd1498Szrj #define validate_field(M, F) \
280*38fd1498Szrj   validate_field_(M->name, #F, r_##F, M->F, blank_mode.F, M->file, M->line)
281*38fd1498Szrj 
282*38fd1498Szrj static void
validate_mode(struct mode_data * m,enum requirement r_precision,enum requirement r_bytesize,enum requirement r_component,enum requirement r_ncomponents,enum requirement r_format)283*38fd1498Szrj validate_mode (struct mode_data *m,
284*38fd1498Szrj 	       enum requirement r_precision,
285*38fd1498Szrj 	       enum requirement r_bytesize,
286*38fd1498Szrj 	       enum requirement r_component,
287*38fd1498Szrj 	       enum requirement r_ncomponents,
288*38fd1498Szrj 	       enum requirement r_format)
289*38fd1498Szrj {
290*38fd1498Szrj   validate_field (m, precision);
291*38fd1498Szrj   validate_field (m, bytesize);
292*38fd1498Szrj   validate_field (m, component);
293*38fd1498Szrj   validate_field (m, ncomponents);
294*38fd1498Szrj   validate_field (m, format);
295*38fd1498Szrj }
296*38fd1498Szrj #undef validate_field
297*38fd1498Szrj #undef validate_field_
298*38fd1498Szrj 
299*38fd1498Szrj /* Given a partially-filled-out mode structure, figure out what we can
300*38fd1498Szrj    and fill the rest of it in; die if it isn't enough.  */
301*38fd1498Szrj static void
complete_mode(struct mode_data * m)302*38fd1498Szrj complete_mode (struct mode_data *m)
303*38fd1498Szrj {
304*38fd1498Szrj   unsigned int alignment;
305*38fd1498Szrj 
306*38fd1498Szrj   if (!m->name)
307*38fd1498Szrj     {
308*38fd1498Szrj       error ("%s:%d: mode with no name", m->file, m->line);
309*38fd1498Szrj       return;
310*38fd1498Szrj     }
311*38fd1498Szrj   if (m->cl == MAX_MODE_CLASS)
312*38fd1498Szrj     {
313*38fd1498Szrj       error ("%s:%d: %smode has no mode class", m->file, m->line, m->name);
314*38fd1498Szrj       return;
315*38fd1498Szrj     }
316*38fd1498Szrj 
317*38fd1498Szrj   switch (m->cl)
318*38fd1498Szrj     {
319*38fd1498Szrj     case MODE_RANDOM:
320*38fd1498Szrj       /* Nothing more need be said.  */
321*38fd1498Szrj       if (!strcmp (m->name, "VOID"))
322*38fd1498Szrj 	void_mode = m;
323*38fd1498Szrj 
324*38fd1498Szrj       validate_mode (m, UNSET, UNSET, UNSET, UNSET, UNSET);
325*38fd1498Szrj 
326*38fd1498Szrj       m->precision = 0;
327*38fd1498Szrj       m->bytesize = 0;
328*38fd1498Szrj       m->ncomponents = 0;
329*38fd1498Szrj       m->component = 0;
330*38fd1498Szrj       break;
331*38fd1498Szrj 
332*38fd1498Szrj     case MODE_CC:
333*38fd1498Szrj       /* Again, nothing more need be said.  For historical reasons,
334*38fd1498Szrj 	 the size of a CC mode is four units.  */
335*38fd1498Szrj       validate_mode (m, UNSET, UNSET, UNSET, UNSET, UNSET);
336*38fd1498Szrj 
337*38fd1498Szrj       m->bytesize = 4;
338*38fd1498Szrj       m->ncomponents = 1;
339*38fd1498Szrj       m->component = 0;
340*38fd1498Szrj       break;
341*38fd1498Szrj 
342*38fd1498Szrj     case MODE_INT:
343*38fd1498Szrj     case MODE_POINTER_BOUNDS:
344*38fd1498Szrj     case MODE_FLOAT:
345*38fd1498Szrj     case MODE_DECIMAL_FLOAT:
346*38fd1498Szrj     case MODE_FRACT:
347*38fd1498Szrj     case MODE_UFRACT:
348*38fd1498Szrj     case MODE_ACCUM:
349*38fd1498Szrj     case MODE_UACCUM:
350*38fd1498Szrj       /* A scalar mode must have a byte size, may have a bit size,
351*38fd1498Szrj 	 and must not have components.   A float mode must have a
352*38fd1498Szrj          format.  */
353*38fd1498Szrj       validate_mode (m, OPTIONAL, SET, UNSET, UNSET,
354*38fd1498Szrj 		     (m->cl == MODE_FLOAT || m->cl == MODE_DECIMAL_FLOAT)
355*38fd1498Szrj 		     ? SET : UNSET);
356*38fd1498Szrj 
357*38fd1498Szrj       m->ncomponents = 1;
358*38fd1498Szrj       m->component = 0;
359*38fd1498Szrj       break;
360*38fd1498Szrj 
361*38fd1498Szrj     case MODE_PARTIAL_INT:
362*38fd1498Szrj       /* A partial integer mode uses ->component to say what the
363*38fd1498Szrj 	 corresponding full-size integer mode is, and may also
364*38fd1498Szrj 	 specify a bit size.  */
365*38fd1498Szrj       validate_mode (m, OPTIONAL, UNSET, SET, UNSET, UNSET);
366*38fd1498Szrj 
367*38fd1498Szrj       m->bytesize = m->component->bytesize;
368*38fd1498Szrj 
369*38fd1498Szrj       m->ncomponents = 1;
370*38fd1498Szrj       break;
371*38fd1498Szrj 
372*38fd1498Szrj     case MODE_COMPLEX_INT:
373*38fd1498Szrj     case MODE_COMPLEX_FLOAT:
374*38fd1498Szrj       /* Complex modes should have a component indicated, but no more.  */
375*38fd1498Szrj       validate_mode (m, UNSET, UNSET, SET, UNSET, UNSET);
376*38fd1498Szrj       m->ncomponents = 2;
377*38fd1498Szrj       if (m->component->precision != (unsigned int)-1)
378*38fd1498Szrj 	m->precision = 2 * m->component->precision;
379*38fd1498Szrj       m->bytesize = 2 * m->component->bytesize;
380*38fd1498Szrj       break;
381*38fd1498Szrj 
382*38fd1498Szrj     case MODE_VECTOR_BOOL:
383*38fd1498Szrj       validate_mode (m, UNSET, SET, SET, SET, UNSET);
384*38fd1498Szrj       break;
385*38fd1498Szrj 
386*38fd1498Szrj     case MODE_VECTOR_INT:
387*38fd1498Szrj     case MODE_VECTOR_FLOAT:
388*38fd1498Szrj     case MODE_VECTOR_FRACT:
389*38fd1498Szrj     case MODE_VECTOR_UFRACT:
390*38fd1498Szrj     case MODE_VECTOR_ACCUM:
391*38fd1498Szrj     case MODE_VECTOR_UACCUM:
392*38fd1498Szrj       /* Vector modes should have a component and a number of components.  */
393*38fd1498Szrj       validate_mode (m, UNSET, UNSET, SET, SET, UNSET);
394*38fd1498Szrj       if (m->component->precision != (unsigned int)-1)
395*38fd1498Szrj 	m->precision = m->ncomponents * m->component->precision;
396*38fd1498Szrj       m->bytesize = m->ncomponents * m->component->bytesize;
397*38fd1498Szrj       break;
398*38fd1498Szrj 
399*38fd1498Szrj     default:
400*38fd1498Szrj       gcc_unreachable ();
401*38fd1498Szrj     }
402*38fd1498Szrj 
403*38fd1498Szrj   /* If not already specified, the mode alignment defaults to the largest
404*38fd1498Szrj      power of two that divides the size of the object.  Complex types are
405*38fd1498Szrj      not more aligned than their contents.  */
406*38fd1498Szrj   if (m->cl == MODE_COMPLEX_INT || m->cl == MODE_COMPLEX_FLOAT)
407*38fd1498Szrj     alignment = m->component->bytesize;
408*38fd1498Szrj   else
409*38fd1498Szrj     alignment = m->bytesize;
410*38fd1498Szrj 
411*38fd1498Szrj   m->alignment = alignment & (~alignment + 1);
412*38fd1498Szrj 
413*38fd1498Szrj   /* If this mode has components, make the component mode point back
414*38fd1498Szrj      to this mode, for the sake of adjustments.  */
415*38fd1498Szrj   if (m->component)
416*38fd1498Szrj     {
417*38fd1498Szrj       m->next_cont = m->component->contained;
418*38fd1498Szrj       m->component->contained = m;
419*38fd1498Szrj     }
420*38fd1498Szrj }
421*38fd1498Szrj 
422*38fd1498Szrj static void
complete_all_modes(void)423*38fd1498Szrj complete_all_modes (void)
424*38fd1498Szrj {
425*38fd1498Szrj   struct mode_data *m;
426*38fd1498Szrj   int cl;
427*38fd1498Szrj 
428*38fd1498Szrj   for_all_modes (cl, m)
429*38fd1498Szrj     complete_mode (m);
430*38fd1498Szrj }
431*38fd1498Szrj 
432*38fd1498Szrj /* For each mode in class CLASS, construct a corresponding complex mode.  */
433*38fd1498Szrj #define COMPLEX_MODES(C) make_complex_modes (MODE_##C, __FILE__, __LINE__)
434*38fd1498Szrj static void
make_complex_modes(enum mode_class cl,const char * file,unsigned int line)435*38fd1498Szrj make_complex_modes (enum mode_class cl,
436*38fd1498Szrj 		    const char *file, unsigned int line)
437*38fd1498Szrj {
438*38fd1498Szrj   struct mode_data *m;
439*38fd1498Szrj   struct mode_data *c;
440*38fd1498Szrj   enum mode_class cclass = complex_class (cl);
441*38fd1498Szrj 
442*38fd1498Szrj   if (cclass == MODE_RANDOM)
443*38fd1498Szrj     return;
444*38fd1498Szrj 
445*38fd1498Szrj   for (m = modes[cl]; m; m = m->next)
446*38fd1498Szrj     {
447*38fd1498Szrj       char *p, *buf;
448*38fd1498Szrj       size_t m_len;
449*38fd1498Szrj 
450*38fd1498Szrj       /* Skip BImode.  FIXME: BImode probably shouldn't be MODE_INT.  */
451*38fd1498Szrj       if (m->precision == 1)
452*38fd1498Szrj 	continue;
453*38fd1498Szrj 
454*38fd1498Szrj       m_len = strlen (m->name);
455*38fd1498Szrj       /* The leading "1 +" is in case we prepend a "C" below.  */
456*38fd1498Szrj       buf = (char *) xmalloc (1 + m_len + 1);
457*38fd1498Szrj 
458*38fd1498Szrj       /* Float complex modes are named SCmode, etc.
459*38fd1498Szrj 	 Int complex modes are named CSImode, etc.
460*38fd1498Szrj          This inconsistency should be eliminated.  */
461*38fd1498Szrj       p = 0;
462*38fd1498Szrj       if (cl == MODE_FLOAT)
463*38fd1498Szrj 	{
464*38fd1498Szrj 	  memcpy (buf, m->name, m_len + 1);
465*38fd1498Szrj 	  p = strchr (buf, 'F');
466*38fd1498Szrj 	  if (p == 0 && strchr (buf, 'D') == 0)
467*38fd1498Szrj 	    {
468*38fd1498Szrj 	      error ("%s:%d: float mode \"%s\" has no 'F' or 'D'",
469*38fd1498Szrj 		     m->file, m->line, m->name);
470*38fd1498Szrj 	      free (buf);
471*38fd1498Szrj 	      continue;
472*38fd1498Szrj 	    }
473*38fd1498Szrj 	}
474*38fd1498Szrj       if (p != 0)
475*38fd1498Szrj 	*p = 'C';
476*38fd1498Szrj       else
477*38fd1498Szrj 	{
478*38fd1498Szrj 	  buf[0] = 'C';
479*38fd1498Szrj 	  memcpy (buf + 1, m->name, m_len + 1);
480*38fd1498Szrj 	}
481*38fd1498Szrj 
482*38fd1498Szrj       c = new_mode (cclass, buf, file, line);
483*38fd1498Szrj       c->component = m;
484*38fd1498Szrj       m->complex = c;
485*38fd1498Szrj     }
486*38fd1498Szrj }
487*38fd1498Szrj 
488*38fd1498Szrj /* For all modes in class CL, construct vector modes of width
489*38fd1498Szrj    WIDTH, having as many components as necessary.  */
490*38fd1498Szrj #define VECTOR_MODES_WITH_PREFIX(PREFIX, C, W) \
491*38fd1498Szrj   make_vector_modes (MODE_##C, #PREFIX, W, __FILE__, __LINE__)
492*38fd1498Szrj #define VECTOR_MODES(C, W) VECTOR_MODES_WITH_PREFIX (V, C, W)
493*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_vector_modes(enum mode_class cl,const char * prefix,unsigned int width,const char * file,unsigned int line)494*38fd1498Szrj make_vector_modes (enum mode_class cl, const char *prefix, unsigned int width,
495*38fd1498Szrj 		   const char *file, unsigned int line)
496*38fd1498Szrj {
497*38fd1498Szrj   struct mode_data *m;
498*38fd1498Szrj   struct mode_data *v;
499*38fd1498Szrj   /* Big enough for a 32-bit UINT_MAX plus the text.  */
500*38fd1498Szrj   char buf[12];
501*38fd1498Szrj   unsigned int ncomponents;
502*38fd1498Szrj   enum mode_class vclass = vector_class (cl);
503*38fd1498Szrj 
504*38fd1498Szrj   if (vclass == MODE_RANDOM)
505*38fd1498Szrj     return;
506*38fd1498Szrj 
507*38fd1498Szrj   for (m = modes[cl]; m; m = m->next)
508*38fd1498Szrj     {
509*38fd1498Szrj       /* Do not construct vector modes with only one element, or
510*38fd1498Szrj 	 vector modes where the element size doesn't divide the full
511*38fd1498Szrj 	 size evenly.  */
512*38fd1498Szrj       ncomponents = width / m->bytesize;
513*38fd1498Szrj       if (ncomponents < 2)
514*38fd1498Szrj 	continue;
515*38fd1498Szrj       if (width % m->bytesize)
516*38fd1498Szrj 	continue;
517*38fd1498Szrj 
518*38fd1498Szrj       /* Skip QFmode and BImode.  FIXME: this special case should
519*38fd1498Szrj 	 not be necessary.  */
520*38fd1498Szrj       if (cl == MODE_FLOAT && m->bytesize == 1)
521*38fd1498Szrj 	continue;
522*38fd1498Szrj       if (cl == MODE_INT && m->precision == 1)
523*38fd1498Szrj 	continue;
524*38fd1498Szrj 
525*38fd1498Szrj       if ((size_t) snprintf (buf, sizeof buf, "%s%u%s", prefix,
526*38fd1498Szrj 			     ncomponents, m->name) >= sizeof buf)
527*38fd1498Szrj 	{
528*38fd1498Szrj 	  error ("%s:%d: mode name \"%s\" is too long",
529*38fd1498Szrj 		 m->file, m->line, m->name);
530*38fd1498Szrj 	  continue;
531*38fd1498Szrj 	}
532*38fd1498Szrj 
533*38fd1498Szrj       v = new_mode (vclass, xstrdup (buf), file, line);
534*38fd1498Szrj       v->component = m;
535*38fd1498Szrj       v->ncomponents = ncomponents;
536*38fd1498Szrj     }
537*38fd1498Szrj }
538*38fd1498Szrj 
539*38fd1498Szrj /* Create a vector of booleans called NAME with COUNT elements and
540*38fd1498Szrj    BYTESIZE bytes in total.  */
541*38fd1498Szrj #define VECTOR_BOOL_MODE(NAME, COUNT, BYTESIZE) \
542*38fd1498Szrj   make_vector_bool_mode (#NAME, COUNT, BYTESIZE, __FILE__, __LINE__)
543*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_vector_bool_mode(const char * name,unsigned int count,unsigned int bytesize,const char * file,unsigned int line)544*38fd1498Szrj make_vector_bool_mode (const char *name, unsigned int count,
545*38fd1498Szrj 		       unsigned int bytesize, const char *file,
546*38fd1498Szrj 		       unsigned int line)
547*38fd1498Szrj {
548*38fd1498Szrj   struct mode_data *m = find_mode ("BI");
549*38fd1498Szrj   if (!m)
550*38fd1498Szrj     {
551*38fd1498Szrj       error ("%s:%d: no mode \"BI\"", file, line);
552*38fd1498Szrj       return;
553*38fd1498Szrj     }
554*38fd1498Szrj 
555*38fd1498Szrj   struct mode_data *v = new_mode (MODE_VECTOR_BOOL, name, file, line);
556*38fd1498Szrj   v->component = m;
557*38fd1498Szrj   v->ncomponents = count;
558*38fd1498Szrj   v->bytesize = bytesize;
559*38fd1498Szrj }
560*38fd1498Szrj 
561*38fd1498Szrj /* Input.  */
562*38fd1498Szrj 
563*38fd1498Szrj #define _SPECIAL_MODE(C, N) \
564*38fd1498Szrj   make_special_mode (MODE_##C, #N, __FILE__, __LINE__)
565*38fd1498Szrj #define RANDOM_MODE(N) _SPECIAL_MODE (RANDOM, N)
566*38fd1498Szrj #define CC_MODE(N) _SPECIAL_MODE (CC, N)
567*38fd1498Szrj 
568*38fd1498Szrj static void
make_special_mode(enum mode_class cl,const char * name,const char * file,unsigned int line)569*38fd1498Szrj make_special_mode (enum mode_class cl, const char *name,
570*38fd1498Szrj 		   const char *file, unsigned int line)
571*38fd1498Szrj {
572*38fd1498Szrj   new_mode (cl, name, file, line);
573*38fd1498Szrj }
574*38fd1498Szrj 
575*38fd1498Szrj #define POINTER_BOUNDS_MODE(N, Y) \
576*38fd1498Szrj   make_pointer_bounds_mode (#N, Y, __FILE__, __LINE__)
577*38fd1498Szrj 
578*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_pointer_bounds_mode(const char * name,unsigned int bytesize,const char * file,unsigned int line)579*38fd1498Szrj make_pointer_bounds_mode (const char *name,
580*38fd1498Szrj 			  unsigned int bytesize,
581*38fd1498Szrj 			  const char *file, unsigned int line)
582*38fd1498Szrj {
583*38fd1498Szrj   struct mode_data *m = new_mode (MODE_POINTER_BOUNDS, name, file, line);
584*38fd1498Szrj   m->bytesize = bytesize;
585*38fd1498Szrj }
586*38fd1498Szrj 
587*38fd1498Szrj 
588*38fd1498Szrj #define INT_MODE(N, Y) FRACTIONAL_INT_MODE (N, -1U, Y)
589*38fd1498Szrj #define FRACTIONAL_INT_MODE(N, B, Y) \
590*38fd1498Szrj   make_int_mode (#N, B, Y, __FILE__, __LINE__)
591*38fd1498Szrj 
592*38fd1498Szrj static void
make_int_mode(const char * name,unsigned int precision,unsigned int bytesize,const char * file,unsigned int line)593*38fd1498Szrj make_int_mode (const char *name,
594*38fd1498Szrj 	       unsigned int precision, unsigned int bytesize,
595*38fd1498Szrj 	       const char *file, unsigned int line)
596*38fd1498Szrj {
597*38fd1498Szrj   struct mode_data *m = new_mode (MODE_INT, name, file, line);
598*38fd1498Szrj   m->bytesize = bytesize;
599*38fd1498Szrj   m->precision = precision;
600*38fd1498Szrj }
601*38fd1498Szrj 
602*38fd1498Szrj #define FRACT_MODE(N, Y, F) \
603*38fd1498Szrj 	make_fixed_point_mode (MODE_FRACT, #N, Y, 0, F, __FILE__, __LINE__)
604*38fd1498Szrj 
605*38fd1498Szrj #define UFRACT_MODE(N, Y, F) \
606*38fd1498Szrj 	make_fixed_point_mode (MODE_UFRACT, #N, Y, 0, F, __FILE__, __LINE__)
607*38fd1498Szrj 
608*38fd1498Szrj #define ACCUM_MODE(N, Y, I, F) \
609*38fd1498Szrj 	make_fixed_point_mode (MODE_ACCUM, #N, Y, I, F, __FILE__, __LINE__)
610*38fd1498Szrj 
611*38fd1498Szrj #define UACCUM_MODE(N, Y, I, F) \
612*38fd1498Szrj 	make_fixed_point_mode (MODE_UACCUM, #N, Y, I, F, __FILE__, __LINE__)
613*38fd1498Szrj 
614*38fd1498Szrj /* Create a fixed-point mode by setting CL, NAME, BYTESIZE, IBIT, FBIT,
615*38fd1498Szrj    FILE, and LINE.  */
616*38fd1498Szrj 
617*38fd1498Szrj static void
make_fixed_point_mode(enum mode_class cl,const char * name,unsigned int bytesize,unsigned int ibit,unsigned int fbit,const char * file,unsigned int line)618*38fd1498Szrj make_fixed_point_mode (enum mode_class cl,
619*38fd1498Szrj 		       const char *name,
620*38fd1498Szrj 		       unsigned int bytesize,
621*38fd1498Szrj 		       unsigned int ibit,
622*38fd1498Szrj 		       unsigned int fbit,
623*38fd1498Szrj 		       const char *file, unsigned int line)
624*38fd1498Szrj {
625*38fd1498Szrj   struct mode_data *m = new_mode (cl, name, file, line);
626*38fd1498Szrj   m->bytesize = bytesize;
627*38fd1498Szrj   m->ibit = ibit;
628*38fd1498Szrj   m->fbit = fbit;
629*38fd1498Szrj }
630*38fd1498Szrj 
631*38fd1498Szrj #define FLOAT_MODE(N, Y, F)             FRACTIONAL_FLOAT_MODE (N, -1U, Y, F)
632*38fd1498Szrj #define FRACTIONAL_FLOAT_MODE(N, B, Y, F) \
633*38fd1498Szrj   make_float_mode (#N, B, Y, #F, __FILE__, __LINE__)
634*38fd1498Szrj 
635*38fd1498Szrj static void
make_float_mode(const char * name,unsigned int precision,unsigned int bytesize,const char * format,const char * file,unsigned int line)636*38fd1498Szrj make_float_mode (const char *name,
637*38fd1498Szrj 		 unsigned int precision, unsigned int bytesize,
638*38fd1498Szrj 		 const char *format,
639*38fd1498Szrj 		 const char *file, unsigned int line)
640*38fd1498Szrj {
641*38fd1498Szrj   struct mode_data *m = new_mode (MODE_FLOAT, name, file, line);
642*38fd1498Szrj   m->bytesize = bytesize;
643*38fd1498Szrj   m->precision = precision;
644*38fd1498Szrj   m->format = format;
645*38fd1498Szrj }
646*38fd1498Szrj 
647*38fd1498Szrj #define DECIMAL_FLOAT_MODE(N, Y, F)	\
648*38fd1498Szrj 	FRACTIONAL_DECIMAL_FLOAT_MODE (N, -1U, Y, F)
649*38fd1498Szrj #define FRACTIONAL_DECIMAL_FLOAT_MODE(N, B, Y, F)	\
650*38fd1498Szrj   make_decimal_float_mode (#N, B, Y, #F, __FILE__, __LINE__)
651*38fd1498Szrj 
652*38fd1498Szrj static void
make_decimal_float_mode(const char * name,unsigned int precision,unsigned int bytesize,const char * format,const char * file,unsigned int line)653*38fd1498Szrj make_decimal_float_mode (const char *name,
654*38fd1498Szrj 			 unsigned int precision, unsigned int bytesize,
655*38fd1498Szrj 			 const char *format,
656*38fd1498Szrj 			 const char *file, unsigned int line)
657*38fd1498Szrj {
658*38fd1498Szrj   struct mode_data *m = new_mode (MODE_DECIMAL_FLOAT, name, file, line);
659*38fd1498Szrj   m->bytesize = bytesize;
660*38fd1498Szrj   m->precision = precision;
661*38fd1498Szrj   m->format = format;
662*38fd1498Szrj }
663*38fd1498Szrj 
664*38fd1498Szrj #define RESET_FLOAT_FORMAT(N, F) \
665*38fd1498Szrj   reset_float_format (#N, #F, __FILE__, __LINE__)
666*38fd1498Szrj static void ATTRIBUTE_UNUSED
reset_float_format(const char * name,const char * format,const char * file,unsigned int line)667*38fd1498Szrj reset_float_format (const char *name, const char *format,
668*38fd1498Szrj 		    const char *file, unsigned int line)
669*38fd1498Szrj {
670*38fd1498Szrj   struct mode_data *m = find_mode (name);
671*38fd1498Szrj   if (!m)
672*38fd1498Szrj     {
673*38fd1498Szrj       error ("%s:%d: no mode \"%s\"", file, line, name);
674*38fd1498Szrj       return;
675*38fd1498Szrj     }
676*38fd1498Szrj   if (m->cl != MODE_FLOAT && m->cl != MODE_DECIMAL_FLOAT)
677*38fd1498Szrj     {
678*38fd1498Szrj       error ("%s:%d: mode \"%s\" is not a FLOAT class", file, line, name);
679*38fd1498Szrj       return;
680*38fd1498Szrj     }
681*38fd1498Szrj   m->format = format;
682*38fd1498Szrj }
683*38fd1498Szrj 
684*38fd1498Szrj /* __intN support.  */
685*38fd1498Szrj #define INT_N(M,PREC)				\
686*38fd1498Szrj   make_int_n (#M, PREC, __FILE__, __LINE__)
687*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_int_n(const char * m,int bitsize,const char * file,unsigned int line)688*38fd1498Szrj make_int_n (const char *m, int bitsize,
689*38fd1498Szrj             const char *file, unsigned int line)
690*38fd1498Szrj {
691*38fd1498Szrj   struct mode_data *component = find_mode (m);
692*38fd1498Szrj   if (!component)
693*38fd1498Szrj     {
694*38fd1498Szrj       error ("%s:%d: no mode \"%s\"", file, line, m);
695*38fd1498Szrj       return;
696*38fd1498Szrj     }
697*38fd1498Szrj   if (component->cl != MODE_INT
698*38fd1498Szrj       && component->cl != MODE_PARTIAL_INT)
699*38fd1498Szrj     {
700*38fd1498Szrj       error ("%s:%d: mode \"%s\" is not class INT or PARTIAL_INT", file, line, m);
701*38fd1498Szrj       return;
702*38fd1498Szrj     }
703*38fd1498Szrj   if (component->int_n != 0)
704*38fd1498Szrj     {
705*38fd1498Szrj       error ("%s:%d: mode \"%s\" already has an intN", file, line, m);
706*38fd1498Szrj       return;
707*38fd1498Szrj     }
708*38fd1498Szrj 
709*38fd1498Szrj   component->int_n = bitsize;
710*38fd1498Szrj }
711*38fd1498Szrj 
712*38fd1498Szrj /* Partial integer modes are specified by relation to a full integer
713*38fd1498Szrj    mode.  */
714*38fd1498Szrj #define PARTIAL_INT_MODE(M,PREC,NAME)				\
715*38fd1498Szrj   make_partial_integer_mode (#M, #NAME, PREC, __FILE__, __LINE__)
716*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_partial_integer_mode(const char * base,const char * name,unsigned int precision,const char * file,unsigned int line)717*38fd1498Szrj make_partial_integer_mode (const char *base, const char *name,
718*38fd1498Szrj 			   unsigned int precision,
719*38fd1498Szrj 			   const char *file, unsigned int line)
720*38fd1498Szrj {
721*38fd1498Szrj   struct mode_data *m;
722*38fd1498Szrj   struct mode_data *component = find_mode (base);
723*38fd1498Szrj   if (!component)
724*38fd1498Szrj     {
725*38fd1498Szrj       error ("%s:%d: no mode \"%s\"", file, line, name);
726*38fd1498Szrj       return;
727*38fd1498Szrj     }
728*38fd1498Szrj   if (component->cl != MODE_INT)
729*38fd1498Szrj     {
730*38fd1498Szrj       error ("%s:%d: mode \"%s\" is not class INT", file, line, name);
731*38fd1498Szrj       return;
732*38fd1498Szrj     }
733*38fd1498Szrj 
734*38fd1498Szrj   m = new_mode (MODE_PARTIAL_INT, name, file, line);
735*38fd1498Szrj   m->precision = precision;
736*38fd1498Szrj   m->component = component;
737*38fd1498Szrj }
738*38fd1498Szrj 
739*38fd1498Szrj /* A single vector mode can be specified by naming its component
740*38fd1498Szrj    mode and the number of components.  */
741*38fd1498Szrj #define VECTOR_MODE(C, M, N) \
742*38fd1498Szrj   make_vector_mode (MODE_##C, #M, N, __FILE__, __LINE__);
743*38fd1498Szrj static void ATTRIBUTE_UNUSED
make_vector_mode(enum mode_class bclass,const char * base,unsigned int ncomponents,const char * file,unsigned int line)744*38fd1498Szrj make_vector_mode (enum mode_class bclass,
745*38fd1498Szrj 		  const char *base,
746*38fd1498Szrj 		  unsigned int ncomponents,
747*38fd1498Szrj 		  const char *file, unsigned int line)
748*38fd1498Szrj {
749*38fd1498Szrj   struct mode_data *v;
750*38fd1498Szrj   enum mode_class vclass = vector_class (bclass);
751*38fd1498Szrj   struct mode_data *component = find_mode (base);
752*38fd1498Szrj   char namebuf[16];
753*38fd1498Szrj 
754*38fd1498Szrj   if (vclass == MODE_RANDOM)
755*38fd1498Szrj     return;
756*38fd1498Szrj   if (component == 0)
757*38fd1498Szrj     {
758*38fd1498Szrj       error ("%s:%d: no mode \"%s\"", file, line, base);
759*38fd1498Szrj       return;
760*38fd1498Szrj     }
761*38fd1498Szrj   if (component->cl != bclass
762*38fd1498Szrj       && (component->cl != MODE_PARTIAL_INT
763*38fd1498Szrj 	  || bclass != MODE_INT))
764*38fd1498Szrj     {
765*38fd1498Szrj       error ("%s:%d: mode \"%s\" is not class %s",
766*38fd1498Szrj 	     file, line, base, mode_class_names[bclass] + 5);
767*38fd1498Szrj       return;
768*38fd1498Szrj     }
769*38fd1498Szrj 
770*38fd1498Szrj   if ((size_t)snprintf (namebuf, sizeof namebuf, "V%u%s",
771*38fd1498Szrj 			ncomponents, base) >= sizeof namebuf)
772*38fd1498Szrj     {
773*38fd1498Szrj       error ("%s:%d: mode name \"%s\" is too long",
774*38fd1498Szrj 	     file, line, base);
775*38fd1498Szrj       return;
776*38fd1498Szrj     }
777*38fd1498Szrj 
778*38fd1498Szrj   v = new_mode (vclass, xstrdup (namebuf), file, line);
779*38fd1498Szrj   v->ncomponents = ncomponents;
780*38fd1498Szrj   v->component = component;
781*38fd1498Szrj }
782*38fd1498Szrj 
783*38fd1498Szrj /* Adjustability.  */
784*38fd1498Szrj #define _ADD_ADJUST(A, M, X, C1, C2) \
785*38fd1498Szrj   new_adjust (#M, &adj_##A, #A, #X, MODE_##C1, MODE_##C2, __FILE__, __LINE__)
786*38fd1498Szrj 
787*38fd1498Szrj #define ADJUST_NUNITS(M, X)    _ADD_ADJUST (nunits, M, X, RANDOM, RANDOM)
788*38fd1498Szrj #define ADJUST_BYTESIZE(M, X)  _ADD_ADJUST (bytesize, M, X, RANDOM, RANDOM)
789*38fd1498Szrj #define ADJUST_ALIGNMENT(M, X) _ADD_ADJUST (alignment, M, X, RANDOM, RANDOM)
790*38fd1498Szrj #define ADJUST_FLOAT_FORMAT(M, X)    _ADD_ADJUST (format, M, X, FLOAT, FLOAT)
791*38fd1498Szrj #define ADJUST_IBIT(M, X)  _ADD_ADJUST (ibit, M, X, ACCUM, UACCUM)
792*38fd1498Szrj #define ADJUST_FBIT(M, X)  _ADD_ADJUST (fbit, M, X, FRACT, UACCUM)
793*38fd1498Szrj 
794*38fd1498Szrj static int bits_per_unit;
795*38fd1498Szrj static int max_bitsize_mode_any_int;
796*38fd1498Szrj static int max_bitsize_mode_any_mode;
797*38fd1498Szrj 
798*38fd1498Szrj static void
create_modes(void)799*38fd1498Szrj create_modes (void)
800*38fd1498Szrj {
801*38fd1498Szrj #include "machmode.def"
802*38fd1498Szrj 
803*38fd1498Szrj   /* So put the default value unless the target needs a non standard
804*38fd1498Szrj      value. */
805*38fd1498Szrj #ifdef BITS_PER_UNIT
806*38fd1498Szrj   bits_per_unit = BITS_PER_UNIT;
807*38fd1498Szrj #else
808*38fd1498Szrj   bits_per_unit = 8;
809*38fd1498Szrj #endif
810*38fd1498Szrj 
811*38fd1498Szrj #ifdef MAX_BITSIZE_MODE_ANY_INT
812*38fd1498Szrj   max_bitsize_mode_any_int = MAX_BITSIZE_MODE_ANY_INT;
813*38fd1498Szrj #else
814*38fd1498Szrj   max_bitsize_mode_any_int = 0;
815*38fd1498Szrj #endif
816*38fd1498Szrj 
817*38fd1498Szrj #ifdef MAX_BITSIZE_MODE_ANY_MODE
818*38fd1498Szrj   max_bitsize_mode_any_mode = MAX_BITSIZE_MODE_ANY_MODE;
819*38fd1498Szrj #else
820*38fd1498Szrj   max_bitsize_mode_any_mode = 0;
821*38fd1498Szrj #endif
822*38fd1498Szrj }
823*38fd1498Szrj 
824*38fd1498Szrj #ifndef NUM_POLY_INT_COEFFS
825*38fd1498Szrj #define NUM_POLY_INT_COEFFS 1
826*38fd1498Szrj #endif
827*38fd1498Szrj 
828*38fd1498Szrj /* Processing.  */
829*38fd1498Szrj 
830*38fd1498Szrj /* Sort a list of modes into the order needed for the WIDER field:
831*38fd1498Szrj    major sort by precision, minor sort by component precision.
832*38fd1498Szrj 
833*38fd1498Szrj    For instance:
834*38fd1498Szrj      QI < HI < SI < DI < TI
835*38fd1498Szrj      V4QI < V2HI < V8QI < V4HI < V2SI.
836*38fd1498Szrj 
837*38fd1498Szrj    If the precision is not set, sort by the bytesize.  A mode with
838*38fd1498Szrj    precision set gets sorted before a mode without precision set, if
839*38fd1498Szrj    they have the same bytesize; this is the right thing because
840*38fd1498Szrj    the precision must always be smaller than the bytesize * BITS_PER_UNIT.
841*38fd1498Szrj    We don't have to do anything special to get this done -- an unset
842*38fd1498Szrj    precision shows up as (unsigned int)-1, i.e. UINT_MAX.  */
843*38fd1498Szrj static int
cmp_modes(const void * a,const void * b)844*38fd1498Szrj cmp_modes (const void *a, const void *b)
845*38fd1498Szrj {
846*38fd1498Szrj   const struct mode_data *const m = *(const struct mode_data *const*)a;
847*38fd1498Szrj   const struct mode_data *const n = *(const struct mode_data *const*)b;
848*38fd1498Szrj 
849*38fd1498Szrj   if (m->bytesize > n->bytesize)
850*38fd1498Szrj     return 1;
851*38fd1498Szrj   else if (m->bytesize < n->bytesize)
852*38fd1498Szrj     return -1;
853*38fd1498Szrj 
854*38fd1498Szrj   if (m->precision > n->precision)
855*38fd1498Szrj     return 1;
856*38fd1498Szrj   else if (m->precision < n->precision)
857*38fd1498Szrj     return -1;
858*38fd1498Szrj 
859*38fd1498Szrj   if (!m->component && !n->component)
860*38fd1498Szrj     {
861*38fd1498Szrj       if (m->counter < n->counter)
862*38fd1498Szrj 	return -1;
863*38fd1498Szrj       else
864*38fd1498Szrj 	return 1;
865*38fd1498Szrj     }
866*38fd1498Szrj 
867*38fd1498Szrj   if (m->component->bytesize > n->component->bytesize)
868*38fd1498Szrj     return 1;
869*38fd1498Szrj   else if (m->component->bytesize < n->component->bytesize)
870*38fd1498Szrj     return -1;
871*38fd1498Szrj 
872*38fd1498Szrj   if (m->component->precision > n->component->precision)
873*38fd1498Szrj     return 1;
874*38fd1498Szrj   else if (m->component->precision < n->component->precision)
875*38fd1498Szrj     return -1;
876*38fd1498Szrj 
877*38fd1498Szrj   if (m->counter < n->counter)
878*38fd1498Szrj     return -1;
879*38fd1498Szrj   else
880*38fd1498Szrj     return 1;
881*38fd1498Szrj }
882*38fd1498Szrj 
883*38fd1498Szrj static void
calc_wider_mode(void)884*38fd1498Szrj calc_wider_mode (void)
885*38fd1498Szrj {
886*38fd1498Szrj   int c;
887*38fd1498Szrj   struct mode_data *m;
888*38fd1498Szrj   struct mode_data **sortbuf;
889*38fd1498Szrj   unsigned int max_n_modes = 0;
890*38fd1498Szrj   unsigned int i, j;
891*38fd1498Szrj 
892*38fd1498Szrj   for (c = 0; c < MAX_MODE_CLASS; c++)
893*38fd1498Szrj     max_n_modes = MAX (max_n_modes, n_modes[c]);
894*38fd1498Szrj 
895*38fd1498Szrj   /* Allocate max_n_modes + 1 entries to leave room for the extra null
896*38fd1498Szrj      pointer assigned after the qsort call below.  */
897*38fd1498Szrj   sortbuf = XALLOCAVEC (struct mode_data *, max_n_modes + 1);
898*38fd1498Szrj 
899*38fd1498Szrj   for (c = 0; c < MAX_MODE_CLASS; c++)
900*38fd1498Szrj     {
901*38fd1498Szrj       /* "wider" is not meaningful for MODE_RANDOM and MODE_CC.
902*38fd1498Szrj 	 However, we want these in textual order, and we have
903*38fd1498Szrj 	 precisely the reverse.  */
904*38fd1498Szrj       if (c == MODE_RANDOM || c == MODE_CC)
905*38fd1498Szrj 	{
906*38fd1498Szrj 	  struct mode_data *prev, *next;
907*38fd1498Szrj 
908*38fd1498Szrj 	  for (prev = 0, m = modes[c]; m; m = next)
909*38fd1498Szrj 	    {
910*38fd1498Szrj 	      m->wider = void_mode;
911*38fd1498Szrj 
912*38fd1498Szrj 	      /* this is nreverse */
913*38fd1498Szrj 	      next = m->next;
914*38fd1498Szrj 	      m->next = prev;
915*38fd1498Szrj 	      prev = m;
916*38fd1498Szrj 	    }
917*38fd1498Szrj 	  modes[c] = prev;
918*38fd1498Szrj 	}
919*38fd1498Szrj       else
920*38fd1498Szrj 	{
921*38fd1498Szrj 	  if (!modes[c])
922*38fd1498Szrj 	    continue;
923*38fd1498Szrj 
924*38fd1498Szrj 	  for (i = 0, m = modes[c]; m; i++, m = m->next)
925*38fd1498Szrj 	    sortbuf[i] = m;
926*38fd1498Szrj 
927*38fd1498Szrj 	  (qsort) (sortbuf, i, sizeof (struct mode_data *), cmp_modes);
928*38fd1498Szrj 
929*38fd1498Szrj 	  sortbuf[i] = 0;
930*38fd1498Szrj 	  for (j = 0; j < i; j++)
931*38fd1498Szrj 	    {
932*38fd1498Szrj 	      sortbuf[j]->next = sortbuf[j + 1];
933*38fd1498Szrj 	      if (c == MODE_PARTIAL_INT)
934*38fd1498Szrj 		sortbuf[j]->wider = sortbuf[j]->component;
935*38fd1498Szrj 	      else
936*38fd1498Szrj 		sortbuf[j]->wider = sortbuf[j]->next;
937*38fd1498Szrj 	    }
938*38fd1498Szrj 
939*38fd1498Szrj 	  modes[c] = sortbuf[0];
940*38fd1498Szrj 	}
941*38fd1498Szrj     }
942*38fd1498Szrj }
943*38fd1498Szrj 
944*38fd1498Szrj /* Text to add to the constant part of a poly_int_pod initializer in
945*38fd1498Szrj    order to fill out te whole structure.  */
946*38fd1498Szrj #if NUM_POLY_INT_COEFFS == 1
947*38fd1498Szrj #define ZERO_COEFFS ""
948*38fd1498Szrj #elif NUM_POLY_INT_COEFFS == 2
949*38fd1498Szrj #define ZERO_COEFFS ", 0"
950*38fd1498Szrj #else
951*38fd1498Szrj #error "Unknown value of NUM_POLY_INT_COEFFS"
952*38fd1498Szrj #endif
953*38fd1498Szrj 
954*38fd1498Szrj /* Output routines.  */
955*38fd1498Szrj 
956*38fd1498Szrj #define tagged_printf(FMT, ARG, TAG) do {		\
957*38fd1498Szrj   int count_ = printf ("  " FMT ",", ARG);		\
958*38fd1498Szrj   printf ("%*s/* %s */\n", 27 - count_, "", TAG);	\
959*38fd1498Szrj } while (0)
960*38fd1498Szrj 
961*38fd1498Szrj #define print_decl(TYPE, NAME, ASIZE) \
962*38fd1498Szrj   puts ("\nconst " TYPE " " NAME "[" ASIZE "] =\n{");
963*38fd1498Szrj 
964*38fd1498Szrj #define print_maybe_const_decl(TYPE, NAME, ASIZE, NEEDS_ADJ)	\
965*38fd1498Szrj   printf ("\n" TYPE " " NAME "[" ASIZE "] = \n{\n",		\
966*38fd1498Szrj 	  NEEDS_ADJ ? "" : "const ")
967*38fd1498Szrj 
968*38fd1498Szrj #define print_closer() puts ("};")
969*38fd1498Szrj 
970*38fd1498Szrj /* Compute the max bitsize of some of the classes of integers.  It may
971*38fd1498Szrj    be that there are needs for the other integer classes, and this
972*38fd1498Szrj    code is easy to extend.  */
973*38fd1498Szrj static void
emit_max_int(void)974*38fd1498Szrj emit_max_int (void)
975*38fd1498Szrj {
976*38fd1498Szrj   unsigned int max, mmax;
977*38fd1498Szrj   struct mode_data *i;
978*38fd1498Szrj   int j;
979*38fd1498Szrj 
980*38fd1498Szrj   puts ("");
981*38fd1498Szrj 
982*38fd1498Szrj   printf ("#define BITS_PER_UNIT (%d)\n", bits_per_unit);
983*38fd1498Szrj 
984*38fd1498Szrj   if (max_bitsize_mode_any_int == 0)
985*38fd1498Szrj     {
986*38fd1498Szrj       for (max = 1, i = modes[MODE_INT]; i; i = i->next)
987*38fd1498Szrj 	if (max < i->bytesize)
988*38fd1498Szrj 	  max = i->bytesize;
989*38fd1498Szrj       mmax = max;
990*38fd1498Szrj       for (max = 1, i = modes[MODE_PARTIAL_INT]; i; i = i->next)
991*38fd1498Szrj 	if (max < i->bytesize)
992*38fd1498Szrj 	  max = i->bytesize;
993*38fd1498Szrj       if (max > mmax)
994*38fd1498Szrj 	mmax = max;
995*38fd1498Szrj       printf ("#define MAX_BITSIZE_MODE_ANY_INT (%d*BITS_PER_UNIT)\n", mmax);
996*38fd1498Szrj     }
997*38fd1498Szrj   else
998*38fd1498Szrj     printf ("#define MAX_BITSIZE_MODE_ANY_INT %d\n", max_bitsize_mode_any_int);
999*38fd1498Szrj 
1000*38fd1498Szrj   if (max_bitsize_mode_any_mode == 0)
1001*38fd1498Szrj     {
1002*38fd1498Szrj       mmax = 0;
1003*38fd1498Szrj       for (j = 0; j < MAX_MODE_CLASS; j++)
1004*38fd1498Szrj 	for (i = modes[j]; i; i = i->next)
1005*38fd1498Szrj 	  if (mmax < i->bytesize)
1006*38fd1498Szrj 	    mmax = i->bytesize;
1007*38fd1498Szrj       printf ("#define MAX_BITSIZE_MODE_ANY_MODE (%d*BITS_PER_UNIT)\n", mmax);
1008*38fd1498Szrj     }
1009*38fd1498Szrj   else
1010*38fd1498Szrj     printf ("#define MAX_BITSIZE_MODE_ANY_MODE %d\n",
1011*38fd1498Szrj 	    max_bitsize_mode_any_mode);
1012*38fd1498Szrj }
1013*38fd1498Szrj 
1014*38fd1498Szrj /* Emit mode_size_inline routine into insn-modes.h header.  */
1015*38fd1498Szrj static void
emit_mode_size_inline(void)1016*38fd1498Szrj emit_mode_size_inline (void)
1017*38fd1498Szrj {
1018*38fd1498Szrj   int c;
1019*38fd1498Szrj   struct mode_adjust *a;
1020*38fd1498Szrj   struct mode_data *m;
1021*38fd1498Szrj 
1022*38fd1498Szrj   /* Size adjustments must be propagated to all containing modes.  */
1023*38fd1498Szrj   for (a = adj_bytesize; a; a = a->next)
1024*38fd1498Szrj     {
1025*38fd1498Szrj       a->mode->need_bytesize_adj = true;
1026*38fd1498Szrj       for (m = a->mode->contained; m; m = m->next_cont)
1027*38fd1498Szrj 	m->need_bytesize_adj = true;
1028*38fd1498Szrj     }
1029*38fd1498Szrj 
1030*38fd1498Szrj   /* Changing the number of units by a factor of X also changes the size
1031*38fd1498Szrj      by a factor of X.  */
1032*38fd1498Szrj   for (mode_adjust *a = adj_nunits; a; a = a->next)
1033*38fd1498Szrj     a->mode->need_bytesize_adj = true;
1034*38fd1498Szrj 
1035*38fd1498Szrj   printf ("\
1036*38fd1498Szrj #ifdef __cplusplus\n\
1037*38fd1498Szrj inline __attribute__((__always_inline__))\n\
1038*38fd1498Szrj #else\n\
1039*38fd1498Szrj extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1040*38fd1498Szrj #endif\n\
1041*38fd1498Szrj poly_uint16\n\
1042*38fd1498Szrj mode_size_inline (machine_mode mode)\n\
1043*38fd1498Szrj {\n\
1044*38fd1498Szrj   extern %spoly_uint16_pod mode_size[NUM_MACHINE_MODES];\n\
1045*38fd1498Szrj   gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1046*38fd1498Szrj   switch (mode)\n\
1047*38fd1498Szrj     {\n", adj_nunits || adj_bytesize ? "" : "const ");
1048*38fd1498Szrj 
1049*38fd1498Szrj   for_all_modes (c, m)
1050*38fd1498Szrj     if (!m->need_bytesize_adj)
1051*38fd1498Szrj       printf ("    case E_%smode: return %u;\n", m->name, m->bytesize);
1052*38fd1498Szrj 
1053*38fd1498Szrj   puts ("\
1054*38fd1498Szrj     default: return mode_size[mode];\n\
1055*38fd1498Szrj     }\n\
1056*38fd1498Szrj }\n");
1057*38fd1498Szrj }
1058*38fd1498Szrj 
1059*38fd1498Szrj /* Emit mode_nunits_inline routine into insn-modes.h header.  */
1060*38fd1498Szrj static void
emit_mode_nunits_inline(void)1061*38fd1498Szrj emit_mode_nunits_inline (void)
1062*38fd1498Szrj {
1063*38fd1498Szrj   int c;
1064*38fd1498Szrj   struct mode_data *m;
1065*38fd1498Szrj 
1066*38fd1498Szrj   for (mode_adjust *a = adj_nunits; a; a = a->next)
1067*38fd1498Szrj     a->mode->need_nunits_adj = true;
1068*38fd1498Szrj 
1069*38fd1498Szrj   printf ("\
1070*38fd1498Szrj #ifdef __cplusplus\n\
1071*38fd1498Szrj inline __attribute__((__always_inline__))\n\
1072*38fd1498Szrj #else\n\
1073*38fd1498Szrj extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1074*38fd1498Szrj #endif\n\
1075*38fd1498Szrj poly_uint16\n\
1076*38fd1498Szrj mode_nunits_inline (machine_mode mode)\n\
1077*38fd1498Szrj {\n\
1078*38fd1498Szrj   extern %spoly_uint16_pod mode_nunits[NUM_MACHINE_MODES];\n\
1079*38fd1498Szrj   switch (mode)\n\
1080*38fd1498Szrj     {\n", adj_nunits ? "" : "const ");
1081*38fd1498Szrj 
1082*38fd1498Szrj   for_all_modes (c, m)
1083*38fd1498Szrj     if (!m->need_nunits_adj)
1084*38fd1498Szrj       printf ("    case E_%smode: return %u;\n", m->name, m->ncomponents);
1085*38fd1498Szrj 
1086*38fd1498Szrj   puts ("\
1087*38fd1498Szrj     default: return mode_nunits[mode];\n\
1088*38fd1498Szrj     }\n\
1089*38fd1498Szrj }\n");
1090*38fd1498Szrj }
1091*38fd1498Szrj 
1092*38fd1498Szrj /* Emit mode_inner_inline routine into insn-modes.h header.  */
1093*38fd1498Szrj static void
emit_mode_inner_inline(void)1094*38fd1498Szrj emit_mode_inner_inline (void)
1095*38fd1498Szrj {
1096*38fd1498Szrj   int c;
1097*38fd1498Szrj   struct mode_data *m;
1098*38fd1498Szrj 
1099*38fd1498Szrj   puts ("\
1100*38fd1498Szrj #ifdef __cplusplus\n\
1101*38fd1498Szrj inline __attribute__((__always_inline__))\n\
1102*38fd1498Szrj #else\n\
1103*38fd1498Szrj extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1104*38fd1498Szrj #endif\n\
1105*38fd1498Szrj unsigned char\n\
1106*38fd1498Szrj mode_inner_inline (machine_mode mode)\n\
1107*38fd1498Szrj {\n\
1108*38fd1498Szrj   extern const unsigned char mode_inner[NUM_MACHINE_MODES];\n\
1109*38fd1498Szrj   gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1110*38fd1498Szrj   switch (mode)\n\
1111*38fd1498Szrj     {");
1112*38fd1498Szrj 
1113*38fd1498Szrj   for_all_modes (c, m)
1114*38fd1498Szrj     printf ("    case E_%smode: return E_%smode;\n", m->name,
1115*38fd1498Szrj 	    c != MODE_PARTIAL_INT && m->component
1116*38fd1498Szrj 	    ? m->component->name : m->name);
1117*38fd1498Szrj 
1118*38fd1498Szrj   puts ("\
1119*38fd1498Szrj     default: return mode_inner[mode];\n\
1120*38fd1498Szrj     }\n\
1121*38fd1498Szrj }\n");
1122*38fd1498Szrj }
1123*38fd1498Szrj 
1124*38fd1498Szrj /* Emit mode_unit_size_inline routine into insn-modes.h header.  */
1125*38fd1498Szrj static void
emit_mode_unit_size_inline(void)1126*38fd1498Szrj emit_mode_unit_size_inline (void)
1127*38fd1498Szrj {
1128*38fd1498Szrj   int c;
1129*38fd1498Szrj   struct mode_data *m;
1130*38fd1498Szrj 
1131*38fd1498Szrj   puts ("\
1132*38fd1498Szrj #ifdef __cplusplus\n\
1133*38fd1498Szrj inline __attribute__((__always_inline__))\n\
1134*38fd1498Szrj #else\n\
1135*38fd1498Szrj extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1136*38fd1498Szrj #endif\n\
1137*38fd1498Szrj unsigned char\n\
1138*38fd1498Szrj mode_unit_size_inline (machine_mode mode)\n\
1139*38fd1498Szrj {\n\
1140*38fd1498Szrj   extern CONST_MODE_UNIT_SIZE unsigned char mode_unit_size[NUM_MACHINE_MODES];\
1141*38fd1498Szrj \n\
1142*38fd1498Szrj   gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1143*38fd1498Szrj   switch (mode)\n\
1144*38fd1498Szrj     {");
1145*38fd1498Szrj 
1146*38fd1498Szrj   for_all_modes (c, m)
1147*38fd1498Szrj     {
1148*38fd1498Szrj       const char *name = m->name;
1149*38fd1498Szrj       struct mode_data *m2 = m;
1150*38fd1498Szrj       if (c != MODE_PARTIAL_INT && m2->component)
1151*38fd1498Szrj 	m2 = m2->component;
1152*38fd1498Szrj       if (!m2->need_bytesize_adj)
1153*38fd1498Szrj 	printf ("    case E_%smode: return %u;\n", name, m2->bytesize);
1154*38fd1498Szrj     }
1155*38fd1498Szrj 
1156*38fd1498Szrj   puts ("\
1157*38fd1498Szrj     default: return mode_unit_size[mode];\n\
1158*38fd1498Szrj     }\n\
1159*38fd1498Szrj }\n");
1160*38fd1498Szrj }
1161*38fd1498Szrj 
1162*38fd1498Szrj /* Emit mode_unit_precision_inline routine into insn-modes.h header.  */
1163*38fd1498Szrj static void
emit_mode_unit_precision_inline(void)1164*38fd1498Szrj emit_mode_unit_precision_inline (void)
1165*38fd1498Szrj {
1166*38fd1498Szrj   int c;
1167*38fd1498Szrj   struct mode_data *m;
1168*38fd1498Szrj 
1169*38fd1498Szrj   puts ("\
1170*38fd1498Szrj #ifdef __cplusplus\n\
1171*38fd1498Szrj inline __attribute__((__always_inline__))\n\
1172*38fd1498Szrj #else\n\
1173*38fd1498Szrj extern __inline__ __attribute__((__always_inline__, __gnu_inline__))\n\
1174*38fd1498Szrj #endif\n\
1175*38fd1498Szrj unsigned short\n\
1176*38fd1498Szrj mode_unit_precision_inline (machine_mode mode)\n\
1177*38fd1498Szrj {\n\
1178*38fd1498Szrj   extern const unsigned short mode_unit_precision[NUM_MACHINE_MODES];\n\
1179*38fd1498Szrj   gcc_assert (mode >= 0 && mode < NUM_MACHINE_MODES);\n\
1180*38fd1498Szrj   switch (mode)\n\
1181*38fd1498Szrj     {");
1182*38fd1498Szrj 
1183*38fd1498Szrj   for_all_modes (c, m)
1184*38fd1498Szrj     {
1185*38fd1498Szrj       struct mode_data *m2
1186*38fd1498Szrj 	= (c != MODE_PARTIAL_INT && m->component) ? m->component : m;
1187*38fd1498Szrj       if (m2->precision != (unsigned int)-1)
1188*38fd1498Szrj 	printf ("    case E_%smode: return %u;\n", m->name, m2->precision);
1189*38fd1498Szrj       else
1190*38fd1498Szrj 	printf ("    case E_%smode: return %u*BITS_PER_UNIT;\n",
1191*38fd1498Szrj 		m->name, m2->bytesize);
1192*38fd1498Szrj     }
1193*38fd1498Szrj 
1194*38fd1498Szrj   puts ("\
1195*38fd1498Szrj     default: return mode_unit_precision[mode];\n\
1196*38fd1498Szrj     }\n\
1197*38fd1498Szrj }\n");
1198*38fd1498Szrj }
1199*38fd1498Szrj 
1200*38fd1498Szrj /* Return the best machine mode class for MODE, or null if machine_mode
1201*38fd1498Szrj    should be used.  */
1202*38fd1498Szrj 
1203*38fd1498Szrj static const char *
get_mode_class(struct mode_data * mode)1204*38fd1498Szrj get_mode_class (struct mode_data *mode)
1205*38fd1498Szrj {
1206*38fd1498Szrj   switch (mode->cl)
1207*38fd1498Szrj     {
1208*38fd1498Szrj     case MODE_INT:
1209*38fd1498Szrj     case MODE_PARTIAL_INT:
1210*38fd1498Szrj       return "scalar_int_mode";
1211*38fd1498Szrj 
1212*38fd1498Szrj     case MODE_FRACT:
1213*38fd1498Szrj     case MODE_UFRACT:
1214*38fd1498Szrj     case MODE_ACCUM:
1215*38fd1498Szrj     case MODE_UACCUM:
1216*38fd1498Szrj     case MODE_POINTER_BOUNDS:
1217*38fd1498Szrj       return "scalar_mode";
1218*38fd1498Szrj 
1219*38fd1498Szrj     case MODE_FLOAT:
1220*38fd1498Szrj     case MODE_DECIMAL_FLOAT:
1221*38fd1498Szrj       return "scalar_float_mode";
1222*38fd1498Szrj 
1223*38fd1498Szrj     case MODE_COMPLEX_INT:
1224*38fd1498Szrj     case MODE_COMPLEX_FLOAT:
1225*38fd1498Szrj       return "complex_mode";
1226*38fd1498Szrj 
1227*38fd1498Szrj     default:
1228*38fd1498Szrj       return NULL;
1229*38fd1498Szrj     }
1230*38fd1498Szrj }
1231*38fd1498Szrj 
1232*38fd1498Szrj static void
emit_insn_modes_h(void)1233*38fd1498Szrj emit_insn_modes_h (void)
1234*38fd1498Szrj {
1235*38fd1498Szrj   int c;
1236*38fd1498Szrj   struct mode_data *m, *first, *last;
1237*38fd1498Szrj   int n_int_n_ents = 0;
1238*38fd1498Szrj 
1239*38fd1498Szrj   printf ("/* Generated automatically from machmode.def%s%s\n",
1240*38fd1498Szrj 	   HAVE_EXTRA_MODES ? " and " : "",
1241*38fd1498Szrj 	   EXTRA_MODES_FILE);
1242*38fd1498Szrj 
1243*38fd1498Szrj   puts ("\
1244*38fd1498Szrj    by genmodes.  */\n\
1245*38fd1498Szrj \n\
1246*38fd1498Szrj #ifndef GCC_INSN_MODES_H\n\
1247*38fd1498Szrj #define GCC_INSN_MODES_H\n\
1248*38fd1498Szrj \n\
1249*38fd1498Szrj enum machine_mode\n{");
1250*38fd1498Szrj 
1251*38fd1498Szrj   for (c = 0; c < MAX_MODE_CLASS; c++)
1252*38fd1498Szrj     for (m = modes[c]; m; m = m->next)
1253*38fd1498Szrj       {
1254*38fd1498Szrj 	int count_ = printf ("  E_%smode,", m->name);
1255*38fd1498Szrj 	printf ("%*s/* %s:%d */\n", 27 - count_, "",
1256*38fd1498Szrj 		 trim_filename (m->file), m->line);
1257*38fd1498Szrj 	printf ("#define HAVE_%smode\n", m->name);
1258*38fd1498Szrj 	printf ("#ifdef USE_ENUM_MODES\n");
1259*38fd1498Szrj 	printf ("#define %smode E_%smode\n", m->name, m->name);
1260*38fd1498Szrj 	printf ("#else\n");
1261*38fd1498Szrj 	if (const char *mode_class = get_mode_class (m))
1262*38fd1498Szrj 	  printf ("#define %smode (%s ((%s::from_int) E_%smode))\n",
1263*38fd1498Szrj 		  m->name, mode_class, mode_class, m->name);
1264*38fd1498Szrj 	else
1265*38fd1498Szrj 	  printf ("#define %smode ((void) 0, E_%smode)\n",
1266*38fd1498Szrj 		  m->name, m->name);
1267*38fd1498Szrj 	printf ("#endif\n");
1268*38fd1498Szrj       }
1269*38fd1498Szrj 
1270*38fd1498Szrj   puts ("  MAX_MACHINE_MODE,\n");
1271*38fd1498Szrj 
1272*38fd1498Szrj   for (c = 0; c < MAX_MODE_CLASS; c++)
1273*38fd1498Szrj     {
1274*38fd1498Szrj       first = modes[c];
1275*38fd1498Szrj       last = 0;
1276*38fd1498Szrj       for (m = first; m; last = m, m = m->next)
1277*38fd1498Szrj 	;
1278*38fd1498Szrj 
1279*38fd1498Szrj       /* Don't use BImode for MIN_MODE_INT, since otherwise the middle
1280*38fd1498Szrj 	 end will try to use it for bitfields in structures and the
1281*38fd1498Szrj 	 like, which we do not want.  Only the target md file should
1282*38fd1498Szrj 	 generate BImode widgets.  */
1283*38fd1498Szrj       if (first && first->precision == 1 && c == MODE_INT)
1284*38fd1498Szrj 	first = first->next;
1285*38fd1498Szrj 
1286*38fd1498Szrj       if (first && last)
1287*38fd1498Szrj 	printf ("  MIN_%s = E_%smode,\n  MAX_%s = E_%smode,\n\n",
1288*38fd1498Szrj 		 mode_class_names[c], first->name,
1289*38fd1498Szrj 		 mode_class_names[c], last->name);
1290*38fd1498Szrj       else
1291*38fd1498Szrj 	printf ("  MIN_%s = E_%smode,\n  MAX_%s = E_%smode,\n\n",
1292*38fd1498Szrj 		 mode_class_names[c], void_mode->name,
1293*38fd1498Szrj 		 mode_class_names[c], void_mode->name);
1294*38fd1498Szrj     }
1295*38fd1498Szrj 
1296*38fd1498Szrj   puts ("\
1297*38fd1498Szrj   NUM_MACHINE_MODES = MAX_MACHINE_MODE\n\
1298*38fd1498Szrj };\n");
1299*38fd1498Szrj 
1300*38fd1498Szrj   /* I can't think of a better idea, can you?  */
1301*38fd1498Szrj   printf ("#define CONST_MODE_NUNITS%s\n", adj_nunits ? "" : " const");
1302*38fd1498Szrj   printf ("#define CONST_MODE_PRECISION%s\n", adj_nunits ? "" : " const");
1303*38fd1498Szrj   printf ("#define CONST_MODE_SIZE%s\n",
1304*38fd1498Szrj 	  adj_bytesize || adj_nunits ? "" : " const");
1305*38fd1498Szrj   printf ("#define CONST_MODE_UNIT_SIZE%s\n", adj_bytesize ? "" : " const");
1306*38fd1498Szrj   printf ("#define CONST_MODE_BASE_ALIGN%s\n", adj_alignment ? "" : " const");
1307*38fd1498Szrj #if 0 /* disabled for backward compatibility, temporary */
1308*38fd1498Szrj   printf ("#define CONST_REAL_FORMAT_FOR_MODE%s\n", adj_format ? "" :" const");
1309*38fd1498Szrj #endif
1310*38fd1498Szrj   printf ("#define CONST_MODE_IBIT%s\n", adj_ibit ? "" : " const");
1311*38fd1498Szrj   printf ("#define CONST_MODE_FBIT%s\n", adj_fbit ? "" : " const");
1312*38fd1498Szrj   emit_max_int ();
1313*38fd1498Szrj 
1314*38fd1498Szrj   for_all_modes (c, m)
1315*38fd1498Szrj     if (m->int_n)
1316*38fd1498Szrj       n_int_n_ents ++;
1317*38fd1498Szrj 
1318*38fd1498Szrj   printf ("#define NUM_INT_N_ENTS %d\n", n_int_n_ents);
1319*38fd1498Szrj 
1320*38fd1498Szrj   printf ("#define NUM_POLY_INT_COEFFS %d\n", NUM_POLY_INT_COEFFS);
1321*38fd1498Szrj 
1322*38fd1498Szrj   puts ("\
1323*38fd1498Szrj \n\
1324*38fd1498Szrj #endif /* insn-modes.h */");
1325*38fd1498Szrj }
1326*38fd1498Szrj 
1327*38fd1498Szrj static void
emit_insn_modes_inline_h(void)1328*38fd1498Szrj emit_insn_modes_inline_h (void)
1329*38fd1498Szrj {
1330*38fd1498Szrj   printf ("/* Generated automatically from machmode.def%s%s\n",
1331*38fd1498Szrj 	   HAVE_EXTRA_MODES ? " and " : "",
1332*38fd1498Szrj 	   EXTRA_MODES_FILE);
1333*38fd1498Szrj 
1334*38fd1498Szrj   puts ("\
1335*38fd1498Szrj    by genmodes.  */\n\
1336*38fd1498Szrj \n\
1337*38fd1498Szrj #ifndef GCC_INSN_MODES_INLINE_H\n\
1338*38fd1498Szrj #define GCC_INSN_MODES_INLINE_H");
1339*38fd1498Szrj 
1340*38fd1498Szrj   puts ("\n#if !defined (USED_FOR_TARGET) && GCC_VERSION >= 4001\n");
1341*38fd1498Szrj   emit_mode_size_inline ();
1342*38fd1498Szrj   emit_mode_nunits_inline ();
1343*38fd1498Szrj   emit_mode_inner_inline ();
1344*38fd1498Szrj   emit_mode_unit_size_inline ();
1345*38fd1498Szrj   emit_mode_unit_precision_inline ();
1346*38fd1498Szrj   puts ("#endif /* GCC_VERSION >= 4001 */");
1347*38fd1498Szrj 
1348*38fd1498Szrj   puts ("\
1349*38fd1498Szrj \n\
1350*38fd1498Szrj #endif /* insn-modes-inline.h */");
1351*38fd1498Szrj }
1352*38fd1498Szrj 
1353*38fd1498Szrj static void
emit_insn_modes_c_header(void)1354*38fd1498Szrj emit_insn_modes_c_header (void)
1355*38fd1498Szrj {
1356*38fd1498Szrj   printf ("/* Generated automatically from machmode.def%s%s\n",
1357*38fd1498Szrj 	   HAVE_EXTRA_MODES ? " and " : "",
1358*38fd1498Szrj 	   EXTRA_MODES_FILE);
1359*38fd1498Szrj 
1360*38fd1498Szrj   puts ("\
1361*38fd1498Szrj    by genmodes.  */\n\
1362*38fd1498Szrj \n\
1363*38fd1498Szrj #include \"config.h\"\n\
1364*38fd1498Szrj #include \"system.h\"\n\
1365*38fd1498Szrj #include \"coretypes.h\"\n\
1366*38fd1498Szrj #include \"tm.h\"\n\
1367*38fd1498Szrj #include \"real.h\"");
1368*38fd1498Szrj }
1369*38fd1498Szrj 
1370*38fd1498Szrj static void
emit_min_insn_modes_c_header(void)1371*38fd1498Szrj emit_min_insn_modes_c_header (void)
1372*38fd1498Szrj {
1373*38fd1498Szrj   printf ("/* Generated automatically from machmode.def%s%s\n",
1374*38fd1498Szrj 	   HAVE_EXTRA_MODES ? " and " : "",
1375*38fd1498Szrj 	   EXTRA_MODES_FILE);
1376*38fd1498Szrj 
1377*38fd1498Szrj   puts ("\
1378*38fd1498Szrj    by genmodes.  */\n\
1379*38fd1498Szrj \n\
1380*38fd1498Szrj #include \"bconfig.h\"\n\
1381*38fd1498Szrj #include \"system.h\"\n\
1382*38fd1498Szrj #include \"coretypes.h\"");
1383*38fd1498Szrj }
1384*38fd1498Szrj 
1385*38fd1498Szrj static void
emit_mode_name(void)1386*38fd1498Szrj emit_mode_name (void)
1387*38fd1498Szrj {
1388*38fd1498Szrj   int c;
1389*38fd1498Szrj   struct mode_data *m;
1390*38fd1498Szrj 
1391*38fd1498Szrj   print_decl ("char *const", "mode_name", "NUM_MACHINE_MODES");
1392*38fd1498Szrj 
1393*38fd1498Szrj   for_all_modes (c, m)
1394*38fd1498Szrj     printf ("  \"%s\",\n", m->name);
1395*38fd1498Szrj 
1396*38fd1498Szrj   print_closer ();
1397*38fd1498Szrj }
1398*38fd1498Szrj 
1399*38fd1498Szrj static void
emit_mode_class(void)1400*38fd1498Szrj emit_mode_class (void)
1401*38fd1498Szrj {
1402*38fd1498Szrj   int c;
1403*38fd1498Szrj   struct mode_data *m;
1404*38fd1498Szrj 
1405*38fd1498Szrj   print_decl ("unsigned char", "mode_class", "NUM_MACHINE_MODES");
1406*38fd1498Szrj 
1407*38fd1498Szrj   for_all_modes (c, m)
1408*38fd1498Szrj     tagged_printf ("%s", mode_class_names[m->cl], m->name);
1409*38fd1498Szrj 
1410*38fd1498Szrj   print_closer ();
1411*38fd1498Szrj }
1412*38fd1498Szrj 
1413*38fd1498Szrj static void
emit_mode_precision(void)1414*38fd1498Szrj emit_mode_precision (void)
1415*38fd1498Szrj {
1416*38fd1498Szrj   int c;
1417*38fd1498Szrj   struct mode_data *m;
1418*38fd1498Szrj 
1419*38fd1498Szrj   print_maybe_const_decl ("%spoly_uint16_pod", "mode_precision",
1420*38fd1498Szrj 			  "NUM_MACHINE_MODES", adj_nunits);
1421*38fd1498Szrj 
1422*38fd1498Szrj   for_all_modes (c, m)
1423*38fd1498Szrj     if (m->precision != (unsigned int)-1)
1424*38fd1498Szrj       tagged_printf ("{ %u" ZERO_COEFFS " }", m->precision, m->name);
1425*38fd1498Szrj     else
1426*38fd1498Szrj       tagged_printf ("{ %u * BITS_PER_UNIT" ZERO_COEFFS " }",
1427*38fd1498Szrj 		     m->bytesize, m->name);
1428*38fd1498Szrj 
1429*38fd1498Szrj   print_closer ();
1430*38fd1498Szrj }
1431*38fd1498Szrj 
1432*38fd1498Szrj static void
emit_mode_size(void)1433*38fd1498Szrj emit_mode_size (void)
1434*38fd1498Szrj {
1435*38fd1498Szrj   int c;
1436*38fd1498Szrj   struct mode_data *m;
1437*38fd1498Szrj 
1438*38fd1498Szrj   print_maybe_const_decl ("%spoly_uint16_pod", "mode_size",
1439*38fd1498Szrj 			  "NUM_MACHINE_MODES", adj_nunits || adj_bytesize);
1440*38fd1498Szrj 
1441*38fd1498Szrj   for_all_modes (c, m)
1442*38fd1498Szrj     tagged_printf ("{ %u" ZERO_COEFFS " }", m->bytesize, m->name);
1443*38fd1498Szrj 
1444*38fd1498Szrj   print_closer ();
1445*38fd1498Szrj }
1446*38fd1498Szrj 
1447*38fd1498Szrj static void
emit_mode_nunits(void)1448*38fd1498Szrj emit_mode_nunits (void)
1449*38fd1498Szrj {
1450*38fd1498Szrj   int c;
1451*38fd1498Szrj   struct mode_data *m;
1452*38fd1498Szrj 
1453*38fd1498Szrj   print_maybe_const_decl ("%spoly_uint16_pod", "mode_nunits",
1454*38fd1498Szrj 			  "NUM_MACHINE_MODES", adj_nunits);
1455*38fd1498Szrj 
1456*38fd1498Szrj   for_all_modes (c, m)
1457*38fd1498Szrj     tagged_printf ("{ %u" ZERO_COEFFS " }", m->ncomponents, m->name);
1458*38fd1498Szrj 
1459*38fd1498Szrj   print_closer ();
1460*38fd1498Szrj }
1461*38fd1498Szrj 
1462*38fd1498Szrj static void
emit_mode_wider(void)1463*38fd1498Szrj emit_mode_wider (void)
1464*38fd1498Szrj {
1465*38fd1498Szrj   int c;
1466*38fd1498Szrj   struct mode_data *m;
1467*38fd1498Szrj 
1468*38fd1498Szrj   print_decl ("unsigned char", "mode_wider", "NUM_MACHINE_MODES");
1469*38fd1498Szrj 
1470*38fd1498Szrj   for_all_modes (c, m)
1471*38fd1498Szrj     tagged_printf ("E_%smode",
1472*38fd1498Szrj 		   m->wider ? m->wider->name : void_mode->name,
1473*38fd1498Szrj 		   m->name);
1474*38fd1498Szrj 
1475*38fd1498Szrj   print_closer ();
1476*38fd1498Szrj   print_decl ("unsigned char", "mode_2xwider", "NUM_MACHINE_MODES");
1477*38fd1498Szrj 
1478*38fd1498Szrj   for_all_modes (c, m)
1479*38fd1498Szrj     {
1480*38fd1498Szrj       struct mode_data * m2;
1481*38fd1498Szrj 
1482*38fd1498Szrj       for (m2 = m;
1483*38fd1498Szrj 	   m2 && m2 != void_mode;
1484*38fd1498Szrj 	   m2 = m2->wider)
1485*38fd1498Szrj 	{
1486*38fd1498Szrj 	  if (m2->bytesize < 2 * m->bytesize)
1487*38fd1498Szrj 	    continue;
1488*38fd1498Szrj 	  if (m->precision != (unsigned int) -1)
1489*38fd1498Szrj 	    {
1490*38fd1498Szrj 	      if (m2->precision != 2 * m->precision)
1491*38fd1498Szrj 		continue;
1492*38fd1498Szrj 	    }
1493*38fd1498Szrj 	  else
1494*38fd1498Szrj 	    {
1495*38fd1498Szrj 	      if (m2->precision != (unsigned int) -1)
1496*38fd1498Szrj 		continue;
1497*38fd1498Szrj 	    }
1498*38fd1498Szrj 
1499*38fd1498Szrj 	  /* For vectors we want twice the number of components,
1500*38fd1498Szrj 	     with the same element type.  */
1501*38fd1498Szrj 	  if (m->cl == MODE_VECTOR_BOOL
1502*38fd1498Szrj 	      || m->cl == MODE_VECTOR_INT
1503*38fd1498Szrj 	      || m->cl == MODE_VECTOR_FLOAT
1504*38fd1498Szrj 	      || m->cl == MODE_VECTOR_FRACT
1505*38fd1498Szrj 	      || m->cl == MODE_VECTOR_UFRACT
1506*38fd1498Szrj 	      || m->cl == MODE_VECTOR_ACCUM
1507*38fd1498Szrj 	      || m->cl == MODE_VECTOR_UACCUM)
1508*38fd1498Szrj 	    {
1509*38fd1498Szrj 	      if (m2->ncomponents != 2 * m->ncomponents)
1510*38fd1498Szrj 		continue;
1511*38fd1498Szrj 	      if (m->component != m2->component)
1512*38fd1498Szrj 		continue;
1513*38fd1498Szrj 	    }
1514*38fd1498Szrj 
1515*38fd1498Szrj 	  break;
1516*38fd1498Szrj 	}
1517*38fd1498Szrj       if (m2 == void_mode)
1518*38fd1498Szrj 	m2 = 0;
1519*38fd1498Szrj       tagged_printf ("E_%smode",
1520*38fd1498Szrj 		     m2 ? m2->name : void_mode->name,
1521*38fd1498Szrj 		     m->name);
1522*38fd1498Szrj     }
1523*38fd1498Szrj 
1524*38fd1498Szrj   print_closer ();
1525*38fd1498Szrj }
1526*38fd1498Szrj 
1527*38fd1498Szrj static void
emit_mode_complex(void)1528*38fd1498Szrj emit_mode_complex (void)
1529*38fd1498Szrj {
1530*38fd1498Szrj   int c;
1531*38fd1498Szrj   struct mode_data *m;
1532*38fd1498Szrj 
1533*38fd1498Szrj   print_decl ("unsigned char", "mode_complex", "NUM_MACHINE_MODES");
1534*38fd1498Szrj 
1535*38fd1498Szrj   for_all_modes (c, m)
1536*38fd1498Szrj     tagged_printf ("E_%smode",
1537*38fd1498Szrj 		   m->complex ? m->complex->name : void_mode->name,
1538*38fd1498Szrj 		   m->name);
1539*38fd1498Szrj 
1540*38fd1498Szrj   print_closer ();
1541*38fd1498Szrj }
1542*38fd1498Szrj 
1543*38fd1498Szrj static void
emit_mode_mask(void)1544*38fd1498Szrj emit_mode_mask (void)
1545*38fd1498Szrj {
1546*38fd1498Szrj   int c;
1547*38fd1498Szrj   struct mode_data *m;
1548*38fd1498Szrj 
1549*38fd1498Szrj   print_decl ("unsigned HOST_WIDE_INT", "mode_mask_array",
1550*38fd1498Szrj 	      "NUM_MACHINE_MODES");
1551*38fd1498Szrj   puts ("\
1552*38fd1498Szrj #define MODE_MASK(m)                          \\\n\
1553*38fd1498Szrj   ((m) >= HOST_BITS_PER_WIDE_INT)             \\\n\
1554*38fd1498Szrj    ? HOST_WIDE_INT_M1U                        \\\n\
1555*38fd1498Szrj    : (HOST_WIDE_INT_1U << (m)) - 1\n");
1556*38fd1498Szrj 
1557*38fd1498Szrj   for_all_modes (c, m)
1558*38fd1498Szrj     if (m->precision != (unsigned int)-1)
1559*38fd1498Szrj       tagged_printf ("MODE_MASK (%u)", m->precision, m->name);
1560*38fd1498Szrj     else
1561*38fd1498Szrj       tagged_printf ("MODE_MASK (%u*BITS_PER_UNIT)", m->bytesize, m->name);
1562*38fd1498Szrj 
1563*38fd1498Szrj   puts ("#undef MODE_MASK");
1564*38fd1498Szrj   print_closer ();
1565*38fd1498Szrj }
1566*38fd1498Szrj 
1567*38fd1498Szrj static void
emit_mode_inner(void)1568*38fd1498Szrj emit_mode_inner (void)
1569*38fd1498Szrj {
1570*38fd1498Szrj   int c;
1571*38fd1498Szrj   struct mode_data *m;
1572*38fd1498Szrj 
1573*38fd1498Szrj   print_decl ("unsigned char", "mode_inner", "NUM_MACHINE_MODES");
1574*38fd1498Szrj 
1575*38fd1498Szrj   for_all_modes (c, m)
1576*38fd1498Szrj     tagged_printf ("E_%smode",
1577*38fd1498Szrj 		   c != MODE_PARTIAL_INT && m->component
1578*38fd1498Szrj 		   ? m->component->name : m->name,
1579*38fd1498Szrj 		   m->name);
1580*38fd1498Szrj 
1581*38fd1498Szrj   print_closer ();
1582*38fd1498Szrj }
1583*38fd1498Szrj 
1584*38fd1498Szrj /* Emit mode_unit_size array into insn-modes.c file.  */
1585*38fd1498Szrj static void
emit_mode_unit_size(void)1586*38fd1498Szrj emit_mode_unit_size (void)
1587*38fd1498Szrj {
1588*38fd1498Szrj   int c;
1589*38fd1498Szrj   struct mode_data *m;
1590*38fd1498Szrj 
1591*38fd1498Szrj   print_maybe_const_decl ("%sunsigned char", "mode_unit_size",
1592*38fd1498Szrj 			  "NUM_MACHINE_MODES", adj_bytesize);
1593*38fd1498Szrj 
1594*38fd1498Szrj   for_all_modes (c, m)
1595*38fd1498Szrj     tagged_printf ("%u",
1596*38fd1498Szrj 		   c != MODE_PARTIAL_INT && m->component
1597*38fd1498Szrj 		   ? m->component->bytesize : m->bytesize, m->name);
1598*38fd1498Szrj 
1599*38fd1498Szrj   print_closer ();
1600*38fd1498Szrj }
1601*38fd1498Szrj 
1602*38fd1498Szrj /* Emit mode_unit_precision array into insn-modes.c file.  */
1603*38fd1498Szrj static void
emit_mode_unit_precision(void)1604*38fd1498Szrj emit_mode_unit_precision (void)
1605*38fd1498Szrj {
1606*38fd1498Szrj   int c;
1607*38fd1498Szrj   struct mode_data *m;
1608*38fd1498Szrj 
1609*38fd1498Szrj   print_decl ("unsigned short", "mode_unit_precision", "NUM_MACHINE_MODES");
1610*38fd1498Szrj 
1611*38fd1498Szrj   for_all_modes (c, m)
1612*38fd1498Szrj     {
1613*38fd1498Szrj       struct mode_data *m2 = (c != MODE_PARTIAL_INT && m->component) ?
1614*38fd1498Szrj 			     m->component : m;
1615*38fd1498Szrj       if (m2->precision != (unsigned int)-1)
1616*38fd1498Szrj 	tagged_printf ("%u", m2->precision, m->name);
1617*38fd1498Szrj       else
1618*38fd1498Szrj 	tagged_printf ("%u*BITS_PER_UNIT", m2->bytesize, m->name);
1619*38fd1498Szrj     }
1620*38fd1498Szrj 
1621*38fd1498Szrj   print_closer ();
1622*38fd1498Szrj }
1623*38fd1498Szrj 
1624*38fd1498Szrj 
1625*38fd1498Szrj static void
emit_mode_base_align(void)1626*38fd1498Szrj emit_mode_base_align (void)
1627*38fd1498Szrj {
1628*38fd1498Szrj   int c;
1629*38fd1498Szrj   struct mode_data *m;
1630*38fd1498Szrj 
1631*38fd1498Szrj   print_maybe_const_decl ("%sunsigned short",
1632*38fd1498Szrj 			  "mode_base_align", "NUM_MACHINE_MODES",
1633*38fd1498Szrj 			  adj_alignment);
1634*38fd1498Szrj 
1635*38fd1498Szrj   for_all_modes (c, m)
1636*38fd1498Szrj     tagged_printf ("%u", m->alignment, m->name);
1637*38fd1498Szrj 
1638*38fd1498Szrj   print_closer ();
1639*38fd1498Szrj }
1640*38fd1498Szrj 
1641*38fd1498Szrj static void
emit_class_narrowest_mode(void)1642*38fd1498Szrj emit_class_narrowest_mode (void)
1643*38fd1498Szrj {
1644*38fd1498Szrj   int c;
1645*38fd1498Szrj 
1646*38fd1498Szrj   print_decl ("unsigned char", "class_narrowest_mode", "MAX_MODE_CLASS");
1647*38fd1498Szrj 
1648*38fd1498Szrj   for (c = 0; c < MAX_MODE_CLASS; c++)
1649*38fd1498Szrj     /* Bleah, all this to get the comment right for MIN_MODE_INT.  */
1650*38fd1498Szrj     tagged_printf ("MIN_%s", mode_class_names[c],
1651*38fd1498Szrj 		   modes[c]
1652*38fd1498Szrj 		   ? ((c != MODE_INT || modes[c]->precision != 1)
1653*38fd1498Szrj 		      ? modes[c]->name
1654*38fd1498Szrj 		      : (modes[c]->next
1655*38fd1498Szrj 			 ? modes[c]->next->name
1656*38fd1498Szrj 			 : void_mode->name))
1657*38fd1498Szrj 		   : void_mode->name);
1658*38fd1498Szrj 
1659*38fd1498Szrj   print_closer ();
1660*38fd1498Szrj }
1661*38fd1498Szrj 
1662*38fd1498Szrj static void
emit_real_format_for_mode(void)1663*38fd1498Szrj emit_real_format_for_mode (void)
1664*38fd1498Szrj {
1665*38fd1498Szrj   struct mode_data *m;
1666*38fd1498Szrj 
1667*38fd1498Szrj   /* The entities pointed to by this table are constant, whether
1668*38fd1498Szrj      or not the table itself is constant.
1669*38fd1498Szrj 
1670*38fd1498Szrj      For backward compatibility this table is always writable
1671*38fd1498Szrj      (several targets modify it in TARGET_OPTION_OVERRIDE).   FIXME:
1672*38fd1498Szrj      convert all said targets to use ADJUST_FORMAT instead.  */
1673*38fd1498Szrj #if 0
1674*38fd1498Szrj   print_maybe_const_decl ("const struct real_format *%s",
1675*38fd1498Szrj 			  "real_format_for_mode",
1676*38fd1498Szrj 			  "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1",
1677*38fd1498Szrj 			  format);
1678*38fd1498Szrj #else
1679*38fd1498Szrj   print_decl ("struct real_format *\n", "real_format_for_mode",
1680*38fd1498Szrj 	      "MAX_MODE_FLOAT - MIN_MODE_FLOAT + 1 "
1681*38fd1498Szrj 	      "+ MAX_MODE_DECIMAL_FLOAT - MIN_MODE_DECIMAL_FLOAT + 1");
1682*38fd1498Szrj #endif
1683*38fd1498Szrj 
1684*38fd1498Szrj   /* The beginning of the table is entries for float modes.  */
1685*38fd1498Szrj   for (m = modes[MODE_FLOAT]; m; m = m->next)
1686*38fd1498Szrj     if (!strcmp (m->format, "0"))
1687*38fd1498Szrj       tagged_printf ("%s", m->format, m->name);
1688*38fd1498Szrj     else
1689*38fd1498Szrj       tagged_printf ("&%s", m->format, m->name);
1690*38fd1498Szrj 
1691*38fd1498Szrj   /* The end of the table is entries for decimal float modes.  */
1692*38fd1498Szrj   for (m = modes[MODE_DECIMAL_FLOAT]; m; m = m->next)
1693*38fd1498Szrj     if (!strcmp (m->format, "0"))
1694*38fd1498Szrj       tagged_printf ("%s", m->format, m->name);
1695*38fd1498Szrj     else
1696*38fd1498Szrj       tagged_printf ("&%s", m->format, m->name);
1697*38fd1498Szrj 
1698*38fd1498Szrj   print_closer ();
1699*38fd1498Szrj }
1700*38fd1498Szrj 
1701*38fd1498Szrj static void
emit_mode_adjustments(void)1702*38fd1498Szrj emit_mode_adjustments (void)
1703*38fd1498Szrj {
1704*38fd1498Szrj   struct mode_adjust *a;
1705*38fd1498Szrj   struct mode_data *m;
1706*38fd1498Szrj 
1707*38fd1498Szrj   puts ("\
1708*38fd1498Szrj \nvoid\
1709*38fd1498Szrj \ninit_adjust_machine_modes (void)\
1710*38fd1498Szrj \n{\
1711*38fd1498Szrj \n  poly_uint16 ps ATTRIBUTE_UNUSED;\n\
1712*38fd1498Szrj   size_t s ATTRIBUTE_UNUSED;");
1713*38fd1498Szrj 
1714*38fd1498Szrj   for (a = adj_nunits; a; a = a->next)
1715*38fd1498Szrj     {
1716*38fd1498Szrj       m = a->mode;
1717*38fd1498Szrj       printf ("\n"
1718*38fd1498Szrj 	      "  {\n"
1719*38fd1498Szrj 	      "    /* %s:%d */\n  ps = %s;\n",
1720*38fd1498Szrj 	      a->file, a->line, a->adjustment);
1721*38fd1498Szrj       printf ("    int old_factor = vector_element_size"
1722*38fd1498Szrj 	      " (mode_precision[E_%smode], mode_nunits[E_%smode]);\n",
1723*38fd1498Szrj 	      m->name, m->name);
1724*38fd1498Szrj       printf ("    mode_precision[E_%smode] = ps * old_factor;\n",  m->name);
1725*38fd1498Szrj       printf ("    mode_size[E_%smode] = exact_div (mode_precision[E_%smode],"
1726*38fd1498Szrj 	      " BITS_PER_UNIT);\n", m->name, m->name);
1727*38fd1498Szrj       printf ("    mode_nunits[E_%smode] = ps;\n", m->name);
1728*38fd1498Szrj       printf ("  }\n");
1729*38fd1498Szrj     }
1730*38fd1498Szrj 
1731*38fd1498Szrj   /* Size adjustments must be propagated to all containing modes.
1732*38fd1498Szrj      A size adjustment forces us to recalculate the alignment too.  */
1733*38fd1498Szrj   for (a = adj_bytesize; a; a = a->next)
1734*38fd1498Szrj     {
1735*38fd1498Szrj       printf ("\n  /* %s:%d */\n", a->file, a->line);
1736*38fd1498Szrj       switch (a->mode->cl)
1737*38fd1498Szrj 	{
1738*38fd1498Szrj 	case MODE_VECTOR_BOOL:
1739*38fd1498Szrj 	case MODE_VECTOR_INT:
1740*38fd1498Szrj 	case MODE_VECTOR_FLOAT:
1741*38fd1498Szrj 	case MODE_VECTOR_FRACT:
1742*38fd1498Szrj 	case MODE_VECTOR_UFRACT:
1743*38fd1498Szrj 	case MODE_VECTOR_ACCUM:
1744*38fd1498Szrj 	case MODE_VECTOR_UACCUM:
1745*38fd1498Szrj 	  printf ("  ps = %s;\n", a->adjustment);
1746*38fd1498Szrj 	  printf ("  s = mode_unit_size[E_%smode];\n", a->mode->name);
1747*38fd1498Szrj 	  break;
1748*38fd1498Szrj 
1749*38fd1498Szrj 	default:
1750*38fd1498Szrj 	  printf ("  ps = s = %s;\n", a->adjustment);
1751*38fd1498Szrj 	  printf ("  mode_unit_size[E_%smode] = s;\n", a->mode->name);
1752*38fd1498Szrj 	  break;
1753*38fd1498Szrj 	}
1754*38fd1498Szrj       printf ("  mode_size[E_%smode] = ps;\n", a->mode->name);
1755*38fd1498Szrj       printf ("  mode_base_align[E_%smode] = known_alignment (ps);\n",
1756*38fd1498Szrj 	      a->mode->name);
1757*38fd1498Szrj 
1758*38fd1498Szrj       for (m = a->mode->contained; m; m = m->next_cont)
1759*38fd1498Szrj 	{
1760*38fd1498Szrj 	  switch (m->cl)
1761*38fd1498Szrj 	    {
1762*38fd1498Szrj 	    case MODE_COMPLEX_INT:
1763*38fd1498Szrj 	    case MODE_COMPLEX_FLOAT:
1764*38fd1498Szrj 	      printf ("  mode_size[E_%smode] = 2*s;\n", m->name);
1765*38fd1498Szrj 	      printf ("  mode_unit_size[E_%smode] = s;\n", m->name);
1766*38fd1498Szrj 	      printf ("  mode_base_align[E_%smode] = s & (~s + 1);\n",
1767*38fd1498Szrj 		      m->name);
1768*38fd1498Szrj 	      break;
1769*38fd1498Szrj 
1770*38fd1498Szrj 	    case MODE_VECTOR_BOOL:
1771*38fd1498Szrj 	      /* Changes to BImode should not affect vector booleans.  */
1772*38fd1498Szrj 	      break;
1773*38fd1498Szrj 
1774*38fd1498Szrj 	    case MODE_VECTOR_INT:
1775*38fd1498Szrj 	    case MODE_VECTOR_FLOAT:
1776*38fd1498Szrj 	    case MODE_VECTOR_FRACT:
1777*38fd1498Szrj 	    case MODE_VECTOR_UFRACT:
1778*38fd1498Szrj 	    case MODE_VECTOR_ACCUM:
1779*38fd1498Szrj 	    case MODE_VECTOR_UACCUM:
1780*38fd1498Szrj 	      printf ("  mode_size[E_%smode] = %d * ps;\n",
1781*38fd1498Szrj 		      m->name, m->ncomponents);
1782*38fd1498Szrj 	      printf ("  mode_unit_size[E_%smode] = s;\n", m->name);
1783*38fd1498Szrj 	      printf ("  mode_base_align[E_%smode]"
1784*38fd1498Szrj 		      " = known_alignment (%d * ps);\n",
1785*38fd1498Szrj 		      m->name, m->ncomponents);
1786*38fd1498Szrj 	      break;
1787*38fd1498Szrj 
1788*38fd1498Szrj 	    default:
1789*38fd1498Szrj 	      internal_error (
1790*38fd1498Szrj 	      "mode %s is neither vector nor complex but contains %s",
1791*38fd1498Szrj 	      m->name, a->mode->name);
1792*38fd1498Szrj 	      /* NOTREACHED */
1793*38fd1498Szrj 	    }
1794*38fd1498Szrj 	}
1795*38fd1498Szrj     }
1796*38fd1498Szrj 
1797*38fd1498Szrj   /* Alignment adjustments propagate too.
1798*38fd1498Szrj      ??? This may not be the right thing for vector modes.  */
1799*38fd1498Szrj   for (a = adj_alignment; a; a = a->next)
1800*38fd1498Szrj     {
1801*38fd1498Szrj       printf ("\n  /* %s:%d */\n  s = %s;\n",
1802*38fd1498Szrj 	      a->file, a->line, a->adjustment);
1803*38fd1498Szrj       printf ("  mode_base_align[E_%smode] = s;\n", a->mode->name);
1804*38fd1498Szrj 
1805*38fd1498Szrj       for (m = a->mode->contained; m; m = m->next_cont)
1806*38fd1498Szrj 	{
1807*38fd1498Szrj 	  switch (m->cl)
1808*38fd1498Szrj 	    {
1809*38fd1498Szrj 	    case MODE_COMPLEX_INT:
1810*38fd1498Szrj 	    case MODE_COMPLEX_FLOAT:
1811*38fd1498Szrj 	      printf ("  mode_base_align[E_%smode] = s;\n", m->name);
1812*38fd1498Szrj 	      break;
1813*38fd1498Szrj 
1814*38fd1498Szrj 	    case MODE_VECTOR_BOOL:
1815*38fd1498Szrj 	      /* Changes to BImode should not affect vector booleans.  */
1816*38fd1498Szrj 	      break;
1817*38fd1498Szrj 
1818*38fd1498Szrj 	    case MODE_VECTOR_INT:
1819*38fd1498Szrj 	    case MODE_VECTOR_FLOAT:
1820*38fd1498Szrj 	    case MODE_VECTOR_FRACT:
1821*38fd1498Szrj 	    case MODE_VECTOR_UFRACT:
1822*38fd1498Szrj 	    case MODE_VECTOR_ACCUM:
1823*38fd1498Szrj 	    case MODE_VECTOR_UACCUM:
1824*38fd1498Szrj 	      printf ("  mode_base_align[E_%smode] = %d*s;\n",
1825*38fd1498Szrj 		      m->name, m->ncomponents);
1826*38fd1498Szrj 	      break;
1827*38fd1498Szrj 
1828*38fd1498Szrj 	    default:
1829*38fd1498Szrj 	      internal_error (
1830*38fd1498Szrj 	      "mode %s is neither vector nor complex but contains %s",
1831*38fd1498Szrj 	      m->name, a->mode->name);
1832*38fd1498Szrj 	      /* NOTREACHED */
1833*38fd1498Szrj 	    }
1834*38fd1498Szrj 	}
1835*38fd1498Szrj     }
1836*38fd1498Szrj 
1837*38fd1498Szrj   /* Ibit adjustments don't have to propagate.  */
1838*38fd1498Szrj   for (a = adj_ibit; a; a = a->next)
1839*38fd1498Szrj     {
1840*38fd1498Szrj       printf ("\n  /* %s:%d */\n  s = %s;\n",
1841*38fd1498Szrj 	      a->file, a->line, a->adjustment);
1842*38fd1498Szrj       printf ("  mode_ibit[E_%smode] = s;\n", a->mode->name);
1843*38fd1498Szrj     }
1844*38fd1498Szrj 
1845*38fd1498Szrj   /* Fbit adjustments don't have to propagate.  */
1846*38fd1498Szrj   for (a = adj_fbit; a; a = a->next)
1847*38fd1498Szrj     {
1848*38fd1498Szrj       printf ("\n  /* %s:%d */\n  s = %s;\n",
1849*38fd1498Szrj 	      a->file, a->line, a->adjustment);
1850*38fd1498Szrj       printf ("  mode_fbit[E_%smode] = s;\n", a->mode->name);
1851*38fd1498Szrj     }
1852*38fd1498Szrj 
1853*38fd1498Szrj   /* Real mode formats don't have to propagate anywhere.  */
1854*38fd1498Szrj   for (a = adj_format; a; a = a->next)
1855*38fd1498Szrj     printf ("\n  /* %s:%d */\n  REAL_MODE_FORMAT (E_%smode) = %s;\n",
1856*38fd1498Szrj 	    a->file, a->line, a->mode->name, a->adjustment);
1857*38fd1498Szrj 
1858*38fd1498Szrj   puts ("}");
1859*38fd1498Szrj }
1860*38fd1498Szrj 
1861*38fd1498Szrj /* Emit ibit for all modes.  */
1862*38fd1498Szrj 
1863*38fd1498Szrj static void
emit_mode_ibit(void)1864*38fd1498Szrj emit_mode_ibit (void)
1865*38fd1498Szrj {
1866*38fd1498Szrj   int c;
1867*38fd1498Szrj   struct mode_data *m;
1868*38fd1498Szrj 
1869*38fd1498Szrj   print_maybe_const_decl ("%sunsigned char",
1870*38fd1498Szrj 			  "mode_ibit", "NUM_MACHINE_MODES",
1871*38fd1498Szrj 			  adj_ibit);
1872*38fd1498Szrj 
1873*38fd1498Szrj   for_all_modes (c, m)
1874*38fd1498Szrj     tagged_printf ("%u", m->ibit, m->name);
1875*38fd1498Szrj 
1876*38fd1498Szrj   print_closer ();
1877*38fd1498Szrj }
1878*38fd1498Szrj 
1879*38fd1498Szrj /* Emit fbit for all modes.  */
1880*38fd1498Szrj 
1881*38fd1498Szrj static void
emit_mode_fbit(void)1882*38fd1498Szrj emit_mode_fbit (void)
1883*38fd1498Szrj {
1884*38fd1498Szrj   int c;
1885*38fd1498Szrj   struct mode_data *m;
1886*38fd1498Szrj 
1887*38fd1498Szrj   print_maybe_const_decl ("%sunsigned char",
1888*38fd1498Szrj 			  "mode_fbit", "NUM_MACHINE_MODES",
1889*38fd1498Szrj 			  adj_fbit);
1890*38fd1498Szrj 
1891*38fd1498Szrj   for_all_modes (c, m)
1892*38fd1498Szrj     tagged_printf ("%u", m->fbit, m->name);
1893*38fd1498Szrj 
1894*38fd1498Szrj   print_closer ();
1895*38fd1498Szrj }
1896*38fd1498Szrj 
1897*38fd1498Szrj /* Emit __intN for all modes.  */
1898*38fd1498Szrj 
1899*38fd1498Szrj static void
emit_mode_int_n(void)1900*38fd1498Szrj emit_mode_int_n (void)
1901*38fd1498Szrj {
1902*38fd1498Szrj   int c;
1903*38fd1498Szrj   struct mode_data *m;
1904*38fd1498Szrj   struct mode_data **mode_sort;
1905*38fd1498Szrj   int n_modes = 0;
1906*38fd1498Szrj   int i, j;
1907*38fd1498Szrj 
1908*38fd1498Szrj   print_decl ("int_n_data_t", "int_n_data", "");
1909*38fd1498Szrj 
1910*38fd1498Szrj   n_modes = 0;
1911*38fd1498Szrj   for_all_modes (c, m)
1912*38fd1498Szrj     if (m->int_n)
1913*38fd1498Szrj       n_modes ++;
1914*38fd1498Szrj   mode_sort = XALLOCAVEC (struct mode_data *, n_modes);
1915*38fd1498Szrj 
1916*38fd1498Szrj   n_modes = 0;
1917*38fd1498Szrj   for_all_modes (c, m)
1918*38fd1498Szrj     if (m->int_n)
1919*38fd1498Szrj       mode_sort[n_modes++] = m;
1920*38fd1498Szrj 
1921*38fd1498Szrj   /* Yes, this is a bubblesort, but there are at most four (and
1922*38fd1498Szrj      usually only 1-2) entries to sort.  */
1923*38fd1498Szrj   for (i = 0; i<n_modes - 1; i++)
1924*38fd1498Szrj     for (j = i + 1; j < n_modes; j++)
1925*38fd1498Szrj       if (mode_sort[i]->int_n > mode_sort[j]->int_n)
1926*38fd1498Szrj 	std::swap (mode_sort[i], mode_sort[j]);
1927*38fd1498Szrj 
1928*38fd1498Szrj   for (i = 0; i < n_modes; i ++)
1929*38fd1498Szrj     {
1930*38fd1498Szrj       m = mode_sort[i];
1931*38fd1498Szrj       printf(" {\n");
1932*38fd1498Szrj       tagged_printf ("%u", m->int_n, m->name);
1933*38fd1498Szrj       printf ("{ E_%smode },", m->name);
1934*38fd1498Szrj       printf(" },\n");
1935*38fd1498Szrj     }
1936*38fd1498Szrj 
1937*38fd1498Szrj   print_closer ();
1938*38fd1498Szrj }
1939*38fd1498Szrj 
1940*38fd1498Szrj 
1941*38fd1498Szrj static void
emit_insn_modes_c(void)1942*38fd1498Szrj emit_insn_modes_c (void)
1943*38fd1498Szrj {
1944*38fd1498Szrj   emit_insn_modes_c_header ();
1945*38fd1498Szrj   emit_mode_name ();
1946*38fd1498Szrj   emit_mode_class ();
1947*38fd1498Szrj   emit_mode_precision ();
1948*38fd1498Szrj   emit_mode_size ();
1949*38fd1498Szrj   emit_mode_nunits ();
1950*38fd1498Szrj   emit_mode_wider ();
1951*38fd1498Szrj   emit_mode_complex ();
1952*38fd1498Szrj   emit_mode_mask ();
1953*38fd1498Szrj   emit_mode_inner ();
1954*38fd1498Szrj   emit_mode_unit_size ();
1955*38fd1498Szrj   emit_mode_unit_precision ();
1956*38fd1498Szrj   emit_mode_base_align ();
1957*38fd1498Szrj   emit_class_narrowest_mode ();
1958*38fd1498Szrj   emit_real_format_for_mode ();
1959*38fd1498Szrj   emit_mode_adjustments ();
1960*38fd1498Szrj   emit_mode_ibit ();
1961*38fd1498Szrj   emit_mode_fbit ();
1962*38fd1498Szrj   emit_mode_int_n ();
1963*38fd1498Szrj }
1964*38fd1498Szrj 
1965*38fd1498Szrj static void
emit_min_insn_modes_c(void)1966*38fd1498Szrj emit_min_insn_modes_c (void)
1967*38fd1498Szrj {
1968*38fd1498Szrj   emit_min_insn_modes_c_header ();
1969*38fd1498Szrj   emit_mode_name ();
1970*38fd1498Szrj   emit_mode_class ();
1971*38fd1498Szrj   emit_mode_nunits ();
1972*38fd1498Szrj   emit_mode_wider ();
1973*38fd1498Szrj   emit_mode_inner ();
1974*38fd1498Szrj   emit_class_narrowest_mode ();
1975*38fd1498Szrj }
1976*38fd1498Szrj 
1977*38fd1498Szrj /* Master control.  */
1978*38fd1498Szrj int
main(int argc,char ** argv)1979*38fd1498Szrj main (int argc, char **argv)
1980*38fd1498Szrj {
1981*38fd1498Szrj   bool gen_header = false, gen_inlines = false, gen_min = false;
1982*38fd1498Szrj   progname = argv[0];
1983*38fd1498Szrj 
1984*38fd1498Szrj   if (argc == 1)
1985*38fd1498Szrj     ;
1986*38fd1498Szrj   else if (argc == 2 && !strcmp (argv[1], "-h"))
1987*38fd1498Szrj     gen_header = true;
1988*38fd1498Szrj   else if (argc == 2 && !strcmp (argv[1], "-i"))
1989*38fd1498Szrj     gen_inlines = true;
1990*38fd1498Szrj   else if (argc == 2 && !strcmp (argv[1], "-m"))
1991*38fd1498Szrj     gen_min = true;
1992*38fd1498Szrj   else
1993*38fd1498Szrj     {
1994*38fd1498Szrj       error ("usage: %s [-h|-i|-m] > file", progname);
1995*38fd1498Szrj       return FATAL_EXIT_CODE;
1996*38fd1498Szrj     }
1997*38fd1498Szrj 
1998*38fd1498Szrj   modes_by_name = htab_create_alloc (64, hash_mode, eq_mode, 0, xcalloc, free);
1999*38fd1498Szrj 
2000*38fd1498Szrj   create_modes ();
2001*38fd1498Szrj   complete_all_modes ();
2002*38fd1498Szrj 
2003*38fd1498Szrj   if (have_error)
2004*38fd1498Szrj     return FATAL_EXIT_CODE;
2005*38fd1498Szrj 
2006*38fd1498Szrj   calc_wider_mode ();
2007*38fd1498Szrj 
2008*38fd1498Szrj   if (gen_header)
2009*38fd1498Szrj     emit_insn_modes_h ();
2010*38fd1498Szrj   else if (gen_inlines)
2011*38fd1498Szrj     emit_insn_modes_inline_h ();
2012*38fd1498Szrj   else if (gen_min)
2013*38fd1498Szrj     emit_min_insn_modes_c ();
2014*38fd1498Szrj   else
2015*38fd1498Szrj     emit_insn_modes_c ();
2016*38fd1498Szrj 
2017*38fd1498Szrj   if (fflush (stdout) || fclose (stdout))
2018*38fd1498Szrj     return FATAL_EXIT_CODE;
2019*38fd1498Szrj   return SUCCESS_EXIT_CODE;
2020*38fd1498Szrj }
2021