2019-06-13 23:56:59 +02:00
|
|
|
//! [compile-pass] Check code generation of `spawn`
|
|
|
|
|
2019-04-21 20:13:15 +02:00
|
|
|
#![deny(unsafe_code)]
|
|
|
|
#![deny(warnings)]
|
2018-11-03 17:02:41 +01:00
|
|
|
#![no_main]
|
|
|
|
#![no_std]
|
|
|
|
|
2021-03-03 08:53:03 +01:00
|
|
|
use panic_semihosting as _;
|
2018-11-03 17:02:41 +01:00
|
|
|
|
2020-10-23 10:35:56 +02:00
|
|
|
#[rtic::app(device = lm3s6965, dispatchers = [SSI0])]
|
2020-05-19 20:00:13 +02:00
|
|
|
mod app {
|
2021-09-22 13:22:45 +02:00
|
|
|
use cortex_m_semihosting::debug;
|
|
|
|
|
2021-07-07 22:50:59 +02:00
|
|
|
#[shared]
|
|
|
|
struct Shared {}
|
|
|
|
|
|
|
|
#[local]
|
|
|
|
struct Local {}
|
|
|
|
|
2020-10-11 19:41:57 +02:00
|
|
|
#[init]
|
2021-07-07 22:50:59 +02:00
|
|
|
fn init(_: init::Context) -> (Shared, Local, init::Monotonics) {
|
2020-10-11 19:41:57 +02:00
|
|
|
let _: Result<(), ()> = foo::spawn();
|
|
|
|
let _: Result<(), u32> = bar::spawn(0);
|
|
|
|
let _: Result<(), (u32, u32)> = baz::spawn(0, 1);
|
2020-10-01 19:38:49 +02:00
|
|
|
|
2021-09-22 13:22:45 +02:00
|
|
|
debug::exit(debug::EXIT_SUCCESS); // Exit QEMU simulator
|
|
|
|
|
2021-07-07 22:50:59 +02:00
|
|
|
(Shared {}, Local {}, init::Monotonics())
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
2020-10-11 19:41:57 +02:00
|
|
|
#[idle]
|
|
|
|
fn idle(_: idle::Context) -> ! {
|
|
|
|
let _: Result<(), ()> = foo::spawn();
|
|
|
|
let _: Result<(), u32> = bar::spawn(0);
|
|
|
|
let _: Result<(), (u32, u32)> = baz::spawn(0, 1);
|
2018-11-03 17:02:41 +01:00
|
|
|
|
2020-09-14 09:35:10 +02:00
|
|
|
loop {
|
|
|
|
cortex_m::asm::nop();
|
|
|
|
}
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
2020-10-11 19:41:57 +02:00
|
|
|
#[task(binds = SVCall)]
|
|
|
|
fn svcall(_: svcall::Context) {
|
|
|
|
let _: Result<(), ()> = foo::spawn();
|
|
|
|
let _: Result<(), u32> = bar::spawn(0);
|
|
|
|
let _: Result<(), (u32, u32)> = baz::spawn(0, 1);
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
2020-10-11 19:41:57 +02:00
|
|
|
#[task(binds = UART0)]
|
|
|
|
fn uart0(_: uart0::Context) {
|
|
|
|
let _: Result<(), ()> = foo::spawn();
|
|
|
|
let _: Result<(), u32> = bar::spawn(0);
|
|
|
|
let _: Result<(), (u32, u32)> = baz::spawn(0, 1);
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
2020-10-11 19:41:57 +02:00
|
|
|
#[task]
|
|
|
|
fn foo(_: foo::Context) {
|
|
|
|
let _: Result<(), ()> = foo::spawn();
|
|
|
|
let _: Result<(), u32> = bar::spawn(0);
|
|
|
|
let _: Result<(), (u32, u32)> = baz::spawn(0, 1);
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
#[task]
|
2019-04-21 20:13:15 +02:00
|
|
|
fn bar(_: bar::Context, _x: u32) {}
|
2018-11-03 17:02:41 +01:00
|
|
|
|
|
|
|
#[task]
|
2019-04-21 20:13:15 +02:00
|
|
|
fn baz(_: baz::Context, _x: u32, _y: u32) {}
|
2020-04-22 12:58:14 +02:00
|
|
|
}
|