mirror of
git://sourceware.org/git/valgrind.git
synced 2026-01-12 00:19:31 +08:00
3392155359
- Update COPYING and VEX/LICENSE.GPL to version 3. - Update README, NEWS, docs/manual license and contributing text. - Update file headers to say either version 3 of the License, or (at your option) any later version. - Leave tests and perf file headers as is, unless the code is derived from Valgrind/VEX. - Leave valgrind.h, cachegrind.h, callgrind.h, drd.h, helgrind.h, memcheck.h and dhat.h Hybrid-BSD licensed.
937 lines
31 KiB
C
937 lines
31 KiB
C
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- A minimal setjmp/longjmp implementation. m_libcsetjmp.c ---*/
|
|
/*--------------------------------------------------------------------*/
|
|
|
|
/*
|
|
This file is part of Valgrind, a dynamic binary instrumentation
|
|
framework.
|
|
|
|
Copyright (C) 2010-2017 Mozilla Foundation
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License as
|
|
published by the Free Software Foundation; either version 3 of the
|
|
License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful, but
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, see <http://www.gnu.org/licenses/>.
|
|
|
|
The GNU General Public License is contained in the file COPYING.
|
|
*/
|
|
|
|
/* Contributed by Julian Seward <jseward@acm.org> */
|
|
|
|
/* This file must be compiled without link time optimisation, as otherwise
|
|
the asm functions below become undefined references at link time for
|
|
unclear reasons. */
|
|
|
|
#include "pub_core_basics.h"
|
|
#include "pub_core_libcsetjmp.h" /* self */
|
|
|
|
/* See include/pub_tool_libcsetjmp.h for background and rationale. */
|
|
|
|
/* The alternative implementations are for s390x-linux, ppc{32,64}-linux, and
|
|
{amd64,x86}-{linux,darwin,solaris,freebsd}. See #259977. That leaves only
|
|
arm-linux using the gcc builtins now.
|
|
*/
|
|
|
|
/* ------------ ppc32-linux ------------ */
|
|
|
|
#if defined(VGP_ppc32_linux)
|
|
|
|
__asm__(
|
|
".text" "\n"
|
|
"" "\n"
|
|
".global VG_MINIMAL_SETJMP" "\n" // r3 = jmp_buf
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
" stw 0, 0(3)" "\n"
|
|
" stw 1, 4(3)" "\n"
|
|
" stw 2, 8(3)" "\n"
|
|
" stw 3, 12(3)" "\n"
|
|
" stw 4, 16(3)" "\n"
|
|
" stw 5, 20(3)" "\n"
|
|
" stw 6, 24(3)" "\n"
|
|
" stw 7, 28(3)" "\n"
|
|
" stw 8, 32(3)" "\n"
|
|
" stw 9, 36(3)" "\n"
|
|
" stw 10, 40(3)" "\n"
|
|
" stw 11, 44(3)" "\n"
|
|
" stw 12, 48(3)" "\n"
|
|
" stw 13, 52(3)" "\n"
|
|
" stw 14, 56(3)" "\n"
|
|
" stw 15, 60(3)" "\n"
|
|
" stw 16, 64(3)" "\n"
|
|
" stw 17, 68(3)" "\n"
|
|
" stw 18, 72(3)" "\n"
|
|
" stw 19, 76(3)" "\n"
|
|
" stw 20, 80(3)" "\n"
|
|
" stw 21, 84(3)" "\n"
|
|
" stw 22, 88(3)" "\n"
|
|
" stw 23, 92(3)" "\n"
|
|
" stw 24, 96(3)" "\n"
|
|
" stw 25, 100(3)" "\n"
|
|
" stw 26, 104(3)" "\n"
|
|
" stw 27, 108(3)" "\n"
|
|
" stw 28, 112(3)" "\n"
|
|
" stw 29, 116(3)" "\n"
|
|
" stw 30, 120(3)" "\n"
|
|
" stw 31, 124(3)" "\n"
|
|
// must use a caller-save register here as scratch, hence r4
|
|
" mflr 4" "\n"
|
|
" stw 4, 128(3)" "\n"
|
|
" mfcr 4" "\n"
|
|
" stw 4, 132(3)" "\n"
|
|
" li 3, 0" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
|
|
".global VG_MINIMAL_LONGJMP" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n" // r3 = jmp_buf
|
|
// do r4 = 1
|
|
// and park it in the restore slot for r3 (the ret reg)
|
|
" li 4, 1" "\n"
|
|
" stw 4, 12(3)" "\n"
|
|
// restore everything except r3
|
|
// then r3 last of all
|
|
// then blr
|
|
" lwz 0, 128(3)" "\n"
|
|
" mtlr 0" "\n"
|
|
" lwz 0, 132(3)" "\n"
|
|
" mtcr 0" "\n"
|
|
" lwz 0, 0(3)" "\n"
|
|
" lwz 1, 4(3)" "\n"
|
|
" lwz 2, 8(3)" "\n"
|
|
// r3 is done at the end
|
|
" lwz 4, 16(3)" "\n"
|
|
" lwz 5, 20(3)" "\n"
|
|
" lwz 6, 24(3)" "\n"
|
|
" lwz 7, 28(3)" "\n"
|
|
" lwz 8, 32(3)" "\n"
|
|
" lwz 9, 36(3)" "\n"
|
|
" lwz 10, 40(3)" "\n"
|
|
" lwz 11, 44(3)" "\n"
|
|
" lwz 12, 48(3)" "\n"
|
|
" lwz 13, 52(3)" "\n"
|
|
" lwz 14, 56(3)" "\n"
|
|
" lwz 15, 60(3)" "\n"
|
|
" lwz 16, 64(3)" "\n"
|
|
" lwz 17, 68(3)" "\n"
|
|
" lwz 18, 72(3)" "\n"
|
|
" lwz 19, 76(3)" "\n"
|
|
" lwz 20, 80(3)" "\n"
|
|
" lwz 21, 84(3)" "\n"
|
|
" lwz 22, 88(3)" "\n"
|
|
" lwz 23, 92(3)" "\n"
|
|
" lwz 24, 96(3)" "\n"
|
|
" lwz 25, 100(3)" "\n"
|
|
" lwz 26, 104(3)" "\n"
|
|
" lwz 27, 108(3)" "\n"
|
|
" lwz 28, 112(3)" "\n"
|
|
" lwz 29, 116(3)" "\n"
|
|
" lwz 30, 120(3)" "\n"
|
|
" lwz 31, 124(3)" "\n"
|
|
" lwz 3, 12(3)" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
".previous" "\n"
|
|
);
|
|
|
|
#endif /* VGP_ppc32_linux */
|
|
|
|
|
|
/* ------------ ppc64-linux ------------ */
|
|
|
|
#if defined(VGP_ppc64be_linux)
|
|
|
|
__asm__(
|
|
".section \".toc\",\"aw\"" "\n"
|
|
|
|
".section \".text\"" "\n"
|
|
".align 2" "\n"
|
|
".p2align 4,,15" "\n"
|
|
".globl VG_MINIMAL_SETJMP" "\n"
|
|
".section \".opd\",\"aw\"" "\n"
|
|
".align 3" "\n"
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
".quad .L.VG_MINIMAL_SETJMP,.TOC.@tocbase,0" "\n"
|
|
".previous" "\n"
|
|
|
|
".type VG_MINIMAL_SETJMP, @function" "\n"
|
|
".L.VG_MINIMAL_SETJMP:" "\n"
|
|
" std 0, 0(3)" "\n"
|
|
" std 1, 8(3)" "\n"
|
|
" std 2, 16(3)" "\n"
|
|
" std 3, 24(3)" "\n"
|
|
" std 4, 32(3)" "\n"
|
|
" std 5, 40(3)" "\n"
|
|
" std 6, 48(3)" "\n"
|
|
" std 7, 56(3)" "\n"
|
|
" std 8, 64(3)" "\n"
|
|
" std 9, 72(3)" "\n"
|
|
" std 10, 80(3)" "\n"
|
|
" std 11, 88(3)" "\n"
|
|
" std 12, 96(3)" "\n"
|
|
" std 13, 104(3)" "\n"
|
|
" std 14, 112(3)" "\n"
|
|
" std 15, 120(3)" "\n"
|
|
" std 16, 128(3)" "\n"
|
|
" std 17, 136(3)" "\n"
|
|
" std 18, 144(3)" "\n"
|
|
" std 19, 152(3)" "\n"
|
|
" std 20, 160(3)" "\n"
|
|
" std 21, 168(3)" "\n"
|
|
" std 22, 176(3)" "\n"
|
|
" std 23, 184(3)" "\n"
|
|
" std 24, 192(3)" "\n"
|
|
" std 25, 200(3)" "\n"
|
|
" std 26, 208(3)" "\n"
|
|
" std 27, 216(3)" "\n"
|
|
" std 28, 224(3)" "\n"
|
|
" std 29, 232(3)" "\n"
|
|
" std 30, 240(3)" "\n"
|
|
" std 31, 248(3)" "\n"
|
|
// must use a caller-save register here as scratch, hence r4
|
|
" mflr 4" "\n"
|
|
" std 4, 256(3)" "\n"
|
|
" mfcr 4" "\n"
|
|
" std 4, 264(3)" "\n"
|
|
" li 3, 0" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
|
|
".globl VG_MINIMAL_LONGJMP" "\n"
|
|
|
|
".section \".opd\",\"aw\"" "\n"
|
|
".align 3" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n"
|
|
".quad .L.VG_MINIMAL_LONGJMP,.TOC.@tocbase,0" "\n"
|
|
".previous" "\n"
|
|
|
|
".type VG_MINIMAL_LONGJMP, @function" "\n"
|
|
".L.VG_MINIMAL_LONGJMP:" "\n"
|
|
// do r4 = 1
|
|
// and park it in the restore slot for r3 (the ret reg)
|
|
" li 4, 1" "\n"
|
|
" std 4, 24(3)" "\n"
|
|
// restore everything except r3
|
|
// then r3 last of all
|
|
// then blr
|
|
" ld 0, 256(3)" "\n"
|
|
" mtlr 0" "\n"
|
|
" ld 0, 264(3)" "\n"
|
|
" mtcr 0" "\n"
|
|
" ld 0, 0(3)" "\n"
|
|
" ld 1, 8(3)" "\n"
|
|
" ld 2, 16(3)" "\n"
|
|
// r3 is done at the end
|
|
" ld 4, 32(3)" "\n"
|
|
" ld 5, 40(3)" "\n"
|
|
" ld 6, 48(3)" "\n"
|
|
" ld 7, 56(3)" "\n"
|
|
" ld 8, 64(3)" "\n"
|
|
" ld 9, 72(3)" "\n"
|
|
" ld 10, 80(3)" "\n"
|
|
" ld 11, 88(3)" "\n"
|
|
" ld 12, 96(3)" "\n"
|
|
" ld 13, 104(3)" "\n"
|
|
" ld 14, 112(3)" "\n"
|
|
" ld 15, 120(3)" "\n"
|
|
" ld 16, 128(3)" "\n"
|
|
" ld 17, 136(3)" "\n"
|
|
" ld 18, 144(3)" "\n"
|
|
" ld 19, 152(3)" "\n"
|
|
" ld 20, 160(3)" "\n"
|
|
" ld 21, 168(3)" "\n"
|
|
" ld 22, 176(3)" "\n"
|
|
" ld 23, 184(3)" "\n"
|
|
" ld 24, 192(3)" "\n"
|
|
" ld 25, 200(3)" "\n"
|
|
" ld 26, 208(3)" "\n"
|
|
" ld 27, 216(3)" "\n"
|
|
" ld 28, 224(3)" "\n"
|
|
" ld 29, 232(3)" "\n"
|
|
" ld 30, 240(3)" "\n"
|
|
" ld 31, 248(3)" "\n"
|
|
" ld 3, 24(3)" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
".previous" "\n"
|
|
);
|
|
|
|
#elif defined(VGP_ppc64le_linux)
|
|
__asm__(
|
|
".section \".toc\",\"aw\"" "\n"
|
|
|
|
".section \".text\"" "\n"
|
|
".align 2" "\n"
|
|
".p2align 4,,15" "\n"
|
|
".globl VG_MINIMAL_SETJMP" "\n"
|
|
".type VG_MINIMAL_SETJMP,@function" "\n"
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
" .localentry VG_MINIMAL_SETJMP, .-VG_MINIMAL_SETJMP" "\n"
|
|
" std 0, 0(3)" "\n"
|
|
" std 1, 8(3)" "\n"
|
|
" std 2, 16(3)" "\n"
|
|
" std 3, 24(3)" "\n"
|
|
" std 4, 32(3)" "\n"
|
|
" std 5, 40(3)" "\n"
|
|
" std 6, 48(3)" "\n"
|
|
" std 7, 56(3)" "\n"
|
|
" std 8, 64(3)" "\n"
|
|
" std 9, 72(3)" "\n"
|
|
" std 10, 80(3)" "\n"
|
|
" std 11, 88(3)" "\n"
|
|
" std 12, 96(3)" "\n"
|
|
" std 13, 104(3)" "\n"
|
|
" std 14, 112(3)" "\n"
|
|
" std 15, 120(3)" "\n"
|
|
" std 16, 128(3)" "\n"
|
|
" std 17, 136(3)" "\n"
|
|
" std 18, 144(3)" "\n"
|
|
" std 19, 152(3)" "\n"
|
|
" std 20, 160(3)" "\n"
|
|
" std 21, 168(3)" "\n"
|
|
" std 22, 176(3)" "\n"
|
|
" std 23, 184(3)" "\n"
|
|
" std 24, 192(3)" "\n"
|
|
" std 25, 200(3)" "\n"
|
|
" std 26, 208(3)" "\n"
|
|
" std 27, 216(3)" "\n"
|
|
" std 28, 224(3)" "\n"
|
|
" std 29, 232(3)" "\n"
|
|
" std 30, 240(3)" "\n"
|
|
" std 31, 248(3)" "\n"
|
|
// must use a caller-save register here as scratch, hence r4
|
|
" mflr 4" "\n"
|
|
" std 4, 256(3)" "\n"
|
|
" mfcr 4" "\n"
|
|
" std 4, 264(3)" "\n"
|
|
" li 3, 0" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
|
|
".globl VG_MINIMAL_LONGJMP" "\n"
|
|
".type VG_MINIMAL_LONGJMP, @function" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n"
|
|
" .localentry VG_MINIMAL_LONGJMP, .-VG_MINIMAL_LONGJMP" "\n"
|
|
// do r4 = 1
|
|
// and park it in the restore slot for r3 (the ret reg)
|
|
" li 4, 1" "\n"
|
|
" std 4, 24(3)" "\n"
|
|
// restore everything except r3
|
|
// then r3 last of all
|
|
// then blr
|
|
" ld 0, 256(3)" "\n"
|
|
" mtlr 0" "\n"
|
|
" ld 0, 264(3)" "\n"
|
|
" mtcr 0" "\n"
|
|
" ld 0, 0(3)" "\n"
|
|
" ld 1, 8(3)" "\n"
|
|
" ld 2, 16(3)" "\n"
|
|
// r3 is done at the end
|
|
" ld 4, 32(3)" "\n"
|
|
" ld 5, 40(3)" "\n"
|
|
" ld 6, 48(3)" "\n"
|
|
" ld 7, 56(3)" "\n"
|
|
" ld 8, 64(3)" "\n"
|
|
" ld 9, 72(3)" "\n"
|
|
" ld 10, 80(3)" "\n"
|
|
" ld 11, 88(3)" "\n"
|
|
" ld 12, 96(3)" "\n"
|
|
" ld 13, 104(3)" "\n"
|
|
" ld 14, 112(3)" "\n"
|
|
" ld 15, 120(3)" "\n"
|
|
" ld 16, 128(3)" "\n"
|
|
" ld 17, 136(3)" "\n"
|
|
" ld 18, 144(3)" "\n"
|
|
" ld 19, 152(3)" "\n"
|
|
" ld 20, 160(3)" "\n"
|
|
" ld 21, 168(3)" "\n"
|
|
" ld 22, 176(3)" "\n"
|
|
" ld 23, 184(3)" "\n"
|
|
" ld 24, 192(3)" "\n"
|
|
" ld 25, 200(3)" "\n"
|
|
" ld 26, 208(3)" "\n"
|
|
" ld 27, 216(3)" "\n"
|
|
" ld 28, 224(3)" "\n"
|
|
" ld 29, 232(3)" "\n"
|
|
" ld 30, 240(3)" "\n"
|
|
" ld 31, 248(3)" "\n"
|
|
" ld 3, 24(3)" "\n"
|
|
" blr" "\n"
|
|
"" "\n"
|
|
|
|
".previous" "\n"
|
|
);
|
|
#endif /* VGP_ppc64be_linux */
|
|
|
|
|
|
/* -------- amd64-{linux,darwin,solaris,freebsd} -------- */
|
|
|
|
#if defined(VGP_amd64_linux) || defined(VGP_amd64_darwin) || \
|
|
defined(VGP_amd64_solaris) || defined(VGP_amd64_freebsd)
|
|
|
|
__asm__(
|
|
".text" "\n"
|
|
"" "\n"
|
|
|
|
#if defined(VGP_amd64_linux) || defined(VGP_amd64_solaris) || defined(VGP_amd64_freebsd)
|
|
".global VG_MINIMAL_SETJMP" "\n" // rdi = jmp_buf
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
|
|
#elif defined(VGP_amd64_darwin)
|
|
".globl _VG_MINIMAL_SETJMP" "\n" // rdi = jmp_buf
|
|
"_VG_MINIMAL_SETJMP:" "\n"
|
|
|
|
#else
|
|
# error "Huh?"
|
|
#endif
|
|
|
|
" movq %rax, 0(%rdi)" "\n"
|
|
" movq %rbx, 8(%rdi)" "\n"
|
|
" movq %rcx, 16(%rdi)" "\n"
|
|
" movq %rdx, 24(%rdi)" "\n"
|
|
" movq %rdi, 32(%rdi)" "\n"
|
|
" movq %rsi, 40(%rdi)" "\n"
|
|
" movq %rbp, 48(%rdi)" "\n"
|
|
" movq %rsp, 56(%rdi)" "\n"
|
|
" movq %r8, 64(%rdi)" "\n"
|
|
" movq %r9, 72(%rdi)" "\n"
|
|
" movq %r10, 80(%rdi)" "\n"
|
|
" movq %r11, 88(%rdi)" "\n"
|
|
" movq %r12, 96(%rdi)" "\n"
|
|
" movq %r13, 104(%rdi)" "\n"
|
|
" movq %r14, 112(%rdi)" "\n"
|
|
" movq %r15, 120(%rdi)" "\n"
|
|
// store the return address
|
|
" movq 0(%rsp), %rax" "\n"
|
|
" movq %rax, 128(%rdi)" "\n"
|
|
// and return zero
|
|
" movq $0, %rax" "\n"
|
|
" ret" "\n"
|
|
"" "\n"
|
|
|
|
|
|
#if defined(VGP_amd64_linux) || defined(VGP_amd64_solaris) || defined(VGP_amd64_freebsd)
|
|
".global VG_MINIMAL_LONGJMP" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n" // rdi = jmp_buf
|
|
|
|
#elif defined(VGP_amd64_darwin)
|
|
".globl _VG_MINIMAL_LONGJMP" "\n"
|
|
"_VG_MINIMAL_LONGJMP:" "\n" // rdi = jmp_buf
|
|
|
|
#else
|
|
# error "Huh?"
|
|
#endif
|
|
// skip restoring rax; it's pointless
|
|
" movq 8(%rdi), %rbx" "\n"
|
|
" movq 16(%rdi), %rcx" "\n"
|
|
" movq 24(%rdi), %rdx" "\n"
|
|
// defer restoring rdi; we still need it
|
|
" movq 40(%rdi), %rsi" "\n"
|
|
" movq 48(%rdi), %rbp" "\n"
|
|
" movq 56(%rdi), %rsp" "\n"
|
|
" movq 64(%rdi), %r8" "\n"
|
|
" movq 72(%rdi), %r9" "\n"
|
|
" movq 80(%rdi), %r10" "\n"
|
|
" movq 88(%rdi), %r11" "\n"
|
|
" movq 96(%rdi), %r12" "\n"
|
|
" movq 104(%rdi), %r13" "\n"
|
|
" movq 112(%rdi), %r14" "\n"
|
|
" movq 120(%rdi), %r15" "\n"
|
|
// restore the return address
|
|
" movq 128(%rdi), %rax" "\n"
|
|
// restore rdi; this is the last use
|
|
" movq 32(%rdi), %rdi" "\n"
|
|
// make %rsp look like we really did a return
|
|
" addq $8, %rsp" "\n"
|
|
// continue at RA of original call. Note: this is a
|
|
// nasty trick. We assume that %rax is nonzero, and so the
|
|
// caller can differentiate this case from the normal _SETJMP
|
|
// return case. If the return address ever is zero, then
|
|
// we're hosed; but that seems pretty unlikely given that it
|
|
// would mean we'd be executing at the wraparound point of the
|
|
// address space.
|
|
" jmp *%rax" "\n"
|
|
"" "\n"
|
|
|
|
#if !defined(VGP_amd64_darwin)
|
|
".previous" "\n"
|
|
#endif
|
|
);
|
|
|
|
#endif /* VGP_amd64_linux || VGP_amd64_darwin || VGP_amd64_solaris || VGP_amd64_freebsd */
|
|
|
|
|
|
/* -------- x86-{linux,darwin,solaris,freebsd} -------- */
|
|
|
|
#if defined(VGP_x86_linux) || defined(VGP_x86_darwin) || \
|
|
defined(VGP_x86_solaris) || defined(VGP_x86_freebsd)
|
|
|
|
__asm__(
|
|
".text" "\n"
|
|
"" "\n"
|
|
|
|
#if defined(VGP_x86_linux) || defined(VGP_x86_solaris) || defined(VGP_x86_freebsd)
|
|
".global VG_MINIMAL_SETJMP" "\n" // eax = jmp_buf
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
|
|
#elif defined(VGP_x86_darwin)
|
|
".globl _VG_MINIMAL_SETJMP" "\n" // eax = jmp_buf
|
|
"_VG_MINIMAL_SETJMP:" "\n"
|
|
|
|
#else
|
|
# error "Huh?"
|
|
#endif
|
|
|
|
" movl %eax, 0(%eax)" "\n"
|
|
" movl %ebx, 4(%eax)" "\n"
|
|
" movl %ecx, 8(%eax)" "\n"
|
|
" movl %edx, 12(%eax)" "\n"
|
|
" movl %edi, 16(%eax)" "\n"
|
|
" movl %esi, 20(%eax)" "\n"
|
|
" movl %ebp, 24(%eax)" "\n"
|
|
" movl %esp, 28(%eax)" "\n"
|
|
// store the return address
|
|
" movl 0(%esp), %ebx" "\n"
|
|
" movl %ebx, 32(%eax)" "\n"
|
|
// un-trash ebx (necessary? i don't know)
|
|
" movl 4(%eax), %ebx" "\n"
|
|
// and return zero
|
|
" movl $0, %eax" "\n"
|
|
" ret" "\n"
|
|
"" "\n"
|
|
|
|
|
|
#if defined(VGP_x86_linux) || defined(VGP_x86_solaris) || defined(VGP_x86_freebsd)
|
|
".global VG_MINIMAL_LONGJMP" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n" // eax = jmp_buf
|
|
|
|
#elif defined(VGP_x86_darwin)
|
|
".globl _VG_MINIMAL_LONGJMP" "\n"
|
|
"_VG_MINIMAL_LONGJMP:" "\n" // eax = jmp_buf
|
|
|
|
#else
|
|
# error "Huh?"
|
|
#endif
|
|
|
|
// skip restoring eax; it's pointless
|
|
" movl 4(%eax), %ebx" "\n"
|
|
" movl 8(%eax), %ecx" "\n"
|
|
" movl 12(%eax), %edx" "\n"
|
|
" movl 16(%eax), %edi" "\n"
|
|
" movl 20(%eax), %esi" "\n"
|
|
" movl 24(%eax), %ebp" "\n"
|
|
" movl 28(%eax), %esp" "\n"
|
|
// restore the return address
|
|
" movl 32(%eax), %eax" "\n"
|
|
// make %esp look like we really did a return
|
|
" addl $4, %esp" "\n"
|
|
// continue at RA of original call. Same zero-vs-nonzero
|
|
// trick/assumption as documented for the amd64-linux case.
|
|
" jmp *%eax" "\n"
|
|
"" "\n"
|
|
|
|
#if !defined(VGP_x86_darwin)
|
|
".previous" "\n"
|
|
#endif
|
|
);
|
|
|
|
#endif /* VGP_x86_linux || VGP_x86_darwin || VGP_x86_solaris || VGP_x86_freebsd */
|
|
|
|
#if defined(VGP_mips32_linux)
|
|
|
|
__asm__(
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_SETJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_SETJMP: \n\t"
|
|
#if defined(__mips_hard_float)
|
|
" sdc1 $f20, 56($a0) \n\t"
|
|
" sdc1 $f22, 64($a0) \n\t"
|
|
" sdc1 $f24, 72($a0) \n\t"
|
|
" sdc1 $f26, 80($a0) \n\t"
|
|
" sdc1 $f28, 88($a0) \n\t"
|
|
" sdc1 $f30, 96($a0) \n\t"
|
|
#endif
|
|
" sw $gp, 44($a0) \n\t"
|
|
" sw $s0, 8($a0) \n\t"
|
|
" sw $s1, 12($a0) \n\t"
|
|
" sw $s2, 16($a0) \n\t"
|
|
" sw $s3, 20($a0) \n\t"
|
|
" sw $s4, 24($a0) \n\t"
|
|
" sw $s5, 28($a0) \n\t"
|
|
" sw $s6, 32($a0) \n\t"
|
|
" sw $s7, 36($a0) \n\t"
|
|
" sw $ra, 0($a0) \n\t"
|
|
" sw $sp, 4($a0) \n\t"
|
|
" sw $fp, 40($a0) \n\t"
|
|
" jr $ra \n\t"
|
|
" move $v0, $zero \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
" \n\t"
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_LONGJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_LONGJMP: \n\t"
|
|
#if defined(__mips_hard_float)
|
|
" ldc1 $f20, 56($a0) \n\t"
|
|
" ldc1 $f22, 64($a0) \n\t"
|
|
" ldc1 $f24, 72($a0) \n\t"
|
|
" ldc1 $f26, 80($a0) \n\t"
|
|
" ldc1 $f28, 88($a0) \n\t"
|
|
" ldc1 $f30, 96($a0) \n\t"
|
|
#endif
|
|
" lw $gp, 44($a0) \n\t"
|
|
" lw $s0, 8($a0) \n\t"
|
|
" lw $s1, 12($a0) \n\t"
|
|
" lw $s2, 16($a0) \n\t"
|
|
" lw $s3, 20($a0) \n\t"
|
|
" lw $s4, 24($a0) \n\t"
|
|
" lw $s5, 28($a0) \n\t"
|
|
" lw $s6, 32($a0) \n\t"
|
|
" lw $s7, 36($a0) \n\t"
|
|
" lw $ra, 0($a0) \n\t"
|
|
" lw $sp, 4($a0) \n\t"
|
|
" bnez $a1, 1f \n\t"
|
|
" lw $fp, 40($a0) \n\t"
|
|
" addiu $a1, $a1, 1 \n\t"
|
|
"1: \n\t"
|
|
" jr $ra \n\t"
|
|
" move $v0, $a1 \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
);
|
|
#endif /* VGP_mips32_linux */
|
|
|
|
#if defined(VGP_mips64_linux)
|
|
|
|
__asm__(
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_SETJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_SETJMP: \n\t"
|
|
#if defined(__mips_hard_float)
|
|
" sdc1 $f24, 104($a0) \n\t"
|
|
" sdc1 $f25, 112($a0) \n\t"
|
|
" sdc1 $f26, 120($a0) \n\t"
|
|
" sdc1 $f27, 128($a0) \n\t"
|
|
" sdc1 $f28, 136($a0) \n\t"
|
|
" sdc1 $f29, 144($a0) \n\t"
|
|
" sdc1 $f30, 152($a0) \n\t"
|
|
" sdc1 $f31, 160($a0) \n\t"
|
|
#endif
|
|
" sd $gp, 88($a0) \n\t"
|
|
" sd $s0, 16($a0) \n\t"
|
|
" sd $s1, 24($a0) \n\t"
|
|
" sd $s2, 32($a0) \n\t"
|
|
" sd $s3, 40($a0) \n\t"
|
|
" sd $s4, 48($a0) \n\t"
|
|
" sd $s5, 56($a0) \n\t"
|
|
" sd $s6, 64($a0) \n\t"
|
|
" sd $s7, 72($a0) \n\t"
|
|
" sd $ra, 0($a0) \n\t"
|
|
" sd $sp, 8($a0) \n\t"
|
|
" sd $fp, 80($a0) \n\t"
|
|
" jr $ra \n\t"
|
|
" move $v0, $zero \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
" \n\t"
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_LONGJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_LONGJMP: \n\t"
|
|
#if defined(__mips_hard_float)
|
|
" ldc1 $f24, 104($a0) \n\t"
|
|
" ldc1 $f25, 112($a0) \n\t"
|
|
" ldc1 $f26, 120($a0) \n\t"
|
|
" ldc1 $f27, 128($a0) \n\t"
|
|
" ldc1 $f28, 136($a0) \n\t"
|
|
" ldc1 $f29, 144($a0) \n\t"
|
|
" ldc1 $f30, 152($a0) \n\t"
|
|
" ldc1 $f31, 160($a0) \n\t"
|
|
#endif
|
|
" ld $gp, 88($a0) \n\t"
|
|
" ld $s0, 16($a0) \n\t"
|
|
" ld $s1, 24($a0) \n\t"
|
|
" ld $s2, 32($a0) \n\t"
|
|
" ld $s3, 40($a0) \n\t"
|
|
" ld $s4, 48($a0) \n\t"
|
|
" ld $s5, 56($a0) \n\t"
|
|
" ld $s6, 64($a0) \n\t"
|
|
" ld $s7, 72($a0) \n\t"
|
|
" ld $ra, 0($a0) \n\t"
|
|
" ld $sp, 8($a0) \n\t"
|
|
" bnez $a1, 1f \n\t"
|
|
" ld $fp, 80($a0) \n\t"
|
|
" daddiu $a1, $a1, 1 \n\t"
|
|
"1: \n\t"
|
|
" jr $ra \n\t"
|
|
" move $v0, $a1 \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
);
|
|
#endif /* VGP_mips64_linux */
|
|
|
|
#if defined(VGP_nanomips_linux)
|
|
__asm__(
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_SETJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_SETJMP: \n\t"
|
|
" sw $s0, 0($a0) \n\t"
|
|
" sw $s1, 4($a0) \n\t"
|
|
" sw $s2, 8($a0) \n\t"
|
|
" sw $s3, 12($a0) \n\t"
|
|
" sw $s4, 16($a0) \n\t"
|
|
" sw $s5, 20($a0) \n\t"
|
|
" sw $s6, 24($a0) \n\t"
|
|
" sw $s7, 28($a0) \n\t"
|
|
" sw $gp, 32($a0) \n\t"
|
|
" sw $sp, 36($a0) \n\t"
|
|
" sw $fp, 40($a0) \n\t"
|
|
" sw $ra, 44($a0) \n\t"
|
|
" move $a0, $zero \n\t"
|
|
" jrc $ra \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
" \n\t"
|
|
".text \n\t"
|
|
".globl VG_MINIMAL_LONGJMP; \n\t"
|
|
".set push \n\t"
|
|
".set noreorder \n\t"
|
|
"VG_MINIMAL_LONGJMP: \n\t"
|
|
" lw $s0, 0($a0) \n\t"
|
|
" lw $s1, 4($a0) \n\t"
|
|
" lw $s2, 8($a0) \n\t"
|
|
" lw $s3, 12($a0) \n\t"
|
|
" lw $s4, 16($a0) \n\t"
|
|
" lw $s5, 20($a0) \n\t"
|
|
" lw $s6, 24($a0) \n\t"
|
|
" lw $s7, 28($a0) \n\t"
|
|
" lw $gp, 32($a0) \n\t"
|
|
" lw $sp, 36($a0) \n\t"
|
|
" lw $fp, 40($a0) \n\t"
|
|
" lw $ra, 44($a0) \n\t"
|
|
" bnezc $a1, 1f \n\t"
|
|
" addiu $a1, $a1, 1 \n\t"
|
|
"1: \n\t"
|
|
" move $a0, $a1 \n\t"
|
|
" jrc $ra \n\t"
|
|
".set pop \n\t"
|
|
".previous \n\t"
|
|
);
|
|
#endif /* VGP_nanomips_linux */
|
|
|
|
/* ------------ s390x-linux ------------ */
|
|
|
|
#if defined(VGP_s390x_linux)
|
|
__asm__(
|
|
".text" "\n"
|
|
".align 4" "\n"
|
|
".globl VG_MINIMAL_SETJMP" "\n"
|
|
".type VG_MINIMAL_SETJMP, @function" "\n"
|
|
"VG_MINIMAL_SETJMP:" "\n"
|
|
" stmg 6,15,0(2)" "\n"
|
|
" std 8,80(2)" "\n"
|
|
" std 9,88(2)" "\n"
|
|
" std 10,96(2)" "\n"
|
|
" std 11,104(2)" "\n"
|
|
" std 12,112(2)" "\n"
|
|
" std 13,120(2)" "\n"
|
|
" std 14,128(2)" "\n"
|
|
" std 15,136(2)" "\n"
|
|
// return zero
|
|
" lghi 2,0" "\n"
|
|
" br 14" "\n"
|
|
|
|
".align 4" "\n"
|
|
".globl VG_MINIMAL_LONGJMP" "\n"
|
|
".type VG_MINIMAL_LONGJMP, @function" "\n"
|
|
"VG_MINIMAL_LONGJMP:" "\n"
|
|
" lmg 6,15,0(2)" "\n"
|
|
" ld 8,80(2)" "\n"
|
|
" ld 9,88(2)" "\n"
|
|
" ld 10,96(2)" "\n"
|
|
" ld 11,104(2)" "\n"
|
|
" ld 12,112(2)" "\n"
|
|
" ld 13,120(2)" "\n"
|
|
" ld 14,128(2)" "\n"
|
|
" ld 15,136(2)" "\n"
|
|
// return the argument (nonzero)
|
|
" br 14" "\n"
|
|
);
|
|
#endif /* VGP_s390x_linux */
|
|
|
|
#if defined(__clang__) && defined(VGP_arm64_linux)
|
|
|
|
// __builtin_setjmp is not implemented by the standard C library
|
|
// used on Android in current llvm-based toolchains as of NDK r19.
|
|
//
|
|
// Here is a custom implementation of Valgrind's "minimal" setjmp
|
|
// interface. Per the comment at the top of this file, we only need
|
|
// to save integer registers.
|
|
//
|
|
// Per the Procedure Call Standard for the ARM 64-bit Architecture
|
|
// document,
|
|
// http://infocenter.arm.com/help/topic/com.arm.doc.ihi0055b/IHI0055B_aapcs64.pdf
|
|
// Section 5.1.1. General-purpose registers:
|
|
// >
|
|
// > A subroutine invocation must preserve the contents of the
|
|
// > registers r19-r29 and SP."
|
|
//
|
|
// We also need to save and restore r30, the link register, i.e.
|
|
// the default destination that a 'ret' instruction branches to.
|
|
//
|
|
// Note that this document is phrased in terms of 'r' registers
|
|
// (e.g. "r30") because it aims to be agnostic as to A64 vs A32
|
|
// instruction sets, but here we are targeting the A64 instruction
|
|
// set, so we are dealing with 'x' registers.
|
|
|
|
|
|
|
|
__attribute__((returns_twice))
|
|
UWord VG_MINIMAL_SETJMP(VG_MINIMAL_JMP_BUF(_env))
|
|
{
|
|
asm volatile(
|
|
// x9 is the first of the regular temporary registers
|
|
// per the above-mentioned Procedule Call Standard document.
|
|
// Use it as temporary to hold the value of SP, since str does
|
|
// not accept SP as operand.
|
|
" mov x9, sp \n"
|
|
// Store the general-purpose registers that we need to save
|
|
// per the above discussion.
|
|
// Note that x30 is the link register.
|
|
" stp x19, x20, [%[_env], 0] \n"
|
|
" stp x21, x22, [%[_env], 0x10] \n"
|
|
" stp x23, x24, [%[_env], 0x20] \n"
|
|
" stp x25, x26, [%[_env], 0x30] \n"
|
|
" stp x27, x28, [%[_env], 0x40] \n"
|
|
" stp x29, x30, [%[_env], 0x50] \n"
|
|
// Store the value of SP.
|
|
" str x9, [%[_env], 0x60] \n"
|
|
:
|
|
// No outputs
|
|
:
|
|
// Inputs
|
|
[_env]"r"(_env)
|
|
:
|
|
// Clobbers.
|
|
// We have used x9 as a temporary
|
|
"x9",
|
|
// We have written to memory locations
|
|
"memory");
|
|
|
|
// Direct invokation of setjmp always returns 0.
|
|
// The pseudo returning of the value 1 as a return from longjmp
|
|
// is implemented in longjmp.
|
|
return 0;
|
|
}
|
|
|
|
__attribute__((noreturn))
|
|
void VG_MINIMAL_LONGJMP(VG_MINIMAL_JMP_BUF(_env))
|
|
{
|
|
asm volatile(
|
|
// Loads to match the stores in the above setjmp implementation.
|
|
" ldp x19, x20, [%[_env], 0] \n"
|
|
" ldp x21, x22, [%[_env], 0x10] \n"
|
|
" ldp x23, x24, [%[_env], 0x20] \n"
|
|
" ldp x25, x26, [%[_env], 0x30] \n"
|
|
" ldp x27, x28, [%[_env], 0x40] \n"
|
|
" ldp x29, x30, [%[_env], 0x50] \n"
|
|
" ldr x9, [%[_env], 0x60] \n"
|
|
" mov sp, x9 \n"
|
|
// return as setjmp for the second time, returning 1.
|
|
// Since we have loaded the link register x30 from the saved buffer
|
|
// that was set by the above setjmp implementation, the 'ret' instruction
|
|
// here is going to return to where setjmp was called.
|
|
// Per the setjmp/longjmp contract, that pseudo second returning
|
|
// of setjmp should return the value 1.
|
|
// x0 is holds the integer return value.
|
|
" mov x0, 1 \n"
|
|
" ret \n"
|
|
:
|
|
// No outputs
|
|
:
|
|
// Inputs
|
|
[_env]"r"(_env)
|
|
:
|
|
// Clobbers.
|
|
// We have used x9 as a temporary
|
|
"x9");
|
|
|
|
// This statement is unreachable because the above asm statement
|
|
// unconditionally does a 'ret' instruction. The purpose of this
|
|
// statement is to silence clang warnings about this function returning
|
|
// while having the 'noreturn' attribute.
|
|
__builtin_unreachable();
|
|
}
|
|
|
|
#endif
|
|
|
|
#if defined(VGP_arm64_freebsd)
|
|
|
|
__asm__(
|
|
".text\n"
|
|
|
|
".globl VG_MINIMAL_SETJMP" "\n"
|
|
"VG_MINIMAL_SETJMP:" "\n" // x0 = jmp_buf
|
|
" mov x1, sp\n" /* can't STP from sp */
|
|
" stp x19, x20, [x0, #0x00]\n"
|
|
" stp x21, x22, [x0, #0x10]\n"
|
|
" stp x23, x24, [x0, #0x20]\n"
|
|
" stp x25, x26, [x0, #0x30]\n"
|
|
" stp x27, x28, [x0, #0x40]\n"
|
|
" stp x29, x30, [x0, #0x50]\n"
|
|
" stp x1, xzr, [x0, #0x60]\n"
|
|
" stp d8, d9, [x0, #0x70]\n"
|
|
" stp d10, d11, [x0, #0x80]\n"
|
|
" stp d12, d13, [x0, #0x90]\n"
|
|
" stp d14, d15, [x0, #0xA0]\n"
|
|
" mov x0, #0\n" // return 0 on the first return
|
|
" ret\n"
|
|
".previous\n"
|
|
|
|
".globl VG_MINIMAL_LONGJMP" "\n"
|
|
" VG_MINIMAL_LONGJMP:" "\n" // x0 = jmp_buf
|
|
" ldp x19, x20, [x0, #0x00]\n"
|
|
" ldp x21, x22, [x0, #0x10]\n"
|
|
" ldp x23, x24, [x0, #0x20]\n"
|
|
" ldp x25, x26, [x0, #0x30]\n"
|
|
" ldp x27, x28, [x0, #0x40]\n"
|
|
" ldp x29, x30, [x0, #0x50]\n"
|
|
" ldp x1, xzr, [x0, #0x60]\n"
|
|
" ldp d8, d9, [x0, #0x70]\n"
|
|
" ldp d10, d11, [x0, #0x80]\n"
|
|
" ldp d12, d13, [x0, #0x90]\n"
|
|
" ldp d14, d15, [x0, #0xA0]\n"
|
|
" mov sp, x1\n"
|
|
" mov x0, #1\n" // return non-zero on the second return
|
|
" br lr\n"
|
|
".previous\n"
|
|
);
|
|
|
|
#endif
|
|
|
|
/*--------------------------------------------------------------------*/
|
|
/*--- end ---*/
|
|
/*--------------------------------------------------------------------*/
|