model Unknowns as own nodes (but not in form of an unknown register)
[libfirm] / ir / be / ia32 / ia32_nodes_attr.h
index 065cb49..fc53e6d 100644 (file)
 #define FIRM_BE_IA32_IA32_NODES_ATTR_H
 
 #include "firm_types.h"
-#include "../bearch_t.h"
+#include "../bearch.h"
 #include "../bemachine.h"
 #include "irnode_t.h"
 
 enum {
        ia32_pn_Cmp_unsigned = 0x1000,
        ia32_pn_Cmp_float    = 0x2000,
+       ia32_pn_Cmp_parity   = 0x4000
 };
 
 typedef enum {
@@ -49,21 +50,20 @@ typedef enum {
 } ia32_am_type_t;
 
 typedef enum {
-       match_commutative       = 1 << 0,   /**< inputs are commutative */
-       match_am_and_immediates = 1 << 1,   /**< node supports 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_two_users         = 1 << 11   /**< the instruction uses a load two times ... */
+       match_commutative       = 1 << 0, /**< inputs are commutative */
+       match_am_and_immediates = 1 << 1, /**< node supports 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_mode_neutral      = 1 << 6, /**< 16 and 8 bit modes can be emulated
+                                              by 32 bit operations */
+       match_try_am            = 1 << 7, /**< only try to produce AM node, don't
+                                              do anything if AM isn't possible */
+       match_two_users         = 1 << 8, /**< the instruction uses a load two times ... */
+       match_upconv_32         = 1 << 9  /**< 8/16 bit insn are processed by doing
+                                              an upconv to 32bit */
 } match_flags_t;
 
 typedef struct ia32_op_attr_t ia32_op_attr_t;
@@ -74,14 +74,15 @@ struct ia32_op_attr_t {
 
 #ifndef NDEBUG
 typedef enum {
-       IA32_ATTR_INVALID               = 0,
-       IA32_ATTR_ia32_attr_t           = 1 << 0,
-       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_ia32_call_attr_t      = 1 << 6
+       IA32_ATTR_INVALID                = 0,
+       IA32_ATTR_ia32_attr_t            = 1 << 0,
+       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_ia32_call_attr_t       = 1 << 6,
+       IA32_ATTR_ia32_climbframe_attr_t = 1 << 7,
 } ia32_attr_type_t;
 #endif
 
@@ -92,12 +93,12 @@ typedef struct ia32_attr_t ia32_attr_t;
 struct ia32_attr_t {
        except_attr  exc;               /**< the exception attribute. MUST be the first one. */
        struct ia32_attr_data_bitfield {
-               unsigned flags:5;               /**< Indicating if spillable, rematerializeable, stack modifying and/or ignore. */
                unsigned tp:3;                  /**< ia32 node type. */
                unsigned am_arity:2;            /**< Indicates the address mode type supported by this node. */
                unsigned am_scale:2;            /**< The address mode scale for index register. */
                unsigned am_sc_sign:1;          /**< The sign bit of the address mode symconst. */
 
+               unsigned am_sc_no_pic_adjust : 1;/**< AM symconst can be relative to EIP */
                unsigned use_frame:1;           /**< Indicates whether the operation uses the frame pointer or not. */
                unsigned has_except_label:1;        /**< Set if this node needs a label because of possible exception. */
 
@@ -114,8 +115,6 @@ struct ia32_attr_t {
                unsigned is_remat : 1;
        } data;
 
-       int       *out_flags;     /**< flags for each produced value */
-
        int        am_offs;       /**< offsets for AddrMode */
        ir_entity *am_sc;         /**< SymConst for AddrMode */
 
@@ -127,9 +126,6 @@ struct ia32_attr_t {
        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 */
-
-       const arch_register_t **slots;     /**< register slots for assigned registers */
 
        ir_label_t        exc_label;       /**< the exception label iff this instruction can throw an exception */
 
@@ -138,7 +134,7 @@ struct ia32_attr_t {
        unsigned          attr_type;      /**< bitfield indicating the attribute type */
 #endif
 };
-COMPILETIME_ASSERT(sizeof(struct ia32_attr_data_bitfield) <= 4, attr_bitfield);
+COMPILETIME_ASSERT(sizeof(struct ia32_attr_data_bitfield) <= 4, attr_bitfield)
 
 /**
  * The attributes for a Call node.
@@ -176,7 +172,8 @@ struct ia32_immediate_attr_t {
        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. */
+       unsigned     sc_sign : 1;       /**< The sign bit of the symconst. */
+       unsigned     no_pic_adjust : 1; /**< constant can be relative to EIP */
 };
 
 /**
@@ -209,6 +206,15 @@ struct ia32_asm_attr_t {
        const ia32_asm_reg_t *register_map;
 };
 
+/**
+ * The attributes for the ClimbFrame node.
+ */
+typedef struct ia32_climbframe_attr_t ia32_climbframe_attr_t;
+struct ia32_climbframe_attr_t {
+       ia32_attr_t attr;      /**< generic attribute */
+       unsigned    count;     /**< number of frames to climb up */
+};
+
 /* the following union is necessary to indicate to the compiler that we might want to cast
  * the structs (we use them to simulate OO-inheritance) */
 union allow_casts_attr_t_ {
@@ -219,6 +225,7 @@ union allow_casts_attr_t_ {
        ia32_x87_attr_t        x87_attr;
        ia32_asm_attr_t        asm_attr;
        ia32_immediate_attr_t  immediate_attr;
+       ia32_climbframe_attr_t climbframe_attr;
 };
 
 #ifndef NDEBUG