#ifndef _PLY_ARCH_H
#define _PLY_ARCH_H

#include "type.h"

/* fixed length integers */
extern type_t t_s8;
extern type_t t_u8;
extern type_t t_s16;
extern type_t t_u16;
extern type_t t_s32;
extern type_t t_u32;
extern type_t t_s64;
extern type_t t_u64;

/* layout of captured registers */
extern type_t t_pt_regs;

/* ABI mapping of registers to arguments/return value */
const char *arch_register_argument(int num);
const char *arch_register_pc      (void);
const char *arch_register_return  (void);

#endif	/* _PLY_ARCH_H */