tests: subsys: llext: Add test for LLEXT_RODATA_NO_RELOC.

Test extension for CONFIG_LLEXT_RODATA_NO_RELOC feature.

Signed-off-by: Ibrahim Abdalkader <[email protected]>

Author: iabdalkader

tests/subsys/llext/CMakeLists.txt

@@ -47,6 +47,10 @@ if(NOT CONFIG_LLEXT_TYPE_ELF_SHAREDLIB)
     list(APPEND ext_names init_fini)
 endif()
 
+#if(CONFIG_LLEXT_RODATA_NO_RELOC)
+    list(APPEND ext_names rodata_no_reloc)
+#endif()
+
 # generate extension targets for each extension in 'ext_names'
 foreach(ext_name ${ext_names})
   set(ext_src ${PROJECT_SOURCE_DIR}/src/${ext_name}_ext.c)

tests/subsys/llext/src/rodata_no_reloc_ext.c

@@ -0,0 +1,54 @@
+/*
+ * Copyright (c) 2025 Arduino SA
+ *
+ * SPDX-License-Identifier: Apache-2.0
+ */
+
+/*
+ * Test extension for CONFIG_LLEXT_RODATA_NO_RELOC feature.
+ */
+
+#include <stdint.h>
+#include <zephyr/llext/symbol.h>
+#include <zephyr/sys/printk.h>
+#include <zephyr/ztest_assert.h>
+
+/* rodata with a relocation - forces copy to RAM */
+Z_GENERIC_SECTION(.rodata)
+static const void *reloc_rodata[] = {
+	&printk
+};
+
+/* rodata with no relocation - stays in flash */
+Z_GENERIC_SECTION(.rodata.noreloc)
+static const uint32_t flash_rodata[] = {
+	0x12345678, 0x9ABCDEF0, 0xCAFEBABE, 0xFEEDFACE,
+};
+
+void test_entry(void)
+{
+	uintptr_t reloc_addr = (uintptr_t)&reloc_rodata;
+	uintptr_t flash_addr = (uintptr_t)&flash_rodata;
+
+	printk("reloc_rodata at %p\n", (void *)reloc_addr);
+	printk("flash_rodata at %p\n", (void *)flash_addr);
+
+	uintptr_t sram_start = CONFIG_SRAM_BASE_ADDRESS;
+	uintptr_t sram_end = sram_start + CONFIG_SRAM_SIZE * 1024UL;
+
+	printk("SRAM range: 0x%lx - 0x%lx\n", (unsigned long)sram_start, (unsigned long)sram_end);
+
+#if defined(CONFIG_LLEXT_RODATA_NO_RELOC) && !defined(CONFIG_CPU_CORTEX_A9)
+	/* flash_rodata should stay in flash */
+	zassert_true(flash_addr < sram_start || flash_addr >= sram_end,
+		     "flash_rodata should NOT be in SRAM");
+#else
+	/* flash_rodata should be relocated to RAM */
+	zassert_true(flash_addr >= sram_start || flash_addr < sram_end,
+		     "flash_rodata in SRAM");
+#endif
+	/* reloc_rodata should be relocated to RAM */
+	zassert_true(reloc_addr >= sram_start && reloc_addr < sram_end,
+		     "reloc_rodata in SRAM");
+}
+EXPORT_SYMBOL(test_entry);

tests/subsys/llext/src/test_llext.c

@@ -323,6 +323,13 @@ static LLEXT_CONST uint8_t align_ext[] ELF_ALIGN = {
 };
 LLEXT_LOAD_UNLOAD(align)
 
+#if defined(CONFIG_LLEXT_RODATA_NO_RELOC)
+static LLEXT_CONST uint8_t rodata_no_reloc_ext[] ELF_ALIGN = {
+	#include "rodata_no_reloc.inc"
+};
+LLEXT_LOAD_UNLOAD(rodata_no_reloc)
+#endif
+
 static LLEXT_CONST uint8_t inspect_ext[] ELF_ALIGN = {
 	#include "inspect.inc"
 };

tests/subsys/llext/testcase.yaml

@@ -64,6 +64,18 @@ tests:
     extra_configs:
       - CONFIG_LLEXT_HEAP_SIZE=128 # qemu_cortex_a9 requires larger heap
       - CONFIG_LLEXT_STORAGE_WRITABLE=n
+  llext.rodata_no_reloc:
+    arch_allow:
+      - arm
+      - riscv
+      - arc
+      - x86
+    filter: not CONFIG_MPU and not CONFIG_MMU
+    extra_conf_files: ['no_mem_protection.conf']
+    extra_configs:
+      - CONFIG_LLEXT_HEAP_SIZE=128
+      - CONFIG_LLEXT_STORAGE_WRITABLE=n
+      - CONFIG_LLEXT_RODATA_NO_RELOC=y
   llext.writable:
     arch_allow:
       - arm
@@ -80,10 +92,8 @@ tests:
   llext.writable_relocatable:
     arch_allow:
       - arm
-      - xtensa
       - riscv
       - arc
-      - x86
     platform_exclude:
       - qemu_arc/qemu_arc_hs5x     # See #80949
       - nsim/nsim_hs5x             # See #80949