2020-10-19 21:15:24 +02:00
|
|
|
#![feature(proc_macro_diagnostic)]
|
|
|
|
|
|
|
|
extern crate proc_macro;
|
|
|
|
|
|
|
|
use darling::FromMeta;
|
2021-02-14 01:41:36 +01:00
|
|
|
use proc_macro::{Span, TokenStream};
|
2020-10-19 21:15:24 +02:00
|
|
|
use quote::{format_ident, quote};
|
|
|
|
use syn::spanned::Spanned;
|
|
|
|
|
|
|
|
#[derive(Debug, FromMeta)]
|
|
|
|
struct MacroArgs {
|
|
|
|
#[darling(default)]
|
|
|
|
pool_size: Option<usize>,
|
2021-02-02 05:14:52 +01:00
|
|
|
#[darling(default)]
|
|
|
|
send: bool,
|
2020-10-19 21:15:24 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#[proc_macro_attribute]
|
|
|
|
pub fn task(args: TokenStream, item: TokenStream) -> TokenStream {
|
2021-02-02 05:14:52 +01:00
|
|
|
let macro_args = syn::parse_macro_input!(args as syn::AttributeArgs);
|
2020-10-19 21:15:24 +02:00
|
|
|
let mut task_fn = syn::parse_macro_input!(item as syn::ItemFn);
|
|
|
|
|
2021-02-02 05:14:52 +01:00
|
|
|
let macro_args = match MacroArgs::from_list(¯o_args) {
|
2020-10-19 21:15:24 +02:00
|
|
|
Ok(v) => v,
|
|
|
|
Err(e) => {
|
|
|
|
return TokenStream::from(e.write_errors());
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2021-02-02 05:14:52 +01:00
|
|
|
let pool_size: usize = macro_args.pool_size.unwrap_or(1);
|
2020-10-19 21:15:24 +02:00
|
|
|
|
|
|
|
let mut fail = false;
|
|
|
|
if task_fn.sig.asyncness.is_none() {
|
|
|
|
task_fn
|
|
|
|
.sig
|
|
|
|
.span()
|
|
|
|
.unwrap()
|
|
|
|
.error("task functions must be async")
|
|
|
|
.emit();
|
|
|
|
fail = true;
|
|
|
|
}
|
2021-02-14 01:41:36 +01:00
|
|
|
if !task_fn.sig.generics.params.is_empty() {
|
2020-10-19 21:15:24 +02:00
|
|
|
task_fn
|
|
|
|
.sig
|
|
|
|
.span()
|
|
|
|
.unwrap()
|
|
|
|
.error("task functions must not be generic")
|
|
|
|
.emit();
|
|
|
|
fail = true;
|
|
|
|
}
|
|
|
|
if pool_size < 1 {
|
|
|
|
Span::call_site()
|
|
|
|
.error("pool_size must be 1 or greater")
|
|
|
|
.emit();
|
|
|
|
fail = true
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut arg_names: syn::punctuated::Punctuated<syn::Ident, syn::Token![,]> =
|
|
|
|
syn::punctuated::Punctuated::new();
|
2020-12-31 15:38:10 +01:00
|
|
|
let mut args = task_fn.sig.inputs.clone();
|
2020-10-19 21:15:24 +02:00
|
|
|
|
2020-12-31 15:38:10 +01:00
|
|
|
for arg in args.iter_mut() {
|
2020-10-19 21:15:24 +02:00
|
|
|
match arg {
|
|
|
|
syn::FnArg::Receiver(_) => {
|
|
|
|
arg.span()
|
|
|
|
.unwrap()
|
|
|
|
.error("task functions must not have receiver arguments")
|
|
|
|
.emit();
|
|
|
|
fail = true;
|
|
|
|
}
|
2020-12-31 15:38:10 +01:00
|
|
|
syn::FnArg::Typed(t) => match t.pat.as_mut() {
|
|
|
|
syn::Pat::Ident(i) => {
|
|
|
|
arg_names.push(i.ident.clone());
|
|
|
|
i.mutability = None;
|
|
|
|
}
|
2020-10-19 21:15:24 +02:00
|
|
|
_ => {
|
|
|
|
arg.span()
|
|
|
|
.unwrap()
|
|
|
|
.error("pattern matching in task arguments is not yet supporteds")
|
|
|
|
.emit();
|
|
|
|
fail = true;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if fail {
|
|
|
|
return TokenStream::new();
|
|
|
|
}
|
|
|
|
|
|
|
|
let name = task_fn.sig.ident.clone();
|
|
|
|
|
|
|
|
let visibility = &task_fn.vis;
|
2020-10-31 16:36:09 +01:00
|
|
|
task_fn.sig.ident = format_ident!("task");
|
2021-02-02 05:14:52 +01:00
|
|
|
let impl_ty = if macro_args.send {
|
|
|
|
quote!(impl ::core::future::Future + Send + 'static)
|
|
|
|
} else {
|
|
|
|
quote!(impl ::core::future::Future + 'static)
|
|
|
|
};
|
2020-10-19 21:15:24 +02:00
|
|
|
|
|
|
|
let result = quote! {
|
2021-02-02 05:14:52 +01:00
|
|
|
#visibility fn #name(#args) -> ::embassy::executor::SpawnToken<#impl_ty> {
|
2020-10-31 16:36:09 +01:00
|
|
|
#task_fn
|
2021-02-02 05:14:52 +01:00
|
|
|
type F = #impl_ty;
|
2020-10-31 16:36:09 +01:00
|
|
|
static POOL: [::embassy::executor::Task<F>; #pool_size] = [::embassy::executor::Task::new(); #pool_size];
|
2020-11-03 22:12:45 +01:00
|
|
|
unsafe { ::embassy::executor::Task::spawn(&POOL, move || task(#arg_names)) }
|
2020-10-19 21:15:24 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
result.into()
|
|
|
|
}
|
2020-12-29 00:05:52 +01:00
|
|
|
|
|
|
|
#[proc_macro]
|
|
|
|
pub fn interrupt_declare(item: TokenStream) -> TokenStream {
|
|
|
|
let name = syn::parse_macro_input!(item as syn::Ident);
|
|
|
|
let name = format_ident!("{}", name);
|
|
|
|
let name_interrupt = format_ident!("{}Interrupt", name);
|
|
|
|
let name_handler = format!("__EMBASSY_{}_HANDLER", name);
|
|
|
|
|
|
|
|
let result = quote! {
|
|
|
|
#[allow(non_camel_case_types)]
|
|
|
|
pub struct #name_interrupt(());
|
|
|
|
unsafe impl OwnedInterrupt for #name_interrupt {
|
|
|
|
type Priority = Priority;
|
|
|
|
fn number(&self) -> u8 {
|
2021-01-17 17:28:46 +01:00
|
|
|
use cortex_m::interrupt::Nr;
|
|
|
|
let irq = Interrupt::#name;
|
|
|
|
irq.nr() as u8
|
2020-12-29 00:05:52 +01:00
|
|
|
}
|
2021-02-02 05:14:52 +01:00
|
|
|
unsafe fn steal() -> Self {
|
|
|
|
Self(())
|
|
|
|
}
|
2021-01-04 22:25:39 +01:00
|
|
|
unsafe fn __handler(&self) -> &'static ::embassy::interrupt::Handler {
|
2020-12-29 00:05:52 +01:00
|
|
|
#[export_name = #name_handler]
|
2021-01-04 22:25:39 +01:00
|
|
|
static HANDLER: ::embassy::interrupt::Handler = ::embassy::interrupt::Handler::new();
|
2020-12-29 00:05:52 +01:00
|
|
|
&HANDLER
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
result.into()
|
|
|
|
}
|
|
|
|
|
|
|
|
#[proc_macro]
|
|
|
|
pub fn interrupt_take(item: TokenStream) -> TokenStream {
|
|
|
|
let name = syn::parse_macro_input!(item as syn::Ident);
|
|
|
|
let name = format!("{}", name);
|
|
|
|
let name_interrupt = format_ident!("{}Interrupt", name);
|
|
|
|
let name_handler = format!("__EMBASSY_{}_HANDLER", name);
|
|
|
|
|
|
|
|
let result = quote! {
|
|
|
|
{
|
|
|
|
#[allow(non_snake_case)]
|
|
|
|
#[export_name = #name]
|
|
|
|
pub unsafe extern "C" fn trampoline() {
|
|
|
|
extern "C" {
|
|
|
|
#[link_name = #name_handler]
|
2021-01-04 22:25:39 +01:00
|
|
|
static HANDLER: ::embassy::interrupt::Handler;
|
2020-12-29 00:05:52 +01:00
|
|
|
}
|
|
|
|
|
2021-01-04 22:25:39 +01:00
|
|
|
let func = HANDLER.func.load(::core::sync::atomic::Ordering::Acquire);
|
|
|
|
let ctx = HANDLER.ctx.load(::core::sync::atomic::Ordering::Acquire);
|
|
|
|
if !func.is_null() {
|
|
|
|
let func: fn(*mut ()) = ::core::mem::transmute(func);
|
|
|
|
func(ctx)
|
2020-12-29 00:05:52 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static TAKEN: ::core::sync::atomic::AtomicBool = ::core::sync::atomic::AtomicBool::new(false);
|
|
|
|
|
2020-12-30 01:06:05 +01:00
|
|
|
if TAKEN.compare_exchange(false, true, ::core::sync::atomic::Ordering::AcqRel, ::core::sync::atomic::Ordering::Acquire).is_err() {
|
2020-12-29 00:05:52 +01:00
|
|
|
panic!("IRQ Already taken");
|
|
|
|
}
|
|
|
|
|
|
|
|
let irq: interrupt::#name_interrupt = unsafe { ::core::mem::transmute(()) };
|
|
|
|
irq
|
|
|
|
}
|
|
|
|
};
|
|
|
|
result.into()
|
|
|
|
}
|