#ifndef __VEX_GUEST_AMD64_DEFS_H
#define __VEX_GUEST_AMD64_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex_emnote.h" // VexEmNote
+#include "libvex_guest_amd64.h" // VexGuestAMD64State
+#include "guest_generic_bb_to_IR.h" // DisResult
/*---------------------------------------------------------*/
/*--- amd64 to IR conversion ---*/
#ifndef __VEX_GUEST_ARM_DEFS_H
#define __VEX_GUEST_ARM_DEFS_H
+#include "libvex_basictypes.h"
+#include "guest_generic_bb_to_IR.h" // DisResult
/*---------------------------------------------------------*/
/*--- arm to IR conversion ---*/
#ifndef __VEX_GUEST_GENERIC_BB_TO_IR_H
#define __VEX_GUEST_GENERIC_BB_TO_IR_H
+#include "libvex_basictypes.h"
+#include "libvex_ir.h" // IRJumpKind
+#include "libvex.h" // VexArch
/* This defines stuff needed by the guest insn disassemblers.
It's a bit circular; is imported by
#ifndef __VEX_GUEST_MIPS_DEFS_H
#define __VEX_GUEST_MIPS_DEFS_H
+#include "libvex_basictypes.h"
+#include "guest_generic_bb_to_IR.h" // DisResult
+
/*---------------------------------------------------------*/
/*--- mips to IR conversion ---*/
/*---------------------------------------------------------*/
#ifndef __VEX_GUEST_PPC_DEFS_H
#define __VEX_GUEST_PPC_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex_guest_ppc32.h" // VexGuestPPC32State
+#include "libvex_guest_ppc64.h" // VexGuestPPC64State
+#include "guest_generic_bb_to_IR.h" // DisResult
/*---------------------------------------------------------*/
/*--- ppc to IR conversion ---*/
#include "libvex_basictypes.h"
#include "libvex_ir.h"
#include "libvex.h"
+#include "libvex_emnote.h"
#include "libvex_guest_ppc32.h"
#include "libvex_guest_ppc64.h"
#define __VEX_GUEST_S390_DEFS_H
#include "libvex_basictypes.h" // offsetof
-#include "libvex_ir.h" // IRSB (needed by bb_to_IR.h)
-#include "libvex.h" // VexArch (needed by bb_to_IR.h)
#include "guest_generic_bb_to_IR.h" // DisResult
#include "libvex_guest_s390x.h" // VexGuestS390XState
#include "libvex_basictypes.h"
#include "libvex_ir.h"
-#include "libvex.h" /* needed for bb_to_IR.h */
+#include "libvex_emnote.h"
#include "libvex_s390x_common.h"
#include "main_util.h" /* vassert */
#include "main_globals.h" /* vex_traceflags */
#ifndef __VEX_GUEST_X86_DEFS_H
#define __VEX_GUEST_X86_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex_guest_x86.h" // VexGuestX86State
+#include "libvex_emnote.h" // VexEmNote
+#include "guest_generic_bb_to_IR.h" // DisResult
/*---------------------------------------------------------*/
/*--- x86 to IR conversion ---*/
#ifndef __VEX_HOST_AMD64_DEFS_H
#define __VEX_HOST_AMD64_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex.h" // VexArch
+#include "host_generic_regs.h" // HReg
/* --------- Registers. --------- */
#ifndef __VEX_HOST_ARM_DEFS_H
#define __VEX_HOST_ARM_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex.h" // VexArch
+#include "host_generic_regs.h" // HReg
+
extern UInt arm_hwcaps;
#ifndef __VEX_HOST_MIPS_DEFS_H
#define __VEX_HOST_MIPS_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex.h" // VexArch
+#include "host_generic_regs.h" // HReg
+
/* Num registers used for function calls */
#define MIPS_N_REGPARMS 4
#ifndef __VEX_HOST_PPC_DEFS_H
#define __VEX_HOST_PPC_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex.h" // VexArch
+#include "host_generic_regs.h" // HReg
+
/* Num registers used for function calls */
#define PPC_N_REGPARMS 8
#include "libvex_basictypes.h" /* Bool */
#include "libvex.h" /* VexArchInfo */
-#include "main_util.h" /* needed for host_generic_regs.h */
#include "host_generic_regs.h" /* HReg */
/* --------- Registers --------- */
#ifndef __VEX_HOST_X86_DEFS_H
#define __VEX_HOST_X86_DEFS_H
+#include "libvex_basictypes.h"
+#include "libvex.h" // VexArch
+#include "host_generic_regs.h" // HReg
/* --------- Registers. --------- */
#ifndef __LIBVEX_EMNOTE_H
#define __LIBVEX_EMNOTE_H
+#include "libvex_basictypes.h"
/* VEX can sometimes generate code which returns to the dispatcher
with the guest state pointer set to VEX_TRC_JMP_EMWARN or
#define __LIBVEX_PUB_GUEST_AMD64_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*---------------------------------------------------------------*/
#define __LIBVEX_PUB_GUEST_ARM_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*---------------------------------------------------------------*/
#define __LIBVEX_PUB_GUEST_MIPS32_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*---------------------------------------------------------------*/
#define __LIBVEX_PUB_GUEST_PPC32_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*---------------------------------------------------------------*/
#define __LIBVEX_PUB_GUEST_PPC64_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*
volatile == caller-saved (not preserved across function calls)
#define __LIBVEX_PUB_GUEST_S390X_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*------------------------------------------------------------*/
/*--- Vex's representation of the s390 CPU state. ---*/
#define __LIBVEX_PUB_GUEST_X86_H
#include "libvex_basictypes.h"
-#include "libvex_emnote.h"
/*---------------------------------------------------------------*/