From 9e445b3583c15c7701f3167eaa8dfe4afd541691 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Tj=C3=A4der?= <henrik@tjaders.com>
Date: Sat, 4 Feb 2023 16:47:17 +0100
Subject: Move rtic macros to repo root, tune xtask

---
 rtic-macros/src/codegen/assertions.rs | 53 +++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 rtic-macros/src/codegen/assertions.rs

(limited to 'rtic-macros/src/codegen/assertions.rs')

diff --git a/rtic-macros/src/codegen/assertions.rs b/rtic-macros/src/codegen/assertions.rs
new file mode 100644
index 0000000..dd94aa6
--- /dev/null
+++ b/rtic-macros/src/codegen/assertions.rs
@@ -0,0 +1,53 @@
+use proc_macro2::TokenStream as TokenStream2;
+use quote::quote;
+
+use crate::syntax::ast::App;
+use crate::{analyze::Analysis, codegen::util};
+
+/// Generates compile-time assertions that check that types implement the `Send` / `Sync` traits
+pub fn codegen(app: &App, analysis: &Analysis) -> Vec<TokenStream2> {
+    let mut stmts = vec![];
+
+    for ty in &analysis.send_types {
+        stmts.push(quote!(rtic::export::assert_send::<#ty>();));
+    }
+
+    for ty in &analysis.sync_types {
+        stmts.push(quote!(rtic::export::assert_sync::<#ty>();));
+    }
+
+    let device = &app.args.device;
+    let chunks_name = util::priority_mask_chunks_ident();
+    let no_basepri_checks: Vec<_> = app
+        .hardware_tasks
+        .iter()
+        .filter_map(|(_, task)| {
+            if !util::is_exception(&task.args.binds) {
+                let interrupt_name = &task.args.binds;
+                Some(quote!(
+                    if (#device::Interrupt::#interrupt_name as usize) >= (#chunks_name * 32) {
+                        ::core::panic!("An interrupt out of range is used while in armv6 or armv8m.base");
+                    }
+                ))
+            } else {
+                None
+            }
+        })
+        .collect();
+
+    let const_check = quote! {
+        const _CONST_CHECK: () = {
+            if !rtic::export::have_basepri() {
+                #(#no_basepri_checks)*
+            } else {
+                // TODO: Add armv7 checks here
+            }
+        };
+
+        let _ = _CONST_CHECK;
+    };
+
+    stmts.push(const_check);
+
+    stmts
+}
-- 
cgit v1.2.3


From 60f0342b697cdddbab9c0e8c6d772bc7aab9de38 Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Sat, 11 Feb 2023 08:55:19 +0100
Subject: Break out core specific codegen to bindings

---
 rtic-macros/src/codegen/assertions.rs | 36 +++--------------------------------
 1 file changed, 3 insertions(+), 33 deletions(-)

(limited to 'rtic-macros/src/codegen/assertions.rs')

diff --git a/rtic-macros/src/codegen/assertions.rs b/rtic-macros/src/codegen/assertions.rs
index dd94aa6..2f5dd52 100644
--- a/rtic-macros/src/codegen/assertions.rs
+++ b/rtic-macros/src/codegen/assertions.rs
@@ -1,8 +1,9 @@
 use proc_macro2::TokenStream as TokenStream2;
 use quote::quote;
 
+use super::bindings::extra_assertions;
+use crate::analyze::Analysis;
 use crate::syntax::ast::App;
-use crate::{analyze::Analysis, codegen::util};
 
 /// Generates compile-time assertions that check that types implement the `Send` / `Sync` traits
 pub fn codegen(app: &App, analysis: &Analysis) -> Vec<TokenStream2> {
@@ -16,38 +17,7 @@ pub fn codegen(app: &App, analysis: &Analysis) -> Vec<TokenStream2> {
         stmts.push(quote!(rtic::export::assert_sync::<#ty>();));
     }
 
-    let device = &app.args.device;
-    let chunks_name = util::priority_mask_chunks_ident();
-    let no_basepri_checks: Vec<_> = app
-        .hardware_tasks
-        .iter()
-        .filter_map(|(_, task)| {
-            if !util::is_exception(&task.args.binds) {
-                let interrupt_name = &task.args.binds;
-                Some(quote!(
-                    if (#device::Interrupt::#interrupt_name as usize) >= (#chunks_name * 32) {
-                        ::core::panic!("An interrupt out of range is used while in armv6 or armv8m.base");
-                    }
-                ))
-            } else {
-                None
-            }
-        })
-        .collect();
-
-    let const_check = quote! {
-        const _CONST_CHECK: () = {
-            if !rtic::export::have_basepri() {
-                #(#no_basepri_checks)*
-            } else {
-                // TODO: Add armv7 checks here
-            }
-        };
-
-        let _ = _CONST_CHECK;
-    };
-
-    stmts.push(const_check);
+    stmts.append(&mut extra_assertions(app, analysis));
 
     stmts
 }
-- 
cgit v1.2.3