4 * This file is part of BeRTOS.
6 * Bertos is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 * As a special exception, you may use this file as part of a free software
21 * library without restriction. Specifically, if other files instantiate
22 * templates or use macros or inline functions from this file, or you compile
23 * this file and link it with other files to produce an executable, this
24 * file does not by itself cause the resulting executable to be covered by
25 * the GNU General Public License. This exception does not however
26 * invalidate any other reasons why the executable file might be covered by
27 * the GNU General Public License.
29 * Copyright 2004, 2005, 2006, 2007 Develer S.r.l. (http://www.develer.com/)
30 * Copyright 2004 Giovanni Bajo
34 * \brief CPU-specific type definitions.
36 * \author Giovanni Bajo <rasky@develer.com>
37 * \author Bernardo Innocenti <bernie@develer.com>
38 * \author Stefano Fedrigo <aleph@develer.com>
39 * \author Francesco Sacchi <batt@develer.com>
46 #include <cfg/compiler.h> /* for uintXX_t */
50 typedef uint16_t cpuflags_t; // FIXME
51 typedef unsigned int cpustack_t;
52 #warning Verify following constant
53 #define SIZEOF_CPUSTACK_T 2
57 /* Get IRQ_* definitions from the hosting environment. */
60 typedef uint32_t cpuflags_t; // FIXME
61 #endif /* OS_EMBEDDED */
64 typedef uint64_t cpustack_t;
65 #define SIZEOF_CPUSTACK_T 8
67 typedef uint32_t cpustack_t;
68 #define SIZEOF_CPUSTACK_T 4
73 typedef uint32_t cpuflags_t;
74 typedef uint32_t cpustack_t;
75 #define SIZEOF_CPUSTACK_T 4
79 typedef uint32_t cpuflags_t; // FIXME
80 typedef uint32_t cpustack_t; // FIXME
81 #define SIZEOF_CPUSTACK_T 4
85 typedef uint16_t cpuflags_t;
86 typedef unsigned int cpustack_t;
87 #warning Verify following costant
88 #define SIZEOF_CPUSTACK_T 2
92 typedef uint8_t cpuflags_t;
93 typedef uint8_t cpustack_t;
94 #define SIZEOF_CPUSTACK_T 1
97 #error No CPU_... defined.
101 * \name Default type sizes.
103 * These defaults are reasonable for most 16/32bit machines.
104 * Some of these macros may be overridden by CPU-specific code above.
106 * ANSI C requires that the following equations be true:
108 * sizeof(char) <= sizeof(short) <= sizeof(int) <= sizeof(long)
109 * sizeof(float) <= sizeof(double)
110 * CPU_BITS_PER_CHAR >= 8
111 * CPU_BITS_PER_SHORT >= 8
112 * CPU_BITS_PER_INT >= 16
113 * CPU_BITS_PER_LONG >= 32
118 #define SIZEOF_CHAR 1
122 #define SIZEOF_SHORT 2
126 #if CPU_REG_BITS < 32
131 #endif /* !SIZEOF_INT */
134 #if CPU_REG_BITS > 32
135 #define SIZEOF_LONG 8
137 #define SIZEOF_LONG 4
142 #if CPU_REG_BITS < 32
144 #elif CPU_REG_BITS == 32
146 #else /* CPU_REG_BITS > 32 */
151 #ifndef CPU_BITS_PER_CHAR
152 #define CPU_BITS_PER_CHAR (SIZEOF_CHAR * 8)
155 #ifndef CPU_BITS_PER_SHORT
156 #define CPU_BITS_PER_SHORT (SIZEOF_SHORT * CPU_BITS_PER_CHAR)
159 #ifndef CPU_BITS_PER_INT
160 #define CPU_BITS_PER_INT (SIZEOF_INT * CPU_BITS_PER_CHAR)
163 #ifndef CPU_BITS_PER_LONG
164 #define CPU_BITS_PER_LONG (SIZEOF_LONG * CPU_BITS_PER_CHAR)
167 #ifndef CPU_BITS_PER_PTR
168 #define CPU_BITS_PER_PTR (SIZEOF_PTR * CPU_BITS_PER_CHAR)
174 /* Sanity checks for the above definitions */
175 STATIC_ASSERT(sizeof(char) == SIZEOF_CHAR);
176 STATIC_ASSERT(sizeof(short) == SIZEOF_SHORT);
177 STATIC_ASSERT(sizeof(long) == SIZEOF_LONG);
178 STATIC_ASSERT(sizeof(int) == SIZEOF_INT);
179 STATIC_ASSERT(sizeof(void *) == SIZEOF_PTR);
180 STATIC_ASSERT(sizeof(int8_t) * CPU_BITS_PER_CHAR == 8);
181 STATIC_ASSERT(sizeof(uint8_t) * CPU_BITS_PER_CHAR == 8);
182 STATIC_ASSERT(sizeof(int16_t) * CPU_BITS_PER_CHAR == 16);
183 STATIC_ASSERT(sizeof(uint16_t) * CPU_BITS_PER_CHAR == 16);
184 STATIC_ASSERT(sizeof(int32_t) * CPU_BITS_PER_CHAR == 32);
185 STATIC_ASSERT(sizeof(uint32_t) * CPU_BITS_PER_CHAR == 32);
186 #ifdef __HAS_INT64_T__
187 STATIC_ASSERT(sizeof(int64_t) * CPU_BITS_PER_CHAR == 64);
188 STATIC_ASSERT(sizeof(uint64_t) * CPU_BITS_PER_CHAR == 64);
190 STATIC_ASSERT(sizeof(cpustack_t) == SIZEOF_CPUSTACK_T);
193 #endif /* CPU_TYPES_H */