blob: 6c5187b202849579277c1d6340bef9dd1178a7cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/* Test epilogue of a realigned interrupt handler. */
/* { dg-do run } */
/* { dg-options "-mthumb -Os" } */
/* { dg-skip-if "" { ! { arm_thumb1_ok || arm_thumb2_ok } } } */
/* { dg-require-effective-target arm_cortex_m } */
/* { dg-require-effective-target arm_eabi } */
extern __attribute__((noreturn)) void abort(void);
extern int snprintf(char *, int, const char *, ...);
#define BUFF_LEN 256
char buff[BUFF_LEN];
char *get_buffer(void)
{
return buff;
}
void __attribute__((interrupt)) foo(void)
{
char *msg = get_buffer();
snprintf(msg, BUFF_LEN, "%d %p", 1, buff+BUFF_LEN);
}
volatile void * save_sp;
int main()
{
register volatile void * sp asm("sp");
/* Check stack pointer before/after calling the interrupt
* handler. Not equal means that handler doesn't restore
* stack correctly. */
save_sp = sp;
foo();
/* Abort here instead of return non-zero. Due to wrong sp, lr value,
* returning from main may not work. */
if (save_sp != sp)
{
sp = save_sp;
abort();
}
return 0;
}
|
