* [Ada] Implement stack-checking on arm64-darwin.
@ 2015-10-23 12:24 Arnaud Charlet
0 siblings, 0 replies; only message in thread
From: Arnaud Charlet @ 2015-10-23 12:24 UTC (permalink / raw)
To: gcc-patches; +Cc: Tristan Gingold
[-- Attachment #1: Type: text/plain, Size: 224 bytes --]
Tested on x86_64-pc-linux-gnu, committed on trunk
2015-10-23 Tristan Gingold <gingold@adacore.com>
* init.c (__gnat_sigtramp): New assembly function for arm64-darwin.
(__gnat_error_handler): Use trampoline for arm64.
[-- Attachment #2: difs --]
[-- Type: text/plain, Size: 1986 bytes --]
Index: init.c
===================================================================
--- init.c (revision 229222)
+++ init.c (working copy)
@@ -2256,6 +2256,47 @@
#include <mach/vm_statistics.h>
#endif
+#ifdef __arm64__
+#include <sys/ucontext.h>
+
+/* Trampoline inserted before raising the exception. It modifies the
+ stack so that PROC (D, M) looks to be called from the fault point. Note
+ that LR may be incorrectly set. */
+void __gnat_sigtramp (struct Exception_Data *d, const char *m,
+ mcontext_t ctxt,
+ void (*proc)(struct Exception_Data *, const char *));
+
+asm("\n"
+" .section __TEXT,__text,regular,pure_instructions\n"
+" .align 2\n"
+"___gnat_sigtramp:\n"
+" .cfi_startproc\n"
+ /* Restore callee saved registers. */
+" ldp x19, x20, [x2, #168]\n"
+" ldp x21, x22, [x2, #184]\n"
+" ldp x23, x24, [x2, #200]\n"
+" ldp x25, x26, [x2, #216]\n"
+" ldp x27, x28, [x2, #232]\n"
+" ldp q8, q9, [x2, #416]\n"
+" ldp q10, q11, [x2, #448]\n"
+" ldp q12, q13, [x2, #480]\n"
+" ldp q14, q15, [x2, #512]\n"
+ /* Read FP from mcontext. */
+" ldp fp, lr, [x2, #248]\n"
+ /* Read SP and PC from mcontext. */
+" ldp x6, x7, [x2, #264]\n"
+" add lr, x7, #1\n"
+" mov sp, x6\n"
+ /* Create a standard frame. */
+" stp fp, lr, [sp, #-16]!\n"
+" .cfi_def_cfa w29, 16\n"
+" .cfi_offset w30, -8\n"
+" .cfi_offset w29, -16\n"
+" br x3\n"
+" .cfi_endproc\n"
+);
+#endif
+
/* Return true if ADDR is within a stack guard area. */
static int
__gnat_is_stack_guard (mach_vm_address_t addr)
@@ -2363,6 +2404,15 @@
for the next signal delivery.
The stack can't be used in case of stack checking. */
syscall (SYS_sigreturn, NULL, UC_RESET_ALT_STACK);
+
+#ifdef __arm64__
+ /* On arm64, use a trampoline so that the unwinder won't see the
+ signal frame. */
+ __gnat_sigtramp (exception, msg,
+ ((ucontext_t *)ucontext)->uc_mcontext,
+ Raise_From_Signal_Handler);
+ return;
+#endif
break;
case SIGFPE:
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-10-23 12:24 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-10-23 12:24 [Ada] Implement stack-checking on arm64-darwin Arnaud Charlet
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).