xref: /dragonfly/contrib/gcc-4.7/gcc/machmode.h (revision 9f7604d7)
1 /* Machine mode definitions for GCC; included by rtl.h and tree.h.
2    Copyright (C) 1991, 1993, 1994, 1996, 1998, 1999, 2000, 2001, 2003,
3    2007, 2008, 2009, 2010 Free Software Foundation, Inc.
4 
5 This file is part of GCC.
6 
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
10 version.
11 
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15 for more details.
16 
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3.  If not see
19 <http://www.gnu.org/licenses/>.  */
20 
21 #ifndef HAVE_MACHINE_MODES
22 #define HAVE_MACHINE_MODES
23 
24 /* Make an enum class that gives all the machine modes.  */
25 #include "insn-modes.h"
26 
27 /* Get the name of mode MODE as a string.  */
28 
29 extern const char * const mode_name[NUM_MACHINE_MODES];
30 #define GET_MODE_NAME(MODE)  mode_name[MODE]
31 
32 /* Mode classes.  */
33 
34 #include "mode-classes.def"
35 #define DEF_MODE_CLASS(M) M
36 enum mode_class { MODE_CLASSES, MAX_MODE_CLASS };
37 #undef DEF_MODE_CLASS
38 #undef MODE_CLASSES
39 
40 /* Get the general kind of object that mode MODE represents
41    (integer, floating, complex, etc.)  */
42 
43 extern const unsigned char mode_class[NUM_MACHINE_MODES];
44 #define GET_MODE_CLASS(MODE)  ((enum mode_class) mode_class[MODE])
45 
46 /* Nonzero if MODE is an integral mode.  */
47 #define INTEGRAL_MODE_P(MODE)			\
48   (GET_MODE_CLASS (MODE) == MODE_INT		\
49    || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT \
50    || GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT \
51    || GET_MODE_CLASS (MODE) == MODE_VECTOR_INT)
52 
53 /* Nonzero if MODE is a floating-point mode.  */
54 #define FLOAT_MODE_P(MODE)		\
55   (GET_MODE_CLASS (MODE) == MODE_FLOAT	\
56    || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT \
57    || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
58    || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT)
59 
60 /* Nonzero if MODE is a complex mode.  */
61 #define COMPLEX_MODE_P(MODE)			\
62   (GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT	\
63    || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT)
64 
65 /* Nonzero if MODE is a vector mode.  */
66 #define VECTOR_MODE_P(MODE)			\
67   (GET_MODE_CLASS (MODE) == MODE_VECTOR_INT	\
68    || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT	\
69    || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT	\
70    || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT	\
71    || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM	\
72    || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
73 
74 /* Nonzero if MODE is a scalar integral mode.  */
75 #define SCALAR_INT_MODE_P(MODE)			\
76   (GET_MODE_CLASS (MODE) == MODE_INT		\
77    || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT)
78 
79 /* Nonzero if MODE is a scalar floating point mode.  */
80 #define SCALAR_FLOAT_MODE_P(MODE)		\
81   (GET_MODE_CLASS (MODE) == MODE_FLOAT		\
82    || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
83 
84 /* Nonzero if MODE is a decimal floating point mode.  */
85 #define DECIMAL_FLOAT_MODE_P(MODE)		\
86   (GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
87 
88 /* Nonzero if MODE is a scalar fract mode.  */
89 #define SCALAR_FRACT_MODE_P(MODE)	\
90   (GET_MODE_CLASS (MODE) == MODE_FRACT)
91 
92 /* Nonzero if MODE is a scalar ufract mode.  */
93 #define SCALAR_UFRACT_MODE_P(MODE)	\
94   (GET_MODE_CLASS (MODE) == MODE_UFRACT)
95 
96 /* Nonzero if MODE is a scalar fract or ufract mode.  */
97 #define ALL_SCALAR_FRACT_MODE_P(MODE)	\
98   (SCALAR_FRACT_MODE_P (MODE) || SCALAR_UFRACT_MODE_P (MODE))
99 
100 /* Nonzero if MODE is a scalar accum mode.  */
101 #define SCALAR_ACCUM_MODE_P(MODE)	\
102   (GET_MODE_CLASS (MODE) == MODE_ACCUM)
103 
104 /* Nonzero if MODE is a scalar uaccum mode.  */
105 #define SCALAR_UACCUM_MODE_P(MODE)	\
106   (GET_MODE_CLASS (MODE) == MODE_UACCUM)
107 
108 /* Nonzero if MODE is a scalar accum or uaccum mode.  */
109 #define ALL_SCALAR_ACCUM_MODE_P(MODE)	\
110   (SCALAR_ACCUM_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
111 
112 /* Nonzero if MODE is a scalar fract or accum mode.  */
113 #define SIGNED_SCALAR_FIXED_POINT_MODE_P(MODE)	\
114   (SCALAR_FRACT_MODE_P (MODE) || SCALAR_ACCUM_MODE_P (MODE))
115 
116 /* Nonzero if MODE is a scalar ufract or uaccum mode.  */
117 #define UNSIGNED_SCALAR_FIXED_POINT_MODE_P(MODE)	\
118   (SCALAR_UFRACT_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
119 
120 /* Nonzero if MODE is a scalar fract, ufract, accum or uaccum mode.  */
121 #define ALL_SCALAR_FIXED_POINT_MODE_P(MODE)	\
122   (SIGNED_SCALAR_FIXED_POINT_MODE_P (MODE)	\
123    || UNSIGNED_SCALAR_FIXED_POINT_MODE_P (MODE))
124 
125 /* Nonzero if MODE is a scalar/vector fract mode.  */
126 #define FRACT_MODE_P(MODE)		\
127   (GET_MODE_CLASS (MODE) == MODE_FRACT	\
128    || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT)
129 
130 /* Nonzero if MODE is a scalar/vector ufract mode.  */
131 #define UFRACT_MODE_P(MODE)		\
132   (GET_MODE_CLASS (MODE) == MODE_UFRACT	\
133    || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT)
134 
135 /* Nonzero if MODE is a scalar/vector fract or ufract mode.  */
136 #define ALL_FRACT_MODE_P(MODE)		\
137   (FRACT_MODE_P (MODE) || UFRACT_MODE_P (MODE))
138 
139 /* Nonzero if MODE is a scalar/vector accum mode.  */
140 #define ACCUM_MODE_P(MODE)		\
141   (GET_MODE_CLASS (MODE) == MODE_ACCUM	\
142    || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM)
143 
144 /* Nonzero if MODE is a scalar/vector uaccum mode.  */
145 #define UACCUM_MODE_P(MODE)		\
146   (GET_MODE_CLASS (MODE) == MODE_UACCUM	\
147    || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
148 
149 /* Nonzero if MODE is a scalar/vector accum or uaccum mode.  */
150 #define ALL_ACCUM_MODE_P(MODE)		\
151   (ACCUM_MODE_P (MODE) || UACCUM_MODE_P (MODE))
152 
153 /* Nonzero if MODE is a scalar/vector fract or accum mode.  */
154 #define SIGNED_FIXED_POINT_MODE_P(MODE)		\
155   (FRACT_MODE_P (MODE) || ACCUM_MODE_P (MODE))
156 
157 /* Nonzero if MODE is a scalar/vector ufract or uaccum mode.  */
158 #define UNSIGNED_FIXED_POINT_MODE_P(MODE)	\
159   (UFRACT_MODE_P (MODE) || UACCUM_MODE_P (MODE))
160 
161 /* Nonzero if MODE is a scalar/vector fract, ufract, accum or uaccum mode.  */
162 #define ALL_FIXED_POINT_MODE_P(MODE)		\
163   (SIGNED_FIXED_POINT_MODE_P (MODE)		\
164    || UNSIGNED_FIXED_POINT_MODE_P (MODE))
165 
166 /* Nonzero if CLASS modes can be widened.  */
167 #define CLASS_HAS_WIDER_MODES_P(CLASS)         \
168   (CLASS == MODE_INT                           \
169    || CLASS == MODE_FLOAT                      \
170    || CLASS == MODE_DECIMAL_FLOAT              \
171    || CLASS == MODE_COMPLEX_FLOAT              \
172    || CLASS == MODE_FRACT                      \
173    || CLASS == MODE_UFRACT                     \
174    || CLASS == MODE_ACCUM                      \
175    || CLASS == MODE_UACCUM)
176 
177 /* Get the size in bytes and bits of an object of mode MODE.  */
178 
179 extern CONST_MODE_SIZE unsigned char mode_size[NUM_MACHINE_MODES];
180 #define GET_MODE_SIZE(MODE)    ((unsigned short) mode_size[MODE])
181 #define GET_MODE_BITSIZE(MODE) ((unsigned short) (GET_MODE_SIZE (MODE) * BITS_PER_UNIT))
182 
183 /* Get the number of value bits of an object of mode MODE.  */
184 extern const unsigned short mode_precision[NUM_MACHINE_MODES];
185 #define GET_MODE_PRECISION(MODE)  mode_precision[MODE]
186 
187 /* Get the number of integral bits of an object of mode MODE.  */
188 extern CONST_MODE_IBIT unsigned char mode_ibit[NUM_MACHINE_MODES];
189 #define GET_MODE_IBIT(MODE) mode_ibit[MODE]
190 
191 /* Get the number of fractional bits of an object of mode MODE.  */
192 extern CONST_MODE_FBIT unsigned char mode_fbit[NUM_MACHINE_MODES];
193 #define GET_MODE_FBIT(MODE) mode_fbit[MODE]
194 
195 /* Get a bitmask containing 1 for all bits in a word
196    that fit within mode MODE.  */
197 
198 extern const unsigned HOST_WIDE_INT mode_mask_array[NUM_MACHINE_MODES];
199 
200 #define GET_MODE_MASK(MODE) mode_mask_array[MODE]
201 
202 /* Return the mode of the inner elements in a vector.  */
203 
204 extern const unsigned char mode_inner[NUM_MACHINE_MODES];
205 #define GET_MODE_INNER(MODE) ((enum machine_mode) mode_inner[MODE])
206 
207 /* Get the size in bytes of the basic parts of an object of mode MODE.  */
208 
209 #define GET_MODE_UNIT_SIZE(MODE)		\
210   (GET_MODE_INNER (MODE) == VOIDmode		\
211    ? GET_MODE_SIZE (MODE)			\
212    : GET_MODE_SIZE (GET_MODE_INNER (MODE)))
213 
214 /* Get the number of units in the object.  */
215 
216 extern const unsigned char mode_nunits[NUM_MACHINE_MODES];
217 #define GET_MODE_NUNITS(MODE)  mode_nunits[MODE]
218 
219 /* Get the next wider natural mode (eg, QI -> HI -> SI -> DI -> TI).  */
220 
221 extern const unsigned char mode_wider[NUM_MACHINE_MODES];
222 #define GET_MODE_WIDER_MODE(MODE) ((enum machine_mode) mode_wider[MODE])
223 
224 /* For scalars, this is a mode with twice the precision.  For vectors,
225    this is a mode with the same inner mode but with twice the elements.  */
226 extern const unsigned char mode_2xwider[NUM_MACHINE_MODES];
227 #define GET_MODE_2XWIDER_MODE(MODE) ((enum machine_mode) mode_2xwider[MODE])
228 
229 /* Return the mode for data of a given size SIZE and mode class CLASS.
230    If LIMIT is nonzero, then don't use modes bigger than MAX_FIXED_MODE_SIZE.
231    The value is BLKmode if no other mode is found.  */
232 
233 extern enum machine_mode mode_for_size (unsigned int, enum mode_class, int);
234 
235 /* Similar, but find the smallest mode for a given width.  */
236 
237 extern enum machine_mode smallest_mode_for_size (unsigned int,
238 						 enum mode_class);
239 
240 
241 /* Return an integer mode of the exact same size as the input mode,
242    or BLKmode on failure.  */
243 
244 extern enum machine_mode int_mode_for_mode (enum machine_mode);
245 
246 /* Return a mode that is suitable for representing a vector,
247    or BLKmode on failure.  */
248 
249 extern enum machine_mode mode_for_vector (enum machine_mode, unsigned);
250 
251 /* Find the best mode to use to access a bit field.  */
252 
253 extern enum machine_mode get_best_mode (int, int,
254 					unsigned HOST_WIDE_INT,
255 					unsigned HOST_WIDE_INT,
256 					unsigned int,
257 					enum machine_mode, int);
258 
259 /* Determine alignment, 1<=result<=BIGGEST_ALIGNMENT.  */
260 
261 extern CONST_MODE_BASE_ALIGN unsigned char mode_base_align[NUM_MACHINE_MODES];
262 
263 extern unsigned get_mode_alignment (enum machine_mode);
264 
265 #define GET_MODE_ALIGNMENT(MODE) get_mode_alignment (MODE)
266 
267 /* For each class, get the narrowest mode in that class.  */
268 
269 extern const unsigned char class_narrowest_mode[MAX_MODE_CLASS];
270 #define GET_CLASS_NARROWEST_MODE(CLASS) \
271   ((enum machine_mode) class_narrowest_mode[CLASS])
272 
273 /* Define the integer modes whose sizes are BITS_PER_UNIT and BITS_PER_WORD
274    and the mode whose class is Pmode and whose size is POINTER_SIZE.  */
275 
276 extern enum machine_mode byte_mode;
277 extern enum machine_mode word_mode;
278 extern enum machine_mode ptr_mode;
279 
280 /* Target-dependent machine mode initialization - in insn-modes.c.  */
281 extern void init_adjust_machine_modes (void);
282 
283 #define TRULY_NOOP_TRUNCATION_MODES_P(MODE1, MODE2) \
284   TRULY_NOOP_TRUNCATION (GET_MODE_PRECISION (MODE1), \
285 			 GET_MODE_PRECISION (MODE2))
286 
287 #define HWI_COMPUTABLE_MODE_P(MODE) \
288   (SCALAR_INT_MODE_P (MODE) \
289    && GET_MODE_PRECISION (MODE) <= HOST_BITS_PER_WIDE_INT)
290 
291 #endif /* not HAVE_MACHINE_MODES */
292