1 /* Machine mode definitions for GCC; included by rtl.h and tree.h.
2 Copyright (C) 1991-2016 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
20 #ifndef HAVE_MACHINE_MODES
21 #define HAVE_MACHINE_MODES
23 /* Make an enum class that gives all the machine modes. */
24 #include "insn-modes.h"
26 /* Get the name of mode MODE as a string. */
28 extern const char * const mode_name[NUM_MACHINE_MODES];
29 #define GET_MODE_NAME(MODE) mode_name[MODE]
33 #include "mode-classes.def"
34 #define DEF_MODE_CLASS(M) M
35 enum mode_class { MODE_CLASSES, MAX_MODE_CLASS };
39 /* Get the general kind of object that mode MODE represents
40 (integer, floating, complex, etc.) */
42 extern const unsigned char mode_class[NUM_MACHINE_MODES];
43 #define GET_MODE_CLASS(MODE) ((enum mode_class) mode_class[MODE])
45 /* Nonzero if MODE is an integral mode. */
46 #define INTEGRAL_MODE_P(MODE) \
47 (GET_MODE_CLASS (MODE) == MODE_INT \
48 || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT \
49 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT \
50 || GET_MODE_CLASS (MODE) == MODE_VECTOR_INT)
52 /* Nonzero if MODE is a floating-point mode. */
53 #define FLOAT_MODE_P(MODE) \
54 (GET_MODE_CLASS (MODE) == MODE_FLOAT \
55 || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT \
56 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
57 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT)
59 /* Nonzero if MODE is a complex mode. */
60 #define COMPLEX_MODE_P(MODE) \
61 (GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT \
62 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT)
64 /* Nonzero if MODE is a vector mode. */
65 #define VECTOR_MODE_P(MODE) \
66 (GET_MODE_CLASS (MODE) == MODE_VECTOR_INT \
67 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT \
68 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT \
69 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT \
70 || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM \
71 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
73 /* Nonzero if MODE is a scalar integral mode. */
74 #define SCALAR_INT_MODE_P(MODE) \
75 (GET_MODE_CLASS (MODE) == MODE_INT \
76 || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT)
78 /* Nonzero if MODE is a scalar floating point mode. */
79 #define SCALAR_FLOAT_MODE_P(MODE) \
80 (GET_MODE_CLASS (MODE) == MODE_FLOAT \
81 || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
83 /* Nonzero if MODE is a decimal floating point mode. */
84 #define DECIMAL_FLOAT_MODE_P(MODE) \
85 (GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
87 /* Nonzero if MODE is a scalar fract mode. */
88 #define SCALAR_FRACT_MODE_P(MODE) \
89 (GET_MODE_CLASS (MODE) == MODE_FRACT)
91 /* Nonzero if MODE is a scalar ufract mode. */
92 #define SCALAR_UFRACT_MODE_P(MODE) \
93 (GET_MODE_CLASS (MODE) == MODE_UFRACT)
95 /* Nonzero if MODE is a scalar fract or ufract mode. */
96 #define ALL_SCALAR_FRACT_MODE_P(MODE) \
97 (SCALAR_FRACT_MODE_P (MODE) || SCALAR_UFRACT_MODE_P (MODE))
99 /* Nonzero if MODE is a scalar accum mode. */
100 #define SCALAR_ACCUM_MODE_P(MODE) \
101 (GET_MODE_CLASS (MODE) == MODE_ACCUM)
103 /* Nonzero if MODE is a scalar uaccum mode. */
104 #define SCALAR_UACCUM_MODE_P(MODE) \
105 (GET_MODE_CLASS (MODE) == MODE_UACCUM)
107 /* Nonzero if MODE is a scalar accum or uaccum mode. */
108 #define ALL_SCALAR_ACCUM_MODE_P(MODE) \
109 (SCALAR_ACCUM_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
111 /* Nonzero if MODE is a scalar fract or accum mode. */
112 #define SIGNED_SCALAR_FIXED_POINT_MODE_P(MODE) \
113 (SCALAR_FRACT_MODE_P (MODE) || SCALAR_ACCUM_MODE_P (MODE))
115 /* Nonzero if MODE is a scalar ufract or uaccum mode. */
116 #define UNSIGNED_SCALAR_FIXED_POINT_MODE_P(MODE) \
117 (SCALAR_UFRACT_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
119 /* Nonzero if MODE is a scalar fract, ufract, accum or uaccum mode. */
120 #define ALL_SCALAR_FIXED_POINT_MODE_P(MODE) \
121 (SIGNED_SCALAR_FIXED_POINT_MODE_P (MODE) \
122 || UNSIGNED_SCALAR_FIXED_POINT_MODE_P (MODE))
124 /* Nonzero if MODE is a scalar/vector fract mode. */
125 #define FRACT_MODE_P(MODE) \
126 (GET_MODE_CLASS (MODE) == MODE_FRACT \
127 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT)
129 /* Nonzero if MODE is a scalar/vector ufract mode. */
130 #define UFRACT_MODE_P(MODE) \
131 (GET_MODE_CLASS (MODE) == MODE_UFRACT \
132 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT)
134 /* Nonzero if MODE is a scalar/vector fract or ufract mode. */
135 #define ALL_FRACT_MODE_P(MODE) \
136 (FRACT_MODE_P (MODE) || UFRACT_MODE_P (MODE))
138 /* Nonzero if MODE is a scalar/vector accum mode. */
139 #define ACCUM_MODE_P(MODE) \
140 (GET_MODE_CLASS (MODE) == MODE_ACCUM \
141 || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM)
143 /* Nonzero if MODE is a scalar/vector uaccum mode. */
144 #define UACCUM_MODE_P(MODE) \
145 (GET_MODE_CLASS (MODE) == MODE_UACCUM \
146 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
148 /* Nonzero if MODE is a scalar/vector accum or uaccum mode. */
149 #define ALL_ACCUM_MODE_P(MODE) \
150 (ACCUM_MODE_P (MODE) || UACCUM_MODE_P (MODE))
152 /* Nonzero if MODE is a scalar/vector fract or accum mode. */
153 #define SIGNED_FIXED_POINT_MODE_P(MODE) \
154 (FRACT_MODE_P (MODE) || ACCUM_MODE_P (MODE))
156 /* Nonzero if MODE is a scalar/vector ufract or uaccum mode. */
157 #define UNSIGNED_FIXED_POINT_MODE_P(MODE) \
158 (UFRACT_MODE_P (MODE) || UACCUM_MODE_P (MODE))
160 /* Nonzero if MODE is a scalar/vector fract, ufract, accum or uaccum mode. */
161 #define ALL_FIXED_POINT_MODE_P(MODE) \
162 (SIGNED_FIXED_POINT_MODE_P (MODE) \
163 || UNSIGNED_FIXED_POINT_MODE_P (MODE))
165 /* Nonzero if CLASS modes can be widened. */
166 #define CLASS_HAS_WIDER_MODES_P(CLASS) \
168 || CLASS == MODE_PARTIAL_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)
177 #define POINTER_BOUNDS_MODE_P(MODE) \
178 (GET_MODE_CLASS (MODE) == MODE_POINTER_BOUNDS)
180 /* Get the size in bytes and bits of an object of mode MODE. */
182 extern CONST_MODE_SIZE unsigned char mode_size[NUM_MACHINE_MODES];
183 #if GCC_VERSION >= 4001
184 #define GET_MODE_SIZE(MODE) \
185 ((unsigned short) (__builtin_constant_p (MODE) \
186 ? mode_size_inline (MODE) : mode_size[MODE]))
188 #define GET_MODE_SIZE(MODE) ((unsigned short) mode_size[MODE])
190 #define GET_MODE_BITSIZE(MODE) \
191 ((unsigned short) (GET_MODE_SIZE (MODE) * BITS_PER_UNIT))
193 /* Get the number of value bits of an object of mode MODE. */
194 extern const unsigned short mode_precision[NUM_MACHINE_MODES];
195 #define GET_MODE_PRECISION(MODE) mode_precision[MODE]
197 /* Get the number of integral bits of an object of mode MODE. */
198 extern CONST_MODE_IBIT unsigned char mode_ibit[NUM_MACHINE_MODES];
199 #define GET_MODE_IBIT(MODE) mode_ibit[MODE]
201 /* Get the number of fractional bits of an object of mode MODE. */
202 extern CONST_MODE_FBIT unsigned char mode_fbit[NUM_MACHINE_MODES];
203 #define GET_MODE_FBIT(MODE) mode_fbit[MODE]
205 /* Get a bitmask containing 1 for all bits in a word
206 that fit within mode MODE. */
208 extern const unsigned HOST_WIDE_INT mode_mask_array[NUM_MACHINE_MODES];
210 #define GET_MODE_MASK(MODE) mode_mask_array[MODE]
212 /* Return the mode of the basic parts of MODE. For vector modes this is the
213 mode of the vector elements. For complex modes it is the mode of the real
214 and imaginary parts. For other modes it is MODE itself. */
216 extern const unsigned char mode_inner[NUM_MACHINE_MODES];
217 #if GCC_VERSION >= 4001
218 #define GET_MODE_INNER(MODE) \
219 ((machine_mode) (__builtin_constant_p (MODE) \
220 ? mode_inner_inline (MODE) : mode_inner[MODE]))
222 #define GET_MODE_INNER(MODE) ((machine_mode) mode_inner[MODE])
225 /* Get the size in bytes or bits of the basic parts of an
226 object of mode MODE. */
228 extern CONST_MODE_UNIT_SIZE unsigned char mode_unit_size[NUM_MACHINE_MODES];
229 #if GCC_VERSION >= 4001
230 #define GET_MODE_UNIT_SIZE(MODE) \
231 ((unsigned char) (__builtin_constant_p (MODE) \
232 ? mode_unit_size_inline (MODE) : mode_unit_size[MODE]))
234 #define GET_MODE_UNIT_SIZE(MODE) mode_unit_size[MODE]
237 #define GET_MODE_UNIT_BITSIZE(MODE) \
238 ((unsigned short) (GET_MODE_UNIT_SIZE (MODE) * BITS_PER_UNIT))
240 extern const unsigned short mode_unit_precision[NUM_MACHINE_MODES];
241 #if GCC_VERSION >= 4001
242 #define GET_MODE_UNIT_PRECISION(MODE) \
243 ((unsigned short) (__builtin_constant_p (MODE) \
244 ? mode_unit_precision_inline (MODE)\
245 : mode_unit_precision[MODE]))
247 #define GET_MODE_UNIT_PRECISION(MODE) mode_unit_precision[MODE]
251 /* Get the number of units in the object. */
253 extern const unsigned char mode_nunits[NUM_MACHINE_MODES];
254 #if GCC_VERSION >= 4001
255 #define GET_MODE_NUNITS(MODE) \
256 ((unsigned char) (__builtin_constant_p (MODE) \
257 ? mode_nunits_inline (MODE) : mode_nunits[MODE]))
259 #define GET_MODE_NUNITS(MODE) mode_nunits[MODE]
262 /* Get the next wider natural mode (eg, QI -> HI -> SI -> DI -> TI). */
264 extern const unsigned char mode_wider[NUM_MACHINE_MODES];
265 #define GET_MODE_WIDER_MODE(MODE) ((machine_mode) mode_wider[MODE])
267 /* For scalars, this is a mode with twice the precision. For vectors,
268 this is a mode with the same inner mode but with twice the elements. */
269 extern const unsigned char mode_2xwider[NUM_MACHINE_MODES];
270 #define GET_MODE_2XWIDER_MODE(MODE) ((machine_mode) mode_2xwider[MODE])
272 /* Get the complex mode from the component mode. */
273 extern const unsigned char mode_complex[NUM_MACHINE_MODES];
274 #define GET_MODE_COMPLEX_MODE(MODE) ((machine_mode) mode_complex[MODE])
276 /* Return the mode for data of a given size SIZE and mode class CLASS.
277 If LIMIT is nonzero, then don't use modes bigger than MAX_FIXED_MODE_SIZE.
278 The value is BLKmode if no other mode is found. */
280 extern machine_mode mode_for_size (unsigned int, enum mode_class, int);
282 /* Similar, but find the smallest mode for a given width. */
284 extern machine_mode smallest_mode_for_size (unsigned int,
288 /* Return an integer mode of the exact same size as the input mode,
289 or BLKmode on failure. */
291 extern machine_mode int_mode_for_mode (machine_mode);
293 extern machine_mode bitwise_mode_for_mode (machine_mode);
295 /* Return a mode that is suitable for representing a vector,
296 or BLKmode on failure. */
298 extern machine_mode mode_for_vector (machine_mode, unsigned);
300 /* A class for iterating through possible bitfield modes. */
301 class bit_field_mode_iterator
304 bit_field_mode_iterator (HOST_WIDE_INT, HOST_WIDE_INT,
305 HOST_WIDE_INT, HOST_WIDE_INT,
307 bool next_mode (machine_mode *);
308 bool prefer_smaller_modes ();
312 /* We use signed values here because the bit position can be negative
313 for invalid input such as gcc.dg/pr48335-8.c. */
314 HOST_WIDE_INT m_bitsize;
315 HOST_WIDE_INT m_bitpos;
316 HOST_WIDE_INT m_bitregion_start;
317 HOST_WIDE_INT m_bitregion_end;
318 unsigned int m_align;
323 /* Find the best mode to use to access a bit field. */
325 extern machine_mode get_best_mode (int, int,
326 unsigned HOST_WIDE_INT,
327 unsigned HOST_WIDE_INT,
331 /* Determine alignment, 1<=result<=BIGGEST_ALIGNMENT. */
333 extern CONST_MODE_BASE_ALIGN unsigned char mode_base_align[NUM_MACHINE_MODES];
335 extern unsigned get_mode_alignment (machine_mode);
337 #define GET_MODE_ALIGNMENT(MODE) get_mode_alignment (MODE)
339 /* For each class, get the narrowest mode in that class. */
341 extern const unsigned char class_narrowest_mode[MAX_MODE_CLASS];
342 #define GET_CLASS_NARROWEST_MODE(CLASS) \
343 ((machine_mode) class_narrowest_mode[CLASS])
345 /* Define the integer modes whose sizes are BITS_PER_UNIT and BITS_PER_WORD
346 and the mode whose class is Pmode and whose size is POINTER_SIZE. */
348 extern machine_mode byte_mode;
349 extern machine_mode word_mode;
350 extern machine_mode ptr_mode;
352 /* Target-dependent machine mode initialization - in insn-modes.c. */
353 extern void init_adjust_machine_modes (void);
355 #define TRULY_NOOP_TRUNCATION_MODES_P(MODE1, MODE2) \
356 TRULY_NOOP_TRUNCATION (GET_MODE_PRECISION (MODE1), \
357 GET_MODE_PRECISION (MODE2))
359 #define HWI_COMPUTABLE_MODE_P(MODE) \
360 (SCALAR_INT_MODE_P (MODE) \
361 && GET_MODE_PRECISION (MODE) <= HOST_BITS_PER_WIDE_INT)
363 struct int_n_data_t {
364 /* These parts are initailized by genmodes output */
365 unsigned int bitsize;
367 /* RID_* is RID_INTN_BASE + index into this array */
370 /* This is also in tree.h. genmodes.c guarantees the're sorted from
371 smallest bitsize to largest bitsize. */
372 extern bool int_n_enabled_p[NUM_INT_N_ENTS];
373 extern const int_n_data_t int_n_data[NUM_INT_N_ENTS];
375 #endif /* not HAVE_MACHINE_MODES */