X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Fircons.h;h=44bb63d96b6eb04cfc921e644d7b53c3de8f76fc;hb=243b24fa5361e59abba5f1678f15106e0dae375c;hp=2cebb09567f79bda5cce9960095d6722ce10ffe6;hpb=ea931ee5adfa947b301765044e228d27fed408cd;p=libfirm diff --git a/ir/ir/ircons.h b/ir/ir/ircons.h index 2cebb0956..44bb63d96 100644 --- a/ir/ir/ircons.h +++ b/ir/ir/ircons.h @@ -253,13 +253,11 @@ * ir_node *new_IJmp (ir_node *tgt); * ir_node *new_Cond (ir_node *c); * ir_node *new_Return (ir_node *store, int arity, ir_node **in); - * ir_node *new_Raise (ir_node *store, ir_node *obj); * ir_node *new_Const (ir_mode *mode, tarval *con); * ir_node *new_SymConst (symconst_symbol value, symconst_kind kind); * ir_node *new_simpleSel (ir_node *store, ir_node *objptr, entity *ent); * ir_node *new_Sel (ir_node *store, ir_node *objptr, int arity, * ir_node **in, entity *ent); - * ir_node *new_InstOf (ir_node *store, ir_node obj, ir_type *ent); * ir_node *new_Call (ir_node *store, ir_node *callee, int arity, * ir_node **in, type_method *type); * ir_node *new_Add (ir_node *op1, ir_node *op2, ir_mode *mode); @@ -292,6 +290,8 @@ * ir_node *new_NoMem (void); * ir_node *new_Mux (ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *mode); * ir_node *new_CopyB (ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type); + * ir_node *new_InstOf (ir_node *store, ir_node obj, ir_type *ent); + * ir_node *new_Raise (ir_node *store, ir_node *obj); * ir_node *new_Bound (ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); * * void add_immBlock_pred (ir_node *block, ir_node *jmp); @@ -494,22 +494,6 @@ * Output * Control flow to the end block. * - * ir_node *new_Raise (ir_node *store, ir_node *obj) - * ------------------------------------------------- - * - * Raises an exception. Unconditional change of control flow. Writes - * an explicit Except variable to memory to pass it to the exception - * handler. See TechReport 1999-14, chapter Exceptions. - * - * Inputs: - * The memory state. - * A pointer to the Except variable. - * Output: - * A tuple of control flow and the changed memory state. The control flow - * points to the exception handler if it is definied in this procedure, - * else it points to the end_block. - * - * * --------- * * ir_node *new_Const (ir_mode *mode, tarval *con) @@ -938,28 +922,10 @@ * This node is used as input for operations that need a Memory, but do not * change it like Div by const != 0, analyzed calls etc. * - * ir_node *new_CopyB (ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type) - * ----------------------------------------------------------------------------------- - * - * Describes a high level block copy of a compound type form address src to - * address dst. Must be lowered to a Call to a runtime memory copy function. - * - * ir_node *new_Bound (ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); - * ----------------------------------------------------------------------------------- - * - * Describes a high level bounds check. Must be lowered to a Call to a runtime check - * function. - * - * ir_node *new_InstOf(ir_node *store, ir_node *ptr, ir_type *type); - * ----------------------------------------------------------------------------------- - * - * Describes a high level type check. Must be lowered to a Call to a runtime check - * function. - * * ir_node *new_Proj (ir_node *arg, ir_mode *mode, long proj) * ---------------------------------------------------------- * - * Selects one entry of a tuple. This is a hidden `fat edge'. + * Selects one entry of a tuple. This is a hidden edge with attributes. * * Parameters * *arg A node producing a tuple. @@ -978,7 +944,7 @@ * replaced by the Tuple operation so that the following Proj nodes have not to * be changed. (They are hard to find due to the implementation with pointers * in only one direction.) The Tuple node is smaller than any other - * node, so that a node can be changed into a Tuple by just changing it's + * node, so that a node can be changed into a Tuple by just changing it's * opcode and giving it a new in array. * * Parameters @@ -993,6 +959,49 @@ * for optimizations. * * + * HIGH LEVEL OPERATIONS + * --------------------- + * + * ir_node *new_CopyB (ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type) + * ----------------------------------------------------------------------------------- + * + * Describes a high level block copy of a compound type from address src to + * address dst. Must be lowered to a Call to a runtime memory copy function. + * + * + * HIGH LEVEL OPERATIONS: Exception Support + * ---------------------------------------- + * See TechReport 1999-14, chapter Exceptions. + * + * ir_node *new_InstOf(ir_node *store, ir_node *ptr, ir_type *type); + * ----------------------------------------------------------------------------------- + * + * Describes a high level type check. Must be lowered to a Call to a runtime check + * function. + * + * ir_node *new_Raise (ir_node *store, ir_node *obj) + * ------------------------------------------------- + * + * Raises an exception. Unconditional change of control flow. Writes + * an explicit Except variable to memory to pass it to the exception + * handler. Must be lowered to a Call to a runtime check + * function. + * + * Inputs: + * The memory state. + * A pointer to the Except variable. + * Output: + * A tuple of control flow and the changed memory state. The control flow + * points to the exception handler if it is definied in this procedure, + * else it points to the end_block. + * + * ir_node *new_Bound (ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); + * ----------------------------------------------------------------------------------- + * + * Describes a high level bounds check. Must be lowered to a Call to a runtime check + * function. + * + * * COPING WITH DATA OBJECTS * ======================== * @@ -1165,17 +1174,6 @@ ir_node *new_rd_Cond (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *c) ir_node *new_rd_Return (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, int arity, ir_node *in[]); -/** Constructor for a Raise node. - * - * @param *db A pointer for debug information. - * @param *irg The ir graph the node belongs to. - * @param *block The ir block the node belongs to. - * @param *store The current memory. - * @param *obj A pointer to the Except variable. - */ -ir_node *new_rd_Raise (dbg_info *db, ir_graph *irg, ir_node *block, - ir_node *store, ir_node *obj); - /** Constructor for a Const_type node. * * The constant represents a target value. This constructor sets high @@ -1315,21 +1313,6 @@ ir_node *new_rd_simpleSel (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *new_rd_Sel (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, ir_node *objptr, int n_index, ir_node *index[], entity *ent); -/** Constructor for a InstOf node. - * - * A High-Level Type check. - * - * @param *db A pointer for debug information. - * @param *irg The ir graph the node belongs to. - * @param *block The ir block the node belongs to. - * @param *store The memory in which the object the entity should be selected - * from is allocated. - * @param *objptr A pointer to a object of a class type. - * @param *type The type of which objptr must be. - */ -ir_node *new_rd_InstOf (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, - ir_node *objptr, ir_type *type); - /** Constructor for a Call node. * * Represents all kinds of method and function calls. @@ -1848,8 +1831,37 @@ ir_node *new_rd_Mux (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *new_rd_CopyB(dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type); +/** Constructor for a InstOf node. + * + * A High-Level Type check. + * + * @param *db A pointer for debug information. + * @param *irg The ir graph the node belongs to. + * @param *block The ir block the node belongs to. + * @param *store The memory in which the object the entity should be selected + * from is allocated. + * @param *objptr A pointer to a object of a class type. + * @param *type The type of which objptr must be. + */ +ir_node *new_rd_InstOf (dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, + ir_node *objptr, ir_type *type); + +/** Constructor for a Raise node. + * + * A High-Level Exception throw. + * + * @param *db A pointer for debug information. + * @param *irg The ir graph the node belongs to. + * @param *block The ir block the node belongs to. + * @param *store The current memory. + * @param *obj A pointer to the Except variable. + */ +ir_node *new_rd_Raise (dbg_info *db, ir_graph *irg, ir_node *block, + ir_node *store, ir_node *obj); + /** Constructor for a Bound node. - * Checks whether lower <= idx && idx < upper. + * + * A High-Level bounds check. Checks whether lower <= idx && idx < upper. * * @param *db A pointer for debug information. * @param *irg The ir graph the node belong to. @@ -1862,13 +1874,6 @@ ir_node *new_rd_CopyB(dbg_info *db, ir_graph *irg, ir_node *block, ir_node *new_rd_Bound(dbg_info *db, ir_graph *irg, ir_node *block, ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); -/** - * Construct a new Keep node. - * @see new_Keep(). - */ -ir_node *new_rd_Keep(dbg_info *db, ir_graph *irg, ir_node *block, - int n, ir_node *in[]); - /*-------------------------------------------------------------------------*/ /* The raw interface without debug support */ /*-------------------------------------------------------------------------*/ @@ -1952,16 +1957,6 @@ ir_node *new_r_Cond (ir_graph *irg, ir_node *block, ir_node *c); ir_node *new_r_Return (ir_graph *irg, ir_node *block, ir_node *store, int arity, ir_node *in[]); -/** Constructor for a Raise node. - * - * @param *irg The ir graph the node belongs to. - * @param *block The ir block the node belongs to. - * @param *store The current memory. - * @param *obj A pointer to the Except variable. - */ -ir_node *new_r_Raise (ir_graph *irg, ir_node *block, - ir_node *store, ir_node *obj); - /** Constructor for a Const node. * * Constructor for a Const node. The constant represents a target @@ -2056,20 +2051,6 @@ ir_node *new_r_Sel (ir_graph *irg, ir_node *block, ir_node *store, ir_node *objptr, int n_index, ir_node *index[], entity *ent); -/** Constructor for a InstOf node. - * - * A High-Level Type check. - * - * @param *irg The ir graph the node belongs to. - * @param *block The ir block the node belongs to. - * @param *store The memory in which the object the entity should be selected - * from is allocated. - * @param *objptr A pointer to a object of a class type. - * @param *type The type of which objptr must be. - */ -ir_node *new_r_InstOf (ir_graph *irg, ir_node *block, ir_node *store, - ir_node *objptr, ir_type *type); - /** Constructor for a Call node. * * Represents all kinds of method and function calls. @@ -2440,7 +2421,6 @@ ir_node *new_r_Id (ir_graph *irg, ir_node *block, * @param *irg The ir graph the node belongs to. * */ - ir_node *new_r_Bad (ir_graph *irg); /** Constructor for a Confirm node. @@ -2455,7 +2435,6 @@ ir_node *new_r_Bad (ir_graph *irg); * @param *val The value we express a constraint for * @param *bound The value to compare against. Must be a firm node, typically a constant. * @param cmp The compare operation. - * */ ir_node *new_r_Confirm (ir_graph *irg, ir_node *block, ir_node *val, ir_node *bound, pn_Cmp cmp); @@ -2566,8 +2545,35 @@ ir_node *new_r_Mux (ir_graph *irg, ir_node *block, ir_node *new_r_CopyB(ir_graph *irg, ir_node *block, ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type); +/** Constructor for a InstOf node. + * + * A High-Level Type check. + * + * @param *irg The ir graph the node belongs to. + * @param *block The ir block the node belongs to. + * @param *store The memory in which the object the entity should be selected + * from is allocated. + * @param *objptr A pointer to a object of a class type. + * @param *type The type of which objptr must be. + */ +ir_node *new_r_InstOf (ir_graph *irg, ir_node *block, ir_node *store, + ir_node *objptr, ir_type *type); + +/** Constructor for a Raise node. + * + * A High-Level Exception throw. + * + * @param *irg The ir graph the node belongs to. + * @param *block The ir block the node belongs to. + * @param *store The current memory. + * @param *obj A pointer to the Except variable. + */ +ir_node *new_r_Raise (ir_graph *irg, ir_node *block, + ir_node *store, ir_node *obj); + /** Constructor for a Bound node. - * Checks whether lower <= idx && idx < upper. + * + * A High-Level bounds check. Checks whether lower <= idx && idx < upper. * * @param *irg The ir graph the node belong to. * @param *block The block the node belong to. @@ -2579,12 +2585,6 @@ ir_node *new_r_CopyB(ir_graph *irg, ir_node *block, ir_node *new_r_Bound(ir_graph *irg, ir_node *block, ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); -/** - * Constructor of a Keep node. - * @see new_Keep() - */ -ir_node *new_r_Keep(ir_graph *irg, ir_node *block, int n, ir_node *in[]); - /*-----------------------------------------------------------------------*/ /* The block oriented interface */ /*-----------------------------------------------------------------------*/ @@ -2668,7 +2668,6 @@ ir_node *new_d_IJmp (dbg_info *db, ir_node *tgt); * @param *db A pointer for debug information. * @param *c The conditions parameter.Can be of mode b or I_u. */ - ir_node *new_d_Cond (dbg_info *db, ir_node *c); /** Constructor for a Return node. @@ -2683,20 +2682,8 @@ ir_node *new_d_Cond (dbg_info *db, ir_node *c); * @param arity Number of array indices. * @param *in Array with index inputs to the node. */ - ir_node *new_d_Return (dbg_info *db, ir_node *store, int arity, ir_node *in[]); -/** Constructor for a Raise node. - * - * Adds the node to the block in current_ir_block. - * - * @param *db A pointer for debug information. - * @param *store The current memory. - * @param *obj A pointer to the Except variable. - */ - -ir_node *new_d_Raise (dbg_info *db, ir_node *store, ir_node *obj); - /** Constructor for a Const_type node. * * Adds the node to the block in current_ir_block. @@ -2799,18 +2786,6 @@ ir_node *new_d_simpleSel(dbg_info *db, ir_node *store, ir_node *objptr, entity * ir_node *new_d_Sel (dbg_info *db, ir_node *store, ir_node *objptr, int arity, ir_node *in[], entity *ent); -/** Constructor for a InstOf node. - * - * A High-Level Type check. - * - * @param *db A pointer for debug information. - * @param *store The memory in which the object the entity should be selected - * from is allocated. - * @param *objptr A pointer to a object of a class type. - * @param *type The type of which objptr must be. - */ -ir_node *new_d_InstOf (dbg_info *db, ir_node *store, ir_node *objptr, ir_type *type); - /** Constructor for a Call node. * * Represents all kinds of method and function calls. @@ -2823,7 +2798,6 @@ ir_node *new_d_InstOf (dbg_info *db, ir_node *store, ir_node *objptr, ir_type *t * @param *in[] An array with the pointers to the parameters. The constructor copies this array. * @param *tp Type information of the procedure called. */ - ir_node *new_d_Call (dbg_info *db, ir_node *store, ir_node *callee, int arity, ir_node *in[], ir_type *tp); @@ -2847,7 +2821,6 @@ ir_node *new_d_Add (dbg_info *db, ir_node *op1, ir_node *op2, ir_mode *mode); * @param *op2 The second operand. * @param *mode The mode of the operands and the result. */ - ir_node *new_d_Sub (dbg_info *db, ir_node *op1, ir_node *op2, ir_mode *mode); /** Constructor for a Minus node. @@ -3120,7 +3093,6 @@ ir_node *new_d_Free (dbg_info *db, ir_node *store, ir_node *ptr, ir_node *size */ ir_node *new_d_Sync (dbg_info *db, int arity, ir_node *in[]); - /** Constructor for a Proj node. * * Projects a single value out of a tuple. The parameter proj gives the @@ -3134,7 +3106,6 @@ ir_node *new_d_Sync (dbg_info *db, int arity, ir_node *in[]); */ ir_node *new_d_Proj (dbg_info *db, ir_node *arg, ir_mode *mode, long proj); - /** Constructor for a defaultProj node. * * Represents the default control flow of a Switch-Cond node. @@ -3158,7 +3129,6 @@ ir_node *new_d_defaultProj (dbg_info *db, ir_node *arg, long max_proj); */ ir_node *new_d_Tuple (dbg_info *db, int arity, ir_node *in[]); - /** Constructor for a Id node. * * This is an auxiliary node to replace a node that returns a single @@ -3192,7 +3162,6 @@ ir_node *new_d_Bad (void); */ ir_node *new_d_Confirm (dbg_info *db, ir_node *val, ir_node *bound, pn_Cmp cmp); - /** Constructor for an Unknown node. * * Represents an arbitrary value. Places the node in @@ -3293,8 +3262,31 @@ ir_node *new_d_Mux (dbg_info *db, ir_node *sel, */ ir_node *new_d_CopyB(dbg_info *db, ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type); +/** Constructor for a InstOf node. + * + * A High-Level Type check. + * + * @param *db A pointer for debug information. + * @param *store The memory in which the object the entity should be selected + * from is allocated. + * @param *objptr A pointer to a object of a class type. + * @param *type The type of which objptr must be. + */ +ir_node *new_d_InstOf (dbg_info *db, ir_node *store, ir_node *objptr, ir_type *type); + +/** Constructor for a Raise node. + * + * A High-Level Exception throw. + * + * @param *db A pointer for debug information. + * @param *store The current memory. + * @param *obj A pointer to the Except variable. + */ +ir_node *new_d_Raise (dbg_info *db, ir_node *store, ir_node *obj); + /** Constructor for a Bound node. - * Checks whether lower <= idx && idx < upper. + * + * A High-Level bounds check. Checks whether lower <= idx && idx < upper. * * @param *db A pointer for debug information. * @param *store The current memory @@ -3304,12 +3296,6 @@ ir_node *new_d_CopyB(dbg_info *db, ir_node *store, ir_node *dst, ir_node *src, i */ ir_node *new_d_Bound(dbg_info *db, ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); -/** - * Constructor for a Keep node. - * @see new_Keep. - */ -ir_node *new_d_Keep(dbg_info *db, int n, ir_node *in[]); - /*-----------------------------------------------------------------------*/ /* The block oriented interface without debug support */ /*-----------------------------------------------------------------------*/ @@ -3408,15 +3394,6 @@ ir_node *new_Cond (ir_node *c); */ ir_node *new_Return (ir_node *store, int arity, ir_node *in[]); -/**Constructor for a Raise node. - * - * Adds the node to the block in current_ir_block. - * - * @param *store The current memory. - * @param *obj A pointer to the Except variable. - */ -ir_node *new_Raise (ir_node *store, ir_node *obj); - /** Constructor for a Const node. * * Constructor for a Const node. The constant represents a target @@ -3508,17 +3485,6 @@ ir_node *new_simpleSel(ir_node *store, ir_node *objptr, entity *ent); ir_node *new_Sel (ir_node *store, ir_node *objptr, int arity, ir_node *in[], entity *ent); -/** Constructor for a InstOf node. - * - * A High-Level Type check. - * - * @param *store The memory in which the object the entity should be selected - * from is allocated. - * @param *objptr A pointer to a object of a class type. - * @param *type The type of which objptr must be. - */ -ir_node *new_InstOf (ir_node *store, ir_node *objptr, ir_type *type); - /** Constructor for a Call node. * * Adds the node to the block in current_ir_block. @@ -3761,7 +3727,7 @@ ir_node *new_Load (ir_node *store, ir_node *addr, ir_mode *mode); */ ir_node *new_Store (ir_node *store, ir_node *addr, ir_node *val); -/**Constructor for a Alloc node. +/** Constructor for a Alloc node. * * The Alloc node extends the memory by space for an entity of type alloc_type. * Adds the node to the block in current_ir_block. @@ -3774,8 +3740,7 @@ ir_node *new_Store (ir_node *store, ir_node *addr, ir_node *val); ir_node *new_Alloc (ir_node *store, ir_node *size, ir_type *alloc_type, where_alloc where); - -/**Constructor for a Free node. +/** Constructor for a Free node. * * Frees the memory occupied by the entity pointed to by the pointer * arg. Type indicates the type of the entity the argument points to. @@ -3815,7 +3780,7 @@ ir_node *new_Sync (int arity, ir_node *in[]); */ ir_node *new_Proj (ir_node *arg, ir_mode *mode, long proj); -/** Costructor for a Filter node. +/** Constructor for a Filter node. * * Constructor for a Filter node. Adds the node to the block in current_ir_block. * Filter is a node with two views used to construct the interprocedural view. @@ -3922,8 +3887,29 @@ ir_node *new_Mux (ir_node *sel, ir_node *ir_false, ir_node *ir_true, ir_mode *m */ ir_node *new_CopyB(ir_node *store, ir_node *dst, ir_node *src, ir_type *data_type); +/** Constructor for a InstOf node. + * + * A High-Level Type check. + * + * @param *store The memory in which the object the entity should be selected + * from is allocated. + * @param *objptr A pointer to a object of a class type. + * @param *type The type of which objptr must be. + */ +ir_node *new_InstOf (ir_node *store, ir_node *objptr, ir_type *type); + +/**Constructor for a Raise node. + * + * A High-Level Exception throw. + * + * @param *store The current memory. + * @param *obj A pointer to the Except variable. + */ +ir_node *new_Raise (ir_node *store, ir_node *obj); + /** Constructor for a Bound node. - * Checks whether lower <= idx && idx < upper. + * + * A High-Level bounds check. Checks whether lower <= idx && idx < upper. * * Adds the node to the block in current_ir_block. * @@ -3934,14 +3920,6 @@ ir_node *new_CopyB(ir_node *store, ir_node *dst, ir_node *src, ir_type *data_typ */ ir_node *new_Bound(ir_node *store, ir_node *idx, ir_node *lower, ir_node *upper); -/** - * Constructor for a Keep node. - * @param n Number of inputs. - * @param in Input array. - * @reutrn A new Keep node. - */ -ir_node *new_Keep(int n, ir_node *in[]); - /*---------------------------------------------------------------------*/ /* The comfortable interface. */ /* Supports automatic Phi node construction. */