Sw: Add test for stack pointer corruption

sw/tests/testSp.c

@@ -0,0 +1,24 @@
+// Copyright 2024 ETH Zurich and University of Bologna.
+// Licensed under the Apache License, Version 2.0, see LICENSE for details.
+// SPDX-License-Identifier: Apache-2.0
+//
+// Sergio Mazzola <[email protected]>
+
+// Test stack pointer corruption
+
+#include <soc_addr_map.h>
+#include <stdint.h>
+
+int main() {
+ volatile int32_t a = 0;
+
+ for (volatile int32_t i = 0; i < 5; i++) {
+ a += i;
+ }
+
+ if (a == 10) {
+ return 0x7fffffff;
+ } else {
+ return 0xabcdef00;
+ }
+}