cleanup and fix some bugs in ir reader/writer

[libfirm] / include / libfirm / be.h

diff --git a/include/libfirm/be.h b/include/libfirm/be.h
index 42b5ac8..bf75291 100644 (file)
--- a/include/libfirm/be.h
+++ b/include/libfirm/be.h
@@ -28,33 +28,73 @@
 
 #include <stdio.h>
 #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.
  */
 typedef struct backend_params {
-       /** if set, the backend cannot handle DWORD access */
+       /** 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 */
+       /** Settings for architecture dependent optimizations. */
        const ir_settings_arch_dep_t *dep_param;
 
-       /** the architecture specific intrinsic function creator */
+       /** The architecture specific intrinsic function creator. */
        create_intrinsic_fkt *arch_create_intrinsic_fkt;
 
-       /** the context parameter for the create intrinsic function */
+       /** The context parameter for the create intrinsic function. */
        void *create_intrinsic_ctx;
 
-       /** backend settings for if-conversion */
+       /** Backend settings for if-conversion. */
        const ir_settings_if_conv_t *if_conv_info;
+
+       /**
+        * 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;
 
 /**
@@ -68,19 +108,30 @@ void be_opt_register(void);
 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);
+const backend_params *be_get_backend_param(void);
 
 /**
  * Main interface to the frontend.
  */
-void be_main(FILE *file_handle, const char *cup_name);
+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;
 
-#endif /* FIRM_BE_MAIN_H */
+#endif