bugfixes for am_offs changes
[libfirm] / ir / be / ia32 / ia32_nodes_attr.h
index 653f53d..77b56ac 100644 (file)
+/**
+ * Type definitions for ia32 node attributes.
+ * @author Christian Wuerdig
+ * $Id$
+ */
+
 #ifndef _IA32_NODES_ATTR_H_
 #define _IA32_NODES_ATTR_H_
 
+#include "firm_config.h"
+
+#include <obstack.h>
+
 #include "firm_types.h"
 #include "../bearch.h"
 
-typedef enum { flavour_Div = 1, flavour_Mod, flavour_DivMod, flavour_Mul, flavour_Mulh } op_flavour_t;
+typedef enum { flavour_Div = 1, flavour_Mod, flavour_DivMod } ia32_op_flavour_t;
 typedef enum { pn_EAX, pn_EDX } pn_ia32_Register;
-typedef enum { asmop_Normal, asmop_Const, asmop_SymConst, asmop_AddrMode } asmop_type_t;
+
+typedef enum {
+       ia32_Normal,
+       ia32_Const,
+       ia32_SymConst,
+       ia32_AddrModeD,
+       ia32_AddrModeS
+} ia32_op_type_t;
+
+typedef enum {
+       ia32_ImmNone,
+       ia32_ImmConst,
+       ia32_ImmSymConst
+} ia32_immop_type_t;
+
 typedef        enum {
-       am_Reg = 1,          /**<<  (%reg)              */
-       am_OffsReg,          /**<< o(%reg)              */
-       am_RegReg,           /**<<  (%reg, %reg)        */
-       am_RegConst,         /**<<  (    , %reg, const) */
-       am_OffsRegConst,     /**<< o(    , %reg, const) */
-       am_OffsRegReg,       /**<< o(%reg, %reg)        */
-       am_RegRegConst,      /**<<  (%reg, %reg, const) */
-       am_OffsRegRegConst   /**<< o(%reg, %reg, const) */
-} addrmode_type_t;
+       ia32_am_None   = 0,   /**<< no addrmode support */
+       ia32_am_Dest   = 1,   /**<< addrmode for destination only */
+       ia32_am_Source = 2,   /**<< addrmode for source only */
+       ia32_am_Full   = 3    /**<< full addmode support */
+} ia32_am_type_t;
+
+/**
+ * Different AM types:
+ * O - Offset is set
+ * B - Base is set
+ * I - Index is set
+ * S - Scale is set
+ */
+
+enum {
+       ia32_O = (1 << 0),
+       ia32_B = (1 << 1),
+       ia32_I = (1 << 2),
+       ia32_S = (1 << 3)
+};
+
+typedef enum {
+       ia32_am_N    = 0,
+       ia32_am_O    = ia32_O,
+       ia32_am_B    = ia32_B,
+       ia32_am_I    = ia32_I,
+       ia32_am_IS   = ia32_I | ia32_S,
+       ia32_am_BI   = ia32_B | ia32_I,
+       ia32_am_OB   = ia32_O | ia32_B,
+       ia32_am_OI   = ia32_O | ia32_I,
+       ia32_am_OIS  = ia32_O | ia32_I | ia32_S,
+       ia32_am_OBIS = ia32_O | ia32_B | ia32_I | ia32_S
+} ia32_am_flavour_t;
 
 typedef struct _ia32_register_req_t {
        const arch_register_req_t req;
-       int pos;   /**<< in case of "should be same/different" we need to remember the pos to get the irn */
+       int same_pos;        /**< in case of "should be same" we need to remember the pos to get the irn */
+       int different_pos;   /**< in case of "should be different" we need to remember the pos to get the irn */
 } ia32_register_req_t;
 
-typedef struct _ia32_asmop_attr {
-       asmop_type_t    tp;      /**<< ia32 node type */
-       addrmode_type_t am_tp;   /**<< addr mode type */
+typedef struct _ia32_attr_t {
+       struct {
+               unsigned tp:3;              /**< ia32 node type */
+               unsigned imm_tp:2;          /**< ia32 immop type */
+
+               unsigned am_support:2;      /**< indicates addrmode type supported by this node */
+               unsigned am_flavour:4;      /**< the concrete addrmode characteristics */
+               unsigned am_scale:2;        /**< addrmode scale for index register */
+
+               unsigned offs_sign:1;       /**< sign bit of the first offset */
+               unsigned am_sc_sign:1;      /**< sign bit of the address mode symconst */
+
+               unsigned use_frame:1;       /**< indicates whether the operation uses the frame pointer or not */
+
+               unsigned op_flav:2;         /**< flavour of an op (flavour_Div/Mod/DivMod) */
+
+               unsigned flags:4;           /**< indicating if spillable and/or rematerializeable */
+
+               unsigned is_commutative:1;  /**< indicates whether op is commutative or not */
+
+               unsigned emit_cl:1;         /**< indicates whether we must emit cl instead of ecx (needed for shifts) */
+
+               unsigned got_lea:1;         /**< indicates whether or not this node already consumed a LEA */
+
+               unsigned got_reload:1;      /**< set to 1 if node cosumed a reload */
+
+               unsigned n_res:6;           /**< number of results produced by this node */
+       } data;
+
+       long  am_offs;      /**< offsets for AddrMode */
+       ident *am_sc;       /**< SymConst for AddrMode */
+
+       union {
+               tarval *tv;     /**< tarval for immediate operations */
+               ident  *sc;     /**< the symconst ident */
+       } cnst_val;
+
+       ident *cnst;        /**< points to the string representation of the constant value (either tv or sc) */
+
+       ir_mode *ls_mode;   /**< the mode of the stored/loaded value */
+       ir_mode *res_mode;  /**< the mode of the result */
+       ir_mode *src_mode;  /**< source mode for conversion */
+       ir_mode *tgt_mode;  /**< target mode for conversion */
+
+       entity *frame_ent;  /**< the frame entity attached to this node */
+
+       long pn_code;       /**< projnum "types" (e.g. indicate compare operators and argument numbers) */
 
-       tarval  *am_offs;  /**<< offset for AddrMode */
-       tarval  *am_const; /**<< shift const for AddrMode */
+       unsigned latency;   /**< the latency of the instruction in clock cycles */
 
-       tarval  *tv;       /**<< tarval for immediate operations */
-       ir_node *old_ir;   /**<< old ir node to avoid duplicating information (symconst in case of asmop_SymConst) */
+#ifndef NDEBUG
+       const char *orig_node;      /**< holds the name of the original ir node for debugging purposes */
+#endif /* NDEBUG */
 
-       op_flavour_t     op_flav;   /**<< flavour of an op (flavour_Div/Mod/DivMod/Mul/Mulh) */
-       long             pn_code;   /**<< projnum "types" (e.g. indicate compare operators and argument numbers) */
-       long             n_res;     /**<< number of results */
-       arch_irn_flags_t flags;     /**<< indicating if spillable and/or rematerializeable */
+       const ia32_register_req_t **in_req;  /**< register requirements for arguments */
+       const ia32_register_req_t **out_req; /**< register requirements for results */
 
-       const ia32_register_req_t **in_req;  /**<< register requirements for arguments */
-       const ia32_register_req_t **out_req; /**<< register requirements for results */
+       const arch_register_t *x87[3];       /**< register slots for x87 register */
 
-       const arch_register_t **slots;          /**<< register slots for assigned registers */
-} asmop_attr;
+       /* must be last, dynamic */
+       const arch_register_t *slots[1];     /**< register slots for assigned registers */
+} ia32_attr_t;
 
 #endif /* _IA32_NODES_ATTR_H_ */