X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Fbe.h;h=a97ec1b38017f4e10940249fac42b7d4df175f43;hb=ecd4ad054ac3fddcea6c8884afedf1f1a7910fe3;hp=4549368ebb002f9fb9fd470aca62b4856a887b9a;hpb=18011a85e62d81f6d8d08957192fa34d03b747c5;p=libfirm

diff --git a/include/libfirm/be.h b/include/libfirm/be.h
index 4549368eb..a97ec1b38 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,19 +31,28 @@
 #include "iroptimize.h"
 #include "begin.h"
 
+/**
+ * @defgroup be  Code Generation
+ *
+ * Code Generation (backend) produces machine-code.
+ * @{
+ */
+
 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_FLAG_NONE                  = 0,
+	ASM_CONSTRAINT_FLAG_SUPPORTS_REGISTER     = 1u << 0,
+	ASM_CONSTRAINT_FLAG_SUPPORTS_MEMOP        = 1u << 1,
+	ASM_CONSTRAINT_FLAG_SUPPORTS_IMMEDIATE    = 1u << 2,
+	ASM_CONSTRAINT_FLAG_NO_SUPPORT            = 1u << 3,
+	ASM_CONSTRAINT_FLAG_MODIFIER_WRITE        = 1u << 4,
+	ASM_CONSTRAINT_FLAG_MODIFIER_NO_WRITE     = 1u << 5,
+	ASM_CONSTRAINT_FLAG_MODIFIER_READ         = 1u << 6,
+	ASM_CONSTRAINT_FLAG_MODIFIER_NO_READ      = 1u << 7,
+	ASM_CONSTRAINT_FLAG_MODIFIER_EARLYCLOBBER = 1u << 8,
+	ASM_CONSTRAINT_FLAG_MODIFIER_COMMUTATIVE  = 1u << 9,
+	ASM_CONSTRAINT_FLAG_INVALID               = 1u << 10
 } asm_constraint_flags_t;
+ENUM_BITSET(asm_constraint_flags_t)
 
 /**
  * Build a Trampoline for the closure.
@@ -63,29 +71,54 @@ typedef ir_node *(create_trampoline_fkt)(ir_node *block, ir_node *mem, ir_node *
  * 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. */
 	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;
+	/** 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;
 
-	/** 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. */
 	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;
 
@@ -99,11 +132,6 @@ typedef struct backend_params {
 	unsigned stack_param_align;
 } backend_params;
 
-/**
- * Register the Firm backend command line options.
- */
-FIRM_API void be_opt_register(void);
-
 /**
  * Parse one backend argument.
  */
@@ -117,6 +145,23 @@ FIRM_API int be_parse_arg(const char *arg);
  */
 FIRM_API const backend_params *be_get_backend_param(void);
 
+/**
+ * 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.
+ */
+FIRM_API void be_lower_for_target(void);
+
+/**
+ * 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);
+
 /**
  * Main interface to the frontend.
  */
@@ -133,8 +178,7 @@ FIRM_API asm_constraint_flags_t be_parse_asm_constraints(const char *constraints
  */
 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"