X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fbearch_ia32_t.h;h=08f9a340a4553d94002cf6ea0a3c287922f4e09e;hb=bed34693123e2d3567117c2abee7d23131c91226;hp=1440a49962e28086a0ee9dd2a82e27d7e76884aa;hpb=3b1a4ee674e9522acfd95b6d49c91f86f9b97d32;p=libfirm diff --git a/ir/be/ia32/bearch_ia32_t.h b/ir/be/ia32/bearch_ia32_t.h index 1440a4996..08f9a340a 100644 --- a/ir/be/ia32/bearch_ia32_t.h +++ b/ir/be/ia32/bearch_ia32_t.h @@ -1,31 +1,153 @@ #ifndef _BEARCH_IA32_T_H_ #define _BEARCH_IA32_T_H_ +#include "firm_config.h" + +#include "pmap.h" #include "debug.h" #include "bearch_ia32.h" #include "ia32_nodes_attr.h" +#include "set.h" +#include "../be.h" + +#ifdef NDEBUG +#define SET_IA32_ORIG_NODE(n, o) +#else +#define SET_IA32_ORIG_NODE(n, o) set_ia32_orig_node(n, o); +#endif /* NDEBUG */ + +/* some typedefs */ + +/** + * Bitmask for the backend optimization settings. + */ +typedef enum _ia32_optimize_t { + IA32_OPT_INCDEC = 1, /**< optimize add/sub 1/-1 to inc/dec */ + IA32_OPT_DOAM = 2, /**< do address mode optimizations */ + IA32_OPT_LEA = 4, /**< optimize address caluclations into LEAs */ + IA32_OPT_PLACECNST = 8, /**< place constants in the blocks where they are used */ + IA32_OPT_IMMOPS = 16, /**< create operations with immediate operands */ + IA32_OPT_EXTBB = 32, /**< do extended basic block scheduling */ +} ia32_optimize_t; + +/** + * Architectures. Clustered for easier macro implementation, + * do not change. + */ +typedef enum cpu_support { + arch_i386, /**< i386 */ + arch_i486, /**< i486 */ + arch_pentium, /**< Pentium */ + arch_pentium_pro, /**< Pentium Pro */ + arch_pentium_mmx, /**< Pentium MMX */ + arch_pentium_2, /**< Pentium II */ + arch_pentium_3, /**< Pentium III */ + arch_pentium_4, /**< Pentium IV */ + arch_pentium_m, /**< Pentium M */ + arch_core, /**< Core */ + arch_k6, /**< K6 */ + arch_athlon, /**< Athlon */ + arch_athlon_64, /**< Athlon64 */ + arch_opteron, /**< Opteron */ +} cpu_support; + +/** checks for l <= x <= h */ +#define _IN_RANGE(x, l, h) ((unsigned)((x) - (l)) <= (unsigned)((h) - (l))) + +/** returns true if it's Intel architecture */ +#define ARCH_INTEL(x) _IN_RANGE((x), arch_i386, arch_core) + +/** returns true if it's AMD architecture */ +#define ARCH_AMD(x) _IN_RANGE((x), arch_k6, arch_opteron) + +#define IS_P6_ARCH(x) (_IN_RANGE((x), arch_pentium_pro, arch_core) || \ + _IN_RANGE((x), arch_athlon, arch_opteron)) +/** floating point support */ +typedef enum fp_support { + fp_none, /**< no floating point instructions are used */ + fp_x87, /**< use x87 instructions */ + fp_sse2 /**< use SSE2 instructions */ +} fp_support; + +/** Sets the used flag to the current floating point architecture. */ +#define FP_USED(cg) ((cg)->used_fp = (cg)->fp_kind) + +/** Returns non-zero if the current floating point architecture is SSE2. */ +#define USE_SSE2(cg) ((cg)->fp_kind == fp_sse2) + +/** Returns non-zero if the current floating point architecture is x87. */ +#define USE_x87(cg) ((cg)->fp_kind == fp_x87) + +typedef struct _ia32_isa_t ia32_isa_t; + +/** + * IA32 code generator + */ typedef struct _ia32_code_gen_t { - const arch_code_generator_if_t *impl; /* implementation */ - ir_graph *irg; /* current irg */ - FILE *out; /* output file */ - const arch_env_t *arch_env; /* the arch env */ - set *reg_set; /* set to memorize registers for non-ia32 nodes (e.g. phi nodes) */ - firm_dbg_module_t *mod; /* debugging module */ - int emit_decls; /* flag indicating if decls were already emitted */ - int has_alloca; /* indicates whether the irg contains an alloca or not */ - const ia32_register_req_t **reg_param_req; /* hold the requirements for the reg param nodes */ + const arch_code_generator_if_t *impl; /**< implementation */ + ir_graph *irg; /**< current irg */ + const arch_env_t *arch_env; /**< the arch env */ + set *reg_set; /**< set to memorize registers for non-ia32 nodes (e.g. phi nodes) */ + ia32_isa_t *isa; /**< for fast access to the isa object */ + const be_irg_t *birg; /**< The be-irg (contains additional information about the irg) */ + ir_node **blk_sched; /**< an array containing the scheduled blocks */ + ia32_optimize_t opt; /**< contains optimization information */ + entity *fp_to_gp; /**< allocated entity for fp to gp conversion */ + entity *gp_to_fp; /**< allocated entity for gp to fp conversion */ + int arch; /**< instruction architecture */ + int opt_arch; /**< optimize for architecture */ + int fp_kind; /**< floating point kind */ + char used_fp; /**< which floating point unit used in this graph */ + DEBUG_ONLY(firm_dbg_module_t *mod;) /**< debugging module */ } ia32_code_gen_t; -typedef struct _ia32_isa_t { - const arch_isa_if_t *impl; - int num_codegens; - set *reg_projnum_map; -} ia32_isa_t; +/** + * IA32 ISA object + */ +struct _ia32_isa_t { + arch_isa_t arch_isa; /**< must be derived from arch_isa_t */ + pmap *regs_16bit; /**< Contains the 16bits names of the gp registers */ + pmap *regs_8bit; /**< Contains the 8bits names of the gp registers */ + pmap *types; /**< A map of modes to primitive types */ + pmap *tv_ent; /**< A map of entities that store const tarvals */ + ia32_optimize_t opt; /**< contains optimization information */ + int arch; /**< instruction architecture */ + int opt_arch; /**< optimize for architecture */ + int fp_kind; /**< floating point kind */ + ia32_code_gen_t *cg; /**< the current code generator */ + FILE *out; /**< output file */ +#ifndef NDEBUG + struct obstack *name_obst; /**< holds the original node names (for debugging) */ + unsigned long name_obst_size; +#endif /* NDEBUG */ +}; typedef struct _ia32_irn_ops_t { const arch_irn_ops_if_t *impl; ia32_code_gen_t *cg; } ia32_irn_ops_t; +/* this is a struct to minimize the number of parameters + for transformation walker */ +typedef struct _ia32_transform_env_t { + dbg_info *dbg; /**< The node debug info */ + ir_graph *irg; /**< The irg, the node should be created in */ + ir_node *block; /**< The block, the node should belong to */ + ir_node *irn; /**< The irn, to be transformed */ + ir_mode *mode; /**< The mode of the irn */ + ia32_code_gen_t *cg; /**< The code generator */ + DEBUG_ONLY(firm_dbg_module_t *mod;) /**< The firm debugger */ +} ia32_transform_env_t; + +/** + * Creates the unique per irg GP NoReg node. + */ +ir_node *ia32_new_NoReg_gp(ia32_code_gen_t *cg); + +/** + * Creates the unique per irg FP NoReg node. + */ +ir_node *ia32_new_NoReg_fp(ia32_code_gen_t *cg); + #endif /* _BEARCH_IA32_T_H_ */