diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/guality/pr68037-3.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/guality/pr68037-3.c | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/guality/pr68037-3.c b/gcc/testsuite/gcc.dg/guality/pr68037-3.c new file mode 100644 index 00000000000..7f9af3dd152 --- /dev/null +++ b/gcc/testsuite/gcc.dg/guality/pr68037-3.c @@ -0,0 +1,76 @@ +/* { dg-do run { target i?86-*-* x86_64-*-* } } */ +/* { dg-options "-g -mno-mpx -mno-sse -mno-mmx -mno-80387" } */ + +#include <stddef.h> + +extern void exit (int); + +typedef unsigned int uword_t __attribute__ ((mode (__word__))); +typedef int aligned __attribute__((aligned(64))); + +#define IP 0x12345671 +#define CS 0x12345672 +#define FLAGS 0x12345673 +#define SP 0x12345674 +#define SS 0x12345675 + +#define STRING(x) XSTRING(x) +#define XSTRING(x) #x + +struct interrupt_frame +{ + uword_t ip; + uword_t cs; + uword_t flags; + uword_t sp; + uword_t ss; +}; + +int +check_int (int *i, int align) +{ + *i = 20; + if ((((ptrdiff_t) i) & (align - 1)) != 0) + __builtin_abort (); + return *i; +} + +__attribute__((interrupt, used)) +void +fn (struct interrupt_frame *frame) +{ + aligned i; + if (check_int (&i, __alignof__(i)) != i) + __builtin_abort (); + + if (IP != frame->ip) /* BREAK */ + __builtin_abort (); + if (CS != frame->cs) + __builtin_abort (); + if (FLAGS != frame->flags) + __builtin_abort (); + if (SP != frame->sp) + __builtin_abort (); + if (SS != frame->ss) + __builtin_abort (); + + exit (0); +} + +int +main () +{ + asm ("push $" STRING (SS) "; \ + push $" STRING (SP) "; \ + push $" STRING (FLAGS) "; \ + push $" STRING (CS) "; \ + push $" STRING (IP) "; \ + jmp fn"); + return 0; +} + +/* { dg-final { gdb-test 46 "frame->ip" "0x12345671" } } */ +/* { dg-final { gdb-test 46 "frame->cs" "0x12345672" } } */ +/* { dg-final { gdb-test 46 "frame->flags" "0x12345673" } } */ +/* { dg-final { gdb-test 46 "frame->sp" "0x12345674" } } */ +/* { dg-final { gdb-test 46 "frame->ss" "0x12345675" } } */ |