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 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 5 | use anyhow::{anyhow, 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; |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 9 | use proc_macro2::TokenStream; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 10 | use quote::format_ident; |
| 11 | use quote::quote; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 12 | use std::iter::Iterator; |
| 13 | use std::panic::catch_unwind; |
| 14 | use std::process; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 15 | use syn::*; |
| 16 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 17 | /// FFI equivalent of `Bindings`. |
| 18 | #[repr(C)] |
| 19 | pub struct FfiBindings { |
| 20 | rs_api: FfiU8SliceBox, |
| 21 | rs_api_impl: FfiU8SliceBox, |
| 22 | } |
| 23 | |
| 24 | /// Deserializes IR from `json` and generates bindings source code. |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 25 | /// |
| 26 | /// This function panics on error. |
| 27 | /// |
| 28 | /// Ownership: |
| 29 | /// * function doesn't take ownership of (in other words it borrows) the param `json` |
| 30 | /// * function passes ownership of the returned value to the caller |
| 31 | /// |
| 32 | /// Safety: |
| 33 | /// * function expects that param `json` is a FfiU8Slice for a valid array of bytes with the |
| 34 | /// given size. |
| 35 | /// * function expects that param `json` doesn't change during the call. |
| 36 | #[no_mangle] |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 37 | pub unsafe extern "C" fn GenerateBindingsImpl(json: FfiU8Slice) -> FfiBindings { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 38 | catch_unwind(|| { |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 39 | // It is ok to abort here. |
| 40 | let Bindings { rs_api, rs_api_impl } = generate_bindings(json.as_slice()).unwrap(); |
| 41 | |
| 42 | FfiBindings { |
| 43 | rs_api: FfiU8SliceBox::from_boxed_slice(rs_api.into_bytes().into_boxed_slice()), |
| 44 | rs_api_impl: FfiU8SliceBox::from_boxed_slice( |
| 45 | rs_api_impl.into_bytes().into_boxed_slice(), |
| 46 | ), |
| 47 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 48 | }) |
| 49 | .unwrap_or_else(|_| process::abort()) |
| 50 | } |
| 51 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 52 | /// Source code for generated bindings. |
| 53 | struct Bindings { |
| 54 | // Rust source code. |
| 55 | rs_api: String, |
| 56 | // C++ source code. |
| 57 | rs_api_impl: String, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 58 | } |
| 59 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 60 | fn generate_bindings(json: &[u8]) -> Result<Bindings> { |
| 61 | let ir = deserialize_ir(json)?; |
| 62 | let rs_api = generate_rs_api(&ir)?; |
| 63 | let rs_api_impl = generate_rs_api_impl(&ir)?; |
| 64 | Ok(Bindings { rs_api, rs_api_impl }) |
| 65 | } |
| 66 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 67 | /// If we know the original C++ function is codegenned and already compatible with `extern "C"` |
| 68 | /// calling convention we skip creating/calling the C++ thunk since we can call the original C++ |
| 69 | /// directly. |
| 70 | fn can_skip_cc_thunk(func: &Func) -> bool { |
| 71 | // Inline functions may not be codegenned in the C++ library since Clang doesn't know if Rust |
| 72 | // calls the function or not. Therefore in order to make inline functions callable from Rust we |
| 73 | // need to generate a C++ file that defines a thunk that delegates to the original inline |
| 74 | // function. When compiled, Clang will emit code for this thunk and Rust code will call the |
| 75 | // thunk when the user wants to call the original inline function. |
| 76 | // |
| 77 | // This is not great runtime-performance-wise in regular builds (inline function will not be |
| 78 | // inlined, there will always be a function call), but it is correct. ThinLTO builds will be |
| 79 | // able to see through the thunk and inline code across the language boundary. For non-ThinLTO |
| 80 | // builds we plan to implement <internal link> which removes the runtime performance overhead. |
| 81 | !func.is_inline |
| 82 | } |
| 83 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 84 | /// Generate Rust source code for a given Record. |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 85 | fn generate_record(record: &Record) -> Result<TokenStream> { |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 86 | let ident = make_ident(&record.identifier.identifier); |
| 87 | let field_idents = |
| 88 | record.fields.iter().map(|f| make_ident(&f.identifier.identifier)).collect_vec(); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 89 | let field_types = |
| 90 | record.fields.iter().map(|f| format_rs_type(&f.type_)).collect::<Result<Vec<_>>>()?; |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 91 | let field_accesses = record |
| 92 | .fields |
| 93 | .iter() |
| 94 | .map(|f| { |
| 95 | if f.access == AccessSpecifier::Public { |
| 96 | quote! { pub } |
| 97 | } else { |
| 98 | quote! {} |
| 99 | } |
| 100 | }) |
| 101 | .collect_vec(); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 102 | Ok(quote! { |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 103 | #[repr(C)] |
| 104 | pub struct #ident { |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 105 | #( #field_accesses #field_idents: #field_types, )* |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 106 | } |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 107 | }) |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 108 | } |
| 109 | |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 110 | fn generate_rs_api(ir: &IR) -> Result<String> { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 111 | let mut thunks = vec![]; |
| 112 | let mut api_funcs = vec![]; |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 113 | for func in &ir.functions { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +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); |
Marcel Hlopko | 7d73979 | 2021-08-12 07:52:47 +0000 | [diff] [blame] | 117 | // TODO(hlopko): do not emit `-> ()` when return type is void, it's implicit. |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 118 | let return_type_name = format_rs_type(&func.return_type)?; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 119 | |
| 120 | let param_idents = |
| 121 | func.params.iter().map(|p| make_ident(&p.identifier.identifier)).collect_vec(); |
| 122 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 123 | let param_types = |
| 124 | func.params.iter().map(|p| format_rs_type(&p.type_)).collect::<Result<Vec<_>>>()?; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 125 | |
| 126 | api_funcs.push(quote! { |
| 127 | #[inline(always)] |
| 128 | pub fn #ident( #( #param_idents: #param_types ),* ) -> #return_type_name { |
| 129 | unsafe { crate::detail::#thunk_ident( #( #param_idents ),* ) } |
| 130 | } |
| 131 | }); |
| 132 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 133 | let thunk_attr = if can_skip_cc_thunk(&func) { |
| 134 | quote! {#[link_name = #mangled_name]} |
| 135 | } else { |
| 136 | quote! {} |
| 137 | }; |
| 138 | |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 139 | thunks.push(quote! { |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 140 | #thunk_attr |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 141 | pub(crate) fn #thunk_ident( #( #param_idents: #param_types ),* ) -> #return_type_name ; |
| 142 | }); |
| 143 | } |
| 144 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 145 | let records = ir.records.iter().map(generate_record).collect::<Result<Vec<_>>>()?; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 146 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 147 | let mod_detail = if thunks.is_empty() { |
| 148 | quote! {} |
| 149 | } else { |
| 150 | quote! { |
| 151 | mod detail { |
| 152 | extern "C" { |
| 153 | #( #thunks )* |
| 154 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 155 | } |
| 156 | } |
| 157 | }; |
| 158 | |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 159 | let result = quote! { |
| 160 | #( #api_funcs )* |
| 161 | #( #records )* |
| 162 | |
| 163 | #mod_detail |
| 164 | }; |
| 165 | |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 166 | Ok(result.to_string()) |
| 167 | } |
| 168 | |
| 169 | fn make_ident(ident: &str) -> Ident { |
| 170 | format_ident!("{}", ident) |
| 171 | } |
| 172 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 173 | fn format_rs_type(ty: &ir::IRType) -> Result<TokenStream> { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 174 | let ptr_fragment = match ty.rs_name.as_str() { |
| 175 | "*mut" => Some(quote! {*mut}), |
| 176 | "*const" => Some(quote! {*const}), |
| 177 | _ => None, |
| 178 | }; |
| 179 | match ptr_fragment { |
| 180 | Some(ptr_fragment) => { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 181 | if ty.type_params.len() != 1 { |
| 182 | return Err(anyhow!( |
| 183 | "Invalid pointer type (need exactly 1 type parameter): {:?}", |
| 184 | ty |
| 185 | )); |
| 186 | } |
| 187 | let nested_type = format_rs_type(&ty.type_params[0])?; |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 188 | Ok(quote! {#ptr_fragment #nested_type}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 189 | } |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 190 | None => { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 191 | if ty.type_params.len() > 0 { |
| 192 | return Err(anyhow!("Type not yet supported: {:?}", ty)); |
| 193 | } |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 194 | let ident = make_ident(&ty.rs_name); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 195 | Ok(quote! {#ident}) |
| 196 | } |
| 197 | } |
| 198 | } |
| 199 | |
| 200 | fn format_cc_type(ty: &ir::IRType) -> Result<TokenStream> { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 201 | let const_fragment = if ty.cc_const { |
| 202 | quote! {const} |
| 203 | } else { |
| 204 | quote! {} |
| 205 | }; |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 206 | match ty.cc_name.as_str() { |
| 207 | "*" => { |
| 208 | if ty.type_params.len() != 1 { |
| 209 | return Err(anyhow!( |
| 210 | "Invalid pointer type (need exactly 1 type parameter): {:?}", |
| 211 | ty |
| 212 | )); |
| 213 | } |
| 214 | assert_eq!(ty.type_params.len(), 1); |
| 215 | let nested_type = format_cc_type(&ty.type_params[0])?; |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 216 | Ok(quote! {#nested_type * #const_fragment}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 217 | } |
| 218 | ident => { |
| 219 | if ty.type_params.len() > 0 { |
| 220 | return Err(anyhow!("Type not yet supported: {:?}", ty)); |
| 221 | } |
| 222 | let ident = make_ident(ident); |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 223 | Ok(quote! {#ident #const_fragment}) |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 224 | } |
| 225 | } |
| 226 | } |
| 227 | |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 228 | fn generate_rs_api_impl(ir: &IR) -> Result<String> { |
| 229 | // This function uses quote! to generate C++ source code out of convenience. This is a bold idea |
| 230 | // so we have to continously evaluate if it still makes sense or the cost of working around |
| 231 | // differences in Rust and C++ tokens is greather than the value added. |
| 232 | // |
| 233 | // See rs_bindings_from_cc/token_stream_printer.rs for a list |
| 234 | // of supported placeholders. |
| 235 | let mut thunks = vec![]; |
| 236 | for func in &ir.functions { |
| 237 | if can_skip_cc_thunk(&func) { |
| 238 | continue; |
| 239 | } |
| 240 | |
| 241 | let thunk_ident = format_ident!("__rust_thunk__{}", &func.identifier.identifier); |
| 242 | let ident = make_ident(&func.identifier.identifier); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 243 | let return_type_name = format_cc_type(&func.return_type)?; |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 244 | |
| 245 | let param_idents = |
| 246 | func.params.iter().map(|p| make_ident(&p.identifier.identifier)).collect_vec(); |
| 247 | |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 248 | let param_types = |
| 249 | func.params.iter().map(|p| format_cc_type(&p.type_)).collect::<Result<Vec<_>>>()?; |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 250 | |
| 251 | thunks.push(quote! { |
| 252 | extern "C" #return_type_name #thunk_ident( #( #param_types #param_idents ),* ) { |
| 253 | return #ident( #( #param_idents ),* ); |
| 254 | } |
| 255 | }); |
| 256 | } |
| 257 | |
| 258 | // In order to generate C++ thunk in all the cases Clang needs to be able to access declarations |
| 259 | // from public headers of the C++ library. |
| 260 | let includes = ir.used_headers.iter().map(|i| &i.name); |
| 261 | |
| 262 | let result = quote! { |
| 263 | #( __HASH_TOKEN__ include #includes __NEWLINE__)* |
| 264 | |
| 265 | #( #thunks )* |
| 266 | }; |
| 267 | |
| 268 | token_stream_printer::cc_tokens_to_string(result) |
| 269 | } |
| 270 | |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 271 | #[cfg(test)] |
| 272 | mod tests { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 273 | use super::Result; |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 274 | use super::{generate_rs_api, generate_rs_api_impl}; |
| 275 | use ir::*; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 276 | use quote::quote; |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 277 | use token_stream_printer::cc_tokens_to_string; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 278 | |
| 279 | #[test] |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 280 | fn test_simple_function() -> Result<()> { |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 281 | let ir = IR { |
Marcel Hlopko | f1123c8 | 2021-08-19 11:38:52 +0000 | [diff] [blame] | 282 | used_headers: vec![], |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 283 | records: vec![], |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 284 | functions: vec![Func { |
| 285 | identifier: Identifier { identifier: "add".to_string() }, |
| 286 | mangled_name: "_Z3Addii".to_string(), |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 287 | return_type: IRType { |
| 288 | rs_name: "i32".to_string(), |
| 289 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 290 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 291 | type_params: vec![], |
| 292 | }, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 293 | params: vec![ |
| 294 | FuncParam { |
| 295 | identifier: Identifier { identifier: "a".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 296 | type_: IRType { |
| 297 | rs_name: "i32".to_string(), |
| 298 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 299 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 300 | type_params: vec![], |
| 301 | }, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 302 | }, |
| 303 | FuncParam { |
| 304 | identifier: Identifier { identifier: "b".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 305 | type_: IRType { |
| 306 | rs_name: "i32".to_string(), |
| 307 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 308 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 309 | type_params: vec![], |
| 310 | }, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 311 | }, |
| 312 | ], |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 313 | is_inline: false, |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 314 | }], |
| 315 | }; |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 316 | assert_eq!( |
Marcel Hlopko | 45fba97 | 2021-08-23 19:52:20 +0000 | [diff] [blame] | 317 | generate_rs_api(&ir)?, |
Marcel Hlopko | f1123c8 | 2021-08-19 11:38:52 +0000 | [diff] [blame] | 318 | quote! { |
| 319 | #[inline(always)] |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 320 | pub fn add(a: i32, b: i32) -> i32 { |
| 321 | unsafe { crate::detail::__rust_thunk__add(a, b) } |
| 322 | } |
| 323 | |
| 324 | mod detail { |
| 325 | extern "C" { |
| 326 | #[link_name = "_Z3Addii"] |
| 327 | pub(crate) fn __rust_thunk__add(a: i32, b: i32) -> i32; |
| 328 | } // extern |
| 329 | } // mod detail |
| 330 | } |
| 331 | .to_string() |
| 332 | ); |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 333 | assert_eq!(generate_rs_api_impl(&ir)?, ""); |
| 334 | Ok(()) |
| 335 | } |
| 336 | |
| 337 | #[test] |
| 338 | fn test_inline_function() -> Result<()> { |
| 339 | let ir = IR { |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 340 | records: vec![], |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 341 | used_headers: vec![ |
| 342 | HeaderName { name: "foo/bar.h".to_string() }, |
| 343 | HeaderName { name: "foo/baz.h".to_string() }, |
| 344 | ], |
| 345 | functions: vec![Func { |
| 346 | identifier: Identifier { identifier: "add".to_string() }, |
| 347 | mangled_name: "_Z3Addii".to_string(), |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 348 | return_type: IRType { |
| 349 | rs_name: "i32".to_string(), |
| 350 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 351 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 352 | type_params: vec![], |
| 353 | }, |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 354 | params: vec![ |
| 355 | FuncParam { |
| 356 | identifier: Identifier { identifier: "a".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 357 | type_: IRType { |
| 358 | rs_name: "i32".to_string(), |
| 359 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 360 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 361 | type_params: vec![], |
| 362 | }, |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 363 | }, |
| 364 | FuncParam { |
| 365 | identifier: Identifier { identifier: "b".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 366 | type_: IRType { |
| 367 | rs_name: "i32".to_string(), |
| 368 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 369 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 370 | type_params: vec![], |
| 371 | }, |
Marcel Hlopko | 3164eee | 2021-08-24 20:09:22 +0000 | [diff] [blame] | 372 | }, |
| 373 | ], |
| 374 | is_inline: true, |
| 375 | }], |
| 376 | }; |
| 377 | |
| 378 | assert_eq!( |
| 379 | generate_rs_api(&ir)?, |
| 380 | quote! {#[inline(always)] |
| 381 | pub fn add(a: i32, b: i32) -> i32 { |
| 382 | unsafe { crate::detail::__rust_thunk__add(a, b) } |
| 383 | } |
| 384 | |
| 385 | mod detail { |
| 386 | extern "C" { |
| 387 | pub(crate) fn __rust_thunk__add(a: i32, b: i32) -> i32; |
| 388 | } // extern |
| 389 | } // mod detail |
| 390 | } |
| 391 | .to_string() |
| 392 | ); |
| 393 | |
| 394 | assert_eq!( |
| 395 | generate_rs_api_impl(&ir)?, |
| 396 | cc_tokens_to_string(quote! { |
| 397 | __HASH_TOKEN__ include "foo/bar.h" __NEWLINE__ |
| 398 | __HASH_TOKEN__ include "foo/baz.h" __NEWLINE__ |
| 399 | |
| 400 | extern "C" int __rust_thunk__add(int a, int b) { |
| 401 | return add(a, b); |
| 402 | } |
| 403 | })? |
| 404 | ); |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 405 | Ok(()) |
| 406 | } |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 407 | |
| 408 | #[test] |
| 409 | fn test_simple_struct() -> Result<()> { |
| 410 | let ir = IR { |
| 411 | used_headers: vec![], |
| 412 | records: vec![Record { |
| 413 | identifier: Identifier { identifier: "SomeStruct".to_string() }, |
| 414 | fields: vec![ |
| 415 | Field { |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 416 | identifier: Identifier { identifier: "public_int".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 417 | type_: IRType { |
| 418 | rs_name: "i32".to_string(), |
| 419 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 420 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 421 | type_params: vec![], |
| 422 | }, |
Googler | 2294c70 | 2021-09-17 07:32:07 +0000 | [diff] [blame] | 423 | access: AccessSpecifier::Public, |
Googler | e6e5f30 | 2021-09-17 13:56:40 +0000 | [diff] [blame] | 424 | offset: 0, |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 425 | }, |
| 426 | Field { |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 427 | identifier: Identifier { identifier: "protected_int".to_string() }, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 428 | type_: IRType { |
| 429 | rs_name: "i32".to_string(), |
| 430 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 431 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 432 | type_params: vec![], |
| 433 | }, |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 434 | access: AccessSpecifier::Protected, |
Googler | e6e5f30 | 2021-09-17 13:56:40 +0000 | [diff] [blame] | 435 | offset: 32, |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 436 | }, |
| 437 | Field { |
| 438 | identifier: Identifier { identifier: "private_int".to_string() }, |
| 439 | type_: IRType { |
| 440 | rs_name: "i32".to_string(), |
| 441 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 442 | cc_const: false, |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 443 | type_params: vec![], |
| 444 | }, |
| 445 | access: AccessSpecifier::Private, |
Googler | e6e5f30 | 2021-09-17 13:56:40 +0000 | [diff] [blame] | 446 | offset: 64, |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 447 | }, |
| 448 | ], |
Googler | e6e5f30 | 2021-09-17 13:56:40 +0000 | [diff] [blame] | 449 | size: 12, |
| 450 | alignment: 4, |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 451 | }], |
| 452 | functions: vec![], |
| 453 | }; |
| 454 | assert_eq!( |
| 455 | generate_rs_api(&ir)?, |
| 456 | quote! { |
| 457 | #[repr(C)] |
| 458 | pub struct SomeStruct { |
Googler | ec589eb | 2021-09-17 07:45:39 +0000 | [diff] [blame] | 459 | pub public_int: i32, |
| 460 | protected_int: i32, |
| 461 | private_int: i32, |
Marcel Hlopko | b4b2874 | 2021-09-15 12:45:20 +0000 | [diff] [blame] | 462 | } |
| 463 | } |
| 464 | .to_string() |
| 465 | ); |
| 466 | assert_eq!(generate_rs_api_impl(&ir)?, ""); |
| 467 | Ok(()) |
| 468 | } |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 469 | |
| 470 | #[test] |
| 471 | fn test_ptr_func() -> Result<()> { |
| 472 | let ir = IR { |
| 473 | used_headers: vec![], |
| 474 | records: vec![], |
| 475 | functions: vec![Func { |
| 476 | identifier: Identifier { identifier: "Deref".to_string() }, |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 477 | mangled_name: "_Z5DerefPKPi".to_string(), |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 478 | return_type: IRType { |
| 479 | rs_name: "*mut".to_string(), |
| 480 | cc_name: "*".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 481 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 482 | type_params: vec![IRType { |
| 483 | rs_name: "i32".to_string(), |
| 484 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 485 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 486 | type_params: vec![], |
| 487 | }], |
| 488 | }, |
| 489 | params: vec![FuncParam { |
| 490 | identifier: Identifier { identifier: "p".to_string() }, |
| 491 | type_: IRType { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 492 | rs_name: "*const".to_string(), |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 493 | cc_name: "*".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 494 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 495 | type_params: vec![IRType { |
| 496 | rs_name: "*mut".to_string(), |
| 497 | cc_name: "*".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 498 | cc_const: true, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 499 | type_params: vec![IRType { |
| 500 | rs_name: "i32".to_string(), |
| 501 | cc_name: "int".to_string(), |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 502 | cc_const: false, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 503 | type_params: vec![], |
| 504 | }], |
| 505 | }], |
| 506 | }, |
| 507 | }], |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 508 | is_inline: true, |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 509 | }], |
| 510 | }; |
| 511 | assert_eq!( |
| 512 | generate_rs_api(&ir)?, |
| 513 | quote! { |
| 514 | #[inline(always)] |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 515 | pub fn Deref(p: *const *mut i32) -> *mut i32 { |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 516 | unsafe { crate::detail::__rust_thunk__Deref(p) } |
| 517 | } |
| 518 | |
| 519 | mod detail { |
| 520 | extern "C" { |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 521 | pub(crate) fn __rust_thunk__Deref(p: *const *mut i32) -> *mut i32; |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 522 | } // extern |
| 523 | } // mod detail |
| 524 | } |
| 525 | .to_string() |
| 526 | ); |
Devin Jeanpierre | 184f9ac | 2021-09-17 13:47:03 +0000 | [diff] [blame] | 527 | |
| 528 | assert_eq!( |
| 529 | generate_rs_api_impl(&ir)?, |
| 530 | cc_tokens_to_string(quote! { |
| 531 | extern "C" int* __rust_thunk__Deref(int* const * p) { |
| 532 | return Deref(p); |
| 533 | } |
| 534 | })? |
| 535 | ); |
Devin Jeanpierre | 7a7328e | 2021-09-17 07:10:08 +0000 | [diff] [blame] | 536 | Ok(()) |
| 537 | } |
Marcel Hlopko | 42abfc8 | 2021-08-09 07:03:17 +0000 | [diff] [blame] | 538 | } |