include/valgrind/pub_tool_vkiscnums_asm.h

0001
0002 /*--------------------------------------------------------------------*/
0003 /*--- asm-only vkiscnums stuff.           pub_tool_vkiscnums_asm.h ---*/
0004 /*--------------------------------------------------------------------*/
0005
0006 /*
0007    This file is part of Valgrind, a dynamic binary instrumentation
0008    framework.
0009
0010    Copyright (C) 2005-2017 Nicholas Nethercote
0011       njn@valgrind.org
0012    Copyright (C) 2006-2017 OpenWorks LLP
0013       info@open-works.co.uk
0014
0015    This program is free software; you can redistribute it and/or
0016    modify it under the terms of the GNU General Public License as
0017    published by the Free Software Foundation; either version 3 of the
0018    License, or (at your option) any later version.
0019
0020    This program is distributed in the hope that it will be useful, but
0021    WITHOUT ANY WARRANTY; without even the implied warranty of
0022    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
0023    General Public License for more details.
0024
0025    You should have received a copy of the GNU General Public License
0026    along with this program; if not, see <http://www.gnu.org/licenses/>.
0027
0028    The GNU General Public License is contained in the file COPYING.
0029 */
0030
0031 #ifndef __PUB_TOOL_VKISCNUMS_ASM_H
0032 #define __PUB_TOOL_VKISCNUMS_ASM_H
0033
0034 #if defined(VGP_x86_linux)
0035 #  include "vki/vki-scnums-shared-linux.h"
0036 #  include "vki/vki-scnums-32bit-linux.h"
0037 #  include "vki/vki-scnums-x86-linux.h"
0038
0039 #elif defined(VGP_amd64_linux)
0040 #  include "vki/vki-scnums-shared-linux.h"
0041 #  include "vki/vki-scnums-amd64-linux.h"
0042
0043 #elif defined(VGP_ppc32_linux)
0044 #  include "vki/vki-scnums-shared-linux.h"
0045 #  include "vki/vki-scnums-32bit-linux.h"
0046 #  include "vki/vki-scnums-ppc32-linux.h"
0047
0048 #elif defined(VGP_ppc64be_linux) || defined(VGP_ppc64le_linux)
0049 #  include "vki/vki-scnums-shared-linux.h"
0050 #  include "vki/vki-scnums-ppc64-linux.h"
0051
0052 #elif defined(VGP_s390x_linux)
0053 #  include "vki/vki-scnums-shared-linux.h"
0054 #  include "vki/vki-scnums-s390x-linux.h"
0055
0056 #elif defined(VGP_arm_linux)
0057 #  include "vki/vki-scnums-shared-linux.h"
0058 #  include "vki/vki-scnums-32bit-linux.h"
0059 #  include "vki/vki-scnums-arm-linux.h"
0060
0061 #elif defined(VGP_arm64_linux)
0062 #  include "vki/vki-scnums-shared-linux.h"
0063 #  include "vki/vki-scnums-arm64-linux.h"
0064
0065 #elif defined(VGP_mips32_linux)
0066 #  include "vki/vki-scnums-mips32-linux.h"
0067
0068 #elif defined(VGP_nanomips_linux)
0069 #  include "vki/vki-scnums-nanomips-linux.h"
0070 #  include "vki/vki-scnums-shared-linux.h"
0071
0072 #elif defined(VGP_mips64_linux)
0073 #  include "vki/vki-scnums-mips64-linux.h"
0074
0075 #elif defined(VGP_riscv64_linux)
0076 #  include "vki/vki-scnums-shared-linux.h"
0077 #  include "vki/vki-scnums-riscv64-linux.h"
0078
0079 #elif defined(VGP_x86_freebsd) || defined(VGP_amd64_freebsd) || defined(VGP_arm64_freebsd)
0080 #  include "vki/vki-scnums-freebsd.h"
0081
0082 #elif defined(VGP_x86_darwin) || defined(VGP_amd64_darwin)
0083 #  include "vki/vki-scnums-darwin.h"
0084
0085 #elif defined(VGP_x86_solaris) || (VGP_amd64_solaris)
0086 #  include "vki/vki-scnums-solaris.h"
0087
0088 #else
0089 #  error Unknown platform
0090 #endif
0091
0092 #endif   // __PUB_TOOL_VKISCNUMS_ASM_H
0093
0094 /*--------------------------------------------------------------------*/
0095 /*--- end                                                          ---*/
0096 /*--------------------------------------------------------------------*/