| 1 |
280 |
jeremybenn |
/* This file contains the definitions and documentation for the
|
| 2 |
|
|
machine modes used in the GNU compiler.
|
| 3 |
|
|
Copyright (C) 1987, 1992, 1994, 1997, 1998, 2000, 2003, 2004, 2005,
|
| 4 |
|
|
2007 Free Software Foundation, Inc.
|
| 5 |
|
|
|
| 6 |
|
|
This file is part of GCC.
|
| 7 |
|
|
|
| 8 |
|
|
GCC is free software; you can redistribute it and/or modify it under
|
| 9 |
|
|
the terms of the GNU General Public License as published by the Free
|
| 10 |
|
|
Software Foundation; either version 3, or (at your option) any later
|
| 11 |
|
|
version.
|
| 12 |
|
|
|
| 13 |
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
| 14 |
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
| 15 |
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
| 16 |
|
|
for more details.
|
| 17 |
|
|
|
| 18 |
|
|
You should have received a copy of the GNU General Public License
|
| 19 |
|
|
along with GCC; see the file COPYING3. If not see
|
| 20 |
|
|
. */
|
| 21 |
|
|
|
| 22 |
|
|
|
| 23 |
|
|
/* This file defines all the MACHINE MODES used by GCC.
|
| 24 |
|
|
|
| 25 |
|
|
A machine mode specifies a size and format of data
|
| 26 |
|
|
at the machine level.
|
| 27 |
|
|
|
| 28 |
|
|
Each RTL expression has a machine mode.
|
| 29 |
|
|
|
| 30 |
|
|
At the syntax tree level, each ..._TYPE and each ..._DECL node
|
| 31 |
|
|
has a machine mode which describes data of that type or the
|
| 32 |
|
|
data of the variable declared. */
|
| 33 |
|
|
|
| 34 |
|
|
/* This file is included by the genmodes program. Its text is the
|
| 35 |
|
|
body of a function. Do not rely on this, it will change in the
|
| 36 |
|
|
future.
|
| 37 |
|
|
|
| 38 |
|
|
The following statements can be used in this file -- all have
|
| 39 |
|
|
the form of a C macro call. In their arguments:
|
| 40 |
|
|
|
| 41 |
|
|
A CLASS argument must be one of the constants defined in
|
| 42 |
|
|
mode-classes.def, less the leading MODE_ prefix; some statements
|
| 43 |
|
|
that take CLASS arguments have restrictions on which classes are
|
| 44 |
|
|
acceptable. For instance, INT.
|
| 45 |
|
|
|
| 46 |
|
|
A MODE argument must be the printable name of a machine mode,
|
| 47 |
|
|
without quotation marks or trailing "mode". For instance, SI.
|
| 48 |
|
|
|
| 49 |
|
|
A PRECISION, BYTESIZE, or COUNT argument must be a positive integer
|
| 50 |
|
|
constant.
|
| 51 |
|
|
|
| 52 |
|
|
A FORMAT argument must be one of the real_mode_format structures
|
| 53 |
|
|
declared in real.h, or else a literal 0. Do not put a leading &
|
| 54 |
|
|
on the argument.
|
| 55 |
|
|
|
| 56 |
|
|
An EXPR argument must be a syntactically valid C expression.
|
| 57 |
|
|
If an EXPR contains commas, you may need to write an extra pair of
|
| 58 |
|
|
parentheses around it, so it appears to be a single argument to the
|
| 59 |
|
|
statement.
|
| 60 |
|
|
|
| 61 |
|
|
This file defines only those modes which are of use on almost all
|
| 62 |
|
|
machines. Other modes can be defined in the target-specific
|
| 63 |
|
|
mode definition file, config/ARCH/ARCH-modes.def.
|
| 64 |
|
|
|
| 65 |
|
|
Order matters in this file in so far as statements which refer to
|
| 66 |
|
|
other modes must appear after the modes they refer to. However,
|
| 67 |
|
|
statements which do not refer to other modes may appear in any
|
| 68 |
|
|
order.
|
| 69 |
|
|
|
| 70 |
|
|
RANDOM_MODE (MODE);
|
| 71 |
|
|
declares MODE to be of class RANDOM.
|
| 72 |
|
|
|
| 73 |
|
|
CC_MODE (MODE);
|
| 74 |
|
|
declares MODE to be of class CC.
|
| 75 |
|
|
|
| 76 |
|
|
INT_MODE (MODE, BYTESIZE);
|
| 77 |
|
|
declares MODE to be of class INT and BYTESIZE bytes wide.
|
| 78 |
|
|
All of the bits of its representation are significant.
|
| 79 |
|
|
|
| 80 |
|
|
FRACTIONAL_INT_MODE (MODE, PRECISION, BYTESIZE);
|
| 81 |
|
|
declares MODE to be of class INT, BYTESIZE bytes wide in
|
| 82 |
|
|
storage, but with only PRECISION significant bits.
|
| 83 |
|
|
|
| 84 |
|
|
FLOAT_MODE (MODE, BYTESIZE, FORMAT);
|
| 85 |
|
|
declares MODE to be of class FLOAT and BYTESIZE bytes wide,
|
| 86 |
|
|
using floating point format FORMAT.
|
| 87 |
|
|
All of the bits of its representation are significant.
|
| 88 |
|
|
|
| 89 |
|
|
DECIMAL FLOAT_MODE (MODE, BYTESIZE);
|
| 90 |
|
|
declares MODE to be of class DECIMAL_FLOAT and BYTESIZE bytes
|
| 91 |
|
|
wide. All of the bits of its representation are significant.
|
| 92 |
|
|
|
| 93 |
|
|
FRACTIONAL_FLOAT_MODE (MODE, PRECISION, BYTESIZE, FORMAT);
|
| 94 |
|
|
declares MODE to be of class FLOAT, BYTESIZE bytes wide in
|
| 95 |
|
|
storage, but with only PRECISION significant bits, using
|
| 96 |
|
|
floating point format FORMAT.
|
| 97 |
|
|
|
| 98 |
|
|
FRACT_MODE (MODE, BYTESIZE, FBIT);
|
| 99 |
|
|
declares MODE to be of class FRACT and BYTESIZE bytes wide
|
| 100 |
|
|
with FBIT fractional bits. There may be padding bits.
|
| 101 |
|
|
|
| 102 |
|
|
UFRACT_MODE (MODE, BYTESIZE, FBIT);
|
| 103 |
|
|
declares MODE to be of class UFRACT and BYTESIZE bytes wide
|
| 104 |
|
|
with FBIT fractional bits. There may be padding bits.
|
| 105 |
|
|
|
| 106 |
|
|
ACCUM_MODE (MODE, BYTESIZE, IBIT, FBIT);
|
| 107 |
|
|
declares MODE to be of class ACCUM and BYTESIZE bytes wide
|
| 108 |
|
|
with IBIT integral bits and FBIT fractional bits.
|
| 109 |
|
|
There may be padding bits.
|
| 110 |
|
|
|
| 111 |
|
|
UACCUM_MODE (MODE, BYTESIZE, FBIT);
|
| 112 |
|
|
declares MODE to be of class UACCUM and BYTESIZE bytes wide
|
| 113 |
|
|
with IBIT integral bits and FBIT fractional bits.
|
| 114 |
|
|
There may be padding bits.
|
| 115 |
|
|
|
| 116 |
|
|
RESET_FLOAT_FORMAT (MODE, FORMAT);
|
| 117 |
|
|
changes the format of MODE, which must be class FLOAT,
|
| 118 |
|
|
to FORMAT. Use in an ARCH-modes.def to reset the format
|
| 119 |
|
|
of one of the float modes defined in this file.
|
| 120 |
|
|
|
| 121 |
|
|
PARTIAL_INT_MODE (MODE);
|
| 122 |
|
|
declares a mode of class PARTIAL_INT with the same size as
|
| 123 |
|
|
MODE (which must be an INT mode). The name of the new mode
|
| 124 |
|
|
is made by prefixing a P to the name MODE. This statement
|
| 125 |
|
|
may grow a PRECISION argument in the future.
|
| 126 |
|
|
|
| 127 |
|
|
VECTOR_MODE (CLASS, MODE, COUNT);
|
| 128 |
|
|
Declare a vector mode whose component mode is MODE (of class
|
| 129 |
|
|
CLASS) with COUNT components. CLASS must be INT or FLOAT.
|
| 130 |
|
|
The name of the vector mode takes the form VnX where n is
|
| 131 |
|
|
COUNT in decimal and X is MODE.
|
| 132 |
|
|
|
| 133 |
|
|
VECTOR_MODES (CLASS, WIDTH);
|
| 134 |
|
|
For all modes presently declared in class CLASS, construct
|
| 135 |
|
|
corresponding vector modes having width WIDTH. Modes whose
|
| 136 |
|
|
byte sizes do not evenly divide WIDTH are ignored, as are
|
| 137 |
|
|
modes that would produce vector modes with only one component,
|
| 138 |
|
|
and modes smaller than one byte (if CLASS is INT) or smaller
|
| 139 |
|
|
than two bytes (if CLASS is FLOAT). CLASS must be INT or
|
| 140 |
|
|
FLOAT. The names follow the same rule as VECTOR_MODE uses.
|
| 141 |
|
|
|
| 142 |
|
|
COMPLEX_MODES (CLASS);
|
| 143 |
|
|
For all modes presently declared in class CLASS, construct
|
| 144 |
|
|
corresponding complex modes. Modes smaller than one byte
|
| 145 |
|
|
are ignored. For FLOAT modes, the names are derived by
|
| 146 |
|
|
replacing the 'F' in the mode name with a 'C'. (It is an
|
| 147 |
|
|
error if there is no 'F'. For INT modes, the names are
|
| 148 |
|
|
derived by prefixing a C to the name.
|
| 149 |
|
|
|
| 150 |
|
|
ADJUST_BYTESIZE (MODE, EXPR);
|
| 151 |
|
|
ADJUST_ALIGNMENT (MODE, EXPR);
|
| 152 |
|
|
ADJUST_FLOAT_FORMAT (MODE, EXPR);
|
| 153 |
|
|
ADJUST_IBIT (MODE, EXPR);
|
| 154 |
|
|
ADJUST_FBIT (MODE, EXPR);
|
| 155 |
|
|
Arrange for the byte size, alignment, floating point format, ibit,
|
| 156 |
|
|
or fbit of MODE to be adjustable at run time. EXPR will be executed
|
| 157 |
|
|
once after processing all command line options, and should
|
| 158 |
|
|
evaluate to the desired byte size, alignment, format, ibit or fbit.
|
| 159 |
|
|
|
| 160 |
|
|
Unlike a FORMAT argument, if you are adjusting a float format
|
| 161 |
|
|
you must put an & in front of the name of each format structure.
|
| 162 |
|
|
|
| 163 |
|
|
Note: If a mode is ever made which is more than 255 bytes wide,
|
| 164 |
|
|
machmode.h and genmodes.c will have to be changed to allocate
|
| 165 |
|
|
more space for the mode_size and mode_alignment arrays. */
|
| 166 |
|
|
|
| 167 |
|
|
/* VOIDmode is used when no mode needs to be specified,
|
| 168 |
|
|
as for example on CONST_INT RTL expressions. */
|
| 169 |
|
|
RANDOM_MODE (VOID);
|
| 170 |
|
|
|
| 171 |
|
|
/* BLKmode is used for structures, arrays, etc.
|
| 172 |
|
|
that fit no more specific mode. */
|
| 173 |
|
|
RANDOM_MODE (BLK);
|
| 174 |
|
|
|
| 175 |
|
|
/* Single bit mode used for booleans. */
|
| 176 |
|
|
FRACTIONAL_INT_MODE (BI, 1, 1);
|
| 177 |
|
|
|
| 178 |
|
|
/* Basic integer modes. We go up to TI in generic code (128 bits).
|
| 179 |
|
|
The name OI is reserved for a 256-bit type (needed by some back ends).
|
| 180 |
|
|
FIXME TI shouldn't be generically available either. */
|
| 181 |
|
|
INT_MODE (QI, 1);
|
| 182 |
|
|
INT_MODE (HI, 2);
|
| 183 |
|
|
INT_MODE (SI, 4);
|
| 184 |
|
|
INT_MODE (DI, 8);
|
| 185 |
|
|
INT_MODE (TI, 16);
|
| 186 |
|
|
|
| 187 |
|
|
/* No partial integer modes are defined by default. */
|
| 188 |
|
|
|
| 189 |
|
|
/* Basic floating point modes. SF and DF are the only modes provided
|
| 190 |
|
|
by default. The names QF, HF, XF, and TF are reserved for targets
|
| 191 |
|
|
that need 1-word, 2-word, 80-bit, or 128-bit float types respectively.
|
| 192 |
|
|
|
| 193 |
|
|
These are the IEEE mappings. They can be overridden with
|
| 194 |
|
|
RESET_FLOAT_FORMAT or at runtime (in OVERRIDE_OPTIONS). */
|
| 195 |
|
|
|
| 196 |
|
|
FLOAT_MODE (SF, 4, ieee_single_format);
|
| 197 |
|
|
FLOAT_MODE (DF, 8, ieee_double_format);
|
| 198 |
|
|
|
| 199 |
|
|
/* Basic CC modes.
|
| 200 |
|
|
FIXME define this only for targets that need it. */
|
| 201 |
|
|
CC_MODE (CC);
|
| 202 |
|
|
|
| 203 |
|
|
/* Fixed-point modes. */
|
| 204 |
|
|
FRACT_MODE (QQ, 1, 7); /* s.7 */
|
| 205 |
|
|
FRACT_MODE (HQ, 2, 15); /* s.15 */
|
| 206 |
|
|
FRACT_MODE (SQ, 4, 31); /* s.31 */
|
| 207 |
|
|
FRACT_MODE (DQ, 8, 63); /* s.63 */
|
| 208 |
|
|
FRACT_MODE (TQ, 16, 127); /* s.127 */
|
| 209 |
|
|
|
| 210 |
|
|
UFRACT_MODE (UQQ, 1, 8); /* .8 */
|
| 211 |
|
|
UFRACT_MODE (UHQ, 2, 16); /* .16 */
|
| 212 |
|
|
UFRACT_MODE (USQ, 4, 32); /* .32 */
|
| 213 |
|
|
UFRACT_MODE (UDQ, 8, 64); /* .64 */
|
| 214 |
|
|
UFRACT_MODE (UTQ, 16, 128); /* .128 */
|
| 215 |
|
|
|
| 216 |
|
|
ACCUM_MODE (HA, 2, 8, 7); /* s8.7 */
|
| 217 |
|
|
ACCUM_MODE (SA, 4, 16, 15); /* s16.15 */
|
| 218 |
|
|
ACCUM_MODE (DA, 8, 32, 31); /* s32.31 */
|
| 219 |
|
|
ACCUM_MODE (TA, 16, 64, 63); /* s64.63 */
|
| 220 |
|
|
|
| 221 |
|
|
UACCUM_MODE (UHA, 2, 8, 8); /* 8.8 */
|
| 222 |
|
|
UACCUM_MODE (USA, 4, 16, 16); /* 16.16 */
|
| 223 |
|
|
UACCUM_MODE (UDA, 8, 32, 32); /* 32.32 */
|
| 224 |
|
|
UACCUM_MODE (UTA, 16, 64, 64); /* 64.64 */
|
| 225 |
|
|
|
| 226 |
|
|
/* Allow the target to specify additional modes of various kinds. */
|
| 227 |
|
|
#if HAVE_EXTRA_MODES
|
| 228 |
|
|
# include EXTRA_MODES_FILE
|
| 229 |
|
|
#endif
|
| 230 |
|
|
|
| 231 |
|
|
/* Complex modes. */
|
| 232 |
|
|
COMPLEX_MODES (INT);
|
| 233 |
|
|
COMPLEX_MODES (FLOAT);
|
| 234 |
|
|
|
| 235 |
|
|
/* Decimal floating point modes. */
|
| 236 |
|
|
DECIMAL_FLOAT_MODE (SD, 4, decimal_single_format);
|
| 237 |
|
|
DECIMAL_FLOAT_MODE (DD, 8, decimal_double_format);
|
| 238 |
|
|
DECIMAL_FLOAT_MODE (TD, 16, decimal_quad_format);
|
| 239 |
|
|
|
| 240 |
|
|
/* The symbol Pmode stands for one of the above machine modes (usually SImode).
|
| 241 |
|
|
The tm.h file specifies which one. It is not a distinct mode. */
|
| 242 |
|
|
|
| 243 |
|
|
/*
|
| 244 |
|
|
Local variables:
|
| 245 |
|
|
mode:c
|
| 246 |
|
|
version-control: t
|
| 247 |
|
|
End:
|
| 248 |
|
|
*/
|