group High-Level exception support ops together

[libfirm] / ir / ir / irop.h

diff --git a/ir/ir/irop.h b/ir/ir/irop.h
index 2395ed3..d711344 100644 (file)
--- a/ir/ir/irop.h
+++ b/ir/ir/irop.h
@@ -25,6 +25,8 @@
 #define _IROP_H_
 
 #include "firm_types.h"
+
+#include <stdio.h>
 #include "ident.h"
 
 /** The allowed parities */
@@ -55,16 +57,17 @@ typedef enum {
   irop_flag_forking     = 0x00000020, /**< the operation is a forking control flow */
   irop_flag_highlevel   = 0x00000040, /**< the operation is a pure high-level one and can be
                                            skipped in low-level optimizations */
-  irop_flag_constlike   = 0x00000080  /**< the operation has no arguments and is some
+  irop_flag_constlike   = 0x00000080, /**< the operation has no arguments and is some
                                            kind of a constant */
+  irop_flag_keep        = 0x00000100  /**< this operation can be kept in End's keep-alive list */
 } irop_flags;
 
 /** The opcodes of the libFirm predefined operations. */
 typedef enum {
   iro_Block,
-  iro_Start, iro_End, iro_Jmp, iro_IJmp, iro_Cond, iro_Return, iro_Raise,
+  iro_Start, iro_End, iro_Jmp, iro_IJmp, iro_Cond, iro_Return,
   iro_Const, iro_SymConst,
-  iro_Sel,  iro_InstOf,
+  iro_Sel,
   iro_Call, iro_Add, iro_Sub, iro_Minus, iro_Mul, iro_Quot, iro_DivMod,
   iro_Div,  iro_Mod, iro_Abs, iro_And, iro_Or, iro_Eor, iro_Not,
   iro_Cmp,  iro_Shl, iro_Shr, iro_Shrs, iro_Rot, iro_Conv, iro_Cast,
@@ -73,6 +76,7 @@ typedef enum {
   iro_Proj, iro_Tuple, iro_Id, iro_Bad, iro_Confirm,
   iro_Unknown, iro_Filter, iro_Break, iro_CallBegin, iro_EndReg, iro_EndExcept,
   iro_NoMem, iro_Mux, iro_CopyB,
+  iro_InstOf, iro_Raise, iro_Bound,
   iro_MaxOpcode
 } opcode;
 
@@ -86,9 +90,7 @@ extern ir_op *op_Jmp;             ir_op *get_op_Jmp       (void);
 extern ir_op *op_IJmp;            ir_op *get_op_IJmp      (void);
 extern ir_op *op_Cond;            ir_op *get_op_Cond      (void);
 extern ir_op *op_Return;          ir_op *get_op_Return    (void);
-extern ir_op *op_Raise;           ir_op *get_op_Raise     (void);
 extern ir_op *op_Sel;             ir_op *get_op_Sel       (void);
-extern ir_op *op_InstOf;          ir_op *get_op_InstOf    (void);
 
 extern ir_op *op_Const;           ir_op *get_op_Const     (void);
 extern ir_op *op_SymConst;        ir_op *get_op_SymConst  (void);
@@ -141,6 +143,10 @@ extern ir_op *op_NoMem;           ir_op *get_op_NoMem     (void);
 extern ir_op *op_Mux;             ir_op *get_op_Mux       (void);
 extern ir_op *op_CopyB;           ir_op *get_op_CopyB     (void);
 
+extern ir_op *op_InstOf;          ir_op *get_op_InstOf    (void);
+extern ir_op *op_Raise;           ir_op *get_op_Raise     (void);
+extern ir_op *op_Bound;           ir_op *get_op_Bound     (void);
+
 /** Returns the ident for the opcode name */
 ident *get_op_ident(const ir_op *op);
 
@@ -172,6 +178,9 @@ void set_op_pinned(ir_op *op, op_pin_state pinned);
 /** Returns the next free IR opcode number, allows to register user ops */
 unsigned get_next_ir_opcode(void);
 
+/** Returns the next free n IR opcode number, allows to register a bunch of user ops */
+unsigned get_next_ir_opcodes(unsigned num);
+
 /**
  * A generic function pointer.
  */
@@ -243,7 +252,21 @@ typedef void (*copy_attr_func)(const ir_node *old_node, ir_node *new_node);
  * The get_type operation.
  * Return the type of the node self.
  */
-typedef type *(*get_type_func)(ir_node *self);
+typedef ir_type *(*get_type_func)(ir_node *self);
+
+/**
+ * The get_type_attr operation. Used to traverse all types that can be
+ * accessed from an ir_graph.
+ * Return the type attribute of the node self.
+ */
+typedef ir_type *(*get_type_attr_func)(ir_node *self);
+
+/**
+ * The get_entity_attr operation. Used to traverse all entities that can be
+ * accessed from an ir_graph.
+ * Return the entity attribute of the node self.
+ */
+typedef entity *(*get_entity_attr_func)(ir_node *self);
 
 /**
  * The verify_node operation.
@@ -269,7 +292,8 @@ typedef int (*verify_proj_node_func)(ir_node *self, ir_node *proj);
 typedef enum {
   dump_node_opcode_txt,   /**< dump the opcode */
   dump_node_mode_txt,     /**< dump the mode */
-  dump_node_nodeattr_txt  /**< dump the node attributes */
+  dump_node_nodeattr_txt, /**< dump node attributes to be shown in the label */
+  dump_node_info_txt      /**< dump node attributes into info1 */
 } dump_reason_t;
 
 /**
@@ -283,13 +307,15 @@ typedef int (*dump_node_func)(ir_node *self, FILE *F, dump_reason_t reason);
  * io_op Operations.
  */
 typedef struct {
-  computed_value_func    computed_value;               /**< evaluates a node into a tarval if possible. */
-  equivalent_node_func  equivalent_node;       /**< optimizes the node by returning an equivalent one. */
-  transform_node_func   transform_node;                /**< optimizes the node by transforming it. */
-  node_cmp_attr_func    node_cmp_attr;         /**< compares two node attributes. */
+  computed_value_func    computed_value;   /**< evaluates a node into a tarval if possible. */
+  equivalent_node_func  equivalent_node;  /**< optimizes the node by returning an equivalent one. */
+  transform_node_func   transform_node;   /**< optimizes the node by transforming it. */
+  node_cmp_attr_func    node_cmp_attr;    /**< compares two node attributes. */
   reassociate_func      reassociate;      /**< reassociate a tree */
   copy_attr_func        copy_attr;        /**< copy node attributes */
   get_type_func         get_type;         /**< return the type of a node */
+  get_type_attr_func    get_type_attr;    /**< return the type attribute of a node */
+  get_entity_attr_func  get_entity_attr;  /**< return the entity attribute of a node */
   verify_node_func      verify_node;      /**< verify the node */
   verify_proj_node_func verify_proj_node; /**< verify the Proj node */
   dump_node_func        dump_node;        /**< dump a node */