diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-03-04 21:10:24 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-04 21:10:24 +0000 |
| commit | 7c7d6558f6d9c50fbb4d2487c98c9a5be15f2f7b (patch) | |
| tree | 80a47f0dc40059014e9448c4c2eb34c54dff45fe /macros/src/codegen/shared_resources_struct.rs | |
| parent | 1c5db277e4161470136dbd2a11e914ff1d383581 (diff) | |
| parent | 98c5490d94950608d31cd5ad9dd260f2f853735c (diff) | |
Merge #694
694: RTIC 2 r=AfoHT a=korken89
Co-authored-by: Emil Fresk <emil.fresk@gmail.com>
Co-authored-by: Per Lindgren <per.lindgren@ltu.se>
Diffstat (limited to 'macros/src/codegen/shared_resources_struct.rs')
| -rw-r--r-- | macros/src/codegen/shared_resources_struct.rs | 159 |
1 files changed, 0 insertions, 159 deletions
diff --git a/macros/src/codegen/shared_resources_struct.rs b/macros/src/codegen/shared_resources_struct.rs deleted file mode 100644 index df36271..0000000 --- a/macros/src/codegen/shared_resources_struct.rs +++ /dev/null @@ -1,159 +0,0 @@ -use proc_macro2::TokenStream as TokenStream2; -use quote::quote; -use rtic_syntax::{ast::App, Context}; - -use crate::codegen::util; - -/// Generate shared resources structs -pub fn codegen(ctxt: Context, needs_lt: &mut bool, app: &App) -> (TokenStream2, TokenStream2) { - let mut lt = None; - - let resources = match ctxt { - Context::Init => unreachable!("Tried to generate shared resources struct for init"), - Context::Idle => &app.idle.as_ref().unwrap().args.shared_resources, - Context::HardwareTask(name) => &app.hardware_tasks[name].args.shared_resources, - Context::SoftwareTask(name) => &app.software_tasks[name].args.shared_resources, - }; - - let v = Vec::new(); - let task_cfgs = match ctxt { - Context::HardwareTask(t) => { - &app.hardware_tasks[t].cfgs - // ... - } - Context::SoftwareTask(t) => { - &app.software_tasks[t].cfgs - // ... - } - _ => &v, - }; - - let mut fields = vec![]; - let mut values = vec![]; - let mut has_cfgs = false; - - for (name, access) in resources { - let res = app.shared_resources.get(name).expect("UNREACHABLE"); - - let cfgs = &res.cfgs; - has_cfgs |= !cfgs.is_empty(); - - // access hold if the resource is [x] (exclusive) or [&x] (shared) - let mut_ = if access.is_exclusive() { - Some(quote!(mut)) - } else { - None - }; - let ty = &res.ty; - let mangled_name = util::static_shared_resource_ident(name); - let shared_name = util::need_to_lock_ident(name); - - if res.properties.lock_free { - // Lock free resources of `idle` and `init` get 'static lifetime - let lt = if ctxt.runs_once() { - quote!('static) - } else { - lt = Some(quote!('a)); - quote!('a) - }; - - let lock_free_resource_doc = format!(" Lock free resource `{name}`"); - fields.push(quote!( - #[doc = #lock_free_resource_doc] - #(#cfgs)* - pub #name: &#lt #mut_ #ty - )); - } else if access.is_shared() { - lt = Some(quote!('a)); - - let shared_resource_doc = format!(" Shared resource `{name}`"); - fields.push(quote!( - #[doc = #shared_resource_doc] - #(#cfgs)* - pub #name: &'a #ty - )); - } else { - // Resource proxy - lt = Some(quote!('a)); - - let resource_doc = - format!(" Resource proxy resource `{name}`. Use method `.lock()` to gain access"); - fields.push(quote!( - #[doc = #resource_doc] - #(#cfgs)* - pub #name: shared_resources::#shared_name<'a> - )); - - values.push(quote!( - #[doc(hidden)] - #(#cfgs)* - #name: shared_resources::#shared_name::new(priority) - - )); - - // continue as the value has been filled, - continue; - } - - let resource_doc; - let expr = if access.is_exclusive() { - resource_doc = format!(" Exclusive access resource `{name}`"); - quote!(&mut *(&mut *#mangled_name.get_mut()).as_mut_ptr()) - } else { - resource_doc = format!(" Non-exclusive access resource `{name}`"); - quote!(&*(&*#mangled_name.get()).as_ptr()) - }; - - values.push(quote!( - #[doc = #resource_doc] - #(#cfgs)* - #name: #expr - )); - } - - if lt.is_some() { - *needs_lt = true; - - // The struct could end up empty due to `cfg`s leading to an error due to `'a` being unused - if has_cfgs { - fields.push(quote!( - #[doc(hidden)] - pub __marker__: core::marker::PhantomData<&'a ()> - )); - - values.push(quote!(__marker__: core::marker::PhantomData)); - } - } - - let doc = format!(" Shared resources `{}` has access to", ctxt.ident(app)); - let ident = util::shared_resources_ident(ctxt, app); - let item = quote!( - #[allow(non_snake_case)] - #[allow(non_camel_case_types)] - #[doc = #doc] - #(#task_cfgs)* - pub struct #ident<#lt> { - #(#fields,)* - } - ); - - let arg = if ctxt.is_init() { - None - } else { - Some(quote!(priority: &#lt rtic::export::Priority)) - }; - let constructor = quote!( - #(#task_cfgs)* - impl<#lt> #ident<#lt> { - #[doc(hidden)] - #[inline(always)] - pub unsafe fn new(#arg) -> Self { - #ident { - #(#values,)* - } - } - } - ); - - (item, constructor) -} |
