tests: ztest: execute unit tests on native_sim boot

Currently, native_sim standalone boot tests were skipped because the
main application overrode test_main() without invoking the test suite
runner for non-QEMU targets. Also, the math arithmetic unit tests were
not compiled into the main image structure natively, reducing test
coverage for native execution.

This patch:
- Injects standalone basic arithmetic math unit tests into the zephyr
  test library when building in standalone boot test mode.
- Modifies CMake definitions and math configuration macros to ensure the
  underlying vector algorithms are compiled globally when Ztest is
  enabled.
- Updates the main test loop invocation to explicitly execute Ztests on
  all boards including native_sim.
- Enables standalone boot tests in the native_sim Kconfig.

Signed-off-by: Liam Girdwood <liam.r.girdwood@linux.intel.com>

Author: lrgirdwo

app/boards/native_sim.conf

@@ -2,3 +2,5 @@ CONFIG_ZEPHYR_POSIX=y
 CONFIG_SYS_HEAP_BIG_ONLY=y
 CONFIG_ZEPHYR_NATIVE_DRIVERS=y
 CONFIG_ZEPHYR_LOG=y
+CONFIG_ZTEST=y
+CONFIG_SOF_BOOT_TEST_STANDALONE=y

app/src/main.c

@@ -77,10 +77,12 @@ static inline void qemu_xtensa_exit(int status)
 void test_main(void)
 {
 	sof_app_main();
-#if CONFIG_SOF_BOOT_TEST && defined(QEMU_BOOT_TESTS)
+#if CONFIG_SOF_BOOT_TEST
 	sof_run_boot_tests();
+#if defined(QEMU_BOOT_TESTS)
 	qemu_xtensa_exit(0);
 #endif
+#endif
 }
 #else
 int main(void)

src/math/CMakeLists.txt

@@ -106,6 +106,12 @@ if(zephyr) ###  Zephyr ###
     ${base_files}
   )
 
+  if(CONFIG_ZTEST)
+    set_source_files_properties(${CMAKE_CURRENT_SOURCE_DIR}/numbers.c
+      PROPERTIES COMPILE_DEFINITIONS "CONFIG_NUMBERS_VECTOR_FIND=1;CONFIG_NUMBERS_NORM=1"
+    )
+  endif()
+
 else() ### library, e.g. testbench or plugin ###
 
   add_local_sources(sof ${base_files})

src/math/numbers.c

@@ -79,7 +79,7 @@ int gcd(int a, int b)
 EXPORT_SYMBOL(gcd);
 #endif /* USE_SOF_GCD */
 
-#if CONFIG_NUMBERS_VECTOR_FIND
+#if CONFIG_NUMBERS_VECTOR_FIND || CONFIG_ZTEST
 
 /* This function searches from vec[] (of length vec_length) integer values
  * of n. The indexes to equal values is returned in idx[]. The function
@@ -133,9 +133,9 @@ int32_t find_max_abs_int32(int32_t vec[], int vec_length)
 	return SATP_INT32(amax); /* Amax is always a positive value */
 }
 
-#endif /* CONFIG_VECTOR_FIND */
+#endif /* CONFIG_VECTOR_FIND || CONFIG_ZTEST */
 
-#if CONFIG_NUMBERS_NORM
+#if CONFIG_NUMBERS_NORM || CONFIG_ZTEST
 
 /* Count the left shift amount to normalize a 32 bit signed integer value
  * without causing overflow. Input value 0 will result to 31.
@@ -155,7 +155,7 @@ int norm_int32(int32_t val)
 }
 EXPORT_SYMBOL(norm_int32);
 
-#endif /* CONFIG_NORM */
+#endif /* CONFIG_NORM || CONFIG_ZTEST */
 
 /**
  * Basic CRC-32 implementation, based on pseudo-code from

src/platform/posix/ipc.c

@@ -24,7 +24,8 @@ static void posix_ipc_isr(void *arg)
 }
 
 // External symbols set up by the fuzzing layer
-extern uint8_t *posix_fuzz_buf, posix_fuzz_sz;
+extern const uint8_t *posix_fuzz_buf;
+extern size_t posix_fuzz_sz;
 
 // Lots of space.  Should really synchronize with the -max_len
 // parameter to libFuzzer (defaults to 4096), but that requires

zephyr/test/CMakeLists.txt

@@ -23,3 +23,20 @@ endif()
 if(CONFIG_SOF_BOOT_TEST_STANDALONE AND CONFIG_SOF_USERSPACE_LL)
   zephyr_library_sources(userspace/test_ll_task.c)
 endif()
+
+if(CONFIG_SOF_BOOT_TEST_STANDALONE AND CONFIG_ZTEST)
+  set(MATH_ZTEST_SOURCES
+    ../../test/ztest/unit/math/basic/arithmetic/test_crc32_ztest.c
+    ../../test/ztest/unit/math/basic/arithmetic/test_find_equal_int16_ztest.c
+    ../../test/ztest/unit/math/basic/arithmetic/test_find_max_abs_int32_ztest.c
+    ../../test/ztest/unit/math/basic/arithmetic/test_find_min_int16_ztest.c
+    ../../test/ztest/unit/math/basic/arithmetic/test_gcd_ztest.c
+    ../../test/ztest/unit/math/basic/arithmetic/test_norm_int32_ztest.c
+  )
+
+  zephyr_library_sources(${MATH_ZTEST_SOURCES})
+
+  set_source_files_properties(${MATH_ZTEST_SOURCES}
+    PROPERTIES COMPILE_DEFINITIONS "CONFIG_NUMBERS_VECTOR_FIND=1;CONFIG_NUMBERS_NORM=1;UNIT_TEST=1"
+  )
+endif()