i386: Add some naked attribute tests
authorH.J. Lu <hongjiu.lu@intel.com>
Tue, 1 Aug 2017 21:07:04 +0000 (21:07 +0000)
committerH.J. Lu <hjl@gcc.gnu.org>
Tue, 1 Aug 2017 21:07:04 +0000 (14:07 -0700)
Add some tests for implementing interrupt handlers with naked attribute.

* gcc.dg/guality/pr25967-1.c: New test.
* gcc.dg/guality/pr25967-2.c: Likewise.
* gcc.dg/torture/pr25967-1.c: Likewise.
* gcc.dg/torture/pr25967-2.c: Likewise.

From-SVN: r250799

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/guality/pr25967-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/guality/pr25967-2.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/torture/pr25967-1.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/torture/pr25967-2.c [new file with mode: 0644]

index 7a0a03004cc27a56b68a93c2d85701b5e2ad6a29..e58fe65c60b7373957a38a750bd7f04a62dbb9ec 100644 (file)
@@ -1,3 +1,10 @@
+2017-08-01  H.J. Lu  <hongjiu.lu@intel.com>
+
+       * gcc.dg/guality/pr25967-1.c: New test.
+       * gcc.dg/guality/pr25967-2.c: Likewise.
+       * gcc.dg/torture/pr25967-1.c: Likewise.
+       * gcc.dg/torture/pr25967-2.c: Likewise.
+
 2017-08-01  H.J. Lu  <hongjiu.lu@intel.com>
 
        PR target/81654
diff --git a/gcc/testsuite/gcc.dg/guality/pr25967-1.c b/gcc/testsuite/gcc.dg/guality/pr25967-1.c
new file mode 100644 (file)
index 0000000..01d97fe
--- /dev/null
@@ -0,0 +1,80 @@
+/* { dg-do run { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-g -mgeneral-regs-only" } */
+
+extern void exit (int);
+
+typedef unsigned int uword_t __attribute__ ((mode (__word__)));
+
+#define ERROR          0x12345670
+#define IP             0x12345671
+#define CS             0x12345672
+#define FLAGS          0x12345673
+#define SP             0x12345674
+#define SS             0x12345675
+
+#ifdef __x86_64__
+# define STACK_POINTER "rsp"
+# define WORD_SIZE     "8"
+#else
+# define STACK_POINTER "esp"
+# define WORD_SIZE     "4"
+#endif
+
+#define STRING(x)      XSTRING(x)
+#define XSTRING(x)     #x
+#define ASMNAME(cname)  ASMNAME2 (__USER_LABEL_PREFIX__, cname)
+#define ASMNAME2(prefix, cname) XSTRING (prefix) cname
+
+struct interrupt_frame
+{
+  uword_t ip;
+  uword_t cs;
+  uword_t flags;
+  uword_t sp;
+  uword_t ss;
+};
+
+__attribute__((naked, used))
+void
+fn (void)
+{
+  struct interrupt_frame *frame;
+  uword_t error;
+  asm volatile ("lea " WORD_SIZE "(%%" STACK_POINTER "), %0\n\t"
+               "mov (%%" STACK_POINTER "), %1" 
+               : "=r" (frame), "=r" (error) :); 
+  if (ERROR != error)          /* BREAK */
+    __builtin_abort ();
+  if (IP != frame->ip)
+    __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) ";               \
+       push    $" STRING (ERROR) ";            \
+       jmp      " ASMNAME ("fn"));
+  return 0;
+}
+
+/* { dg-final { gdb-test 46 "error" "0x12345670" } } */
+/* { 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" } } */
diff --git a/gcc/testsuite/gcc.dg/guality/pr25967-2.c b/gcc/testsuite/gcc.dg/guality/pr25967-2.c
new file mode 100644 (file)
index 0000000..a8bdf9f
--- /dev/null
@@ -0,0 +1,72 @@
+/* { dg-do run { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-g -mgeneral-regs-only" } */
+
+extern void exit (int);
+
+typedef unsigned int uword_t __attribute__ ((mode (__word__)));
+
+#define IP             0x12345671
+#define CS             0x12345672
+#define FLAGS          0x12345673
+#define SP             0x12345674
+#define SS             0x12345675
+
+#ifdef __x86_64__
+# define STACK_POINTER "rsp"
+# define WORD_SIZE     "8"
+#else
+# define STACK_POINTER "esp"
+# define WORD_SIZE     "4"
+#endif
+
+#define STRING(x)      XSTRING(x)
+#define XSTRING(x)     #x
+#define ASMNAME(cname)  ASMNAME2 (__USER_LABEL_PREFIX__, cname)
+#define ASMNAME2(prefix, cname) XSTRING (prefix) cname
+
+struct interrupt_frame
+{
+  uword_t ip;
+  uword_t cs;
+  uword_t flags;
+  uword_t sp;
+  uword_t ss;
+};
+
+__attribute__((naked, used))
+void
+fn (void)
+{
+  struct interrupt_frame *frame;
+  asm volatile ("lea (%%" STACK_POINTER "), %0" : "=r" (frame) : ); 
+  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      " ASMNAME ("fn"));
+  return 0;
+}
+
+/* { dg-final { gdb-test 42 "frame->ip" "0x12345671" } } */
+/* { dg-final { gdb-test 42 "frame->cs" "0x12345672" } } */
+/* { dg-final { gdb-test 42 "frame->flags" "0x12345673" } } */
+/* { dg-final { gdb-test 42 "frame->sp" "0x12345674" } } */
+/* { dg-final { gdb-test 42 "frame->ss" "0x12345675" } } */
diff --git a/gcc/testsuite/gcc.dg/torture/pr25967-1.c b/gcc/testsuite/gcc.dg/torture/pr25967-1.c
new file mode 100644 (file)
index 0000000..c504363
--- /dev/null
@@ -0,0 +1,73 @@
+/* { dg-do run { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-mgeneral-regs-only" } */
+
+extern void exit (int);
+
+typedef unsigned int uword_t __attribute__ ((mode (__word__)));
+
+#define ERROR          0x12345670
+#define IP             0x12345671
+#define CS             0x12345672
+#define FLAGS          0x12345673
+#define SP             0x12345674
+#define SS             0x12345675
+
+#ifdef __x86_64__
+# define STACK_POINTER "rsp"
+# define WORD_SIZE     "8"
+#else
+# define STACK_POINTER "esp"
+# define WORD_SIZE     "4"
+#endif
+
+#define STRING(x)      XSTRING(x)
+#define XSTRING(x)     #x
+#define ASMNAME(cname)  ASMNAME2 (__USER_LABEL_PREFIX__, cname)
+#define ASMNAME2(prefix, cname) XSTRING (prefix) cname
+
+struct interrupt_frame
+{
+  uword_t ip;
+  uword_t cs;
+  uword_t flags;
+  uword_t sp;
+  uword_t ss;
+};
+
+__attribute__((naked, used))
+void
+fn (void)
+{
+  struct interrupt_frame *frame;
+  uword_t error;
+  asm volatile ("lea " WORD_SIZE "(%%" STACK_POINTER "), %0\n\t"
+               "mov (%%" STACK_POINTER "), %1" 
+               : "=r" (frame), "=r" (error) :); 
+  if (ERROR != error)
+    __builtin_abort ();
+  if (IP != frame->ip)
+    __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) ";               \
+       push    $" STRING (ERROR) ";            \
+       jmp      " ASMNAME ("fn"));
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.dg/torture/pr25967-2.c b/gcc/testsuite/gcc.dg/torture/pr25967-2.c
new file mode 100644 (file)
index 0000000..3e27dd5
--- /dev/null
@@ -0,0 +1,66 @@
+/* { dg-do run { target i?86-*-* x86_64-*-* } } */
+/* { dg-options "-mgeneral-regs-only" } */
+
+extern void exit (int);
+
+typedef unsigned int uword_t __attribute__ ((mode (__word__)));
+
+#define IP             0x12345671
+#define CS             0x12345672
+#define FLAGS          0x12345673
+#define SP             0x12345674
+#define SS             0x12345675
+
+#ifdef __x86_64__
+# define STACK_POINTER "rsp"
+# define WORD_SIZE     "8"
+#else
+# define STACK_POINTER "esp"
+# define WORD_SIZE     "4"
+#endif
+
+#define STRING(x)      XSTRING(x)
+#define XSTRING(x)     #x
+#define ASMNAME(cname)  ASMNAME2 (__USER_LABEL_PREFIX__, cname)
+#define ASMNAME2(prefix, cname) XSTRING (prefix) cname
+
+struct interrupt_frame
+{
+  uword_t ip;
+  uword_t cs;
+  uword_t flags;
+  uword_t sp;
+  uword_t ss;
+};
+
+__attribute__((naked, used))
+void
+fn (void)
+{
+  struct interrupt_frame *frame;
+  asm volatile ("lea (%%" STACK_POINTER "), %0" : "=r" (frame) : ); 
+  if (IP != frame->ip)
+    __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      " ASMNAME ("fn"));
+  return 0;
+}