X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Fbe.h;h=41d5454eb8d879b921b4a84defda565b70240ee2;hb=d217f68a9e53ec6e800ae31ca3af8ed8b6f9ece9;hp=998dd9f5de126755f7ae08e9cc464c0a2e49ac84;hpb=1ec30d95387eb392ba5a1adc7958ebd91383d59c;p=libfirm diff --git a/include/libfirm/be.h b/include/libfirm/be.h index 998dd9f5d..41d5454eb 100644 --- a/include/libfirm/be.h +++ b/include/libfirm/be.h @@ -1,5 +1,5 @@ /* - * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved. * * This file is part of libFirm. * @@ -21,93 +21,180 @@ * @file * @brief Generic backend types and interfaces. * @author Sebastian Hack - * @version $Id$ */ #ifndef FIRM_BE_MAIN_H #define FIRM_BE_MAIN_H #include #include "irarch.h" -#include "archop.h" -#include "lower_dw.h" -#include "dbginfo.h" +#include "lowering.h" #include "iroptimize.h" +#include "begin.h" -#include +/** + * @defgroup be Code Generation + * + * Code Generation (backend) produces machine-code. + * @{ + */ -#define LC_STOP_AND_RESET_TIMER(timer) do { lc_timer_stop(timer); lc_timer_reset(timer); } while(0) +/** + * flags categorizing assembler constraint specifications + */ +typedef enum asm_constraint_flags_t { + ASM_CONSTRAINT_FLAG_NONE = 0, /**< no constraints */ + /** input/output can be in a register */ + ASM_CONSTRAINT_FLAG_SUPPORTS_REGISTER = 1u << 0, + /** input/output can be read/written to/from a memory address */ + ASM_CONSTRAINT_FLAG_SUPPORTS_MEMOP = 1u << 1, + /** input can be encoded as an immediate number */ + ASM_CONSTRAINT_FLAG_SUPPORTS_IMMEDIATE = 1u << 2, + /** the constraint is not supported yet by libFirm */ + ASM_CONSTRAINT_FLAG_NO_SUPPORT = 1u << 3, + /** The input is also written to */ + ASM_CONSTRAINT_FLAG_MODIFIER_WRITE = 1u << 4, + /** the input is not written to */ + ASM_CONSTRAINT_FLAG_MODIFIER_NO_WRITE = 1u << 5, + /** the input is read */ + ASM_CONSTRAINT_FLAG_MODIFIER_READ = 1u << 6, + /** the input is not read */ + ASM_CONSTRAINT_FLAG_MODIFIER_NO_READ = 1u << 7, + /** the value is modified before all inputs to the asm block + * are handled. */ + ASM_CONSTRAINT_FLAG_MODIFIER_EARLYCLOBBER = 1u << 8, + /** This operand and the following operand are commutative */ + ASM_CONSTRAINT_FLAG_MODIFIER_COMMUTATIVE = 1u << 9, + /** invalid constraint (due to parse error) */ + ASM_CONSTRAINT_FLAG_INVALID = 1u << 10 +} asm_constraint_flags_t; +ENUM_BITSET(asm_constraint_flags_t) -/** For inline assembler: get a register from a name and encode it into a backend specific value. */ -typedef unsigned (get_register_fkt)(const char *reg); +/** + * Build a Trampoline for the closure. + * @param block the block where to build the trampoline + * @param mem memory + * @param trampoline address of a trampoline region + * @param env address of the environment + * @param callee address of the function to call + * + * @return modified memory + */ +typedef ir_node *(create_trampoline_fkt)(ir_node *block, ir_node *mem, ir_node *trampoline, ir_node *env, ir_node *callee); /** * This structure contains parameters that should be * propagated to the libFirm parameter set. */ typedef struct backend_params { - /** if set, the backend cannot handle DWORD access */ - unsigned do_dw_lowering:1; - /** if set, the backend supports inline assembly */ + /** If set, the backend supports inline assembly. */ unsigned support_inline_asm:1; - - /** Additional opcodes settings. */ - const arch_ops_info *arch_op_settings; - - /** Settings for architecture dependent optimizations */ - const arch_dep_params_t *dep_param; - - /** the architecture specific intrinsic function creator */ - create_intrinsic_fkt *arch_create_intrinsic_fkt; - - /** the context parameter for the create intrinsic function */ - void *create_intrinsic_ctx; - - /** backend settings for if-conversion */ - const opt_if_conv_info_t *if_conv_info; - - /** get the backend specific register encoding for a register name */ - get_register_fkt *get_register_from_name; + /** If set, the backend supports Rotl nodes */ + unsigned support_rotl:1; + /** the backend uses big-endian byte ordering if set, else little endian */ + unsigned byte_order_big_endian:1; + /** whether the architecure can natively handle modulo shift modes. + * If this is true, then you can assume that shifting in modes with + * module_shift==machine_size (if mode size is <= machine_size) is efficient + */ + unsigned modulo_shift_efficient:1; + /** whether the architecure can natively handle modulo shift modes. + * If this is true, then you can assume that shifting without modulo shift + * is efficient + */ + unsigned non_modulo_shift_efficient:1; + + /** Settings for architecture dependent optimizations. */ + const ir_settings_arch_dep_t *dep_param; + + /** Backend settings for if-conversion. */ + arch_allow_ifconv_func allow_ifconv; + + /** size of machine words. This is usually the size of the general purpose + * integer registers. */ + unsigned machine_size; + + /** + * some backends like x87 can only do arithmetic in a specific float + * mode (load/store are still done in the "normal" float/double modes). + */ + ir_mode *mode_float_arithmetic; + + /** + * type used for long long or NULL if none available. + */ + ir_type *type_long_long; + + /** + * type used for unsigned long long or NULL if none available + */ + ir_type *type_unsigned_long_long; + + /** + * type used for long double or NULL if none available. + */ + ir_type *type_long_double; + + /** Size of the trampoline code. */ + unsigned trampoline_size; + + /** Alignment of the trampoline code. */ + unsigned trampoline_align; + + /** If non-zero, build the trampoline. */ + create_trampoline_fkt *build_trampoline; + + /** Alignment of stack parameters */ + unsigned stack_param_align; } backend_params; -/** - * Register the Firm backend command line options. - */ -void be_opt_register(void); - /** * Parse one backend argument. */ -int be_parse_arg(const char *arg); +FIRM_API int be_parse_arg(const char *arg); /** - * Initialize the Firm backend. Must be run BEFORE init_firm()! + * Returns the backend configuration parameter. * * @return libFirm configuration parameters for the selected * backend */ -const backend_params *be_init(void); +FIRM_API const backend_params *be_get_backend_param(void); /** - * Main interface to the frontend. + * Lowers current program for the target architecture. + * This must be run once before using be_main. The idea here is that the backend + * can perform lowerings like doubleword-lowering, ABI adjustments or + * implementation of boolean values, if-conversion, with target specific + * settings. + * The resulting graph is still a "normal" firm-graph on which you can and + * should perform further architecture-neutral optimisations before be_main. */ -void be_main(FILE *file_handle, const char *cup_name); +FIRM_API void be_lower_for_target(void); -/** The type of the debug info retriever function. */ -typedef const char *(*retrieve_dbg_func)(const dbg_info *dbg, unsigned *line); +/** + * Creates an ir_prog pass which performs lowerings necessary for the target + * architecture. (Calling backend_params->lower_for_target) + */ +FIRM_API ir_prog_pass_t *lower_for_target_pass(const char *name); /** - * Sets a debug info retriever. - * - * @param func the debug retriever function. + * Main interface to the frontend. + */ +FIRM_API void be_main(FILE *output, const char *compilation_unit_name); + +/** + * parse assembler constraint strings and returns flags (so the frontend knows + * which operands are inputs/outputs and whether memory is required) */ -void be_set_debug_retrieve(retrieve_dbg_func func); +FIRM_API asm_constraint_flags_t be_parse_asm_constraints(const char *constraints); /** - * Retrieve the debug info. + * tests whether a string is a valid clobber in an ASM instruction */ -const char *be_retrieve_dbg_info(const dbg_info *dbg, unsigned *line); +FIRM_API int be_is_valid_clobber(const char *clobber); + +/** @} */ -typedef struct be_main_env_t be_main_env_t; -typedef struct be_options_t be_options_t; +#include "end.h" -#endif /* FIRM_BE_MAIN_H */ +#endif