Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 1 | // Part of the Crubit project, under the Apache License v2.0 with LLVM |
| 2 | // Exceptions. See /LICENSE for license information. |
| 3 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 4 | |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 5 | use anyhow::{anyhow, bail, Result}; |
Marcel Hlopko | 884ae7f | 2021-08-18 13:58:22 +0000 | [diff] [blame] | 6 | use ffi_types::*; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 7 | use ir::*; |
| 8 | use itertools::Itertools; |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 9 | use proc_macro2::{Ident, Literal, TokenStream}; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 10 | use quote::format_ident; |
| 11 | use quote::quote; |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 12 | use std::collections::BTreeSet; |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 13 | use std::io::Write; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 14 | use std::iter::Iterator; |
| 15 | use std::panic::catch_unwind; |
| 16 | use std::process; |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 17 | use std::process::{Command, Stdio}; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 18 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 19 | /// FFI equivalent of `Bindings`. |
| 20 | #[repr(C)] |
| 21 | pub struct FfiBindings { |
| 22 | rs_api: FfiU8SliceBox, |
| 23 | rs_api_impl: FfiU8SliceBox, |
| 24 | } |
| 25 | |
| 26 | /// Deserializes IR from `json` and generates bindings source code. |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 27 | /// |
| 28 | /// This function panics on error. |
| 29 | /// |
| 30 | /// Ownership: |
| 31 | /// * function doesn't take ownership of (in other words it borrows) the param `json` |
| 32 | /// * function passes ownership of the returned value to the caller |
| 33 | /// |
| 34 | /// Safety: |
| 35 | /// * function expects that param `json` is a FfiU8Slice for a valid array of bytes with the |
| 36 | /// given size. |
| 37 | /// * function expects that param `json` doesn't change during the call. |
| 38 | #[no_mangle] |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 39 | pub unsafe extern "C" fn GenerateBindingsImpl(json: FfiU8Slice) -> FfiBindings { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 40 | catch_unwind(|| { |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 41 | // It is ok to abort here. |
| 42 | let Bindings { rs_api, rs_api_impl } = generate_bindings(json.as_slice()).unwrap(); |
| 43 | |
| 44 | FfiBindings { |
| 45 | rs_api: FfiU8SliceBox::from_boxed_slice(rs_api.into_bytes().into_boxed_slice()), |
| 46 | rs_api_impl: FfiU8SliceBox::from_boxed_slice( |
| 47 | rs_api_impl.into_bytes().into_boxed_slice(), |
| 48 | ), |
| 49 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 50 | }) |
| 51 | .unwrap_or_else(|_| process::abort()) |
| 52 | } |
| 53 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 54 | /// Source code for generated bindings. |
| 55 | struct Bindings { |
| 56 | // Rust source code. |
| 57 | rs_api: String, |
| 58 | // C++ source code. |
| 59 | rs_api_impl: String, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 62 | fn generate_bindings(json: &[u8]) -> Result<Bindings> { |
| 63 | let ir = deserialize_ir(json)?; |
| 64 | let rs_api = generate_rs_api(&ir)?; |
| 65 | let rs_api_impl = generate_rs_api_impl(&ir)?; |
| 66 | Ok(Bindings { rs_api, rs_api_impl }) |
| 67 | } |
| 68 | |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 69 | /// Source code with attached information about how to modify the parent crate. |
| 70 | /// |
| 71 | /// For example, the snippet `vec![].into_raw_parts()` is not valid unless the `vec_into_raw_parts` |
| 72 | /// feature is enabled. So such a snippet should be represented as: |
| 73 | /// |
| 74 | /// ``` |
| 75 | /// RsSnippet { |
| 76 | /// features: btree_set!["vec_into_raw_parts"], |
| 77 | /// tokens: quote!{vec![].into_raw_parts()}, |
| 78 | /// } |
| 79 | /// ``` |
| 80 | struct RsSnippet { |
| 81 | /// Rust feature flags used by this snippet. |
| 82 | features: BTreeSet<Ident>, |
| 83 | /// The snippet itself, as a token stream. |
| 84 | tokens: TokenStream, |
| 85 | } |
| 86 | |
| 87 | impl From<TokenStream> for RsSnippet { |
| 88 | fn from(tokens: TokenStream) -> Self { |
| 89 | RsSnippet { features: BTreeSet::new(), tokens } |
| 90 | } |
| 91 | } |
| 92 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 93 | /// If we know the original C++ function is codegenned and already compatible with `extern "C"` |
| 94 | /// calling convention we skip creating/calling the C++ thunk since we can call the original C++ |
| 95 | /// directly. |
| 96 | fn can_skip_cc_thunk(func: &Func) -> bool { |
| 97 | // Inline functions may not be codegenned in the C++ library since Clang doesn't know if Rust |
| 98 | // calls the function or not. Therefore in order to make inline functions callable from Rust we |
| 99 | // need to generate a C++ file that defines a thunk that delegates to the original inline |
| 100 | // function. When compiled, Clang will emit code for this thunk and Rust code will call the |
| 101 | // thunk when the user wants to call the original inline function. |
| 102 | // |
| 103 | // This is not great runtime-performance-wise in regular builds (inline function will not be |
| 104 | // inlined, there will always be a function call), but it is correct. ThinLTO builds will be |
| 105 | // able to see through the thunk and inline code across the language boundary. For non-ThinLTO |
| 106 | // builds we plan to implement <internal link> which removes the runtime performance overhead. |
| 107 | !func.is_inline |
| 108 | } |
| 109 | |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 110 | /// Generates Rust source code for a given `Func`. |
| 111 | /// |
| 112 | /// Returns the generated function and the thunk as a tuple. |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 113 | fn generate_func(func: &Func) -> Result<(RsSnippet, RsSnippet)> { |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 114 | let mangled_name = &func.mangled_name; |
| 115 | let ident = make_ident(&func.identifier.identifier); |
| 116 | let thunk_ident = format_ident!("__rust_thunk__{}", &func.identifier.identifier); |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 117 | let doc_comment = generate_doc_comment(&func.doc_comment); |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 118 | // TODO(hlopko): do not emit `-> ()` when return type is void, it's implicit. |
| 119 | let return_type_name = format_rs_type(&func.return_type.rs_type)?; |
| 120 | |
| 121 | let param_idents = |
| 122 | func.params.iter().map(|p| make_ident(&p.identifier.identifier)).collect_vec(); |
| 123 | |
| 124 | let param_types = |
| 125 | func.params.iter().map(|p| format_rs_type(&p.type_.rs_type)).collect::<Result<Vec<_>>>()?; |
| 126 | |
| 127 | let api_func = quote! { |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 128 | #doc_comment |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 129 | #[inline(always)] |
| 130 | pub fn #ident( #( #param_idents: #param_types ),* ) -> #return_type_name { |
| 131 | unsafe { crate::detail::#thunk_ident( #( #param_idents ),* ) } |
| 132 | } |
| 133 | }; |
| 134 | |
| 135 | let thunk_attr = if can_skip_cc_thunk(func) { |
| 136 | quote! {#[link_name = #mangled_name]} |
| 137 | } else { |
| 138 | quote! {} |
| 139 | }; |
| 140 | |
| 141 | let thunk = quote! { |
| 142 | #thunk_attr |
| 143 | pub(crate) fn #thunk_ident( #( #param_idents: #param_types ),* ) -> #return_type_name ; |
| 144 | }; |
| 145 | |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 146 | Ok((api_func.into(), thunk.into())) |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 147 | } |
| 148 | |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 149 | fn generate_doc_comment(comment: &Option<String>) -> TokenStream { |
| 150 | match comment { |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 151 | Some(text) => { |
| 152 | let doc = format!(" {}", text.replace("\n", "\n ")); |
| 153 | quote! {#[doc=#doc]} |
| 154 | } |
| 155 | None => quote! {}, |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 156 | } |
| 157 | } |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 158 | /// Generates Rust source code for a given `Record` and associated assertions as a tuple. |
| 159 | fn generate_record(record: &Record) -> Result<(RsSnippet, RsSnippet)> { |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 160 | let ident = make_ident(&record.identifier.identifier); |
| 161 | let doc_comment = generate_doc_comment(&record.doc_comment); |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 162 | let field_idents = |
| 163 | record.fields.iter().map(|f| make_ident(&f.identifier.identifier)).collect_vec(); |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 164 | let field_doc_coments = |
| 165 | record.fields.iter().map(|f| generate_doc_comment(&f.doc_comment)).collect_vec(); |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 166 | let field_types = record |
| 167 | .fields |
| 168 | .iter() |
| 169 | .map(|f| format_rs_type(&f.type_.rs_type)) |
| 170 | .collect::<Result<Vec<_>>>()?; |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 171 | let field_accesses = record |
| 172 | .fields |
| 173 | .iter() |
| 174 | .map(|f| { |
| 175 | if f.access == AccessSpecifier::Public { |
| 176 | quote! { pub } |
| 177 | } else { |
| 178 | quote! {} |
| 179 | } |
| 180 | }) |
| 181 | .collect_vec(); |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 182 | let size = record.size; |
| 183 | let alignment = record.alignment; |
Googler | aaa0a53 | 2021-10-01 09:11:27 +0000 | [diff] [blame] | 184 | let field_assertions = |
| 185 | record.fields.iter().zip(field_idents.iter()).map(|(field, field_ident)| { |
| 186 | let offset = field.offset; |
| 187 | quote! { |
| 188 | // The IR contains the offset in bits, while offset_of!() |
| 189 | // returns the offset in bytes, so we need to convert. |
| 190 | const_assert_eq!(offset_of!(#ident, #field_ident) * 8, #offset); |
| 191 | } |
| 192 | }); |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 193 | let mut record_features = BTreeSet::new(); |
| 194 | let mut assertion_features = BTreeSet::new(); |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 195 | |
| 196 | // TODO(mboehme): For the time being, we're using unstable features to |
| 197 | // be able to use offset_of!() in static assertions. This is fine for a |
| 198 | // prototype, but longer-term we want to either get those features |
| 199 | // stabilized or find an alternative. For more details, see |
| 200 | // b/200120034#comment15 |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 201 | assertion_features.insert(make_ident("const_ptr_offset_from")); |
| 202 | assertion_features.insert(make_ident("const_maybe_uninit_as_ptr")); |
| 203 | assertion_features.insert(make_ident("const_raw_ptr_deref")); |
Devin Jeanpierre | 2ed14ec | 2021-10-06 11:32:19 +0000 | [diff] [blame] | 204 | |
| 205 | let derives = generate_copy_derives(record); |
Devin Jeanpierre | 9227d2c | 2021-10-06 12:26:05 +0000 | [diff] [blame] | 206 | let derives = if derives.is_empty() { |
| 207 | quote! {} |
| 208 | } else { |
| 209 | quote! {#[derive( #(#derives),* )]} |
| 210 | }; |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 211 | let unpin_impl; |
| 212 | if record.is_trivial_abi { |
| 213 | unpin_impl = quote! {}; |
Devin Jeanpierre | ea700d3 | 2021-10-06 11:33:56 +0000 | [diff] [blame] | 214 | } else { |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 215 | // negative_impls are necessary for universal initialization due to Rust's coherence rules: |
| 216 | // PhantomPinned isn't enough to prove to Rust that a blanket impl that requires Unpin |
| 217 | // doesn't apply. See http://<internal link>=h.f6jp8ifzgt3n |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 218 | record_features.insert(make_ident("negative_impls")); |
| 219 | unpin_impl = quote! { |
| 220 | __NEWLINE__ __NEWLINE__ |
| 221 | impl !Unpin for #ident {} |
| 222 | }; |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 223 | } |
| 224 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 225 | let record_tokens = quote! { |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 226 | #doc_comment |
Devin Jeanpierre | 9227d2c | 2021-10-06 12:26:05 +0000 | [diff] [blame] | 227 | #derives |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 228 | #[repr(C)] |
| 229 | pub struct #ident { |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 230 | #( #field_doc_coments #field_accesses #field_idents: #field_types, )* |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 231 | } |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 232 | |
Devin Jeanpierre | ea700d3 | 2021-10-06 11:33:56 +0000 | [diff] [blame] | 233 | #unpin_impl |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 234 | }; |
| 235 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 236 | let assertion_tokens = quote! { |
| 237 | const_assert_eq!(std::mem::size_of::<#ident>(), #size); |
| 238 | const_assert_eq!(std::mem::align_of::<#ident>(), #alignment); |
| 239 | #( #field_assertions )* |
| 240 | }; |
| 241 | |
| 242 | Ok(( |
| 243 | RsSnippet { features: record_features, tokens: record_tokens }, |
| 244 | RsSnippet { features: assertion_features, tokens: assertion_tokens }, |
| 245 | )) |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 246 | } |
| 247 | |
Devin Jeanpierre | 2ed14ec | 2021-10-06 11:32:19 +0000 | [diff] [blame] | 248 | fn generate_copy_derives(record: &Record) -> Vec<Ident> { |
| 249 | if record.is_trivial_abi |
| 250 | && record.copy_constructor.access == ir::AccessSpecifier::Public |
| 251 | && record.copy_constructor.definition == SpecialMemberDefinition::Trivial |
| 252 | { |
| 253 | // TODO(b/202258760): Make `Copy` inclusion configurable. |
| 254 | vec![make_ident("Clone"), make_ident("Copy")] |
| 255 | } else { |
| 256 | vec![] |
| 257 | } |
| 258 | } |
| 259 | |
Michael Forster | 523dbd4 | 2021-10-12 11:05:44 +0000 | [diff] [blame^] | 260 | /// Generates Rust source code for a given `UnsupportedItem`. |
| 261 | fn generate_unsupported(item: &UnsupportedItem) -> Result<TokenStream> { |
| 262 | let message = |
| 263 | format!("Error while generating bindings for item '{}':\n{}", &item.name, &item.message); |
| 264 | Ok(quote! { __COMMENT__ #message }) |
| 265 | } |
| 266 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 267 | fn generate_rs_api(ir: &IR) -> Result<String> { |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 268 | let mut items = vec![]; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 269 | let mut thunks = vec![]; |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 270 | let mut assertions = vec![]; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 271 | |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 272 | // TODO(jeanpierreda): Delete has_record, either in favor of using RsSnippet, or not having uses. |
| 273 | // See https://chat.google.com/room/AAAAnQmj8Qs/6QbkSvWcfhA |
Devin Jeanpierre | ea700d3 | 2021-10-06 11:33:56 +0000 | [diff] [blame] | 274 | let mut has_record = false; |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 275 | let mut features = BTreeSet::new(); |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 276 | |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 277 | for item in &ir.items { |
| 278 | match item { |
| 279 | Item::Func(func) => { |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 280 | let (snippet, thunk) = generate_func(func)?; |
| 281 | features.extend(snippet.features); |
| 282 | features.extend(thunk.features); |
| 283 | items.push(snippet.tokens); |
| 284 | thunks.push(thunk.tokens); |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 285 | } |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 286 | Item::Record(record) => { |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 287 | let (snippet, assertions_snippet) = generate_record(record)?; |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 288 | features.extend(snippet.features); |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 289 | features.extend(assertions_snippet.features); |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 290 | items.push(snippet.tokens); |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 291 | assertions.push(assertions_snippet.tokens); |
Devin Jeanpierre | ea700d3 | 2021-10-06 11:33:56 +0000 | [diff] [blame] | 292 | has_record = true; |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 293 | } |
Michael Forster | 523dbd4 | 2021-10-12 11:05:44 +0000 | [diff] [blame^] | 294 | Item::UnsupportedItem(unsupported) => items.push(generate_unsupported(unsupported)?), |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 295 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 296 | } |
| 297 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 298 | let mod_detail = if thunks.is_empty() { |
| 299 | quote! {} |
| 300 | } else { |
| 301 | quote! { |
| 302 | mod detail { |
| 303 | extern "C" { |
| 304 | #( #thunks )* |
| 305 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 306 | } |
| 307 | } |
| 308 | }; |
| 309 | |
Devin Jeanpierre | ea700d3 | 2021-10-06 11:33:56 +0000 | [diff] [blame] | 310 | let imports = if has_record { |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 311 | quote! { |
Googler | aaa0a53 | 2021-10-01 09:11:27 +0000 | [diff] [blame] | 312 | use memoffset_unstable_const::offset_of; |
| 313 | use static_assertions::const_assert_eq; |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 314 | } |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 315 | } else { |
| 316 | quote! {} |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 317 | }; |
| 318 | |
Devin Jeanpierre | 273eeae | 2021-10-06 13:29:35 +0000 | [diff] [blame] | 319 | let features = if features.is_empty() { |
| 320 | quote! {} |
| 321 | } else { |
| 322 | quote! { |
| 323 | #![feature( #(#features),* )] |
| 324 | } |
| 325 | }; |
| 326 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 327 | let result = quote! { |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 328 | #features __NEWLINE__ __NEWLINE__ |
| 329 | #imports __NEWLINE__ __NEWLINE__ |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 330 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 331 | #( #items __NEWLINE__ __NEWLINE__ )* |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 332 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 333 | #mod_detail __NEWLINE__ __NEWLINE__ |
| 334 | |
| 335 | #( #assertions __NEWLINE__ __NEWLINE__ )* |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 336 | }; |
| 337 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 338 | rustfmt(token_stream_printer::tokens_to_string(result)?) |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 339 | } |
| 340 | |
| 341 | fn rustfmt(input: String) -> Result<String> { |
| 342 | // TODO(forster): This should use rustfmt as a library as soon as b/200503084 is fixed. |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 343 | |
| 344 | let rustfmt = "third_party/unsupported_toolchains/rust/toolchains/nightly/bin/rustfmt"; |
| 345 | |
| 346 | let mut child = Command::new(rustfmt) |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 347 | .args(&[ |
Michael Forster | 523dbd4 | 2021-10-12 11:05:44 +0000 | [diff] [blame^] | 348 | // TODO(forster): Add a way to specify this as a command line parameter. |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 349 | "--config-path=external/rustfmt/rustfmt.toml", |
Michael Forster | 523dbd4 | 2021-10-12 11:05:44 +0000 | [diff] [blame^] | 350 | // We are representing doc comments as attributes in the token stream and use rustfmt |
| 351 | // to unpack them again. |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 352 | "--config=normalize_doc_attributes=true", |
Michael Forster | 523dbd4 | 2021-10-12 11:05:44 +0000 | [diff] [blame^] | 353 | // We don't want rustfmt to reflow C++ doc comments, so we turn off wrapping globally |
| 354 | // and reflow generated comments manually. |
| 355 | "--config=wrap_comments=false", |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 356 | ]) |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 357 | .stdin(Stdio::piped()) |
| 358 | .stdout(Stdio::piped()) |
| 359 | .spawn() |
| 360 | .expect(&format!("Failed to spawn rustfmt at '{}'", rustfmt)); |
| 361 | |
| 362 | let mut stdin = child.stdin.take().expect("Failed to open rustfmt stdin"); |
| 363 | std::thread::spawn(move || { |
| 364 | stdin.write_all(input.as_bytes()).expect("Failed to write to rustfmt stdin"); |
| 365 | }); |
| 366 | let output = child.wait_with_output().expect("Failed to read rustfmt stdout"); |
| 367 | |
Michael Forster | 136f0aa | 2021-10-01 12:43:14 +0000 | [diff] [blame] | 368 | if !output.status.success() { |
| 369 | // The rustfmt error message has already been printed to stderr. |
| 370 | bail!("Unable to format output with rustfmt"); |
| 371 | } |
| 372 | |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 373 | Ok(String::from_utf8_lossy(&output.stdout).to_string()) |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 374 | } |
| 375 | |
| 376 | fn make_ident(ident: &str) -> Ident { |
| 377 | format_ident!("{}", ident) |
| 378 | } |
| 379 | |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 380 | fn format_rs_type(ty: &ir::RsType) -> Result<TokenStream> { |
| 381 | let ptr_fragment = match ty.name.as_str() { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 382 | "*mut" => Some(quote! {*mut}), |
| 383 | "*const" => Some(quote! {*const}), |
| 384 | _ => None, |
| 385 | }; |
| 386 | match ptr_fragment { |
| 387 | Some(ptr_fragment) => { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 388 | if ty.type_params.len() != 1 { |
| 389 | return Err(anyhow!( |
| 390 | "Invalid pointer type (need exactly 1 type parameter): {:?}", |
| 391 | ty |
| 392 | )); |
| 393 | } |
| 394 | let nested_type = format_rs_type(&ty.type_params[0])?; |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 395 | Ok(quote! {#ptr_fragment #nested_type}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 396 | } |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 397 | None => { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 398 | if ty.type_params.len() > 0 { |
| 399 | return Err(anyhow!("Type not yet supported: {:?}", ty)); |
| 400 | } |
Devin Jeanpierre | 35639a7 | 2021-10-08 11:39:59 +0000 | [diff] [blame] | 401 | match ty.name.as_str() { |
| 402 | "()" => Ok(quote! {()}), |
| 403 | name => { |
| 404 | let ident = make_ident(name); |
| 405 | Ok(quote! {#ident}) |
| 406 | } |
| 407 | } |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 408 | } |
| 409 | } |
| 410 | } |
| 411 | |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 412 | fn format_cc_type(ty: &ir::CcType) -> Result<TokenStream> { |
| 413 | let const_fragment = if ty.is_const { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 414 | quote! {const} |
| 415 | } else { |
| 416 | quote! {} |
| 417 | }; |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 418 | match ty.name.as_str() { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 419 | "*" => { |
| 420 | if ty.type_params.len() != 1 { |
| 421 | return Err(anyhow!( |
| 422 | "Invalid pointer type (need exactly 1 type parameter): {:?}", |
| 423 | ty |
| 424 | )); |
| 425 | } |
| 426 | assert_eq!(ty.type_params.len(), 1); |
| 427 | let nested_type = format_cc_type(&ty.type_params[0])?; |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 428 | Ok(quote! {#nested_type * #const_fragment}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 429 | } |
| 430 | ident => { |
| 431 | if ty.type_params.len() > 0 { |
| 432 | return Err(anyhow!("Type not yet supported: {:?}", ty)); |
| 433 | } |
| 434 | let ident = make_ident(ident); |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 435 | Ok(quote! {#ident #const_fragment}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 436 | } |
| 437 | } |
| 438 | } |
| 439 | |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 440 | fn cc_struct_layout_assertion(record: &Record) -> TokenStream { |
| 441 | let record_ident = make_ident(&record.identifier.identifier); |
| 442 | let size = Literal::usize_unsuffixed(record.size); |
| 443 | let alignment = Literal::usize_unsuffixed(record.alignment); |
| 444 | let field_assertions = record.fields.iter().map(|field| { |
| 445 | let field_ident = make_ident(&field.identifier.identifier); |
| 446 | let offset = Literal::usize_unsuffixed(field.offset); |
| 447 | // The IR contains the offset in bits, while C++'s offsetof() |
| 448 | // returns the offset in bytes, so we need to convert. |
| 449 | quote! { |
| 450 | static_assert(offsetof(#record_ident, #field_ident) * 8 == #offset); |
| 451 | } |
| 452 | }); |
| 453 | quote! { |
| 454 | static_assert(sizeof(#record_ident) == #size); |
| 455 | static_assert(alignof(#record_ident) == #alignment); |
| 456 | #( #field_assertions )* |
| 457 | } |
| 458 | } |
| 459 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 460 | fn generate_rs_api_impl(ir: &IR) -> Result<String> { |
| 461 | // This function uses quote! to generate C++ source code out of convenience. This is a bold idea |
| 462 | // so we have to continously evaluate if it still makes sense or the cost of working around |
| 463 | // differences in Rust and C++ tokens is greather than the value added. |
| 464 | // |
| 465 | // See rs_bindings_from_cc/token_stream_printer.rs for a list |
| 466 | // of supported placeholders. |
| 467 | let mut thunks = vec![]; |
Michael Forster | 7ef8073 | 2021-10-01 18:12:19 +0000 | [diff] [blame] | 468 | for func in ir.functions() { |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 469 | if can_skip_cc_thunk(&func) { |
| 470 | continue; |
| 471 | } |
| 472 | |
| 473 | let thunk_ident = format_ident!("__rust_thunk__{}", &func.identifier.identifier); |
| 474 | let ident = make_ident(&func.identifier.identifier); |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 475 | let return_type_name = format_cc_type(&func.return_type.cc_type)?; |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 476 | |
| 477 | let param_idents = |
| 478 | func.params.iter().map(|p| make_ident(&p.identifier.identifier)).collect_vec(); |
| 479 | |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 480 | let param_types = func |
| 481 | .params |
| 482 | .iter() |
| 483 | .map(|p| format_cc_type(&p.type_.cc_type)) |
| 484 | .collect::<Result<Vec<_>>>()?; |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 485 | |
| 486 | thunks.push(quote! { |
| 487 | extern "C" #return_type_name #thunk_ident( #( #param_types #param_idents ),* ) { |
| 488 | return #ident( #( #param_idents ),* ); |
| 489 | } |
| 490 | }); |
| 491 | } |
| 492 | |
Michael Forster | 7ef8073 | 2021-10-01 18:12:19 +0000 | [diff] [blame] | 493 | let layout_assertions = ir.records().map(cc_struct_layout_assertion); |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 494 | |
Michael Forster | 7ef8073 | 2021-10-01 18:12:19 +0000 | [diff] [blame] | 495 | let standard_headers = |
| 496 | if ir.records().next().is_none() { vec![] } else { vec![make_ident("cstddef")] }; |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 497 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 498 | // In order to generate C++ thunk in all the cases Clang needs to be able to access declarations |
| 499 | // from public headers of the C++ library. |
| 500 | let includes = ir.used_headers.iter().map(|i| &i.name); |
| 501 | |
| 502 | let result = quote! { |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 503 | #( __HASH_TOKEN__ include <#standard_headers> __NEWLINE__)* |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 504 | #( __HASH_TOKEN__ include #includes __NEWLINE__)* __NEWLINE__ |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 505 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 506 | #( #thunks )* __NEWLINE__ __NEWLINE__ |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 507 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 508 | #( #layout_assertions __NEWLINE__ __NEWLINE__ )* |
Marcel Hlopko | c6b726c | 2021-10-07 06:53:09 +0000 | [diff] [blame] | 509 | |
| 510 | // To satisfy http://cs/symbol:devtools.metadata.Presubmit.CheckTerminatingNewline check. |
| 511 | __NEWLINE__ |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 512 | }; |
| 513 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 514 | token_stream_printer::tokens_to_string(result) |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 515 | } |
| 516 | |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 517 | #[cfg(test)] |
| 518 | mod tests { |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 519 | use crate::rustfmt; |
| 520 | |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 521 | use super::Result; |
Devin Jeanpierre | 2ed14ec | 2021-10-06 11:32:19 +0000 | [diff] [blame] | 522 | use super::{generate_copy_derives, generate_rs_api, generate_rs_api_impl}; |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 523 | use anyhow::anyhow; |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 524 | use ir::*; |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 525 | use ir_testing::{ |
| 526 | ir_func, ir_id, ir_int, ir_int_param, ir_items, ir_public_trivial_special, ir_record, |
| 527 | }; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 528 | use quote::quote; |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 529 | use token_stream_printer::tokens_to_string; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 530 | |
| 531 | #[test] |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 532 | fn test_simple_function() -> Result<()> { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 533 | let ir = ir_items(vec![Item::Func(Func { |
| 534 | identifier: ir_id("add"), |
| 535 | mangled_name: "_Z3Addii".to_string(), |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 536 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 537 | return_type: ir_int(), |
| 538 | params: vec![ir_int_param("a"), ir_int_param("b")], |
| 539 | is_inline: false, |
| 540 | })]); |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 541 | assert_eq!( |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 542 | generate_rs_api(&ir)?, |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 543 | rustfmt(tokens_to_string(quote! { |
| 544 | #[inline(always)] |
| 545 | pub fn add(a: i32, b: i32) -> i32 { |
| 546 | unsafe { crate::detail::__rust_thunk__add(a, b) } |
| 547 | } __NEWLINE__ __NEWLINE__ |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 548 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 549 | mod detail { |
| 550 | extern "C" { |
| 551 | #[link_name = "_Z3Addii"] |
| 552 | pub(crate) fn __rust_thunk__add(a: i32, b: i32) -> i32; |
| 553 | } // extern |
| 554 | } // mod detail |
| 555 | })?)? |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 556 | ); |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 557 | |
| 558 | let rs_api = generate_rs_api_impl(&ir)?; |
| 559 | assert_eq!(rs_api.trim(), ""); |
| 560 | assert!(rs_api.ends_with("\n")); |
| 561 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 562 | Ok(()) |
| 563 | } |
| 564 | |
| 565 | #[test] |
| 566 | fn test_inline_function() -> Result<()> { |
| 567 | let ir = IR { |
| 568 | used_headers: vec![ |
| 569 | HeaderName { name: "foo/bar.h".to_string() }, |
| 570 | HeaderName { name: "foo/baz.h".to_string() }, |
| 571 | ], |
Michael Forster | 7ef8073 | 2021-10-01 18:12:19 +0000 | [diff] [blame] | 572 | items: vec![Item::Func(Func { |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 573 | identifier: Identifier { identifier: "add".to_string() }, |
| 574 | mangled_name: "_Z3Addii".to_string(), |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 575 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 576 | return_type: ir_int(), |
| 577 | params: vec![ir_int_param("a"), ir_int_param("b")], |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 578 | is_inline: true, |
Michael Forster | 7ef8073 | 2021-10-01 18:12:19 +0000 | [diff] [blame] | 579 | })], |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 580 | }; |
| 581 | |
| 582 | assert_eq!( |
| 583 | generate_rs_api(&ir)?, |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 584 | rustfmt(tokens_to_string(quote! { |
| 585 | #[inline(always)] |
| 586 | pub fn add(a: i32, b: i32) -> i32 { |
| 587 | unsafe { crate::detail::__rust_thunk__add(a, b) } |
| 588 | } __NEWLINE__ __NEWLINE__ |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 589 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 590 | mod detail { |
| 591 | extern "C" { |
| 592 | pub(crate) fn __rust_thunk__add(a: i32, b: i32) -> i32; |
| 593 | } // extern |
| 594 | } // mod detail |
| 595 | })?)? |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 596 | ); |
| 597 | |
| 598 | assert_eq!( |
Marcel Hlopko | c6b726c | 2021-10-07 06:53:09 +0000 | [diff] [blame] | 599 | generate_rs_api_impl(&ir)?.trim(), |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 600 | tokens_to_string(quote! { |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 601 | __HASH_TOKEN__ include "foo/bar.h" __NEWLINE__ |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 602 | __HASH_TOKEN__ include "foo/baz.h" __NEWLINE__ __NEWLINE__ |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 603 | |
| 604 | extern "C" int __rust_thunk__add(int a, int b) { |
| 605 | return add(a, b); |
| 606 | } |
| 607 | })? |
| 608 | ); |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 609 | Ok(()) |
| 610 | } |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 611 | |
| 612 | #[test] |
| 613 | fn test_simple_struct() -> Result<()> { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 614 | let ir = ir_items(vec![Item::Record(Record { |
| 615 | identifier: ir_id("SomeStruct"), |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 616 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 617 | fields: vec![ |
| 618 | Field { |
| 619 | identifier: ir_id("public_int"), |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 620 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 621 | type_: ir_int(), |
| 622 | access: AccessSpecifier::Public, |
| 623 | offset: 0, |
| 624 | }, |
| 625 | Field { |
| 626 | identifier: ir_id("protected_int"), |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 627 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 628 | type_: ir_int(), |
| 629 | access: AccessSpecifier::Protected, |
| 630 | offset: 32, |
| 631 | }, |
| 632 | Field { |
| 633 | identifier: ir_id("private_int"), |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 634 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 635 | type_: ir_int(), |
| 636 | access: AccessSpecifier::Private, |
| 637 | offset: 64, |
| 638 | }, |
| 639 | ], |
| 640 | size: 12, |
| 641 | alignment: 4, |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 642 | copy_constructor: ir_public_trivial_special(), |
| 643 | move_constructor: ir_public_trivial_special(), |
| 644 | destructor: ir_public_trivial_special(), |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 645 | is_trivial_abi: true, |
| 646 | })]); |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 647 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 648 | assert_eq!( |
| 649 | generate_rs_api(&ir)?, |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 650 | rustfmt(tokens_to_string(quote! { |
| 651 | #![feature(const_maybe_uninit_as_ptr, const_ptr_offset_from, const_raw_ptr_deref)] __NEWLINE__ __NEWLINE__ |
Googler | ec648ff | 2021-09-23 07:19:53 +0000 | [diff] [blame] | 652 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 653 | use memoffset_unstable_const::offset_of; |
| 654 | use static_assertions::const_assert_eq; __NEWLINE__ __NEWLINE__ |
Michael Forster | e9c881c | 2021-10-01 09:38:19 +0000 | [diff] [blame] | 655 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 656 | #[derive(Clone, Copy)] |
| 657 | #[repr(C)] |
| 658 | pub struct SomeStruct { |
| 659 | pub public_int: i32, |
| 660 | protected_int: i32, |
| 661 | private_int: i32, |
| 662 | } __NEWLINE__ __NEWLINE__ |
| 663 | |
| 664 | const_assert_eq!(std::mem::size_of::<SomeStruct>(), 12usize); |
| 665 | const_assert_eq!(std::mem::align_of::<SomeStruct>(), 4usize); |
| 666 | const_assert_eq!(offset_of!(SomeStruct, public_int) * 8, 0usize); |
| 667 | const_assert_eq!(offset_of!(SomeStruct, protected_int) * 8, 32usize); |
| 668 | const_assert_eq!(offset_of!(SomeStruct, private_int) * 8, 64usize); |
| 669 | })?)? |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 670 | ); |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 671 | assert_eq!( |
Marcel Hlopko | c6b726c | 2021-10-07 06:53:09 +0000 | [diff] [blame] | 672 | generate_rs_api_impl(&ir)?.trim(), |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 673 | tokens_to_string(quote! { |
| 674 | __HASH_TOKEN__ include <cstddef> __NEWLINE__ __NEWLINE__ __NEWLINE__ __NEWLINE__ |
Googler | 5ea8864 | 2021-09-29 08:05:59 +0000 | [diff] [blame] | 675 | static_assert(sizeof(SomeStruct) == 12); |
| 676 | static_assert(alignof(SomeStruct) == 4); |
| 677 | static_assert(offsetof(SomeStruct, public_int) * 8 == 0); |
| 678 | static_assert(offsetof(SomeStruct, protected_int) * 8 == 32); |
| 679 | static_assert(offsetof(SomeStruct, private_int) * 8 == 64); |
| 680 | })? |
| 681 | ); |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 682 | Ok(()) |
| 683 | } |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 684 | |
Devin Jeanpierre | 2ed14ec | 2021-10-06 11:32:19 +0000 | [diff] [blame] | 685 | fn unwrapped_ir_record(name: &str) -> Record { |
| 686 | match ir_record(name) { |
| 687 | Item::Record(r) => r, |
| 688 | _ => unreachable!(), |
| 689 | } |
| 690 | } |
| 691 | |
| 692 | #[test] |
| 693 | fn test_copy_derives() { |
| 694 | let record = unwrapped_ir_record("S"); |
| 695 | assert_eq!(generate_copy_derives(&record), &["Clone", "Copy"]); |
| 696 | } |
| 697 | |
| 698 | #[test] |
| 699 | fn test_copy_derives_not_is_trivial_abi() { |
| 700 | let mut record = unwrapped_ir_record("S"); |
| 701 | record.is_trivial_abi = false; |
| 702 | assert_eq!(generate_copy_derives(&record), &[""; 0]); |
| 703 | } |
| 704 | |
| 705 | #[test] |
| 706 | fn test_copy_derives_ctor_nonpublic() { |
| 707 | let mut record = unwrapped_ir_record("S"); |
| 708 | for access in [ir::AccessSpecifier::Protected, ir::AccessSpecifier::Private] { |
| 709 | record.copy_constructor.access = access; |
| 710 | assert_eq!(generate_copy_derives(&record), &[""; 0]); |
| 711 | } |
| 712 | } |
| 713 | |
| 714 | #[test] |
| 715 | fn test_copy_derives_ctor_deleted() { |
| 716 | let mut record = unwrapped_ir_record("S"); |
| 717 | record.copy_constructor.definition = ir::SpecialMemberDefinition::Deleted; |
| 718 | assert_eq!(generate_copy_derives(&record), &[""; 0]); |
| 719 | } |
| 720 | |
| 721 | #[test] |
| 722 | fn test_copy_derives_ctor_nontrivial() { |
| 723 | let mut record = unwrapped_ir_record("S"); |
| 724 | record.copy_constructor.definition = ir::SpecialMemberDefinition::Nontrivial; |
| 725 | assert_eq!(generate_copy_derives(&record), &[""; 0]); |
| 726 | } |
| 727 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 728 | #[test] |
| 729 | fn test_ptr_func() -> Result<()> { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 730 | let ir = ir_items(vec![Item::Func(Func { |
| 731 | identifier: Identifier { identifier: "Deref".to_string() }, |
| 732 | mangled_name: "_Z5DerefPKPi".to_string(), |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 733 | doc_comment: None, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 734 | return_type: MappedType { |
| 735 | rs_type: RsType { |
| 736 | name: "*mut".to_string(), |
| 737 | type_params: vec![RsType { name: "i32".to_string(), type_params: vec![] }], |
| 738 | }, |
| 739 | cc_type: CcType { |
| 740 | name: "*".to_string(), |
| 741 | is_const: false, |
| 742 | type_params: vec![CcType { |
| 743 | name: "int".to_string(), |
| 744 | is_const: false, |
| 745 | type_params: vec![], |
| 746 | }], |
| 747 | }, |
| 748 | }, |
| 749 | params: vec![FuncParam { |
| 750 | identifier: Identifier { identifier: "p".to_string() }, |
| 751 | type_: MappedType { |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 752 | rs_type: RsType { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 753 | name: "*const".to_string(), |
| 754 | type_params: vec![RsType { |
| 755 | name: "*mut".to_string(), |
| 756 | type_params: vec![RsType { |
| 757 | name: "i32".to_string(), |
| 758 | type_params: vec![], |
| 759 | }], |
| 760 | }], |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 761 | }, |
| 762 | cc_type: CcType { |
| 763 | name: "*".to_string(), |
| 764 | is_const: false, |
| 765 | type_params: vec![CcType { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 766 | name: "*".to_string(), |
| 767 | is_const: true, |
| 768 | type_params: vec![CcType { |
| 769 | name: "int".to_string(), |
| 770 | is_const: false, |
| 771 | type_params: vec![], |
| 772 | }], |
Devin Jeanpierre | 09c6f45 | 2021-09-29 07:34:24 +0000 | [diff] [blame] | 773 | }], |
| 774 | }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 775 | }, |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 776 | }], |
| 777 | is_inline: true, |
| 778 | })]); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 779 | assert_eq!( |
| 780 | generate_rs_api(&ir)?, |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 781 | rustfmt(tokens_to_string(quote! { |
| 782 | #[inline(always)] |
| 783 | pub fn Deref(p: *const *mut i32) -> *mut i32 { |
| 784 | unsafe { crate::detail::__rust_thunk__Deref(p) } |
| 785 | } __NEWLINE__ __NEWLINE__ |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 786 | |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 787 | mod detail { |
| 788 | extern "C" { |
| 789 | pub(crate) fn __rust_thunk__Deref(p: *const *mut i32) -> *mut i32; |
| 790 | } // extern |
| 791 | } // mod detail |
| 792 | })?)? |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 793 | ); |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 794 | |
| 795 | assert_eq!( |
Marcel Hlopko | c6b726c | 2021-10-07 06:53:09 +0000 | [diff] [blame] | 796 | generate_rs_api_impl(&ir)?.trim(), |
Michael Forster | db8101a | 2021-10-08 06:56:03 +0000 | [diff] [blame] | 797 | tokens_to_string(quote! { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 798 | extern "C" int* __rust_thunk__Deref(int* const * p) { |
| 799 | return Deref(p); |
| 800 | } |
| 801 | })? |
| 802 | ); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 803 | Ok(()) |
| 804 | } |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 805 | |
| 806 | #[test] |
| 807 | fn test_item_order() -> Result<()> { |
Michael Forster | 3a4615d | 2021-10-05 10:40:36 +0000 | [diff] [blame] | 808 | let ir = ir_items(vec![ |
| 809 | ir_func("first_func"), |
| 810 | ir_record("FirstStruct"), |
| 811 | ir_func("second_func"), |
| 812 | ir_record("SecondStruct"), |
| 813 | ]); |
Michael Forster | ed64202 | 2021-10-04 09:48:25 +0000 | [diff] [blame] | 814 | |
| 815 | let rs_api = generate_rs_api(&ir)?; |
| 816 | |
| 817 | let idx = |s: &str| rs_api.find(s).ok_or(anyhow!("'{}' missing", s)); |
| 818 | |
| 819 | let f1 = idx("fn first_func")?; |
| 820 | let f2 = idx("fn second_func")?; |
| 821 | let s1 = idx("struct FirstStruct")?; |
| 822 | let s2 = idx("struct SecondStruct")?; |
| 823 | let t1 = idx("fn __rust_thunk__first_func")?; |
| 824 | let t2 = idx("fn __rust_thunk__second_func")?; |
| 825 | |
| 826 | assert!(f1 < s1); |
| 827 | assert!(s1 < f2); |
| 828 | assert!(f2 < s2); |
| 829 | assert!(s2 < t1); |
| 830 | assert!(t1 < t2); |
| 831 | |
| 832 | Ok(()) |
| 833 | } |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 834 | |
| 835 | #[test] |
Michael Forster | 409d941 | 2021-10-07 08:35:29 +0000 | [diff] [blame] | 836 | fn test_doc_comment_func() -> Result<()> { |
| 837 | let ir = IR { |
| 838 | used_headers: vec![], |
| 839 | items: vec![Item::Func(Func { |
| 840 | identifier: ir_id("func"), |
| 841 | mangled_name: "foo".to_string(), |
| 842 | doc_comment: Some("Doc Comment".to_string()), |
| 843 | return_type: ir_int(), |
| 844 | is_inline: true, |
| 845 | params: vec![], |
| 846 | })], |
| 847 | }; |
| 848 | |
| 849 | assert!( |
| 850 | generate_rs_api(&ir)?.contains("/// Doc Comment\n#[inline(always)]\npub fn func"), |
| 851 | "func doc comment missing" |
| 852 | ); |
| 853 | |
| 854 | Ok(()) |
| 855 | } |
| 856 | |
| 857 | #[test] |
| 858 | fn test_doc_comment_record() -> Result<()> { |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 859 | let ir = IR { |
| 860 | used_headers: vec![], |
| 861 | items: vec![Item::Record(Record { |
| 862 | identifier: ir_id("SomeStruct"), |
| 863 | doc_comment: Some("Doc Comment\n\n * with bullet".to_string()), |
| 864 | alignment: 0, |
| 865 | size: 0, |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 866 | fields: vec![Field { |
| 867 | identifier: ir_id("field"), |
| 868 | doc_comment: Some("Field doc".to_string()), |
| 869 | type_: ir_int(), |
| 870 | access: AccessSpecifier::Public, |
| 871 | offset: 0, |
| 872 | }], |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 873 | copy_constructor: ir_public_trivial_special(), |
| 874 | move_constructor: ir_public_trivial_special(), |
| 875 | destructor: ir_public_trivial_special(), |
| 876 | is_trivial_abi: true, |
| 877 | })], |
| 878 | }; |
| 879 | |
Michael Forster | cc5941a | 2021-10-07 07:12:24 +0000 | [diff] [blame] | 880 | let rs_api = generate_rs_api(&ir)?; |
| 881 | assert!( |
| 882 | rs_api.contains("/// Doc Comment\n///\n/// * with bullet\n"), |
| 883 | "struct doc comment missing" |
| 884 | ); |
| 885 | assert!(rs_api.contains("/// Field doc\n"), "field doc comment missing"); |
Michael Forster | 028800b | 2021-10-05 12:39:59 +0000 | [diff] [blame] | 886 | |
| 887 | Ok(()) |
| 888 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 889 | } |