| /* { dg-do run { target { { i?86-*-* x86_64-*-* } && { ! ia32 } } } } */ |
| /* { dg-skip-if "PR81210 sp not aligned to 16 bytes" { *-*-darwin* } } */ |
| /* { dg-options "-muintr -mgeneral-regs-only" } */ |
| |
| #include <x86gprintrin.h> |
| |
| extern void exit (int); |
| typedef unsigned int uword_t __attribute__ ((mode (__word__))); |
| |
| #define UIRRV 0x12345670 |
| #define RIP 0x12345671 |
| #define RFLAGS 0x12345672 |
| #define RSP 0x12345673 |
| |
| #define STRING(x) XSTRING(x) |
| #define XSTRING(x) #x |
| #define ASMNAME(cname) ASMNAME2 (__USER_LABEL_PREFIX__, cname) |
| #define ASMNAME2(prefix, cname) XSTRING (prefix) cname |
| |
| void |
| __attribute__((interrupt, used)) |
| fn (struct __uintr_frame *frame, uword_t uirrv) |
| { |
| if (UIRRV != uirrv) |
| __builtin_abort (); |
| if (RIP != frame->rip) |
| __builtin_abort (); |
| if (RFLAGS != frame->rflags) |
| __builtin_abort (); |
| if (RSP != frame->rsp) |
| __builtin_abort (); |
| |
| exit (0); |
| } |
| |
| int |
| main () |
| { |
| asm ("push $" STRING (RSP) "; \ |
| push $" STRING (RFLAGS) "; \ |
| push $" STRING (RIP) "; \ |
| push $" STRING (UIRRV) "; \ |
| jmp " ASMNAME ("fn")); |
| return 0; |
| } |
