X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Fbe.h;h=59a47c1c314d510eab6b97fae4593dd03f411a63;hb=3646e58f46f85a17537e89483d6b0c279df4a4d2;hp=0d01226fd8714eb716010dd55334c242c323fbc7;hpb=82d3ed00d32d2d72f72c574590c403fb722b81b7;p=libfirm diff --git a/include/libfirm/be.h b/include/libfirm/be.h index 0d01226fd..59a47c1c3 100644 --- a/include/libfirm/be.h +++ b/include/libfirm/be.h @@ -26,11 +26,40 @@ #ifndef FIRM_BE_MAIN_H #define FIRM_BE_MAIN_H +#ifdef __cplusplus +extern "C" { +#endif + #include #include "irarch.h" -#include "archop.h" #include "lowering.h" +typedef enum { + ASM_CONSTRAINT_FLAG_SUPPORTS_REGISTER = 0x0001, + ASM_CONSTRAINT_FLAG_SUPPORTS_MEMOP = 0x0002, + ASM_CONSTRAINT_FLAG_SUPPORTS_IMMEDIATE = 0x0004, + ASM_CONSTRAINT_FLAG_NO_SUPPORT = 0x0008, + ASM_CONSTRAINT_FLAG_MODIFIER_WRITE = 0x0010, + ASM_CONSTRAINT_FLAG_MODIFIER_NO_WRITE = 0x0020, + ASM_CONSTRAINT_FLAG_MODIFIER_READ = 0x0040, + ASM_CONSTRAINT_FLAG_MODIFIER_NO_READ = 0x0080, + ASM_CONSTRAINT_FLAG_MODIFIER_EARLYCLOBBER = 0x0100, + ASM_CONSTRAINT_FLAG_MODIFIER_COMMUTATIVE = 0x0200, + ASM_CONSTRAINT_FLAG_INVALID = 0x8000 +} asm_constraint_flags_t; + +/** + * 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. @@ -40,11 +69,6 @@ typedef struct backend_params { unsigned do_dw_lowering:1; /** If set, the backend supports inline assembly. */ unsigned support_inline_asm:1; - /** If set, the target architecture use an immediate floating point mode. */ - unsigned has_imm_fp_mode:1; - - /** Additional opcodes settings. */ - const arch_ops_info *arch_op_settings; /** Settings for architecture dependent optimizations. */ const ir_settings_arch_dep_t *dep_param; @@ -58,8 +82,23 @@ typedef struct backend_params { /** Backend settings for if-conversion. */ const ir_settings_if_conv_t *if_conv_info; - /** The immediate floating point mode. Temporaries are calculated using this mode. */ - ir_mode *imm_fp_mode; + /** + * some backends like x87 can only do arithmetic in a specific float + * mode (but convert to/from other float modes). + */ + ir_mode *mode_float_arithmetic; + + /** 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; /** @@ -85,7 +124,22 @@ const backend_params *be_get_backend_param(void); */ 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) + */ +asm_constraint_flags_t be_parse_asm_constraints(const char *constraints); + +/** + * tests whether a string is a valid clobber in an ASM instruction + */ +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; +#ifdef __cplusplus +} +#endif + #endif