projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 760f74c)
i386: Add more naked attribute tests
authorH.J. Lu <hongjiu.lu@intel.com>
Tue, 1 Aug 2017 21:39:51 +0000 (21:39 +0000)
committerH.J. Lu <hjl@gcc.gnu.org>
Tue, 1 Aug 2017 21:39:51 +0000 (14:39 -0700)
Add some tests for implementing interrupt handlers with naked attribute
and without asm statements.

* gcc.dg/guality/pr25967-3.c: New test.
* gcc.dg/guality/pr25967-4.c: Likewise.
* gcc.dg/torture/pr25967-3.c: Likewise.
* gcc.dg/torture/pr25967-4.c: Likewise.

From-SVN: r250800

gcc/testsuite/ChangeLog patch | blob | history
gcc/testsuite/gcc.dg/guality/pr25967-3.c [new file with mode: 0644] patch | blob
gcc/testsuite/gcc.dg/guality/pr25967-4.c [new file with mode: 0644] patch | blob
gcc/testsuite/gcc.dg/torture/pr25967-3.c [new file with mode: 0644] patch | blob
gcc/testsuite/gcc.dg/torture/pr25967-4.c [new file with mode: 0644] patch | blob

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e58fe65c60b7373957a38a750bd7f04a62dbb9ec..9b30f119a14d1d37ced7e9afe9dc147fa710280a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2017-08-01  H.J. Lu  <hongjiu.lu@intel.com>
+
+       * gcc.dg/guality/pr25967-3.c: New test.
+       * gcc.dg/guality/pr25967-4.c: Likewise.
+       * gcc.dg/torture/pr25967-3.c: Likewise.
+       * gcc.dg/torture/pr25967-4.c: Likewise.
+
 2017-08-01  H.J. Lu  <hongjiu.lu@intel.com>
 
        * gcc.dg/guality/pr25967-1.c: New test.
diff --git a/gcc/testsuite/gcc.dg/guality/pr25967-3.c b/gcc/testsuite/gcc.dg/guality/pr25967-3.c
new file mode 100644 (file)
index 0000000..0924d1c
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/guality/pr25967-3.c
@@ -0,0 +1,70 @@
+/* { 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
+
+#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)
+{
+  register uword_t *sp __asm__("sp");
+  uword_t error = *sp;
+  struct interrupt_frame *frame = (struct interrupt_frame *) (sp + 1);
+  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 36 "error" "0x12345670" } } */
+/* { dg-final { gdb-test 36 "frame->ip" "0x12345671" } } */
+/* { dg-final { gdb-test 36 "frame->cs" "0x12345672" } } */
+/* { dg-final { gdb-test 36 "frame->flags" "0x12345673" } } */
+/* { dg-final { gdb-test 36 "frame->sp" "0x12345674" } } */
+/* { dg-final { gdb-test 36 "frame->ss" "0x12345675" } } */
diff --git a/gcc/testsuite/gcc.dg/guality/pr25967-4.c b/gcc/testsuite/gcc.dg/guality/pr25967-4.c
new file mode 100644 (file)
index 0000000..c3b59e2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/guality/pr25967-4.c
@@ -0,0 +1,64 @@
+/* { 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
+
+#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)
+{
+  register uword_t *sp __asm__("sp");
+  struct interrupt_frame *frame = (struct interrupt_frame *) sp;
+  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 34 "frame->ip" "0x12345671" } } */
+/* { dg-final { gdb-test 34 "frame->cs" "0x12345672" } } */
+/* { dg-final { gdb-test 34 "frame->flags" "0x12345673" } } */
+/* { dg-final { gdb-test 34 "frame->sp" "0x12345674" } } */
+/* { dg-final { gdb-test 34 "frame->ss" "0x12345675" } } */
diff --git a/gcc/testsuite/gcc.dg/torture/pr25967-3.c b/gcc/testsuite/gcc.dg/torture/pr25967-3.c
new file mode 100644 (file)
index 0000000..fd26a8b
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr25967-3.c
@@ -0,0 +1,63 @@
+/* { 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
+
+#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)
+{
+  register uword_t *sp __asm__("sp");
+  uword_t error = *sp;
+  struct interrupt_frame *frame = (struct interrupt_frame *) (sp + 1);
+  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;
+}
diff --git a/gcc/testsuite/gcc.dg/torture/pr25967-4.c b/gcc/testsuite/gcc.dg/torture/pr25967-4.c
new file mode 100644 (file)
index 0000000..4a0dd78
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr25967-4.c
@@ -0,0 +1,58 @@
+/* { 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
+
+#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)
+{
+  register uword_t *sp __asm__("sp");
+  struct interrupt_frame *frame = (struct interrupt_frame *) sp;
+  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;
+}