diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-11-03 17:02:41 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-11-03 17:16:55 +0100 |
| commit | c631049efcadca8b07940c794cce2be58fa48444 (patch) | |
| tree | f6bd73e5c396fc06072557ee965cc59e9c8e3e9f /tests/cpass/spawn.rs | |
| parent | 653338e7997a0cdc5deaed98b1bb5f60006717ed (diff) | |
v0.4.0
closes #32
closes #33
Diffstat (limited to 'tests/cpass/spawn.rs')
| -rw-r--r-- | tests/cpass/spawn.rs | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/tests/cpass/spawn.rs b/tests/cpass/spawn.rs new file mode 100644 index 0000000..ba5a855 --- /dev/null +++ b/tests/cpass/spawn.rs @@ -0,0 +1,60 @@ +//! Check code generation of `spawn` +#![feature(extern_crate_item_prelude)] // ??? +#![no_main] +#![no_std] + +extern crate lm3s6965; +extern crate panic_halt; +extern crate rtfm; + +use rtfm::app; + +#[app(device = lm3s6965)] +const APP: () = { + #[init(spawn = [foo, bar, baz])] + fn init() { + let _: Result<(), ()> = spawn.foo(); + let _: Result<(), u32> = spawn.bar(0); + let _: Result<(), (u32, u32)> = spawn.baz(0, 1); + } + + #[idle(spawn = [foo, bar, baz])] + fn idle() -> ! { + let _: Result<(), ()> = spawn.foo(); + let _: Result<(), u32> = spawn.bar(0); + let _: Result<(), (u32, u32)> = spawn.baz(0, 1); + + loop {} + } + + #[exception(spawn = [foo, bar, baz])] + fn SVCall() { + let _: Result<(), ()> = spawn.foo(); + let _: Result<(), u32> = spawn.bar(0); + let _: Result<(), (u32, u32)> = spawn.baz(0, 1); + } + + #[interrupt(spawn = [foo, bar, baz])] + fn UART0() { + let _: Result<(), ()> = spawn.foo(); + let _: Result<(), u32> = spawn.bar(0); + let _: Result<(), (u32, u32)> = spawn.baz(0, 1); + } + + #[task(spawn = [foo, bar, baz])] + fn foo() { + let _: Result<(), ()> = spawn.foo(); + let _: Result<(), u32> = spawn.bar(0); + let _: Result<(), (u32, u32)> = spawn.baz(0, 1); + } + + #[task] + fn bar(_x: u32) {} + + #[task] + fn baz(_x: u32, _y: u32) {} + + extern "C" { + fn UART1(); + } +}; |
