#include "xed-tables-decl.h"
#include "xed-internal-header.h"
#include "xed-init.h"
extern void xed_init_inst_table(void);
extern void xed_init_pointer_names(void);
extern void xed_init_operand_ctypes(void);
extern void xed_init_width_mappings(void);
extern void xed_init_reg_mappings(void);
extern void xed_init_chip_model_info(void);
extern void xed_init_convert_tables(void);
extern void xed_ild_init(void);
#if defined(XED_MESSAGES)
# include <stdio.h>
#endif
#include "xed-ild.h"
static void
xed_common_init(void)
{
static int first_time = 1;
if (first_time == 0)
return;
first_time = 0;
#if defined(XED_MESSAGES)
xed_log_file=stdout;
#endif
}
static void
xed_decode_init(void)
{
static int first_time = 1;
if (first_time == 0)
return;
first_time = 0;
xed_common_init();
xed_init_width_mappings();
xed_init_reg_mappings();
xed_init_pointer_names(); xed_init_operand_ctypes(); xed_init_inst_table(); xed_init_chip_model_info();
xed_init_convert_tables();
}
#if defined(XED_ENCODER)
extern void xed_init_encode_table(void);
extern void xed_init_encoder_order(void);
static void
xed_encode_init(void) {
static int first_time = 1;
if (first_time == 0)
return;
first_time = 0;
xed_common_init();
xed_decode_init();
xed_init_encode_table(); xed_init_encoder_order(); }
#endif
extern void xed_table_sizes(void);
XED_DLL_EXPORT void
xed_tables_init(void)
{
static int first_time = 1;
if (first_time == 0)
return;
first_time = 0;
xed_table_sizes();
xed_common_init();
xed_decode_init();
#if defined(XED_ENCODER)
xed_encode_init();
#endif
#if defined(XED_DECODER)
xed_ild_init();
#endif
}