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, 2012 Free Software Foundation, Inc.
5 This file is part of GCC.
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
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
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/>. */
21 #ifndef HAVE_MACHINE_MODES
22 #define HAVE_MACHINE_MODES
24 /* Make an enum class that gives all the machine modes. */
25 #include "insn-modes.h"
27 /* Get the name of mode MODE as a string. */
29 extern const char * const mode_name[NUM_MACHINE_MODES];
30 #define GET_MODE_NAME(MODE) mode_name[MODE]
34 #include "mode-classes.def"
35 #define DEF_MODE_CLASS(M) M
36 enum mode_class { MODE_CLASSES, MAX_MODE_CLASS };
40 /* Get the general kind of object that mode MODE represents
41 (integer, floating, complex, etc.) */
43 extern const unsigned char mode_class[NUM_MACHINE_MODES];
44 #define GET_MODE_CLASS(MODE) ((enum mode_class) mode_class[MODE])
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)
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)
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)
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)
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)
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)
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)
88 /* Nonzero if MODE is a scalar fract mode. */
89 #define SCALAR_FRACT_MODE_P(MODE) \
90 (GET_MODE_CLASS (MODE) == MODE_FRACT)
92 /* Nonzero if MODE is a scalar ufract mode. */
93 #define SCALAR_UFRACT_MODE_P(MODE) \
94 (GET_MODE_CLASS (MODE) == MODE_UFRACT)
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))
100 /* Nonzero if MODE is a scalar accum mode. */
101 #define SCALAR_ACCUM_MODE_P(MODE) \
102 (GET_MODE_CLASS (MODE) == MODE_ACCUM)
104 /* Nonzero if MODE is a scalar uaccum mode. */
105 #define SCALAR_UACCUM_MODE_P(MODE) \
106 (GET_MODE_CLASS (MODE) == MODE_UACCUM)
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))
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))
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))
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))
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)
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)
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))
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)
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)
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))
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))
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))
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))
166 /* Nonzero if CLASS modes can be widened. */
167 #define CLASS_HAS_WIDER_MODES_P(CLASS) \
169 || CLASS == MODE_PARTIAL_INT \
170 || CLASS == MODE_FLOAT \
171 || CLASS == MODE_DECIMAL_FLOAT \
172 || CLASS == MODE_COMPLEX_FLOAT \
173 || CLASS == MODE_FRACT \
174 || CLASS == MODE_UFRACT \
175 || CLASS == MODE_ACCUM \
176 || CLASS == MODE_UACCUM)
178 /* Get the size in bytes and bits of an object of mode MODE. */
180 extern CONST_MODE_SIZE unsigned char mode_size[NUM_MACHINE_MODES];
181 #define GET_MODE_SIZE(MODE) ((unsigned short) mode_size[MODE])
182 #define GET_MODE_BITSIZE(MODE) \
183 ((unsigned short) (GET_MODE_SIZE (MODE) * BITS_PER_UNIT))
185 /* Get the number of value bits of an object of mode MODE. */
186 extern const unsigned short mode_precision[NUM_MACHINE_MODES];
187 #define GET_MODE_PRECISION(MODE) mode_precision[MODE]
189 /* Get the number of integral bits of an object of mode MODE. */
190 extern CONST_MODE_IBIT unsigned char mode_ibit[NUM_MACHINE_MODES];
191 #define GET_MODE_IBIT(MODE) mode_ibit[MODE]
193 /* Get the number of fractional bits of an object of mode MODE. */
194 extern CONST_MODE_FBIT unsigned char mode_fbit[NUM_MACHINE_MODES];
195 #define GET_MODE_FBIT(MODE) mode_fbit[MODE]
197 /* Get a bitmask containing 1 for all bits in a word
198 that fit within mode MODE. */
200 extern const unsigned HOST_WIDE_INT mode_mask_array[NUM_MACHINE_MODES];
202 #define GET_MODE_MASK(MODE) mode_mask_array[MODE]
204 /* Return the mode of the inner elements in a vector. */
206 extern const unsigned char mode_inner[NUM_MACHINE_MODES];
207 #define GET_MODE_INNER(MODE) ((enum machine_mode) mode_inner[MODE])
209 /* Get the size in bytes or bites of the basic parts of an
210 object of mode MODE. */
212 #define GET_MODE_UNIT_SIZE(MODE) \
213 (GET_MODE_INNER (MODE) == VOIDmode \
214 ? GET_MODE_SIZE (MODE) \
215 : GET_MODE_SIZE (GET_MODE_INNER (MODE)))
217 #define GET_MODE_UNIT_BITSIZE(MODE) \
218 ((unsigned short) (GET_MODE_UNIT_SIZE (MODE) * BITS_PER_UNIT))
220 /* Get the number of units in the object. */
222 extern const unsigned char mode_nunits[NUM_MACHINE_MODES];
223 #define GET_MODE_NUNITS(MODE) mode_nunits[MODE]
225 /* Get the next wider natural mode (eg, QI -> HI -> SI -> DI -> TI). */
227 extern const unsigned char mode_wider[NUM_MACHINE_MODES];
228 #define GET_MODE_WIDER_MODE(MODE) ((enum machine_mode) mode_wider[MODE])
230 /* For scalars, this is a mode with twice the precision. For vectors,
231 this is a mode with the same inner mode but with twice the elements. */
232 extern const unsigned char mode_2xwider[NUM_MACHINE_MODES];
233 #define GET_MODE_2XWIDER_MODE(MODE) ((enum machine_mode) mode_2xwider[MODE])
235 /* Return the mode for data of a given size SIZE and mode class CLASS.
236 If LIMIT is nonzero, then don't use modes bigger than MAX_FIXED_MODE_SIZE.
237 The value is BLKmode if no other mode is found. */
239 extern enum machine_mode mode_for_size (unsigned int, enum mode_class, int);
241 /* Similar, but find the smallest mode for a given width. */
243 extern enum machine_mode smallest_mode_for_size (unsigned int,
247 /* Return an integer mode of the exact same size as the input mode,
248 or BLKmode on failure. */
250 extern enum machine_mode int_mode_for_mode (enum machine_mode);
252 /* Return a mode that is suitable for representing a vector,
253 or BLKmode on failure. */
255 extern enum machine_mode mode_for_vector (enum machine_mode, unsigned);
257 /* Find the best mode to use to access a bit field. */
259 extern enum machine_mode get_best_mode (int, int,
260 unsigned HOST_WIDE_INT,
261 unsigned HOST_WIDE_INT,
263 enum machine_mode, int);
265 /* Determine alignment, 1<=result<=BIGGEST_ALIGNMENT. */
267 extern CONST_MODE_BASE_ALIGN unsigned char mode_base_align[NUM_MACHINE_MODES];
269 extern unsigned get_mode_alignment (enum machine_mode);
271 #define GET_MODE_ALIGNMENT(MODE) get_mode_alignment (MODE)
273 /* For each class, get the narrowest mode in that class. */
275 extern const unsigned char class_narrowest_mode[MAX_MODE_CLASS];
276 #define GET_CLASS_NARROWEST_MODE(CLASS) \
277 ((enum machine_mode) class_narrowest_mode[CLASS])
279 /* Define the integer modes whose sizes are BITS_PER_UNIT and BITS_PER_WORD
280 and the mode whose class is Pmode and whose size is POINTER_SIZE. */
282 extern enum machine_mode byte_mode;
283 extern enum machine_mode word_mode;
284 extern enum machine_mode ptr_mode;
286 /* Target-dependent machine mode initialization - in insn-modes.c. */
287 extern void init_adjust_machine_modes (void);
289 #define TRULY_NOOP_TRUNCATION_MODES_P(MODE1, MODE2) \
290 TRULY_NOOP_TRUNCATION (GET_MODE_PRECISION (MODE1), \
291 GET_MODE_PRECISION (MODE2))
293 #define HWI_COMPUTABLE_MODE_P(MODE) \
294 (SCALAR_INT_MODE_P (MODE) \
295 && GET_MODE_PRECISION (MODE) <= HOST_BITS_PER_WIDE_INT)
297 #endif /* not HAVE_MACHINE_MODES */