+/**
+ * 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;