X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firop.h;h=bf1676f5a89224efb4460845d7d87bcc29fb268e;hb=f9138cf5219d2b9f69949dcc1fd7258304f83ced;hp=ac8eeaaeec06cc45853cf960f56927e41b555c27;hpb=a01b5d585376b9b8387ae7013c2d9bf599463dba;p=libfirm diff --git a/ir/ir/irop.h b/ir/ir/irop.h index ac8eeaaee..bf1676f5a 100644 --- a/ir/ir/irop.h +++ b/ir/ir/irop.h @@ -1,28 +1,36 @@ /* - * Project: libFIRM - * File name: ir/ir/irop.h - * Purpose: Representation of opcode of intermediate operation. - * Author: Christian Schaefer - * Modified by: Goetz Lindenmaier - * Created: - * CVS-ID: $Id$ - * Copyright: (c) 1998-2003 Universität Karlsruhe - * Licence: This file protected by GPL - GNU GENERAL PUBLIC LICENSE. + * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved. + * + * This file is part of libFirm. + * + * This file may be distributed and/or modified under the terms of the + * GNU General Public License version 2 as published by the Free Software + * Foundation and appearing in the file LICENSE.GPL included in the + * packaging of this file. + * + * Licensees holding valid libFirm Professional Edition licenses may use + * this file in accordance with the libFirm Commercial License. + * Agreement provided with the Software. + * + * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE + * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR + * PURPOSE. */ /** - * @file irop.h - * - * Operators of firm nodes. - * - * @author Christian Schaefer + * @file + * @brief Representation of opcode of intermediate operation. + * @author Christian Schaefer, Goetz Lindenmaier + * @version $Id$ + * @summary + * Operators of firm nodes. * * This module specifies the opcodes possible for ir nodes. Their * definition is close to the operations specified in UKA Tech-Report * 1999-14 */ -#ifndef _IROP_H_ -#define _IROP_H_ +#ifndef FIRM_IR_IROP_H +#define FIRM_IR_IROP_H #include "firm_types.h" @@ -37,48 +45,60 @@ typedef enum { oparity_trinary, /**< an trinary operator -- considering 'numeric' arguments.*/ oparity_zero, /**< no operators, as e.g. Const. */ oparity_variable, /**< arity not fixed by opcode, but statically - known. E.g., number of arguments to call. */ + known. E.g., number of arguments to call. */ oparity_dynamic, /**< arity depends on state of firm representation. - Can change by optimizations... - We must allocate a dynamic in array for the node! */ + Can change by optimizations... + We must allocate a dynamic in array for the node! */ oparity_any /**< other arity */ } op_arity; /** The irop flags */ typedef enum { - irop_flag_none = 0x00000000, /**< nothing */ - irop_flag_labeled = 0x00000001, /**< if set, Output edge labels on in-edges in vcg graph */ - irop_flag_commutative = 0x00000002, /**< operation is commutative */ - irop_flag_cfopcode = 0x00000004, /**< is a control flow operation */ - irop_flag_ip_cfopcode = 0x00000008, /**< operation manipulates interprocedural control flow */ - irop_flag_fragile = 0x00000010, /**< set if the operation can change the control flow because - of an exception */ - 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 - kind of a constant */ + irop_flag_none = 0x00000000, /**< Nothing. */ + irop_flag_labeled = 0x00000001, /**< If set, output edge labels on in-edges in vcg graph. */ + irop_flag_commutative = 0x00000002, /**< This operation is commutative. */ + irop_flag_cfopcode = 0x00000004, /**< This operation is a control flow operation. */ + irop_flag_ip_cfopcode = 0x00000008, /**< This operation manipulates the interprocedural control flow. */ + irop_flag_fragile = 0x00000010, /**< Set if the operation can change the control flow because + of an exception. */ + irop_flag_forking = 0x00000020, /**< Forking control flow at this operation. */ + irop_flag_highlevel = 0x00000040, /**< This operation is a pure high-level one and can be + skipped in low-level optimizations. */ + irop_flag_constlike = 0x00000080, /**< This operation has no arguments and is some + kind of a constant. */ + irop_flag_always_opt = 0x00000100, /**< This operation must always be optimized .*/ + irop_flag_keep = 0x00000200, /**< This operation can be kept in End's keep-alive list. */ + irop_flag_start_block = 0x00000400, /**< This operation is always placed in the Start block. */ + irop_flag_machine = 0x00000800, /**< This operation is a machine operation. */ + irop_flag_machine_op = 0x00001000, /**< This operation is a machine operand. */ + irop_flag_user = 0x00002000 /**< This flag and all higher ones are free for machine user. */ } 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, + iro_Carry, iro_Borrow, iro_Phi, iro_Load, iro_Store, iro_Alloc, iro_Free, iro_Sync, 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_NoMem, iro_Mux, iro_Psi, iro_CopyB, + iro_InstOf, iro_Raise, iro_Bound, + iro_Pin, iro_MaxOpcode -} opcode; +} ir_opcode; +#ifndef _IR_OP_TYPEDEF_ +#define _IR_OP_TYPEDEF_ typedef struct ir_op ir_op; +#endif extern ir_op *op_Block; ir_op *get_op_Block (void); @@ -88,9 +108,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); @@ -116,6 +134,8 @@ extern ir_op *op_Shrs; ir_op *get_op_Shrs (void); extern ir_op *op_Rot; ir_op *get_op_Rot (void); extern ir_op *op_Conv; ir_op *get_op_Conv (void); extern ir_op *op_Cast; ir_op *get_op_Cast (void); +extern ir_op *op_Carry; ir_op *get_op_Carry (void); +extern ir_op *op_Borrow; ir_op *get_op_Borrow (void); extern ir_op *op_Phi; ir_op *get_op_Phi (void); @@ -141,8 +161,15 @@ extern ir_op *op_EndExcept; ir_op *get_op_EndExcept (void); 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_Psi; ir_op *get_op_Psi (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); + +extern ir_op *op_Pin; ir_op *get_op_Pin (void); + /** Returns the ident for the opcode name */ ident *get_op_ident(const ir_op *op); @@ -150,12 +177,12 @@ ident *get_op_ident(const ir_op *op); const char *get_op_name(const ir_op *op); /** Returns the enum for the opcode */ -opcode get_op_code(const ir_op *op); +ir_opcode get_op_code(const ir_op *op); /** 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, /**< Nodes must remain in this 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 @@ -174,6 +201,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. */ @@ -259,7 +289,7 @@ typedef ir_type *(*get_type_attr_func)(ir_node *self); * accessed from an ir_graph. * Return the entity attribute of the node self. */ -typedef entity *(*get_entity_attr_func)(ir_node *self); +typedef ir_entity *(*get_entity_attr_func)(ir_node *self); /** * The verify_node operation. @@ -300,7 +330,7 @@ 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. */ + 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. */ @@ -333,11 +363,11 @@ typedef struct { * This function can create all standard Firm opcode as well as new ones. * The behavior of new opcode depends on the operations \c ops and the \c flags. */ -ir_op * new_ir_op(opcode code, const char *name, op_pin_state p, - unsigned flags, op_arity opar, int op_index, size_t attr_size, +ir_op *new_ir_op(ir_opcode code, const char *name, op_pin_state p, + unsigned flags, op_arity opar, int op_index, size_t attr_size, const ir_op_ops *ops); /** Returns the ir_op_ops of an ir_op. */ const ir_op_ops *get_op_ops(const ir_op *op); -#endif /* _IROP_H_ */ +#endif