libc/primitives.rs
1//! This module contains type aliases for C's platform-specific types
2//! and fixed-width integer types.
3//!
4//! The platform-specific types definitions were taken from rust-lang/rust in
5//! library/core/src/ffi/primitives.rs
6//!
7//! The fixed-width integer aliases are deprecated: use the Rust types instead.
8
9pub type c_schar = i8;
10pub type c_uchar = u8;
11pub type c_short = i16;
12pub type c_ushort = u16;
13
14pub type c_longlong = i64;
15pub type c_ulonglong = u64;
16
17pub type c_float = f32;
18pub type c_double = f64;
19
20cfg_if! {
21 if #[cfg(all(
22 not(windows),
23 // FIXME(ctest): just use `target_vendor` = "apple"` once `ctest` supports it
24 not(any(
25 target_os = "macos",
26 target_os = "ios",
27 target_os = "tvos",
28 target_os = "watchos",
29 target_os = "visionos",
30 )),
31 not(target_os = "vita"),
32 any(
33 target_arch = "aarch64",
34 target_arch = "arm",
35 target_arch = "csky",
36 target_arch = "hexagon",
37 target_arch = "msp430",
38 target_arch = "powerpc",
39 target_arch = "powerpc64",
40 target_arch = "riscv32",
41 target_arch = "riscv64",
42 target_arch = "s390x",
43 target_arch = "xtensa",
44 )
45 ))] {
46 pub type c_char = u8;
47 } else {
48 // On every other target, c_char is signed.
49 pub type c_char = i8;
50 }
51}
52
53cfg_if! {
54 if #[cfg(any(target_arch = "avr", target_arch = "msp430"))] {
55 pub type c_int = i16;
56 pub type c_uint = u16;
57 } else {
58 pub type c_int = i32;
59 pub type c_uint = u32;
60 }
61}
62
63cfg_if! {
64 if #[cfg(all(target_pointer_width = "64", not(windows)))] {
65 pub type c_long = i64;
66 pub type c_ulong = u64;
67 } else {
68 // The minimal size of `long` in the C standard is 32 bits
69 pub type c_long = i32;
70 pub type c_ulong = u32;
71 }
72}
73
74#[deprecated(since = "0.2.55", note = "Use i8 instead.")]
75pub type int8_t = i8;
76#[deprecated(since = "0.2.55", note = "Use i16 instead.")]
77pub type int16_t = i16;
78#[deprecated(since = "0.2.55", note = "Use i32 instead.")]
79pub type int32_t = i32;
80#[deprecated(since = "0.2.55", note = "Use i64 instead.")]
81pub type int64_t = i64;
82#[deprecated(since = "0.2.55", note = "Use u8 instead.")]
83pub type uint8_t = u8;
84#[deprecated(since = "0.2.55", note = "Use u16 instead.")]
85pub type uint16_t = u16;
86#[deprecated(since = "0.2.55", note = "Use u32 instead.")]
87pub type uint32_t = u32;
88#[deprecated(since = "0.2.55", note = "Use u64 instead.")]
89pub type uint64_t = u64;
90
91cfg_if! {
92 if #[cfg(all(target_arch = "aarch64", not(target_os = "windows")))] {
93 // This introduces partial support for FFI with __int128 and
94 // equivalent types on platforms where Rust's definition is validated
95 // to match the standard C ABI of that platform.
96 //
97 // Rust does not guarantee u128/i128 are sound for FFI, and its
98 // definitions are in fact known to be incompatible. [0]
99 //
100 // However these problems aren't fundamental, and are just platform
101 // inconsistencies. Specifically at the time of this writing:
102 //
103 // * For x64 SysV ABIs (everything but Windows), the types are underaligned.
104 // * For all Windows ABIs, Microsoft doesn't actually officially define __int128,
105 // and as a result different implementations don't actually agree on its ABI.
106 //
107 // But on the other major aarch64 platforms (android, linux, ios, macos) we have
108 // validated that rustc has the right ABI for these types. This is important because
109 // aarch64 uses these types in some fundamental OS types like user_fpsimd_struct,
110 // which represents saved simd registers.
111 //
112 // Any API which uses these types will need to `#[ignore(improper_ctypes)]`
113 // until the upstream rust issue is resolved, but this at least lets us make
114 // progress on platforms where this type is important.
115 //
116 // The list of supported architectures and OSes is intentionally very restricted,
117 // as careful work needs to be done to verify that a particular platform
118 // has a conformant ABI.
119 //
120 // [0]: https://github.com/rust-lang/rust/issues/54341
121
122 /// C `__int128` (a GCC extension that's part of many ABIs)
123 pub type __int128 = i128;
124 /// C `unsigned __int128` (a GCC extension that's part of many ABIs)
125 pub type __uint128 = u128;
126 /// C __int128_t (alternate name for [__int128][])
127 pub type __int128_t = i128;
128 /// C __uint128_t (alternate name for [__uint128][])
129 pub type __uint128_t = u128;
130
131 // NOTE: if you add more platforms to here, you may need to cfg
132 // these consts. They should always match the platform's values
133 // for `sizeof(__int128)` and `_Alignof(__int128)`.
134 const _SIZE_128: usize = 16;
135 const _ALIGN_128: usize = 16;
136
137 // FIXME(ctest): ctest doesn't handle `_` as an identifier so these tests are temporarily
138 // disabled.
139 // macro_rules! static_assert_eq {
140 // ($a:expr, $b:expr) => {
141 // const _: [(); $a] = [(); $b];
142 // };
143 // }
144 //
145 // // Since Rust doesn't officially guarantee that these types
146 // // have compatible ABIs, we const assert that these values have the
147 // // known size/align of the target platform's libc. If rustc ever
148 // // tries to regress things, it will cause a compilation error.
149 // //
150 // // This isn't a bullet-proof solution because e.g. it doesn't
151 // // catch the fact that llvm and gcc disagree on how x64 __int128
152 // // is actually *passed* on the stack (clang underaligns it for
153 // // the same reason that rustc *never* properly aligns it).
154 // static_assert_eq!(core::mem::size_of::<__int128>(), _SIZE_128);
155 // static_assert_eq!(core::mem::align_of::<__int128>(), _ALIGN_128);
156
157 // static_assert_eq!(core::mem::size_of::<__uint128>(), _SIZE_128);
158 // static_assert_eq!(core::mem::align_of::<__uint128>(), _ALIGN_128);
159
160 // static_assert_eq!(core::mem::size_of::<__int128_t>(), _SIZE_128);
161 // static_assert_eq!(core::mem::align_of::<__int128_t>(), _ALIGN_128);
162
163 // static_assert_eq!(core::mem::size_of::<__uint128_t>(), _SIZE_128);
164 // static_assert_eq!(core::mem::align_of::<__uint128_t>(), _ALIGN_128);
165 }
166}