feat(tests): Add test to verify hard float scheduling on Cortex-M

Signed-off-by: Ollrogge <nils-ollrogge@outlook.de>

Author: Ollrogge

Cargo.lock

@@ -36,6 +36,7 @@ members = [
   "tests/threading-dynamic-prios",
   "tests/threading-lock",
   "tests/threading-mutex",
+  "tests/threading-fpu",
 ]
 
 exclude = ["src/lib", "doc"]

Cargo.toml

@@ -9,5 +9,6 @@ subdirs:
   - spi-loopback
   - spi-main
   - threading-dynamic-prios
+  - threading-fpu
   - threading-lock
   - threading-mutex

tests/laze.yml

@@ -0,0 +1,9 @@
+[package]
+name = "threading-fpu"
+edition.workspace = true
+license.workspace = true
+publish = false
+
+[dependencies]
+ariel-os = { path = "../../src/ariel-os" }
+ariel-os-boards = { path = "../../src/ariel-os-boards" }

tests/threading-fpu/Cargo.toml

@@ -0,0 +1,8 @@
+apps:
+  - name: threading-fpu
+    selects:
+      - sw/threading
+      - "context::stm32c031c6":
+          - too-little-memory
+    conflicts:
+      - ram-tiny

tests/threading-fpu/laze.yml

@@ -0,0 +1,41 @@
+#![no_main]
+#![no_std]
+
+use ariel_os::{debug::log::info, thread};
+
+#[ariel_os::thread(autostart)]
+fn thread0() {
+    info!("Hello from thread 0");
+    let mut a: f32 = 1.111;
+    let mut b = 2.222;
+    let mut test = 0.0;
+    for _ in 0..10 {
+        a += 1.1234;
+        b += 2.5678;
+
+        test += a + b;
+        thread::yield_same();
+    }
+
+    assert_eq!(test, 236.34601_f32);
+    info!("Thread 0 success");
+}
+
+#[ariel_os::thread(autostart)]
+fn thread1() {
+    info!("Hello from thread 1");
+    let mut a: f32 = 3.333;
+    let mut b = 4.444;
+    let mut test = 0.0;
+    for _ in 0..10 {
+        a += 3.4321;
+        b += 4.8765;
+
+        test += a * b;
+
+        thread::yield_same();
+    }
+
+    assert_eq!(test, 8324.532_f32);
+    info!("Thread 1 success");
+}