/*
- * 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.
*
#include <stdio.h>
#include "irarch.h"
-#include "archop.h"
#include "lowering.h"
-#include "dbginfo.h"
#include "iroptimize.h"
+#include "begin.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;
-#include <libcore/lc_timing.h>
-
-#define LC_STOP_AND_RESET_TIMER(timer) do { lc_timer_stop(timer); lc_timer_reset(timer); } while(0)
+/**
+ * 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);
-/** 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);
+/** callback where the backend performs required lowering for the target
+ * architecture. Typical examples are transforming doubleword operations into
+ * sequences of word operations. The callback should be invoked before the
+ * frontend, because it is usually a good idea to perform other optimisations
+ * after the lowering
+ */
+typedef void (*lower_for_target_func)(void);
/**
* 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;
+ /** 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;
+
+ /** callback that performs lowerings required for target architecture */
+ lower_for_target_func lower_for_target;
+
+ /** Settings for architecture dependent optimizations. */
+ const ir_settings_arch_dep_t *dep_param;
- /** Additional opcodes settings. */
- const arch_ops_info *arch_op_settings;
+ /** Backend settings for if-conversion. */
+ arch_allow_ifconv_func allow_ifconv;
- /** Settings for architecture dependent optimizations */
- const arch_dep_params_t *dep_param;
+ /**
+ * 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;
- /** the architecture specific intrinsic function creator */
- create_intrinsic_fkt *arch_create_intrinsic_fkt;
+ /** Size of the trampoline code. */
+ unsigned trampoline_size;
- /** the context parameter for the create intrinsic function */
- void *create_intrinsic_ctx;
+ /** Alignment of the trampoline code. */
+ unsigned trampoline_align;
- /** backend settings for if-conversion */
- const opt_if_conv_info_t *if_conv_info;
+ /** If non-zero, build the trampoline. */
+ create_trampoline_fkt *build_trampoline;
- /** get the backend specific register encoding for a register name */
- get_register_fkt *get_register_from_name;
+ /** Alignment of stack parameters */
+ unsigned stack_param_align;
} backend_params;
/**
* Register the Firm backend command line options.
*/
-void be_opt_register(void);
+FIRM_API 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()!
+ * Return 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.
+ * Creates an ir_prog pass which performs lowerings necessary for the target
+ * architecture. (Calling backend_params->lower_for_target)
*/
-void be_main(FILE *file_handle, const char *cup_name);
+FIRM_API ir_prog_pass_t *lower_for_target_pass(const char *name);
-/** The type of the debug info retriever function. */
-typedef const char *(*retrieve_dbg_func)(const dbg_info *dbg, unsigned *line);
+/**
+ * Main interface to the frontend.
+ */
+FIRM_API void be_main(FILE *output, const char *compilation_unit_name);
/**
- * Sets a debug info retriever.
- *
- * @param func the debug retriever function.
+ * 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;
-#endif /* FIRM_BE_MAIN_H */
+#include "end.h"
+
+#endif