mehrdadh opened a new issue #8474: URL: https://github.com/apache/tvm/issues/8474
There's an issue with AOT demo where the zephyr RTOS doesn't guarantee that [g_aot_memory](https://github.com/apache/tvm/blob/e1b3ff4ae3b1ea22691e8d3cc9c001459a7aa080/apps/microtvm/zephyr/aot_demo/src/main.c#L43) start with a 4 bytes alignment memory address. Therefore, it will cause an exception specially on fp32 operations. One simple hack is to add memory alignment to `g_aot_memory` which is used by stack allocator: ``` static uint8_t __attribute__((aligned(4))) g_aot_memory[WORKSPACE_SIZE]; ``` We need to investigate more to figure out whether this is a Zephyr RTOS bug or there's a configuration that is missing in our Zephyr AOT demo. Also our current `test_zephyr_aot.py` doesn't catch this problem. Ideally we should add a test to check this specifically for Zephyr RTOS. Thanks to @areusch and @gromero for helping to find this issue. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
