2 /*--------------------------------------------------------------------*/
3 /*--- asm-only vkiscnums stuff. pub_tool_vkiscnums_asm.h ---*/
4 /*--------------------------------------------------------------------*/
7 This file is part of Valgrind, a dynamic binary instrumentation
10 Copyright (C) 2005-2017 Nicholas Nethercote
12 Copyright (C) 2006-2017 OpenWorks LLP
15 This program is free software; you can redistribute it and/or
16 modify it under the terms of the GNU General Public License as
17 published by the Free Software Foundation; either version 2 of the
18 License, or (at your option) any later version.
20 This program is distributed in the hope that it will be useful, but
21 WITHOUT ANY WARRANTY; without even the implied warranty of
22 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 General Public License for more details.
25 You should have received a copy of the GNU General Public License
26 along with this program; if not, see <http://www.gnu.org/licenses/>.
28 The GNU General Public License is contained in the file COPYING.
31 #ifndef __PUB_TOOL_VKISCNUMS_ASM_H
32 #define __PUB_TOOL_VKISCNUMS_ASM_H
34 #if defined(VGP_x86_linux)
35 # include "vki/vki-scnums-shared-linux.h"
36 # include "vki/vki-scnums-32bit-linux.h"
37 # include "vki/vki-scnums-x86-linux.h"
39 #elif defined(VGP_amd64_linux)
40 # include "vki/vki-scnums-shared-linux.h"
41 # include "vki/vki-scnums-amd64-linux.h"
43 #elif defined(VGP_ppc32_linux)
44 # include "vki/vki-scnums-shared-linux.h"
45 # include "vki/vki-scnums-32bit-linux.h"
46 # include "vki/vki-scnums-ppc32-linux.h"
48 #elif defined(VGP_ppc64be_linux) || defined(VGP_ppc64le_linux)
49 # include "vki/vki-scnums-shared-linux.h"
50 # include "vki/vki-scnums-ppc64-linux.h"
52 #elif defined(VGP_s390x_linux)
53 # include "vki/vki-scnums-shared-linux.h"
54 # include "vki/vki-scnums-s390x-linux.h"
56 #elif defined(VGP_arm_linux)
57 # include "vki/vki-scnums-shared-linux.h"
58 # include "vki/vki-scnums-32bit-linux.h"
59 # include "vki/vki-scnums-arm-linux.h"
61 #elif defined(VGP_arm64_linux)
62 # include "vki/vki-scnums-shared-linux.h"
63 # include "vki/vki-scnums-arm64-linux.h"
65 #elif defined(VGP_mips32_linux)
66 # include "vki/vki-scnums-shared-linux.h"
67 # include "vki/vki-scnums-32bit-linux.h"
68 # include "vki/vki-scnums-mips32-linux.h"
70 #elif defined(VGP_nanomips_linux)
71 # include "vki/vki-scnums-nanomips-linux.h"
72 # include "vki/vki-scnums-shared-linux.h"
74 #elif defined(VGP_mips64_linux)
75 # include "vki/vki-scnums-shared-linux.h"
76 # include "vki/vki-scnums-mips64-linux.h"
78 #elif defined(VGP_x86_freebsd) || defined(VGP_amd64_freebsd)
79 # include "vki/vki-scnums-freebsd.h"
81 #elif defined(VGP_x86_darwin) || defined(VGP_amd64_darwin)
82 # include "vki/vki-scnums-darwin.h"
84 #elif defined(VGP_x86_solaris) || (VGP_amd64_solaris)
85 # include "vki/vki-scnums-solaris.h"
88 # error Unknown platform
91 #endif // __PUB_TOOL_VKISCNUMS_ASM_H
93 /*--------------------------------------------------------------------*/
95 /*--------------------------------------------------------------------*/