- .text
+// Mark stack as non-executable
+#if defined(__linux__) && defined(__ELF__)
+.section .note.GNU-stack, "", @progbits
+#endif
+
+/* See i386/morestack.S for the lengthy, general explanation. */
-// __morestack
-//
-// LLVM generates a call to this to allocate more stack space in a functiono
-// prolog when we run out.
+.text
-#if defined(__APPLE__) || defined(_WIN32)
-#define RUST_NEW_STACK2 _rust_new_stack2
-#define RUST_DEL_STACK _rust_del_stack
-#define RUST_DEL_STACK _rust_del_stack
-#define RUST_GET_PREV_STACK _rust_get_prev_stack
-#define UPCALL_CALL_C _upcall_call_shim_on_c_stack
-#define MORESTACK ___morestack
+#if defined(__APPLE__)
+#define MORESTACK ___morestack
#else
-#define RUST_NEW_STACK2 rust_new_stack2
-#define RUST_DEL_STACK rust_del_stack
-#define RUST_DEL_STACK rust_del_stack
-#define RUST_GET_PREV_STACK rust_get_prev_stack
-#define UPCALL_CALL_C upcall_call_shim_on_c_stack
-#define MORESTACK __morestack
+#define MORESTACK __morestack
#endif
- // Naturally, nobody can agree as to
- // which arguments should go in which
- // registers:
-#if defined(_WIN32)
-# define ARG0 %rcx
-# define ARG1 %rdx
-# define ARG2 %r8
+#if defined(__APPLE__)
+#define EXHAUSTED _rust_stack_exhausted
+#elif defined(__linux__) || defined(__FreeBSD__) || defined(__DragonFly__)
+#define EXHAUSTED rust_stack_exhausted@PLT
#else
-# define ARG0 %rdi
-# define ARG1 %rsi
-# define ARG2 %rdx
+#define EXHAUSTED rust_stack_exhausted
#endif
-.globl RUST_NEW_STACK2
-.globl RUST_DEL_STACK
-.globl UPCALL_CALL_C
-.globl MORESTACK
-
-// FIXME: What about _WIN32?
-#if defined(__linux__)
+#if defined(__linux__) || defined(__FreeBSD__) || defined(__DragonFly__)
.hidden MORESTACK
#else
#if defined(__APPLE__)
.type MORESTACK,@function
#endif
-#if defined(__linux)
+.globl MORESTACK
MORESTACK:
.cfi_startproc
- # Set up a normal backtrace
pushq %rbp
- .cfi_def_cfa_offset 16
- .cfi_offset %rbp, -16
- movq %rsp, %rbp
- .cfi_def_cfa_register %rbp
-
- // Alignment
- pushq $0
-
- // FIXME: libgcc also saves rax. not sure if we need to
+ // The CFA is 24 bytes above the register that it will
+ // be associated with for this frame (%rbp). That is 8
+ // bytes greater than a normal frame, to allow the unwinder
+ // to skip the partial frame of the original function.
+ .cfi_def_cfa_offset 24
- // Save argument registers
- pushq %rdi
- pushq %rsi
- pushq %rdx
- pushq %rcx
- pushq %r8
- pushq %r9
-
- // Calculate the address of the stack arguments.
- // We have the base pointer, __morestack's return address,
- // and __morestack's caller's return address to skip
- movq %rbp, %rcx
- addq $24, %rcx // Base pointer, return address x2
-
- pushq %rbp // Save the Rust stack pointer
- pushq %r11 // Size of stack arguments
- pushq %rcx // Address of stack arguments
- pushq %r10 // The amount of stack needed
-
- leaq RUST_NEW_STACK2@PLT(%rip), %rsi
- movq %rsp, %rdi
- call UPCALL_CALL_C@PLT
-
- // Pop the new_stack_args struct
- addq $32, %rsp
-
- // Pop the saved arguments
- popq %r9
- popq %r8
- popq %rcx
- popq %rdx
- popq %rsi
- popq %rdi
-
- movq 8(%rbp),%r10 // Grab the return pointer.
- incq %r10 // Skip past the `ret` in our parent frame
- movq %rax,%rsp // Switch to the new stack.
+#if defined(__APPLE__)
+ // The pattern of the return address being saved twice to the same location
+ // tells the OS X linker that it should not attempt to convert the DWARF
+ // unwind information to the compact format.
+ .cfi_offset %rip, -8
+ .cfi_offset %rip, -8
+#endif
- call *%r10 // Reenter the caller function
+ // %rbp is -24 bytes from the CFA
+ .cfi_offset %rbp, -24
+ movq %rsp, %rbp
+ // Calculate the CFA as on offset from %ebp
+ .cfi_def_cfa_register %rbp
- leaq RUST_GET_PREV_STACK@PLT(%rip), %rsi
- movq $0, %rdi
- call UPCALL_CALL_C@PLT
+ // re-align the stack
+ subq $8, %rsp
- // Switch back to the rust stack, positioned
- // where we pushed %ebp
- movq %rax, %rsp
+ // kill this program
+ call EXHAUSTED
- // Align the stack again
- pushq $0
-
- leaq RUST_DEL_STACK@PLT(%rip), %rsi
- movq $0, %rdi
- call UPCALL_CALL_C@PLT
+ // the exhaustion function guarantees that it can't return
- addq $8, %rsp
- popq %rbp
- ret
-
.cfi_endproc
-#else
-MORESTACK:
- ret
-#endif
\ No newline at end of file