From 0d9b6d7ce3bbceb6e263814d0f1bf5906207ad9f Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Wed, 7 Mar 2018 13:36:37 +0100
Subject: [PATCH] stubs.. bkpt
---
macros/src/trans.rs | 34 ++++++++++++++++++++++++++--------
1 file changed, 26 insertions(+), 8 deletions(-)
diff --git a/macros/src/trans.rs b/macros/src/trans.rs
index e091bc0..47d5804 100644
--- a/macros/src/trans.rs
+++ b/macros/src/trans.rs
@@ -18,7 +18,9 @@ pub fn app(app: &App, ownerships: &Ownerships) -> Tokens {
::trans::tasks(app, ownerships, &mut root);
root.push(quote! {
+ #[allow(private_no_mangle_fns)]
#[allow(unsafe_code)]
+ //#[no_mangle]
fn main() {
#(#main)*
}
@@ -427,14 +429,10 @@ fn init(app: &App, main: &mut Vec<Tokens>, root: &mut Vec<Tokens>) {
});
});
} else {
- // wcet_mode
- // panic!();
- for (name, _task) in &app.tasks {
- let _name = Ident::new(format!("stub_{}", name.as_ref()));
- main.push(quote!{
- #_name();
- });
- }
+ // wcet_mode, call to wcet_start
+ main.push(quote! {
+ wcet_start();
+ });
}
} else {
// code generation for klee_mode
@@ -713,4 +711,24 @@ fn tasks(app: &App, ownerships: &Ownerships, root: &mut Vec<Tokens>) {
}
});
}
+ if cfg!(feature = "wcet_bkpt") {
+ let mut stubs = vec![];
+ for (name, _task) in &app.tasks {
+ let _name = Ident::new(format!("stub_{}", name.as_ref()));
+ stubs.push(quote!{
+ #_name();
+ });
+ }
+
+ root.push(quote! {
+ extern crate cortex_m;
+ #[inline(never)]
+ #[allow(private_no_mangle_fns)]
+ #[no_mangle]
+ pub fn wcet_start() {
+ #(#stubs)*
+ cortex_m::asm::bkpt();
+ }
+ });
+ }
}
--
GitLab