1 | //! Helpers for code generation that don't need macro expansion. |
2 | |
3 | use proc_macro2::{Ident, Span}; |
4 | |
5 | use crate::ir::context::BindgenContext; |
6 | use crate::ir::layout::Layout; |
7 | |
8 | pub(crate) mod attributes { |
9 | use proc_macro2::{Ident, Span, TokenStream}; |
10 | use std::{borrow::Cow, str::FromStr}; |
11 | |
12 | pub(crate) fn repr(which: &str) -> TokenStream { |
13 | let which = Ident::new(which, Span::call_site()); |
14 | quote! { |
15 | #[repr( #which )] |
16 | } |
17 | } |
18 | |
19 | pub(crate) fn repr_list(which_ones: &[&str]) -> TokenStream { |
20 | let which_ones = which_ones |
21 | .iter() |
22 | .cloned() |
23 | .map(|one| TokenStream::from_str(one).expect("repr to be valid" )); |
24 | quote! { |
25 | #[repr( #( #which_ones ),* )] |
26 | } |
27 | } |
28 | |
29 | pub(crate) fn derives(which_ones: &[&str]) -> TokenStream { |
30 | let which_ones = which_ones |
31 | .iter() |
32 | .cloned() |
33 | .map(|one| TokenStream::from_str(one).expect("derive to be valid" )); |
34 | quote! { |
35 | #[derive( #( #which_ones ),* )] |
36 | } |
37 | } |
38 | |
39 | pub(crate) fn inline() -> TokenStream { |
40 | quote! { |
41 | #[inline] |
42 | } |
43 | } |
44 | |
45 | pub(crate) fn must_use() -> TokenStream { |
46 | quote! { |
47 | #[must_use] |
48 | } |
49 | } |
50 | |
51 | pub(crate) fn non_exhaustive() -> TokenStream { |
52 | quote! { |
53 | #[non_exhaustive] |
54 | } |
55 | } |
56 | |
57 | pub(crate) fn doc(comment: String) -> TokenStream { |
58 | if comment.is_empty() { |
59 | quote!() |
60 | } else { |
61 | quote!(#[doc = #comment]) |
62 | } |
63 | } |
64 | |
65 | pub(crate) fn link_name<const MANGLE: bool>(name: &str) -> TokenStream { |
66 | // LLVM mangles the name by default but it's already mangled. |
67 | // Prefixing the name with \u{1} should tell LLVM to not mangle it. |
68 | let name: Cow<'_, str> = if MANGLE { |
69 | name.into() |
70 | } else { |
71 | format!(" \u{1}{}" , name).into() |
72 | }; |
73 | |
74 | quote! { |
75 | #[link_name = #name] |
76 | } |
77 | } |
78 | } |
79 | |
80 | /// Generates a proper type for a field or type with a given `Layout`, that is, |
81 | /// a type with the correct size and alignment restrictions. |
82 | pub(crate) fn blob(ctx: &BindgenContext, layout: Layout) -> syn::Type { |
83 | let opaque: Opaque = layout.opaque(); |
84 | |
85 | // FIXME(emilio, #412): We fall back to byte alignment, but there are |
86 | // some things that legitimately are more than 8-byte aligned. |
87 | // |
88 | // Eventually we should be able to `unwrap` here, but... |
89 | let ty: Type = match opaque.known_rust_type_for_array(ctx) { |
90 | Some(ty: Type) => ty, |
91 | None => { |
92 | warn!("Found unknown alignment on code generation!" ); |
93 | syn::parse_quote! { u8 } |
94 | } |
95 | }; |
96 | |
97 | let data_len: usize = opaque.array_size(ctx).unwrap_or(default:layout.size); |
98 | |
99 | if data_len == 1 { |
100 | ty |
101 | } else { |
102 | syn::parse_quote! { [ #ty ; #data_len ] } |
103 | } |
104 | } |
105 | |
106 | /// Integer type of the same size as the given `Layout`. |
107 | pub(crate) fn integer_type( |
108 | ctx: &BindgenContext, |
109 | layout: Layout, |
110 | ) -> Option<syn::Type> { |
111 | Layout::known_type_for_size(ctx, layout.size) |
112 | } |
113 | |
114 | pub(crate) const BITFIELD_UNIT: &str = "__BindgenBitfieldUnit" ; |
115 | |
116 | /// Generates a bitfield allocation unit type for a type with the given `Layout`. |
117 | pub(crate) fn bitfield_unit(ctx: &BindgenContext, layout: Layout) -> syn::Type { |
118 | let size: usize = layout.size; |
119 | let bitfield_unit_name: Ident = Ident::new(BITFIELD_UNIT, Span::call_site()); |
120 | let ty: Type = syn::parse_quote! { #bitfield_unit_name<[u8; #size]> }; |
121 | |
122 | if ctx.options().enable_cxx_namespaces { |
123 | return syn::parse_quote! { root::#ty }; |
124 | } |
125 | |
126 | ty |
127 | } |
128 | |
129 | pub(crate) mod ast_ty { |
130 | use crate::ir::context::BindgenContext; |
131 | use crate::ir::function::FunctionSig; |
132 | use crate::ir::layout::Layout; |
133 | use crate::ir::ty::{FloatKind, IntKind}; |
134 | use crate::RustTarget; |
135 | use proc_macro2::TokenStream; |
136 | use std::str::FromStr; |
137 | |
138 | pub(crate) fn c_void(ctx: &BindgenContext) -> syn::Type { |
139 | // ctypes_prefix takes precedence |
140 | match ctx.options().ctypes_prefix { |
141 | Some(ref prefix) => { |
142 | let prefix = TokenStream::from_str(prefix.as_str()).unwrap(); |
143 | syn::parse_quote! { #prefix::c_void } |
144 | } |
145 | None => { |
146 | if ctx.options().use_core && |
147 | ctx.options().rust_features.core_ffi_c_void |
148 | { |
149 | syn::parse_quote! { ::core::ffi::c_void } |
150 | } else { |
151 | syn::parse_quote! { ::std::os::raw::c_void } |
152 | } |
153 | } |
154 | } |
155 | } |
156 | |
157 | pub(crate) fn raw_type(ctx: &BindgenContext, name: &str) -> syn::Type { |
158 | let ident = ctx.rust_ident_raw(name); |
159 | match ctx.options().ctypes_prefix { |
160 | Some(ref prefix) => { |
161 | let prefix = TokenStream::from_str(prefix.as_str()).unwrap(); |
162 | syn::parse_quote! { #prefix::#ident } |
163 | } |
164 | None => { |
165 | if ctx.options().use_core && |
166 | ctx.options().rust_features().core_ffi_c |
167 | { |
168 | syn::parse_quote! { ::core::ffi::#ident } |
169 | } else { |
170 | syn::parse_quote! { ::std::os::raw::#ident } |
171 | } |
172 | } |
173 | } |
174 | } |
175 | |
176 | pub(crate) fn int_kind_rust_type( |
177 | ctx: &BindgenContext, |
178 | ik: IntKind, |
179 | layout: Option<Layout>, |
180 | ) -> syn::Type { |
181 | match ik { |
182 | IntKind::Bool => syn::parse_quote! { bool }, |
183 | IntKind::Char { .. } => raw_type(ctx, "c_char" ), |
184 | IntKind::SChar => raw_type(ctx, "c_schar" ), |
185 | IntKind::UChar => raw_type(ctx, "c_uchar" ), |
186 | IntKind::Short => raw_type(ctx, "c_short" ), |
187 | IntKind::UShort => raw_type(ctx, "c_ushort" ), |
188 | IntKind::Int => raw_type(ctx, "c_int" ), |
189 | IntKind::UInt => raw_type(ctx, "c_uint" ), |
190 | IntKind::Long => raw_type(ctx, "c_long" ), |
191 | IntKind::ULong => raw_type(ctx, "c_ulong" ), |
192 | IntKind::LongLong => raw_type(ctx, "c_longlong" ), |
193 | IntKind::ULongLong => raw_type(ctx, "c_ulonglong" ), |
194 | IntKind::WChar => { |
195 | let layout = |
196 | layout.expect("Couldn't compute wchar_t's layout?" ); |
197 | Layout::known_type_for_size(ctx, layout.size) |
198 | .expect("Non-representable wchar_t?" ) |
199 | } |
200 | |
201 | IntKind::I8 => syn::parse_quote! { i8 }, |
202 | IntKind::U8 => syn::parse_quote! { u8 }, |
203 | IntKind::I16 => syn::parse_quote! { i16 }, |
204 | IntKind::U16 => syn::parse_quote! { u16 }, |
205 | IntKind::I32 => syn::parse_quote! { i32 }, |
206 | IntKind::U32 => syn::parse_quote! { u32 }, |
207 | IntKind::I64 => syn::parse_quote! { i64 }, |
208 | IntKind::U64 => syn::parse_quote! { u64 }, |
209 | IntKind::Custom { name, .. } => { |
210 | syn::parse_str(name).expect("Invalid integer type." ) |
211 | } |
212 | IntKind::U128 => { |
213 | if ctx.options().rust_features.i128_and_u128 { |
214 | syn::parse_quote! { u128 } |
215 | } else { |
216 | // Best effort thing, but wrong alignment |
217 | // unfortunately. |
218 | syn::parse_quote! { [u64; 2] } |
219 | } |
220 | } |
221 | IntKind::I128 => { |
222 | if ctx.options().rust_features.i128_and_u128 { |
223 | syn::parse_quote! { i128 } |
224 | } else { |
225 | syn::parse_quote! { [u64; 2] } |
226 | } |
227 | } |
228 | } |
229 | } |
230 | |
231 | pub(crate) fn float_kind_rust_type( |
232 | ctx: &BindgenContext, |
233 | fk: FloatKind, |
234 | layout: Option<Layout>, |
235 | ) -> syn::Type { |
236 | // TODO: we probably should take the type layout into account more |
237 | // often? |
238 | // |
239 | // Also, maybe this one shouldn't be the default? |
240 | match (fk, ctx.options().convert_floats) { |
241 | (FloatKind::Float16, _) => { |
242 | // TODO: do f16 when rust lands it |
243 | ctx.generated_bindgen_float16(); |
244 | if ctx.options().enable_cxx_namespaces { |
245 | syn::parse_quote! { root::__BindgenFloat16 } |
246 | } else { |
247 | syn::parse_quote! { __BindgenFloat16 } |
248 | } |
249 | } |
250 | (FloatKind::Float, true) => syn::parse_quote! { f32 }, |
251 | (FloatKind::Double, true) => syn::parse_quote! { f64 }, |
252 | (FloatKind::Float, false) => raw_type(ctx, "c_float" ), |
253 | (FloatKind::Double, false) => raw_type(ctx, "c_double" ), |
254 | (FloatKind::LongDouble, _) => { |
255 | match layout { |
256 | Some(layout) => { |
257 | match layout.size { |
258 | 4 => syn::parse_quote! { f32 }, |
259 | 8 => syn::parse_quote! { f64 }, |
260 | // TODO(emilio): If rust ever gains f128 we should |
261 | // use it here and below. |
262 | _ => super::integer_type(ctx, layout) |
263 | .unwrap_or(syn::parse_quote! { f64 }), |
264 | } |
265 | } |
266 | None => { |
267 | debug_assert!( |
268 | false, |
269 | "How didn't we know the layout for a primitive type?" |
270 | ); |
271 | syn::parse_quote! { f64 } |
272 | } |
273 | } |
274 | } |
275 | (FloatKind::Float128, _) => { |
276 | if ctx.options().rust_features.i128_and_u128 { |
277 | syn::parse_quote! { u128 } |
278 | } else { |
279 | syn::parse_quote! { [u64; 2] } |
280 | } |
281 | } |
282 | } |
283 | } |
284 | |
285 | pub(crate) fn int_expr(val: i64) -> TokenStream { |
286 | // Don't use quote! { #val } because that adds the type suffix. |
287 | let val = proc_macro2::Literal::i64_unsuffixed(val); |
288 | quote!(#val) |
289 | } |
290 | |
291 | pub(crate) fn uint_expr(val: u64) -> TokenStream { |
292 | // Don't use quote! { #val } because that adds the type suffix. |
293 | let val = proc_macro2::Literal::u64_unsuffixed(val); |
294 | quote!(#val) |
295 | } |
296 | |
297 | pub(crate) fn cstr_expr(mut string: String) -> TokenStream { |
298 | string.push(' \0' ); |
299 | let b = proc_macro2::Literal::byte_string(string.as_bytes()); |
300 | quote! { |
301 | #b |
302 | } |
303 | } |
304 | |
305 | pub(crate) fn float_expr( |
306 | ctx: &BindgenContext, |
307 | f: f64, |
308 | ) -> Result<TokenStream, ()> { |
309 | if f.is_finite() { |
310 | let val = proc_macro2::Literal::f64_unsuffixed(f); |
311 | |
312 | return Ok(quote!(#val)); |
313 | } |
314 | |
315 | let prefix = ctx.trait_prefix(); |
316 | let rust_target = ctx.options().rust_target; |
317 | |
318 | if f.is_nan() { |
319 | let tokens = if rust_target >= RustTarget::Stable_1_43 { |
320 | quote! { |
321 | f64::NAN |
322 | } |
323 | } else { |
324 | quote! { |
325 | ::#prefix::f64::NAN |
326 | } |
327 | }; |
328 | return Ok(tokens); |
329 | } |
330 | |
331 | if f.is_infinite() { |
332 | let tokens = if f.is_sign_positive() { |
333 | if rust_target >= RustTarget::Stable_1_43 { |
334 | quote! { |
335 | f64::INFINITY |
336 | } |
337 | } else { |
338 | quote! { |
339 | ::#prefix::f64::INFINITY |
340 | } |
341 | } |
342 | } else { |
343 | // Negative infinity |
344 | if rust_target >= RustTarget::Stable_1_43 { |
345 | quote! { |
346 | f64::NEG_INFINITY |
347 | } |
348 | } else { |
349 | quote! { |
350 | ::#prefix::f64::NEG_INFINITY |
351 | } |
352 | } |
353 | }; |
354 | return Ok(tokens); |
355 | } |
356 | |
357 | warn!("Unknown non-finite float number: {:?}" , f); |
358 | Err(()) |
359 | } |
360 | |
361 | pub(crate) fn arguments_from_signature( |
362 | signature: &FunctionSig, |
363 | ctx: &BindgenContext, |
364 | ) -> Vec<TokenStream> { |
365 | let mut unnamed_arguments = 0; |
366 | signature |
367 | .argument_types() |
368 | .iter() |
369 | .map(|&(ref name, _ty)| match *name { |
370 | Some(ref name) => { |
371 | let name = ctx.rust_ident(name); |
372 | quote! { #name } |
373 | } |
374 | None => { |
375 | unnamed_arguments += 1; |
376 | let name = |
377 | ctx.rust_ident(format!("arg {}" , unnamed_arguments)); |
378 | quote! { #name } |
379 | } |
380 | }) |
381 | .collect() |
382 | } |
383 | } |
384 | |