- cleanup and rewrite some of the dbgout stuff (no passing around of handles anymore)
[libfirm] / ir / be / ia32 / ia32_nodes_attr.h
index 319af8d..dbac162 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * 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.
  *
@@ -53,18 +53,27 @@ typedef enum {
        ia32_am_ternary    = 3,
 } ia32_am_arity_t;
 
-/**
- * Different Address Mode properties:
- * O - Offset is set
- * B - Base is set
- * I - Index is set
- * S - Scale is set
- */
-enum {
-       ia32_O = (1 << 0),  /**< O - Offset is set */
-       ia32_B = (1 << 1),  /**< B - Base is set */
-       ia32_I = (1 << 2),  /**< I - Index is set */
-       ia32_S = (1 << 3)   /**< S - Scale is set */
+typedef enum {
+       match_commutative       = 1 << 0,   /**< inputs are commutative */
+       match_am_and_immediates = 1 << 1,   /**< mode support AM and immediate at
+                                                the same time */
+       match_am                = 1 << 2,   /**< node supports (32bit) source AM */
+       match_8bit_am           = 1 << 3,   /**< node supports 8bit source AM */
+       match_16bit_am          = 1 << 4,   /**< node supports 16bit source AM */
+       match_immediate         = 1 << 5,   /**< node supports immediates */
+       match_8bit              = 1 << 6,   /**< supports 8 bit modes natively */
+       match_16bit             = 1 << 7,   /**< supports 16bit modes natively */
+       match_mode_neutral      = 1 << 8,   /**< 16 and 8 bit modes can be emulated
+                                                by 32 bit operations */
+       match_dest_am           = 1 << 9,
+       match_try_am            = 1 << 10,  /**< only try to produce AM node, don't
+                                                do anything if AM isn't possible */
+} match_flags_t;
+
+typedef struct ia32_op_attr_t ia32_op_attr_t;
+struct ia32_op_attr_t {
+       match_flags_t  flags;
+       unsigned       latency;
 };
 
 #ifndef NDEBUG
@@ -74,9 +83,14 @@ typedef enum {
        IA32_ATTR_ia32_x87_attr_t       = 1 << 1,
        IA32_ATTR_ia32_asm_attr_t       = 1 << 2,
        IA32_ATTR_ia32_immediate_attr_t = 1 << 3,
+       IA32_ATTR_ia32_condcode_attr_t  = 1 << 4,
+       IA32_ATTR_ia32_copyb_attr_t     = 1 << 5
 } ia32_attr_type_t;
 #endif
 
+/**
+ * The generic ia32 attributes. Every node has them.
+ */
 typedef struct ia32_attr_t ia32_attr_t;
 struct ia32_attr_t {
        except_attr  exc;               /**< the exception attribute. MUST be the first one. */
@@ -111,34 +125,55 @@ struct ia32_attr_t {
 
        ir_entity *frame_ent; /**< the frame entity attached to this node */
 
-       long pn_code;       /**< projnum "types" (e.g. indicate compare operators and argument numbers for switches) */
+       const be_execution_unit_t ***exec_units; /**< list of units this operation can be executed on */
 
-       unsigned latency;   /**< the latency of the instruction in clock cycles */
+       const arch_register_req_t **in_req;  /**< register requirements for arguments */
+       const arch_register_req_t **out_req; /**< register requirements for results */
+
+       const arch_register_t **slots;     /**< register slots for assigned registers */
 
 #ifndef NDEBUG
        const char       *orig_node;      /**< holds the name of the original ir node */
        unsigned          attr_type;      /**< bitfield indicating the attribute type */
 #endif
+};
+COMPILETIME_ASSERT(sizeof(struct ia32_attr_data_bitfield) <= 4, attr_bitfield);
 
-       const be_execution_unit_t ***exec_units; /**< list of units this operation can be executed on */
-
-       const arch_register_req_t **in_req;  /**< register requirements for arguments */
-       const arch_register_req_t **out_req; /**< register requirements for results */
+/**
+ * The attributes for nodes with condition code.
+ */
+typedef struct ia32_condcode_attr_t ia32_condcode_attr_t;
+struct ia32_condcode_attr_t {
+       ia32_attr_t  attr;      /**< generic attribute */
+       long         pn_code;   /**< projnum "types" (e.g. indicate compare operators */
+};
 
-       const arch_register_t **slots;     /**< register slots for assigned registers */
+/**
+ * The attributes for CopyB code.
+ */
+typedef struct ia32_copyb_attr_t ia32_copyb_attr_t;
+struct ia32_copyb_attr_t {
+       ia32_attr_t  attr;      /**< generic attribute */
+       unsigned     size;      /**< size of copied block */
 };
-COMPILETIME_ASSERT(sizeof(struct ia32_attr_data_bitfield) <= 4, attr_bitfield);
 
+/**
+ * The attributes for immediates.
+ */
 typedef struct ia32_immediate_attr_t ia32_immediate_attr_t;
 struct ia32_immediate_attr_t {
-       ia32_attr_t  attr;
-       ir_entity   *symconst;
-       long         offset;
+       ia32_attr_t  attr;              /**< generic attribute */
+       ir_entity   *symconst;          /**< An entity if any. */
+       long         offset;            /**< An offset if any. */
+       unsigned     sc_sign:1;         /**< The sign bit of the symconst. */
 };
 
+/**
+ * The attributes for x87 nodes.
+ */
 typedef struct ia32_x87_attr_t ia32_x87_attr_t;
 struct ia32_x87_attr_t {
-       ia32_attr_t            attr;
+       ia32_attr_t            attr;      /**< the generic attribute */
        const arch_register_t *x87[3];    /**< register slots for x87 register */
 };
 
@@ -153,6 +188,9 @@ struct ia32_asm_reg_t {
        const ir_mode             *mode;
 };
 
+/**
+ * The attributes for ASM nodes.
+ */
 typedef struct ia32_asm_attr_t ia32_asm_attr_t;
 struct ia32_asm_attr_t {
        ia32_x87_attr_t       x87_attr;
@@ -164,6 +202,8 @@ struct ia32_asm_attr_t {
  * the structs (we use them to simulate OO-inheritance) */
 union allow_casts_attr_t_ {
        ia32_attr_t            attr;
+       ia32_condcode_attr_t   cc_attr;
+       ia32_copyb_attr_t      cpy_attr;
        ia32_x87_attr_t        x87_attr;
        ia32_asm_attr_t        asm_attr;
        ia32_immediate_attr_t  immediate_attr;