1 /* Machine mode definitions for GCC; included by rtl.h and tree.h.
2 Copyright (C) 1991-2022 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 typedef opt_mode
<machine_mode
> opt_machine_mode
;
25 // sdcpp extern CONST_MODE_SIZE poly_uint16_pod mode_size[NUM_MACHINE_MODES];
26 // sdcpp extern CONST_MODE_PRECISION poly_uint16_pod mode_precision[NUM_MACHINE_MODES];
27 extern const unsigned char mode_inner
[NUM_MACHINE_MODES
];
28 // sdcpp extern CONST_MODE_NUNITS poly_uint16_pod mode_nunits[NUM_MACHINE_MODES];
29 // sdcpp extern CONST_MODE_UNIT_SIZE unsigned char mode_unit_size[NUM_MACHINE_MODES];
30 // sdcpp extern const unsigned short mode_unit_precision[NUM_MACHINE_MODES];
31 // sdcpp extern const unsigned char mode_wider[NUM_MACHINE_MODES];
32 // sdcpp extern const unsigned char mode_2xwider[NUM_MACHINE_MODES];
37 /* For use by the machmode support code only.
39 There are cases in which the machmode support code needs to forcibly
40 convert a machine_mode to a specific mode class T, and in which the
41 context guarantees that this is valid without the need for an assert.
42 This can be done using:
44 return typename mode_traits<T>::from_int (mode);
46 when returning a T and:
48 res = T (typename mode_traits<T>::from_int (mode));
50 when assigning to a value RES that must be assignment-compatible
51 with (but possibly not the same as) T. */
53 /* Allow direct conversion of enums to specific mode classes only
54 when USE_ENUM_MODES is defined. This is only intended for use
55 by gencondmd, so that it can tell more easily when .md conditions
57 typedef machine_mode from_int
;
59 /* Here we use an enum type distinct from machine_mode but with the
60 same range as machine_mode. T should have a constructor that
61 accepts this enum type; it should not have a constructor that
64 We use this somewhat indirect approach to avoid too many constructor
65 calls when the compiler is built with -O0. For example, even in
66 unoptimized code, the return statement above would construct the
67 returned T directly from the numerical value of MODE. */
68 enum from_int
{ dummy
= MAX_MACHINE_MODE
};
73 struct mode_traits
<machine_mode
>
75 /* machine_mode itself needs no conversion. */
76 typedef machine_mode from_int
;
79 /* Always treat machine modes as fixed-size while compiling code specific
80 to targets that have no variable-size modes. */
81 #if defined (IN_TARGET_CODE) && NUM_POLY_INT_COEFFS == 1
82 #define ONLY_FIXED_SIZE_MODES 1
84 #define ONLY_FIXED_SIZE_MODES 0
87 /* Get the name of mode MODE as a string. */
89 extern const char * const mode_name
[NUM_MACHINE_MODES
];
90 #define GET_MODE_NAME(MODE) mode_name[MODE]
94 #include "mode-classes.def"
95 #define DEF_MODE_CLASS(M) M
96 enum mode_class
{ MODE_CLASSES
, MAX_MODE_CLASS
};
100 /* Get the general kind of object that mode MODE represents
101 (integer, floating, complex, etc.) */
103 extern const unsigned char mode_class
[NUM_MACHINE_MODES
];
104 #define GET_MODE_CLASS(MODE) ((enum mode_class) mode_class[MODE])
106 /* Nonzero if MODE is an integral mode. */
107 #define INTEGRAL_MODE_P(MODE) \
108 (GET_MODE_CLASS (MODE) == MODE_INT \
109 || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT \
110 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT \
111 || GET_MODE_CLASS (MODE) == MODE_VECTOR_BOOL \
112 || GET_MODE_CLASS (MODE) == MODE_VECTOR_INT)
114 /* Nonzero if MODE is a floating-point mode. */
115 #define FLOAT_MODE_P(MODE) \
116 (GET_MODE_CLASS (MODE) == MODE_FLOAT \
117 || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT \
118 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT \
119 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT)
121 /* Nonzero if MODE is a complex mode. */
122 #define COMPLEX_MODE_P(MODE) \
123 (GET_MODE_CLASS (MODE) == MODE_COMPLEX_INT \
124 || GET_MODE_CLASS (MODE) == MODE_COMPLEX_FLOAT)
126 /* Nonzero if MODE is a vector mode. */
127 #define VECTOR_MODE_P(MODE) \
128 (GET_MODE_CLASS (MODE) == MODE_VECTOR_BOOL \
129 || GET_MODE_CLASS (MODE) == MODE_VECTOR_INT \
130 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FLOAT \
131 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT \
132 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT \
133 || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM \
134 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
136 /* Nonzero if MODE is a scalar integral mode. */
137 #define SCALAR_INT_MODE_P(MODE) \
138 (GET_MODE_CLASS (MODE) == MODE_INT \
139 || GET_MODE_CLASS (MODE) == MODE_PARTIAL_INT)
141 /* Nonzero if MODE is a scalar floating point mode. */
142 #define SCALAR_FLOAT_MODE_P(MODE) \
143 (GET_MODE_CLASS (MODE) == MODE_FLOAT \
144 || GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
146 /* Nonzero if MODE is a decimal floating point mode. */
147 #define DECIMAL_FLOAT_MODE_P(MODE) \
148 (GET_MODE_CLASS (MODE) == MODE_DECIMAL_FLOAT)
150 /* Nonzero if MODE is a scalar fract mode. */
151 #define SCALAR_FRACT_MODE_P(MODE) \
152 (GET_MODE_CLASS (MODE) == MODE_FRACT)
154 /* Nonzero if MODE is a scalar ufract mode. */
155 #define SCALAR_UFRACT_MODE_P(MODE) \
156 (GET_MODE_CLASS (MODE) == MODE_UFRACT)
158 /* Nonzero if MODE is a scalar fract or ufract mode. */
159 #define ALL_SCALAR_FRACT_MODE_P(MODE) \
160 (SCALAR_FRACT_MODE_P (MODE) || SCALAR_UFRACT_MODE_P (MODE))
162 /* Nonzero if MODE is a scalar accum mode. */
163 #define SCALAR_ACCUM_MODE_P(MODE) \
164 (GET_MODE_CLASS (MODE) == MODE_ACCUM)
166 /* Nonzero if MODE is a scalar uaccum mode. */
167 #define SCALAR_UACCUM_MODE_P(MODE) \
168 (GET_MODE_CLASS (MODE) == MODE_UACCUM)
170 /* Nonzero if MODE is a scalar accum or uaccum mode. */
171 #define ALL_SCALAR_ACCUM_MODE_P(MODE) \
172 (SCALAR_ACCUM_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
174 /* Nonzero if MODE is a scalar fract or accum mode. */
175 #define SIGNED_SCALAR_FIXED_POINT_MODE_P(MODE) \
176 (SCALAR_FRACT_MODE_P (MODE) || SCALAR_ACCUM_MODE_P (MODE))
178 /* Nonzero if MODE is a scalar ufract or uaccum mode. */
179 #define UNSIGNED_SCALAR_FIXED_POINT_MODE_P(MODE) \
180 (SCALAR_UFRACT_MODE_P (MODE) || SCALAR_UACCUM_MODE_P (MODE))
182 /* Nonzero if MODE is a scalar fract, ufract, accum or uaccum mode. */
183 #define ALL_SCALAR_FIXED_POINT_MODE_P(MODE) \
184 (SIGNED_SCALAR_FIXED_POINT_MODE_P (MODE) \
185 || UNSIGNED_SCALAR_FIXED_POINT_MODE_P (MODE))
187 /* Nonzero if MODE is a scalar/vector fract mode. */
188 #define FRACT_MODE_P(MODE) \
189 (GET_MODE_CLASS (MODE) == MODE_FRACT \
190 || GET_MODE_CLASS (MODE) == MODE_VECTOR_FRACT)
192 /* Nonzero if MODE is a scalar/vector ufract mode. */
193 #define UFRACT_MODE_P(MODE) \
194 (GET_MODE_CLASS (MODE) == MODE_UFRACT \
195 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UFRACT)
197 /* Nonzero if MODE is a scalar/vector fract or ufract mode. */
198 #define ALL_FRACT_MODE_P(MODE) \
199 (FRACT_MODE_P (MODE) || UFRACT_MODE_P (MODE))
201 /* Nonzero if MODE is a scalar/vector accum mode. */
202 #define ACCUM_MODE_P(MODE) \
203 (GET_MODE_CLASS (MODE) == MODE_ACCUM \
204 || GET_MODE_CLASS (MODE) == MODE_VECTOR_ACCUM)
206 /* Nonzero if MODE is a scalar/vector uaccum mode. */
207 #define UACCUM_MODE_P(MODE) \
208 (GET_MODE_CLASS (MODE) == MODE_UACCUM \
209 || GET_MODE_CLASS (MODE) == MODE_VECTOR_UACCUM)
211 /* Nonzero if MODE is a scalar/vector accum or uaccum mode. */
212 #define ALL_ACCUM_MODE_P(MODE) \
213 (ACCUM_MODE_P (MODE) || UACCUM_MODE_P (MODE))
215 /* Nonzero if MODE is a scalar/vector fract or accum mode. */
216 #define SIGNED_FIXED_POINT_MODE_P(MODE) \
217 (FRACT_MODE_P (MODE) || ACCUM_MODE_P (MODE))
219 /* Nonzero if MODE is a scalar/vector ufract or uaccum mode. */
220 #define UNSIGNED_FIXED_POINT_MODE_P(MODE) \
221 (UFRACT_MODE_P (MODE) || UACCUM_MODE_P (MODE))
223 /* Nonzero if MODE is a scalar/vector fract, ufract, accum or uaccum mode. */
224 #define ALL_FIXED_POINT_MODE_P(MODE) \
225 (SIGNED_FIXED_POINT_MODE_P (MODE) \
226 || UNSIGNED_FIXED_POINT_MODE_P (MODE))
228 /* Nonzero if MODE is opaque. */
229 #define OPAQUE_MODE_P(MODE) \
230 (GET_MODE_CLASS (MODE) == MODE_OPAQUE)
232 /* Nonzero if CLASS modes can be widened. */
233 #define CLASS_HAS_WIDER_MODES_P(CLASS) \
235 || CLASS == MODE_PARTIAL_INT \
236 || CLASS == MODE_FLOAT \
237 || CLASS == MODE_DECIMAL_FLOAT \
238 || CLASS == MODE_COMPLEX_FLOAT \
239 || CLASS == MODE_FRACT \
240 || CLASS == MODE_UFRACT \
241 || CLASS == MODE_ACCUM \
242 || CLASS == MODE_UACCUM)
244 /* An optional T (i.e. a T or nothing), where T is some form of mode class. */
249 enum from_int
{ dummy
= MAX_MACHINE_MODE
};
251 ALWAYS_INLINE CONSTEXPR
opt_mode () : m_mode (E_VOIDmode
) {}
252 ALWAYS_INLINE CONSTEXPR
opt_mode (const T
&m
) : m_mode (m
) {}
254 ALWAYS_INLINE CONSTEXPR
opt_mode (const U
&m
) : m_mode (T (m
)) {}
255 ALWAYS_INLINE CONSTEXPR
opt_mode (from_int m
) : m_mode (machine_mode (m
)) {}
257 machine_mode
else_void () const;
258 machine_mode
else_blk () const { return else_mode (BLKmode
); }
259 machine_mode
else_mode (machine_mode
) const;
262 bool exists () const;
263 template<typename U
> bool exists (U
*) const;
265 bool operator== (const T
&m
) const { return m_mode
== m
; }
266 bool operator!= (const T
&m
) const { return m_mode
!= m
; }
272 /* If the object contains a T, return its enum value, otherwise return
276 ALWAYS_INLINE machine_mode
277 opt_mode
<T
>::else_void () const
282 /* If the T exists, return its enum value, otherwise return FALLBACK. */
286 opt_mode
<T
>::else_mode (machine_mode fallback
) const
288 return m_mode
== E_VOIDmode
? fallback
: m_mode
;
291 /* Assert that the object contains a T and return it. */
295 opt_mode
<T
>::require () const
297 gcc_checking_assert (m_mode
!= E_VOIDmode
);
298 return typename mode_traits
<T
>::from_int (m_mode
);
301 /* Return true if the object contains a T rather than nothing. */
305 opt_mode
<T
>::exists () const
307 return m_mode
!= E_VOIDmode
;
310 /* Return true if the object contains a T, storing it in *MODE if so. */
315 opt_mode
<T
>::exists (U
*mode
) const
317 if (m_mode
!= E_VOIDmode
)
319 *mode
= T (typename mode_traits
<T
>::from_int (m_mode
));
325 /* A POD version of mode class T. */
330 typedef typename mode_traits
<T
>::from_int from_int
;
331 typedef typename
T::measurement_type measurement_type
;
334 ALWAYS_INLINE CONSTEXPR
335 operator machine_mode () const { return m_mode
; }
337 ALWAYS_INLINE CONSTEXPR
338 operator T () const { return from_int (m_mode
); }
340 ALWAYS_INLINE pod_mode
&operator = (const T
&m
) { m_mode
= m
; return *this; }
343 /* Return true if mode M has type T. */
347 is_a (machine_mode m
)
349 return T::includes_p (m
);
352 template<typename T
, typename U
>
354 is_a (const opt_mode
<U
> &m
)
356 return T::includes_p (m
.else_void ());
359 /* Assert that mode M has type T, and return it in that form. */
363 as_a (machine_mode m
)
365 gcc_checking_assert (T::includes_p (m
));
366 return typename mode_traits
<T
>::from_int (m
);
369 template<typename T
, typename U
>
371 as_a (const opt_mode
<U
> &m
)
373 return as_a
<T
> (m
.else_void ());
376 /* Convert M to an opt_mode<T>. */
380 dyn_cast (machine_mode m
)
382 if (T::includes_p (m
))
383 return T (typename mode_traits
<T
>::from_int (m
));
384 return opt_mode
<T
> ();
387 template<typename T
, typename U
>
389 dyn_cast (const opt_mode
<U
> &m
)
391 return dyn_cast
<T
> (m
.else_void ());
394 /* Return true if mode M has type T, storing it as a T in *RESULT
397 template<typename T
, typename U
>
399 is_a (machine_mode m
, U
*result
)
401 if (T::includes_p (m
))
403 *result
= T (typename mode_traits
<T
>::from_int (m
));
409 /* Represents a machine mode that is known to be a SCALAR_INT_MODE_P. */
410 class scalar_int_mode
413 typedef mode_traits
<scalar_int_mode
>::from_int from_int
;
414 typedef unsigned short measurement_type
;
416 ALWAYS_INLINE
scalar_int_mode () {}
418 ALWAYS_INLINE CONSTEXPR
419 scalar_int_mode (from_int m
) : m_mode (machine_mode (m
)) {}
421 ALWAYS_INLINE CONSTEXPR
operator machine_mode () const { return m_mode
; }
423 static bool includes_p (machine_mode
);
429 /* Return true if M is a scalar_int_mode. */
432 scalar_int_mode::includes_p (machine_mode m
)
434 return SCALAR_INT_MODE_P (m
);
437 /* Represents a machine mode that is known to be a SCALAR_FLOAT_MODE_P. */
438 class scalar_float_mode
441 typedef mode_traits
<scalar_float_mode
>::from_int from_int
;
442 typedef unsigned short measurement_type
;
444 ALWAYS_INLINE
scalar_float_mode () {}
446 ALWAYS_INLINE CONSTEXPR
447 scalar_float_mode (from_int m
) : m_mode (machine_mode (m
)) {}
449 ALWAYS_INLINE CONSTEXPR
operator machine_mode () const { return m_mode
; }
451 static bool includes_p (machine_mode
);
457 /* Return true if M is a scalar_float_mode. */
460 scalar_float_mode::includes_p (machine_mode m
)
462 return SCALAR_FLOAT_MODE_P (m
);
465 /* Represents a machine mode that is known to be scalar. */
469 typedef mode_traits
<scalar_mode
>::from_int from_int
;
470 typedef unsigned short measurement_type
;
472 ALWAYS_INLINE
scalar_mode () {}
474 ALWAYS_INLINE CONSTEXPR
475 scalar_mode (from_int m
) : m_mode (machine_mode (m
)) {}
477 ALWAYS_INLINE CONSTEXPR
478 scalar_mode (const scalar_int_mode
&m
) : m_mode (m
) {}
480 ALWAYS_INLINE CONSTEXPR
481 scalar_mode (const scalar_float_mode
&m
) : m_mode (m
) {}
483 ALWAYS_INLINE CONSTEXPR
484 scalar_mode (const scalar_int_mode_pod
&m
) : m_mode (m
) {}
486 ALWAYS_INLINE CONSTEXPR
operator machine_mode () const { return m_mode
; }
488 static bool includes_p (machine_mode
);
494 /* Return true if M represents some kind of scalar value. */
497 scalar_mode::includes_p (machine_mode m
)
499 switch (GET_MODE_CLASS (m
))
502 case MODE_PARTIAL_INT
:
508 case MODE_DECIMAL_FLOAT
:
515 /* Represents a machine mode that is known to be a COMPLEX_MODE_P. */
519 typedef mode_traits
<complex_mode
>::from_int from_int
;
520 typedef unsigned short measurement_type
;
522 ALWAYS_INLINE
complex_mode () {}
524 ALWAYS_INLINE CONSTEXPR
525 complex_mode (from_int m
) : m_mode (machine_mode (m
)) {}
527 ALWAYS_INLINE CONSTEXPR
operator machine_mode () const { return m_mode
; }
529 static bool includes_p (machine_mode
);
535 /* Return true if M is a complex_mode. */
538 complex_mode::includes_p (machine_mode m
)
540 return COMPLEX_MODE_P (m
);
543 /* Return the base GET_MODE_SIZE value for MODE. */
546 ALWAYS_INLINE poly_uint16
547 mode_to_bytes (machine_mode mode
)
549 #if GCC_VERSION >= 4001
550 return (__builtin_constant_p (mode
)
551 ? mode_size_inline (mode
) : mode_size
[mode
]);
553 return mode_size
[mode
];
557 /* Return the base GET_MODE_BITSIZE value for MODE. */
559 ALWAYS_INLINE poly_uint16
560 mode_to_bits (machine_mode mode
)
562 return mode_to_bytes (mode
) * BITS_PER_UNIT
;
565 /* Return the base GET_MODE_PRECISION value for MODE. */
567 ALWAYS_INLINE poly_uint16
568 mode_to_precision (machine_mode mode
)
570 return mode_precision
[mode
];
573 /* Return the base GET_MODE_INNER value for MODE. */
576 ALWAYS_INLINE scalar_mode
577 mode_to_inner (machine_mode mode
)
579 #if GCC_VERSION >= 4001
580 return scalar_mode::from_int (__builtin_constant_p (mode
)
581 ? mode_inner_inline (mode
)
584 return scalar_mode::from_int (mode_inner
[mode
]);
590 /* Return the base GET_MODE_UNIT_SIZE value for MODE. */
592 ALWAYS_INLINE
unsigned char
593 mode_to_unit_size (machine_mode mode
)
595 #if GCC_VERSION >= 4001
596 return (__builtin_constant_p (mode
)
597 ? mode_unit_size_inline (mode
) : mode_unit_size
[mode
]);
599 return mode_unit_size
[mode
];
603 /* Return the base GET_MODE_UNIT_PRECISION value for MODE. */
605 ALWAYS_INLINE
unsigned short
606 mode_to_unit_precision (machine_mode mode
)
608 #if GCC_VERSION >= 4001
609 return (__builtin_constant_p (mode
)
610 ? mode_unit_precision_inline (mode
) : mode_unit_precision
[mode
]);
612 return mode_unit_precision
[mode
];
616 /* Return the base GET_MODE_NUNITS value for MODE. */
618 ALWAYS_INLINE poly_uint16
619 mode_to_nunits (machine_mode mode
)
621 #if GCC_VERSION >= 4001
622 return (__builtin_constant_p (mode
)
623 ? mode_nunits_inline (mode
) : mode_nunits
[mode
]);
625 return mode_nunits
[mode
];
629 /* Get the size in bytes of an object of mode MODE. */
631 #if ONLY_FIXED_SIZE_MODES
632 #define GET_MODE_SIZE(MODE) ((unsigned short) mode_to_bytes (MODE).coeffs[0])
634 ALWAYS_INLINE poly_uint16
635 GET_MODE_SIZE (machine_mode mode
)
637 return mode_to_bytes (mode
);
641 ALWAYS_INLINE typename if_poly
<typename
T::measurement_type
>::type
642 GET_MODE_SIZE (const T
&mode
)
644 return mode_to_bytes (mode
);
648 ALWAYS_INLINE typename if_nonpoly
<typename
T::measurement_type
>::type
649 GET_MODE_SIZE (const T
&mode
)
651 return mode_to_bytes (mode
).coeffs
[0];
656 /* Get the size in bits of an object of mode MODE. */
659 #if ONLY_FIXED_SIZE_MODES
660 #define GET_MODE_BITSIZE(MODE) ((unsigned short) mode_to_bits (MODE).coeffs[0])
662 ALWAYS_INLINE poly_uint16
663 GET_MODE_BITSIZE (machine_mode mode
)
665 return mode_to_bits (mode
);
669 ALWAYS_INLINE typename if_poly
<typename
T::measurement_type
>::type
670 GET_MODE_BITSIZE (const T
&mode
)
672 return mode_to_bits (mode
);
676 ALWAYS_INLINE typename if_nonpoly
<typename
T::measurement_type
>::type
677 GET_MODE_BITSIZE (const T
&mode
)
679 return mode_to_bits (mode
).coeffs
[0];
683 /* Get the number of value bits of an object of mode MODE. */
685 #if ONLY_FIXED_SIZE_MODES
686 #define GET_MODE_PRECISION(MODE) \
687 ((unsigned short) mode_to_precision (MODE).coeffs[0])
689 ALWAYS_INLINE poly_uint16
690 GET_MODE_PRECISION (machine_mode mode
)
692 return mode_to_precision (mode
);
696 ALWAYS_INLINE typename if_poly
<typename
T::measurement_type
>::type
697 GET_MODE_PRECISION (const T
&mode
)
699 return mode_to_precision (mode
);
703 ALWAYS_INLINE typename if_nonpoly
<typename
T::measurement_type
>::type
704 GET_MODE_PRECISION (const T
&mode
)
706 return mode_to_precision (mode
).coeffs
[0];
710 /* Get the number of integral bits of an object of mode MODE. */
711 extern CONST_MODE_IBIT
unsigned char mode_ibit
[NUM_MACHINE_MODES
];
712 #define GET_MODE_IBIT(MODE) mode_ibit[MODE]
714 /* Get the number of fractional bits of an object of mode MODE. */
715 extern CONST_MODE_FBIT
unsigned char mode_fbit
[NUM_MACHINE_MODES
];
716 #define GET_MODE_FBIT(MODE) mode_fbit[MODE]
718 /* Get a bitmask containing 1 for all bits in a word
719 that fit within mode MODE. */
721 extern CONST_MODE_MASK
unsigned HOST_WIDE_INT
722 mode_mask_array
[NUM_MACHINE_MODES
];
724 #define GET_MODE_MASK(MODE) mode_mask_array[MODE]
726 /* Return the mode of the basic parts of MODE. For vector modes this is the
727 mode of the vector elements. For complex modes it is the mode of the real
728 and imaginary parts. For other modes it is MODE itself. */
731 #define GET_MODE_INNER(MODE) (mode_to_inner (MODE))
735 /* Get the size in bytes or bits of the basic parts of an
736 object of mode MODE. */
738 #define GET_MODE_UNIT_SIZE(MODE) mode_to_unit_size (MODE)
740 #define GET_MODE_UNIT_BITSIZE(MODE) \
741 ((unsigned short) (GET_MODE_UNIT_SIZE (MODE) * BITS_PER_UNIT))
743 #define GET_MODE_UNIT_PRECISION(MODE) (mode_to_unit_precision (MODE))
745 /* Get the number of units in an object of mode MODE. This is 2 for
746 complex modes and the number of elements for vector modes. */
748 #if ONLY_FIXED_SIZE_MODES
749 #define GET_MODE_NUNITS(MODE) (mode_to_nunits (MODE).coeffs[0])
751 ALWAYS_INLINE poly_uint16
752 GET_MODE_NUNITS (machine_mode mode
)
754 return mode_to_nunits (mode
);
758 ALWAYS_INLINE typename if_poly
<typename
T::measurement_type
>::type
759 GET_MODE_NUNITS (const T
&mode
)
761 return mode_to_nunits (mode
);
765 ALWAYS_INLINE typename if_nonpoly
<typename
T::measurement_type
>::type
766 GET_MODE_NUNITS (const T
&mode
)
768 return mode_to_nunits (mode
).coeffs
[0];
772 /* Get the next wider natural mode (eg, QI -> HI -> SI -> DI -> TI). */
775 ALWAYS_INLINE opt_mode
<T
>
776 GET_MODE_WIDER_MODE (const T
&m
)
778 return typename opt_mode
<T
>::from_int (mode_wider
[m
]);
781 /* For scalars, this is a mode with twice the precision. For vectors,
782 this is a mode with the same inner mode but with twice the elements. */
785 ALWAYS_INLINE opt_mode
<T
>
786 GET_MODE_2XWIDER_MODE (const T
&m
)
788 return typename opt_mode
<T
>::from_int (mode_2xwider
[m
]);
791 /* Get the complex mode from the component mode. */
792 extern const unsigned char mode_complex
[NUM_MACHINE_MODES
];
793 #define GET_MODE_COMPLEX_MODE(MODE) ((machine_mode) mode_complex[MODE])
795 /* Represents a machine mode that must have a fixed size. The main
796 use of this class is to represent the modes of objects that always
797 have static storage duration, such as constant pool entries.
798 (No current target supports the concept of variable-size static data.) */
799 class fixed_size_mode
802 typedef mode_traits
<fixed_size_mode
>::from_int from_int
;
803 typedef unsigned short measurement_type
;
805 ALWAYS_INLINE
fixed_size_mode () {}
807 ALWAYS_INLINE CONSTEXPR
808 fixed_size_mode (from_int m
) : m_mode (machine_mode (m
)) {}
810 ALWAYS_INLINE CONSTEXPR
811 fixed_size_mode (const scalar_mode
&m
) : m_mode (m
) {}
813 ALWAYS_INLINE CONSTEXPR
814 fixed_size_mode (const scalar_int_mode
&m
) : m_mode (m
) {}
816 ALWAYS_INLINE CONSTEXPR
817 fixed_size_mode (const scalar_float_mode
&m
) : m_mode (m
) {}
819 ALWAYS_INLINE CONSTEXPR
820 fixed_size_mode (const scalar_mode_pod
&m
) : m_mode (m
) {}
822 ALWAYS_INLINE CONSTEXPR
823 fixed_size_mode (const scalar_int_mode_pod
&m
) : m_mode (m
) {}
825 ALWAYS_INLINE CONSTEXPR
826 fixed_size_mode (const complex_mode
&m
) : m_mode (m
) {}
828 ALWAYS_INLINE CONSTEXPR
operator machine_mode () const { return m_mode
; }
830 static bool includes_p (machine_mode
);
836 /* Return true if MODE has a fixed size. */
839 fixed_size_mode::includes_p (machine_mode mode
)
841 return mode_to_bytes (mode
).is_constant ();
844 /* Wrapper for mode arguments to target macros, so that if a target
845 doesn't need polynomial-sized modes, its header file can continue
846 to treat everything as fixed_size_mode. This should go away once
847 macros are moved to target hooks. It shouldn't be used in other
849 #if NUM_POLY_INT_COEFFS == 1
850 #define MACRO_MODE(MODE) (as_a <fixed_size_mode> (MODE))
852 #define MACRO_MODE(MODE) (MODE)
855 extern opt_machine_mode
mode_for_size (poly_uint64
, enum mode_class
, int);
857 /* Return the machine mode to use for a MODE_INT of SIZE bits, if one
858 exists. If LIMIT is nonzero, modes wider than MAX_FIXED_MODE_SIZE
861 inline opt_scalar_int_mode
862 int_mode_for_size (poly_uint64 size
, int limit
)
864 return dyn_cast
<scalar_int_mode
> (mode_for_size (size
, MODE_INT
, limit
));
867 /* Return the machine mode to use for a MODE_FLOAT of SIZE bits, if one
870 inline opt_scalar_float_mode
871 float_mode_for_size (poly_uint64 size
)
873 return dyn_cast
<scalar_float_mode
> (mode_for_size (size
, MODE_FLOAT
, 0));
876 /* Likewise for MODE_DECIMAL_FLOAT. */
878 inline opt_scalar_float_mode
879 decimal_float_mode_for_size (unsigned int size
)
881 return dyn_cast
<scalar_float_mode
>
882 (mode_for_size (size
, MODE_DECIMAL_FLOAT
, 0));
885 extern machine_mode
smallest_mode_for_size (poly_uint64
, enum mode_class
);
887 /* Find the narrowest integer mode that contains at least SIZE bits.
888 Such a mode must exist. */
890 inline scalar_int_mode
891 smallest_int_mode_for_size (poly_uint64 size
)
893 return as_a
<scalar_int_mode
> (smallest_mode_for_size (size
, MODE_INT
));
896 extern opt_scalar_int_mode
int_mode_for_mode (machine_mode
);
897 extern opt_machine_mode
bitwise_mode_for_mode (machine_mode
);
898 extern opt_machine_mode
mode_for_vector (scalar_mode
, poly_uint64
);
899 extern opt_machine_mode
related_vector_mode (machine_mode
, scalar_mode
,
901 extern opt_machine_mode
related_int_vector_mode (machine_mode
);
903 /* A class for iterating through possible bitfield modes. */
904 class bit_field_mode_iterator
907 bit_field_mode_iterator (HOST_WIDE_INT
, HOST_WIDE_INT
,
908 poly_int64
, poly_int64
,
910 bool next_mode (scalar_int_mode
*);
911 bool prefer_smaller_modes ();
914 opt_scalar_int_mode m_mode
;
915 /* We use signed values here because the bit position can be negative
916 for invalid input such as gcc.dg/pr48335-8.c. */
917 HOST_WIDE_INT m_bitsize
;
918 HOST_WIDE_INT m_bitpos
;
919 poly_int64 m_bitregion_start
;
920 poly_int64 m_bitregion_end
;
921 unsigned int m_align
;
926 /* Find the best mode to use to access a bit field. */
928 extern bool get_best_mode (int, int, poly_uint64
, poly_uint64
, unsigned int,
929 unsigned HOST_WIDE_INT
, bool, scalar_int_mode
*);
931 /* Determine alignment, 1<=result<=BIGGEST_ALIGNMENT. */
933 extern CONST_MODE_BASE_ALIGN
unsigned short mode_base_align
[NUM_MACHINE_MODES
];
935 extern unsigned get_mode_alignment (machine_mode
);
937 #define GET_MODE_ALIGNMENT(MODE) get_mode_alignment (MODE)
939 /* For each class, get the narrowest mode in that class. */
941 extern const unsigned char class_narrowest_mode
[MAX_MODE_CLASS
];
942 #define GET_CLASS_NARROWEST_MODE(CLASS) \
943 ((machine_mode) class_narrowest_mode[CLASS])
945 /* The narrowest full integer mode available on the target. */
947 #define NARROWEST_INT_MODE \
949 (scalar_int_mode::from_int (class_narrowest_mode[MODE_INT])))
951 /* Return the narrowest mode in T's class. */
955 get_narrowest_mode (T mode
)
957 return typename mode_traits
<T
>::from_int
958 (class_narrowest_mode
[GET_MODE_CLASS (mode
)]);
961 /* Define the integer modes whose sizes are BITS_PER_UNIT and BITS_PER_WORD
962 and the mode whose class is Pmode and whose size is POINTER_SIZE. */
964 extern scalar_int_mode byte_mode
;
965 extern scalar_int_mode word_mode
;
966 extern scalar_int_mode ptr_mode
;
968 /* Target-dependent machine mode initialization - in insn-modes.cc. */
969 extern void init_adjust_machine_modes (void);
971 #define TRULY_NOOP_TRUNCATION_MODES_P(MODE1, MODE2) \
972 (targetm.truly_noop_truncation (GET_MODE_PRECISION (MODE1), \
973 GET_MODE_PRECISION (MODE2)))
975 /* Return true if MODE is a scalar integer mode that fits in a
979 HWI_COMPUTABLE_MODE_P (machine_mode mode
)
981 machine_mode mme
= mode
;
982 return (SCALAR_INT_MODE_P (mme
)
983 && mode_to_precision (mme
).coeffs
[0] <= HOST_BITS_PER_WIDE_INT
);
987 HWI_COMPUTABLE_MODE_P (scalar_int_mode mode
)
989 return GET_MODE_PRECISION (mode
) <= HOST_BITS_PER_WIDE_INT
;
992 struct int_n_data_t
{
993 /* These parts are initailized by genmodes output */
994 unsigned int bitsize
;
995 scalar_int_mode_pod m
;
996 /* RID_* is RID_INTN_BASE + index into this array */
999 /* This is also in tree.h. genmodes.cc guarantees the're sorted from
1000 smallest bitsize to largest bitsize. */
1001 extern bool int_n_enabled_p
[NUM_INT_N_ENTS
];
1002 extern const int_n_data_t int_n_data
[NUM_INT_N_ENTS
];
1004 /* Return true if MODE has class MODE_INT, storing it as a scalar_int_mode
1005 in *INT_MODE if so. */
1007 template<typename T
>
1009 is_int_mode (machine_mode mode
, T
*int_mode
)
1011 if (GET_MODE_CLASS (mode
) == MODE_INT
)
1013 *int_mode
= scalar_int_mode (scalar_int_mode::from_int (mode
));
1019 /* Return true if MODE has class MODE_FLOAT, storing it as a
1020 scalar_float_mode in *FLOAT_MODE if so. */
1022 template<typename T
>
1024 is_float_mode (machine_mode mode
, T
*float_mode
)
1026 if (GET_MODE_CLASS (mode
) == MODE_FLOAT
)
1028 *float_mode
= scalar_float_mode (scalar_float_mode::from_int (mode
));
1034 /* Return true if MODE has class MODE_COMPLEX_INT, storing it as
1035 a complex_mode in *CMODE if so. */
1037 template<typename T
>
1039 is_complex_int_mode (machine_mode mode
, T
*cmode
)
1041 if (GET_MODE_CLASS (mode
) == MODE_COMPLEX_INT
)
1043 *cmode
= complex_mode (complex_mode::from_int (mode
));
1049 /* Return true if MODE has class MODE_COMPLEX_FLOAT, storing it as
1050 a complex_mode in *CMODE if so. */
1052 template<typename T
>
1054 is_complex_float_mode (machine_mode mode
, T
*cmode
)
1056 if (GET_MODE_CLASS (mode
) == MODE_COMPLEX_FLOAT
)
1058 *cmode
= complex_mode (complex_mode::from_int (mode
));
1064 /* Return true if MODE is a scalar integer mode with a precision
1065 smaller than LIMIT's precision. */
1068 is_narrower_int_mode (machine_mode mode
, scalar_int_mode limit
)
1070 scalar_int_mode int_mode
;
1071 return (is_a
<scalar_int_mode
> (mode
, &int_mode
)
1072 && GET_MODE_PRECISION (int_mode
) < GET_MODE_PRECISION (limit
));
1075 namespace mode_iterator
1077 /* Start mode iterator *ITER at the first mode in class MCLASS, if any. */
1079 template<typename T
>
1081 start (opt_mode
<T
> *iter
, enum mode_class mclass
)
1083 if (GET_CLASS_NARROWEST_MODE (mclass
) == E_VOIDmode
)
1084 *iter
= opt_mode
<T
> ();
1086 *iter
= as_a
<T
> (GET_CLASS_NARROWEST_MODE (mclass
));
1090 start (machine_mode
*iter
, enum mode_class mclass
)
1092 *iter
= GET_CLASS_NARROWEST_MODE (mclass
);
1095 /* Return true if mode iterator *ITER has not reached the end. */
1097 template<typename T
>
1099 iterate_p (opt_mode
<T
> *iter
)
1101 return iter
->exists ();
1105 iterate_p (machine_mode
*iter
)
1107 return *iter
!= E_VOIDmode
;
1110 /* Set mode iterator *ITER to the next widest mode in the same class,
1113 template<typename T
>
1115 get_wider (opt_mode
<T
> *iter
)
1117 *iter
= GET_MODE_WIDER_MODE (iter
->require ());
1121 get_wider (machine_mode
*iter
)
1123 *iter
= GET_MODE_WIDER_MODE (*iter
).else_void ();
1126 /* Set mode iterator *ITER to the next widest mode in the same class.
1127 Such a mode is known to exist. */
1129 template<typename T
>
1131 get_known_wider (T
*iter
)
1133 *iter
= GET_MODE_WIDER_MODE (*iter
).require ();
1136 /* Set mode iterator *ITER to the mode that is two times wider than the
1137 current one, if such a mode exists. */
1139 template<typename T
>
1141 get_2xwider (opt_mode
<T
> *iter
)
1143 *iter
= GET_MODE_2XWIDER_MODE (iter
->require ());
1147 get_2xwider (machine_mode
*iter
)
1149 *iter
= GET_MODE_2XWIDER_MODE (*iter
).else_void ();
1153 /* Make ITERATOR iterate over all the modes in mode class CLASS,
1154 from narrowest to widest. */
1155 #define FOR_EACH_MODE_IN_CLASS(ITERATOR, CLASS) \
1156 for (mode_iterator::start (&(ITERATOR), CLASS); \
1157 mode_iterator::iterate_p (&(ITERATOR)); \
1158 mode_iterator::get_wider (&(ITERATOR)))
1160 /* Make ITERATOR iterate over all the modes in the range [START, END),
1161 in order of increasing width. */
1162 #define FOR_EACH_MODE(ITERATOR, START, END) \
1163 for ((ITERATOR) = (START); \
1164 (ITERATOR) != (END); \
1165 mode_iterator::get_known_wider (&(ITERATOR)))
1167 /* Make ITERATOR iterate over START and all wider modes in the same
1168 class, in order of increasing width. */
1169 #define FOR_EACH_MODE_FROM(ITERATOR, START) \
1170 for ((ITERATOR) = (START); \
1171 mode_iterator::iterate_p (&(ITERATOR)); \
1172 mode_iterator::get_wider (&(ITERATOR)))
1174 /* Make ITERATOR iterate over modes in the range [NARROWEST, END)
1175 in order of increasing width, where NARROWEST is the narrowest mode
1177 #define FOR_EACH_MODE_UNTIL(ITERATOR, END) \
1178 FOR_EACH_MODE (ITERATOR, get_narrowest_mode (END), END)
1180 /* Make ITERATOR iterate over modes in the same class as MODE, in order
1181 of increasing width. Start at the first mode wider than START,
1182 or don't iterate at all if there is no wider mode. */
1183 #define FOR_EACH_WIDER_MODE(ITERATOR, START) \
1184 for ((ITERATOR) = (START), mode_iterator::get_wider (&(ITERATOR)); \
1185 mode_iterator::iterate_p (&(ITERATOR)); \
1186 mode_iterator::get_wider (&(ITERATOR)))
1188 /* Make ITERATOR iterate over modes in the same class as MODE, in order
1189 of increasing width, and with each mode being twice the width of the
1190 previous mode. Start at the mode that is two times wider than START,
1191 or don't iterate at all if there is no such mode. */
1192 #define FOR_EACH_2XWIDER_MODE(ITERATOR, START) \
1193 for ((ITERATOR) = (START), mode_iterator::get_2xwider (&(ITERATOR)); \
1194 mode_iterator::iterate_p (&(ITERATOR)); \
1195 mode_iterator::get_2xwider (&(ITERATOR)))
1197 template<typename T
>
1199 gt_ggc_mx (pod_mode
<T
> *)
1203 template<typename T
>
1205 gt_pch_nx (pod_mode
<T
> *)
1209 template<typename T
>
1211 gt_pch_nx (pod_mode
<T
> *, gt_pointer_operator
, void *)
1217 #endif /* not HAVE_MACHINE_MODES */