X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Fbe.h;h=10af37ab9a9e0f6f8f7a6cda924c3c52b6445dd0;hb=b8d367e5b2b7d647a7e9660f64fa75ab6058e69a;hp=2d7127668bdd3a961db47123e12234ee95781e5c;hpb=cbb0abb6d3754a074e7eceaceb89780c0f1a7b1c;p=libfirm diff --git a/include/libfirm/be.h b/include/libfirm/be.h index 2d7127668..10af37ab9 100644 --- a/include/libfirm/be.h +++ b/include/libfirm/be.h @@ -21,7 +21,6 @@ * @file * @brief Generic backend types and interfaces. * @author Sebastian Hack - * @version $Id$ */ #ifndef FIRM_BE_MAIN_H #define FIRM_BE_MAIN_H @@ -32,22 +31,69 @@ #include "iroptimize.h" #include "begin.h" -typedef enum { - ASM_CONSTRAINT_FLAG_NONE = 0, +/** + * @defgroup be Code Generation + * + * Code Generation (backend) produces machine-code. + * @{ + */ + +/** + * 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) +/** Dwarf source language codes. */ +typedef enum { + DW_LANG_C89 = 0x0001, + DW_LANG_C = 0x0002, + DW_LANG_Ada83 = 0x0003, + DW_LANG_C_plus_plus = 0x0004, + DW_LANG_Cobol74 = 0x0005, + DW_LANG_Cobol85 = 0x0006, + DW_LANG_Fortran77 = 0x0007, + DW_LANG_Fortran90 = 0x0008, + DW_LANG_Pascal83 = 0x0009, + DW_LANG_Modula2 = 0x000a, + DW_LANG_Java = 0x000b, + DW_LANG_C99 = 0x000c, + DW_LANG_Ada95 = 0x000d, + DW_LANG_Fortran95 = 0x000e, + DW_LANG_PLI = 0x000f, + DW_LANG_ObjC = 0x0010, + DW_LANG_ObjC_plus_plus = 0x0011, + DW_LANG_UPC = 0x0012, + DW_LANG_D = 0x0013, + DW_LANG_Python = 0x0014, + DW_LANG_Go = 0x0016, +} dwarf_source_language; + /** * Build a Trampoline for the closure. * @param block the block where to build the trampoline @@ -71,6 +117,16 @@ typedef struct backend_params { 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; @@ -78,12 +134,31 @@ typedef struct backend_params { /** 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 (but convert to/from other float modes). + * 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; @@ -98,17 +173,41 @@ typedef struct backend_params { } backend_params; /** - * Register the Firm backend command line options. + * Parse one backend argument. */ -FIRM_API void be_opt_register(void); +FIRM_API int be_parse_arg(const char *arg); /** - * Parse one backend argument. + * Returns 1 if the backend uses big-endian byte ordering + * and 0 for little-endian. */ -FIRM_API int be_parse_arg(const char *arg); +FIRM_API int be_is_big_endian(void); + +/** + * Returns size of machine words. This is usually the size + * of the general purpose integer registers. + */ +FIRM_API unsigned be_get_machine_size(void); + +/** + * Returns supported float arithmetic mode or NULL if mode_D and mode_F + * are supported natively. + * Some backends like x87 can only do arithmetic in a specific float + * mode (load/store are still done in the "normal" float/double modes). + */ +FIRM_API ir_mode *be_get_mode_float_arithmetic(void); + +/** Returns type used for long long or NULL if none available. */ +FIRM_API ir_type *be_get_type_long_long(void); + +/** Returns type used for unsigned long long or NULL if none available. */ +FIRM_API ir_type *be_get_type_unsigned_long_long(void); + +/** Returns type used for long double or NULL if none available. */ +FIRM_API ir_type *be_get_type_long_double(void); /** - * Return the backend configuration parameter. + * Returns the backend configuration parameter. * * @return libFirm configuration parameters for the selected * backend @@ -148,6 +247,19 @@ FIRM_API asm_constraint_flags_t be_parse_asm_constraints(const char *constraints */ FIRM_API int be_is_valid_clobber(const char *clobber); +/** + * Sets source language for dwarf debug information. + */ +FIRM_API void be_dwarf_set_source_language(dwarf_source_language language); + +/** + * Sets working directory of the compiler (or directory where the compiler + * searched for sources) for dwarf debug information. + */ +FIRM_API void be_dwarf_set_compilation_directory(const char *directory); + +/** @} */ + #include "end.h" #endif