- allow_ifconv interface was totally braindamaged. Use a simple and intuitive
[libfirm] / include / libfirm / firm_types.h
index b5da178..e792661 100644 (file)
 #ifndef FIRM_COMMON_FIRM_TYPES_H
 #define FIRM_COMMON_FIRM_TYPES_H
 
-#ifdef _MSC_VER
-typedef          __int64 long64;
-typedef unsigned __int64 ulong64;
-
-#define LL_FMT "i64"
-#define ULL_FMT        "ui64"
-
-#else
-typedef          long long long64;
-typedef unsigned long long ulong64;
-
-#define LL_FMT "ll"
-#define ULL_FMT        "llu"
-
-#endif /* _MSC_VER */
-
 typedef unsigned long ir_visited_t;
 typedef unsigned long ir_exc_region_t;
 typedef unsigned long ir_label_t;
 
 typedef struct dbg_info             dbg_info,            *dbg_info_ptr;
+typedef struct type_dbg_info        type_dbg_info;
 typedef const struct _ident         ident,               *ir_ident_ptr;
 typedef struct ir_node              ir_node,             *ir_node_ptr;
 typedef struct ir_op                ir_op,               *ir_op_ptr;
@@ -56,16 +41,26 @@ typedef struct tarval               tarval,              *ir_tarval_ptr;
 typedef struct ir_enum_const        ir_enum_const,       *ir_enum_const_ptr;
 typedef struct ir_type              ir_type,             *ir_type_ptr;
 typedef struct ir_graph             ir_graph,            *ir_graph_ptr;
+typedef struct ir_prog              ir_prog,             *ir_prog_ptr;
 typedef struct ir_loop              ir_loop,             *ir_loop_ptr;
 typedef struct ir_region            ir_region,           *ir_region_ptr;
 typedef struct ir_reg_tree          ir_reg_tree,         *ir_reg_tree_ptr;
 typedef struct ir_entity            ir_entity,           *ir_entity_ptr;
-typedef struct compound_graph_path  compound_graph_path, *ir_compound_graph_path_ptr;
 typedef struct _ir_phase            ir_phase,            *ir_phase_ptr;
 typedef struct _ir_extblk           ir_extblk,           *ir_extblk_ptr;
 typedef struct ir_exec_freq         ir_exec_freq,        *ir_exec_freq_ptr;
 typedef struct ir_cdep              ir_cdep,             *ir_cdep_ptr;
 typedef struct sn_entry             *seqno_t;
+typedef struct arch_irn_ops_t       arch_irn_ops_t;
+typedef struct ident_if_t           ident_if_t;
+typedef struct type_identify_if_t   type_identify_if_t;
+typedef struct ir_graph_pass_t      ir_graph_pass_t;
+typedef struct ir_prog_pass_t       ir_prog_pass_t;
+
+typedef struct ir_graph_pass_manager_t      ir_graph_pass_manager_t;
+typedef struct ir_prog_pass_manager_t       ir_prog_pass_manager_t;
+
+typedef union  ir_initializer_t     ir_initializer_t,    *ir_initializer_ptr;
 
 typedef void irg_walk_func(ir_node *, void *);
 typedef void irg_reg_walk_func(ir_region *, void *);
@@ -88,6 +83,160 @@ typedef enum {
                               all still in the representation, but the graph is no more complete. */
 } ip_view_state;
 
+/**
+ * This function is called, whenever a local variable is used before definition
+ *
+ * @param irg       the IR graph on which this happens
+ * @param mode      the mode of the local var
+ * @param pos       position chosen be the frontend for this variable (n_loc)
+ *
+ * @return a firm node of mode @p mode that initializes the var at position pos
+ *
+ * @note
+ *      Do not return NULL!
+ *      If this function is not set, FIRM will create a const node with tarval BAD.
+ *      Use set_irg_loc_description()/get_irg_loc_description() to assign additional
+ *      informations to local variables.
+ */
+typedef ir_node *uninitialized_local_variable_func_t(ir_graph *irg, ir_mode *mode, int pos);
+
+/** op_pin_state_pinned states. */
+typedef enum {
+       op_pin_state_floats = 0,    /**< Nodes of this opcode can be placed in any basic block. */
+       op_pin_state_pinned = 1,    /**< Nodes must remain in this basic block. */
+       op_pin_state_exc_pinned,    /**< Node must be remain in this basic block if it can throw an
+                                        exception, else can float. Used internally. */
+       op_pin_state_mem_pinned     /**< Node must be remain in this basic block if it can throw an
+                                        exception or uses memory, else can float. Used internally. */
+} op_pin_state;
 
+/**
+ * Additional method type properties:
+ * Tell about special properties of a method type. Some
+ * of these may be discovered by analyses.
+ */
+typedef enum {
+       mtp_no_property            = 0x00000000, /**< no additional properties, default */
+       mtp_property_const         = 0x00000001, /**< This method did not access memory and calculates
+                                                     its return values solely from its parameters.
+                                                     GCC: __attribute__((const)). */
+       mtp_property_pure          = 0x00000002, /**< This method did NOT write to memory and calculates
+                                                     its return values solely from its parameters and
+                                                     the memory they points to (or global vars).
+                                                     GCC: __attribute__((pure)). */
+       mtp_property_noreturn      = 0x00000004, /**< This method did not return due to an aborting system
+                                                     call.
+                                                     GCC: __attribute__((noreturn)). */
+       mtp_property_nothrow       = 0x00000008, /**< This method cannot throw an exception.
+                                                     GCC: __attribute__((nothrow)). */
+       mtp_property_naked         = 0x00000010, /**< This method is naked.
+                                                     GCC: __attribute__((naked)). */
+       mtp_property_malloc        = 0x00000020, /**< This method returns newly allocate memory.
+                                                     GCC: __attribute__((malloc)). */
+       mtp_property_weak          = 0x00000040, /**< This method is weak. It is expected that
+                                                     GCC: __attribute__((weak)). */
+       mtp_property_returns_twice = 0x00000080, /**< This method can return more than one (typically setjmp).
+                                                  GCC: __attribute__((returns_twice)). */
+       mtp_property_intrinsic     = 0x00000100, /**< This method is intrinsic. It is expected that
+                                                     a lowering phase will remove all calls to it. */
+       mtp_property_runtime       = 0x00000200, /**< This method represents a runtime routine. */
+       mtp_property_private       = 0x00000400, /**< All method invocations are known, the backend is free to
+                                                     optimize the call in any possible way. */
+       mtp_property_has_loop      = 0x00000800, /**< Set, if this method contains one possible endless loop. */
+       mtp_property_inherited     = (1<<31)     /**< Internal. Used only in irg's, means property is
+                                                     inherited from type. */
+} mtp_additional_property;
+
+/**  This enum names the three different kinds of symbolic Constants
+     represented by SymConst.  The content of the attribute type_or_id
+     depends on this tag.  Use the proper access routine after testing
+     this flag. */
+typedef enum {
+       symconst_type_tag,    /**< The SymConst is a type tag for the given type.
+                                  symconst_symbol is type *. */
+       symconst_type_size,   /**< The SymConst is the size of the given type.
+                                  symconst_symbol is type *. */
+       symconst_type_align,  /**< The SymConst is the alignment of the given type.
+                                  symconst_symbol is type *. */
+       symconst_addr_name,   /**< The SymConst is a symbolic pointer to be filled in
+                                  by the linker.  The pointer is represented by a string.
+                                  symconst_symbol is ident *. */
+       symconst_addr_ent,    /**< The SymConst is a symbolic pointer to be filled in
+                                  by the linker.  The pointer is represented by an entity.
+                                  symconst_symbol is entity *. */
+       symconst_ofs_ent,     /**< The SymConst is the offset of its entity in the entities
+                                  owner type. */
+       symconst_enum_const   /**< The SymConst is a enumeration constant of an
+                                  enumeration type. */
+} symconst_kind;
+
+/** SymConst attribute.
+ *
+ *  This union contains the symbolic information represented by the node.
+ */
+typedef union symconst_symbol {
+       ir_type       *type_p;    /**< The type of a SymConst. */
+       ident         *ident_p;   /**< The ident of a SymConst. */
+       ir_entity     *entity_p;  /**< The entity of a SymConst. */
+       ir_enum_const *enum_p;    /**< The enumeration constant of a SymConst. */
+} symconst_symbol;
+
+/**
+ * Projection numbers for Cmp are defined several times.
+ * The bit patterns are used for various tests, so don't change.
+ * The "unordered" values are possible results of comparing
+ * floating point numbers.
+ * Note that the encoding is imported, so do NOT change the order.
+ */
+typedef enum {
+       pn_Cmp_False = 0,                             /**< false */
+       pn_Cmp_Eq    = 1,                             /**< equal */
+       pn_Cmp_Lt    = 2,                             /**< less */
+       pn_Cmp_Le    = pn_Cmp_Eq|pn_Cmp_Lt,           /**< less or equal */
+       pn_Cmp_Gt    = 4,                             /**< greater */
+       pn_Cmp_Ge    = pn_Cmp_Eq|pn_Cmp_Gt,           /**< greater or equal */
+       pn_Cmp_Lg    = pn_Cmp_Lt|pn_Cmp_Gt,           /**< less or greater */
+       pn_Cmp_Leg   = pn_Cmp_Lt|pn_Cmp_Eq|pn_Cmp_Gt, /**< less, equal or greater = ordered */
+       pn_Cmp_Uo    = 8,                             /**< unordered */
+       pn_Cmp_Ue    = pn_Cmp_Uo|pn_Cmp_Eq,           /**< unordered or equal */
+       pn_Cmp_Ul    = pn_Cmp_Uo|pn_Cmp_Lt,           /**< unordered or less */
+       pn_Cmp_Ule   = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Lt, /**< unordered, less or equal */
+       pn_Cmp_Ug    = pn_Cmp_Uo|pn_Cmp_Gt,           /**< unordered or greater */
+       pn_Cmp_Uge   = pn_Cmp_Uo|pn_Cmp_Eq|pn_Cmp_Gt, /**< unordered, greater or equal */
+       pn_Cmp_Ne    = pn_Cmp_Uo|pn_Cmp_Lt|pn_Cmp_Gt, /**< unordered, less or greater = not equal */
+       pn_Cmp_True  = 15                             /**< true */
+       /* not_mask = Leg*/   /* bits to flip to negate comparison * @@ hack for JNI interface */
+} pn_Cmp;   /* Projection numbers for Cmp */
+
+/** The allocation place. */
+typedef enum {
+       stack_alloc,          /**< Alloc allocates the object on the stack. */
+       heap_alloc            /**< Alloc allocates the object on the heap. */
+} ir_where_alloc;
+
+/** A input/output constraint attribute. */
+typedef struct {
+       unsigned       pos;           /**< The inputs/output position for this constraint. */
+       ident          *constraint;   /**< The constraint for this input/output. */
+       ir_mode        *mode;         /**< The mode of the constraint. */
+} ir_asm_constraint;
+
+/** Supported libFirm builtins. */
+typedef enum {
+       ir_bk_trap,                   /**< GCC __builtin_trap(): insert trap */
+       ir_bk_debugbreak,             /**< MS __debugbreak(): insert debug break */
+       ir_bk_return_address,         /**< GCC __builtin_return_address() */
+       ir_bk_frame_address,          /**< GCC __builtin_frame_address() */
+       ir_bk_prefetch,               /**< GCC __builtin_prefetch() */
+       ir_bk_ffs,                    /**< GCC __builtin_ffs(): find first (least) significant 1 bit */
+       ir_bk_clz,                    /**< GCC __builtin_clz(): count leading zero */
+       ir_bk_ctz,                    /**< GCC __builtin_ctz(): count trailing zero */
+       ir_bk_popcount,               /**< GCC __builtin_popcount(): population count */
+       ir_bk_parity,                 /**< GCC __builtin_parity(): parity */
+       ir_bk_bswap,                  /**< byte swap */
+       ir_bk_inport,                 /**< in port */
+       ir_bk_outport,                /**< out port */
+       ir_bk_inner_trampoline,       /**< address of a trampoline for GCC inner functions */
+} ir_builtin_kind;
 
 #endif