X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firnode.h;h=5e168d3881051352649bcd9b01775d012e5c4dac;hb=ac7a8d6d17e3080b94233fb5ab099591b9dc757b;hp=b2592765ce7a00fe856941e93eeb2bea3c828ab7;hpb=f00ba73c3abff21ea8bd0236e8d1487221181150;p=libfirm diff --git a/ir/ir/irnode.h b/ir/ir/irnode.h index b2592765c..5e168d388 100644 --- a/ir/ir/irnode.h +++ b/ir/ir/irnode.h @@ -1,32 +1,41 @@ -/* Copyright (C) 1998 - 2000 by Universitaet Karlsruhe 3 2002/02/28 13:33:52 - * All rights reserved. +/* + * Project: libFIRM + * File name: ir/ir/irnode.h + * Purpose: Representation of an intermediate operation. + * Author: Martin Trapp, 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. */ -/* $Id$ */ - # ifndef _IRNODE_H_ # define _IRNODE_H_ -/** Projection numbers of compare: use for Proj nodes! */ +/** + * Projection numbers of compare: use for Proj nodes! + * @remark there are numbers with normalized names below! + */ typedef enum { - False = 0, /**< false */ - Eq, /**< equal */ - Lt, /**< less */ - Le, /**< less or equal */ - Gt, /**< greater */ - Ge, /**< greater or equal */ - Lg, /**< less or greater */ - Leg = 7, /**< less, equal or greater = ordered */ - Uo, /**< unordered */ - Ue, /**< unordered or equal */ - Ul, /**< unordered or less */ - Ule, /**< unordered, less or equal */ - Ug, /**< unordered or greater */ - Uge, /**< unordered, greater or equal */ - Ne, /**< unordered, less or greater = not equal */ - True = 15 /**< true */ - /* not_mask = Leg*/ /* bits to flip to negate comparison * @@ hack for jni interface */ -} pnc_number; + False = 0, /**< false */ + Eq, /**< equal */ + Lt, /**< less */ + Le, /**< less or equal */ + Gt, /**< greater */ + Ge, /**< greater or equal */ + Lg, /**< less or greater */ + Leg = 7, /**< less, equal or greater = ordered */ + Uo, /**< unordered */ + Ue, /**< unordered or equal */ + Ul, /**< unordered or less */ + Ule, /**< unordered, less or equal */ + Ug, /**< unordered or greater */ + Uge, /**< unordered, greater or equal */ + Ne, /**< unordered, less or greater = not equal */ + True = 15 /**< true */ + /* not_mask = Leg*/ /* bits to flip to negate comparison * @@ hack for jni interface */ +} pnc_number; /* pnc: Projection Number Cmp */ #define not_mask Leg # include "tv.h" @@ -37,7 +46,7 @@ typedef enum { # include "irmode.h" # include "type.h" # include "dbginfo.h" -# include "exc.h" +/* # include "exc.h" */ /** * @file irnode.h @@ -50,7 +59,7 @@ typedef enum { /** * @defgroup ir_node Declarations of an ir node. * - * The type definiton of ir_node is also in irgraph.h to resolve + * The type definition of ir_node is also in irgraph.h to resolve * recursion between irnode.h and irgraph.h * * ir_node - a datatype representing a Firm node @@ -85,85 +94,116 @@ typedef struct ir_node ir_node; /** * Checks whether a pointer points to a ir node. * - * @param thing an arbitrary pointer - * - * @return - * true if the thing is a ir mode, else false + * @param thing an arbitrary pointer + * @return non-zero if the thing is a ir mode, else zero */ -int -is_ir_node (void *thing); +int is_ir_node (const void *thing); -/** returns the number of predecessors without the block predecessor: */ -int get_irn_arity (const ir_node *node); +/** + * Returns the number of predecessors without the block predecessor. + * + * @param node the IR-node + */ +int get_irn_arity (const ir_node *node); +int get_irn_intra_arity (const ir_node *node); +int get_irn_inter_arity (const ir_node *node); /** Replaces the old in array by a new one that will contain the ins given in the parameters. Conserves the block predecessor. It copies the array passed. - This function is necessary to ajust in arrays of blocks, calls and phis. + This function is necessary to adjust in arrays of blocks, calls and phis. Assumes that current_ir_graph is set to the graph containing "node". "in" must contain all predecessors except the block that are required for the nodes opcode. */ -INLINE void set_irn_in (ir_node *node, int arity, - ir_node *in[]); +void set_irn_in (ir_node *node, int arity, + ir_node *in[]); /* to iterate through the predecessors without touching the array. No order of predecessors guaranteed. To iterate over the operands iterate from 0 to i < get_irn_arity(), to iterate including the Block predecessor iterate from i = -1 to i < get_irn_arity. */ /* Access predecessor n */ -/* get_irn_n removes Id predecessors. */ -INLINE ir_node *get_irn_n (ir_node *node, int n); -INLINE void set_irn_n (ir_node *node, int n, ir_node *in); -/** Sets the mode struct of node */ -INLINE void set_irn_mode (ir_node *node, ir_mode *mode); -/** Gets the mode struct. */ -INLINE ir_mode *get_irn_mode (const ir_node *node); + +/** + * Get the n-th predecessor of a node. + * This function removes Id predecessors. + */ +ir_node *get_irn_n (ir_node *node, int n); +ir_node *get_irn_intra_n (ir_node *node, int n); +ir_node *get_irn_inter_n (ir_node *node, int n); + +/** Replace the n-th predecessor of a node with a new one. */ +void set_irn_n (ir_node *node, int n, ir_node *in); +/* Sets the mode struct of node. */ +void set_irn_mode (ir_node *node, ir_mode *mode); +/** Gets the mode struct of a node. */ +ir_mode *get_irn_mode (const ir_node *node); /** Gets the mode-enum modecode. */ -INLINE modecode get_irn_modecode (const ir_node *node); +modecode get_irn_modecode (const ir_node *node); /** Gets the ident for a string representation of the mode .*/ -INLINE ident *get_irn_modeident (const ir_node *node); -/** Gets the opcode struct of the node */ -INLINE ir_op *get_irn_op (const ir_node *node); +ident *get_irn_modeident (const ir_node *node); +/** Gets the string representation of the mode .*/ +const char *get_irn_modename (const ir_node *node); +/** Gets the opcode struct of the node. */ +ir_op *get_irn_op (const ir_node *node); /** Sets the opcode struct of the node. */ -INLINE void set_irn_op (ir_node *node, ir_op *op); +void set_irn_op (ir_node *node, ir_op *op); /** Gets the opcode-enum of the node. */ -INLINE opcode get_irn_opcode (const ir_node *node); +opcode get_irn_opcode (const ir_node *node); /** Get the string representation of the opcode. */ -INLINE const char *get_irn_opname (const ir_node *node); +const char *get_irn_opname (const ir_node *node); /** Get the ident for a string representation of the opcode. */ -INLINE ident *get_irn_opident (const ir_node *node); -INLINE unsigned long get_irn_visited (const ir_node *node); -INLINE void set_irn_visited (ir_node *node, unsigned long visited); +ident *get_irn_opident (const ir_node *node); +/** Gets the visited counter of a node. */ +unsigned long get_irn_visited (const ir_node *node); +/** Sets the visited counter of a node. */ +void set_irn_visited (ir_node *node, unsigned long visited); /** Sets visited to get_irg_visited(current_ir_graph). */ -INLINE void mark_irn_visited (ir_node *node); -/** Returns 1 if visited < get_irg_visited(current_ir_graph). */ -INLINE int irn_not_visited (const ir_node *node); -/** Returns 1 if visited >= get_irg_visited(current_ir_graph). */ -INLINE int irn_visited (const ir_node *node); -INLINE void set_irn_link (ir_node *node, void *link); -INLINE void *get_irn_link (const ir_node *node); - -/** Outputs a unique number for this node if libfirm is compiled for - debugging, (configure with --enable-debug) else returns 0. */ -INLINE long get_irn_node_nr(const ir_node *node); - -/** Returns the ir_graph this node belongs to. Only valid for - * CallBegin, EndReg, EndExcept and Start */ -INLINE ir_graph *get_irn_irg(ir_node *node); +void mark_irn_visited (ir_node *node); +/** Returns 1 if visited < get_irg_visited(current_ir_graph). */ +int irn_not_visited (const ir_node *node); +/** Returns 1 if visited >= get_irg_visited(current_ir_graph). */ +int irn_visited (const ir_node *node); + +/** + * Sets the link of a node. + * Only allowed if the graph is NOT in phase_building. + */ +void set_irn_link (ir_node *node, void *link); + +/** Returns the link of a node. */ +void *get_irn_link (const ir_node *node); + +/** Returns the ir_graph this node belongs to. Only valid if irg + * is in state pinned (irg is only stored in the block. */ +ir_graph *get_irn_irg (ir_node *node); + +/** Outputs a unique number for this node if libFIRM is compiled for + debugging, (configure with --enable-debug) else returns address + of node cast to long. */ +long get_irn_node_nr (const ir_node *node); + /** * irnode constructor. * Create a new irnode in irg, with an op, mode, arity and * some incoming irnodes. - * If arity is negative, a node with a dynamic array is created. + * This constructor is used in every specified irnode constructor. + * + * @param db Debug info. + * @param irg IR-graph on with this new node should be constructed. + * @param op The opcode of the new node. + * @param mode The mode of the new node. + * @param arity The arity of the new node, may be <0 if yet. + * @param in An array of arity predecessor nodes. */ -INLINE ir_node * +ir_node * new_ir_node (dbg_info *db, - ir_graph *irg, - ir_node *block, - ir_op *op, - ir_mode *mode, - int arity, - ir_node *in[]); + ir_graph *irg, + ir_node *block, + ir_op *op, + ir_mode *mode, + int arity, + ir_node *in[]); /* * @@ -173,35 +213,80 @@ new_ir_node (dbg_info *db, * */ -/* this works for all except Block */ -INLINE ir_node *get_nodes_Block (ir_node *node); -INLINE void set_nodes_Block (ir_node *node, ir_node *block); +/** This works for all except Block. To express the difference to + * access routines that work for all nodes we use infix "nodes" and do not + * name this function get_irn_block. */ +#define get_nodes_block get_nodes_Block +ir_node *get_nodes_Block (ir_node *node); +#define set_nodes_block set_nodes_Block +void set_nodes_Block (ir_node *node, ir_node *block); -/** Projection numbers for result of Start node: use for Proj nodes! */ +/** + * @function get_irn_block + * @see get_nodes_block() + */ + +/** + * Projection numbers for result of Start node: use for Proj nodes! + */ +typedef enum { + pn_Start_X_initial_exec, /**< Projection on the initial control flow. */ + pn_Start_M, /**< Projection on the initial memory. */ + pn_Start_P_frame_base, /**< Projection on the frame base pointer. */ + pn_Start_P_globals, /**< Projection on the pointer to the data segment + containing _all_ global entities. */ + pn_Start_T_args, /**< Projection on all arguments. */ + pn_Start_P_value_arg_base /**< Pointer to region of compound value arguments as defined by + type of this method. */ +} pn_Start; /* Projection numbers for Start. */ + +/** + * Projection numbers for result of Start node: use for Proj nodes! + * @remark This is the old name convention, don't use anymore. + */ typedef enum { pns_initial_exec, /**< Projection on an executable, the initial control - flow. */ + flow. */ pns_global_store, /**< Projection on the global store */ pns_frame_base, /**< Projection on the frame base */ pns_globals, /**< Projection on the pointer to the data segment - containing _all_ global entities. */ + containing _all_ global entities. */ pns_args, /**< Projection on all arguments */ pns_value_arg_base /**< Pointer to region of compound value arguments as defined by - type of this method. */ -} pns_number; + type of this method. */ +} pns_number; /* pns: Projection Number Start */ + +/** Test whether arbitrary node is frame pointer. + * + * Test whether arbitrary node is frame pointer, i.e. Proj(pn_Start_P_frame_base) + * from Start. If so returns frame type, else Null. */ +type *is_frame_pointer(ir_node *n); + +/** Test whether arbitrary node is globals pointer. + * + * Test whether arbitrary node is globals pointer, i.e. Proj(pn_Start_P_globals) + * from Start. If so returns global type, else Null. */ +type *is_globals_pointer(ir_node *n); + +/** Test whether arbitrary node is value arg base. + * + * Test whether arbitrary node is value arg base, i.e. Proj(pn_Start_P_value_arg_base) + * from Start. If so returns 1, else 0. */ +int is_value_arg_pointer(ir_node *n); + /* @@@ no more supported */ -INLINE ir_node **get_Block_cfgpred_arr (ir_node *node); +ir_node **get_Block_cfgpred_arr (ir_node *node); int get_Block_n_cfgpreds (ir_node *node); -INLINE ir_node *get_Block_cfgpred (ir_node *node, int pos); -INLINE void set_Block_cfgpred (ir_node *node, int pos, ir_node *pred); -INLINE bool get_Block_matured (ir_node *node); -INLINE void set_Block_matured (ir_node *node, bool matured); -INLINE unsigned long get_Block_block_visited (ir_node *node); -INLINE void set_Block_block_visited (ir_node *node, unsigned long visit); +ir_node *get_Block_cfgpred (ir_node *node, int pos); +void set_Block_cfgpred (ir_node *node, int pos, ir_node *pred); +bool get_Block_matured (ir_node *node); +void set_Block_matured (ir_node *node, bool matured); +unsigned long get_Block_block_visited (ir_node *node); +void set_Block_block_visited (ir_node *node, unsigned long visit); /* For this current_ir_graph must be set. */ -INLINE void mark_Block_block_visited(ir_node *node); -INLINE int Block_not_block_visited(ir_node *node); +void mark_Block_block_visited(ir_node *node); +int Block_not_block_visited(ir_node *node); /* Set and remove interprocedural predecessors. If the interprocedural * predecessors are removed, the node has the same predecessors in @@ -211,27 +296,28 @@ void set_Block_cg_cfgpred_arr(ir_node * node, int arity, ir_node ** in); void set_Block_cg_cfgpred(ir_node * node, int pos, ir_node * pred); /* @@@ not supported */ ir_node **get_Block_cg_cfgpred_arr(ir_node * node); -/* Returns the number of interproc predecessors. 0 if none. */ +/* Returns the number of interprocedural predecessors. 0 if none. */ int get_Block_cg_n_cfgpreds(ir_node * node); ir_node *get_Block_cg_cfgpred(ir_node * node, int pos); /* frees the memory. */ void remove_Block_cg_cfgpred_arr(ir_node * node); -/* Start references the irg it is in. */ +/* Start references the irg it is in. + @@@ old -- use get_irn_irg instead! */ ir_graph *get_Start_irg(ir_node *node); -void set_Start_irg(ir_node *node, ir_graph *irg); -INLINE int get_End_n_keepalives(ir_node *end); -INLINE ir_node *get_End_keepalive(ir_node *end, int pos); -INLINE void add_End_keepalive (ir_node *end, ir_node *ka); -INLINE void set_End_keepalive(ir_node *end, int pos, ir_node *ka); -/* Some parts of the End node are allocated seperately -- their memory +int get_End_n_keepalives(ir_node *end); +ir_node *get_End_keepalive(ir_node *end, int pos); +void add_End_keepalive (ir_node *end, ir_node *ka); +void set_End_keepalive(ir_node *end, int pos, ir_node *ka); +/* Some parts of the End node are allocated separately -- their memory is not recovered by dead_node_elimination if a End node is dead. free_End frees these data structures. */ -INLINE void free_End (ir_node *end); +void free_End (ir_node *end); -ir_graph *get_EndReg_irg (const ir_node *end); -ir_graph *get_EndExcept_irg (const ir_node *end); +/* @@@ old -- use get_irn_irg instead! */ +ir_graph *get_EndReg_irg (ir_node *end); +ir_graph *get_EndExcept_irg (ir_node *end); /* We distinguish three kinds of Cond nodes. These can be distinguished by the mode of the selector operand and an internal flag of type cond_kind. @@ -256,28 +342,50 @@ ir_graph *get_EndExcept_irg (const ir_node *end); typedef enum { dense, /**< Default. Missing Proj nodes are dead control flow. */ fragmentary /**< Special. No control flow optimizations allowed. Missing - Proj nodes mean default control flow, i.e., Proj(n). */ + Proj nodes mean default control flow, i.e., Proj(n). */ } cond_kind; -INLINE ir_node *get_Cond_selector (ir_node *node); -INLINE void set_Cond_selector (ir_node *node, ir_node *selector); -INLINE cond_kind get_Cond_kind (ir_node *node); -INLINE void set_Cond_kind (ir_node *node, cond_kind kind); - -INLINE ir_node *get_Return_mem (ir_node *node); -INLINE void set_Return_mem (ir_node *node, ir_node *mem); -INLINE ir_node **get_Return_res_arr (ir_node *node); -INLINE int get_Return_n_ress (ir_node *node); -INLINE ir_node *get_Return_res (ir_node *node, int pos); -INLINE void set_Return_res (ir_node *node, int pos, ir_node *res); +ir_node *get_Cond_selector (ir_node *node); +void set_Cond_selector (ir_node *node, ir_node *selector); +cond_kind get_Cond_kind (ir_node *node); +void set_Cond_kind (ir_node *node, cond_kind kind); +long get_Cond_defaultProj (ir_node *node); -INLINE ir_node *get_Raise_mem (ir_node *node); -INLINE void set_Raise_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Raise_exo_ptr (ir_node *node); /* PoinTeR to EXception Object */ -INLINE void set_Raise_exo_ptr (ir_node *node, ir_node *exoptr); +/** + * Projection numbers for conditions. + */ +typedef enum { + pn_Cond_false, /**< Control flow if operand is "false". */ + pn_Cond_true /**< Control flow if operand is "true". */ +} pn_Cond; /* Projection numbers for Cond. */ + +ir_node *get_Return_mem (ir_node *node); +void set_Return_mem (ir_node *node, ir_node *mem); +ir_node **get_Return_res_arr (ir_node *node); +int get_Return_n_ress (ir_node *node); +ir_node *get_Return_res (ir_node *node, int pos); +void set_Return_res (ir_node *node, int pos, ir_node *res); + +ir_node *get_Raise_mem (ir_node *node); +void set_Raise_mem (ir_node *node, ir_node *mem); +ir_node *get_Raise_exo_ptr (ir_node *node); /* PoinTeR to EXception Object */ +void set_Raise_exo_ptr (ir_node *node, ir_node *exoptr); -INLINE tarval *get_Const_tarval (ir_node *node); -INLINE void set_Const_tarval (ir_node *node, tarval *con); +/** + * Projection numbers for Raise. + */ +typedef enum { + pn_Raise_X, /**< Execution result. */ + pn_Raise_M /**< Memory result. */ +} pn_Raise; /* Projection numbers for Raise. */ + +tarval *get_Const_tarval (ir_node *node); +void set_Const_tarval (ir_node *node, tarval *con); +/* The source language type. Must be an atomic type. Mode of type must + be mode of node. For tarvals from entities type must be pointer to + entity type. */ +type *get_Const_type (ir_node *node); +void set_Const_type (ir_node *node, type *tp); /** This enum names the three different kinds of symbolic Constants represented by SymConst. The content of the attribute type_or_id @@ -285,74 +393,128 @@ INLINE void set_Const_tarval (ir_node *node, tarval *con); this flag. */ typedef enum { type_tag, /**< The SymConst is a type tag for the given type. - Type_or_id_p is type *. */ + Type_or_id_p is type *. */ size, /**< The SymConst is the size of the given type. - Type_or_id_p is type *. */ + Type_or_id_p is type *. */ linkage_ptr_info /**< The SymConst is a symbolic pointer to be filled in - by the linker. Type_or_id_p is ident *. */ + by the linker. Type_or_id_p is ident *. */ } symconst_kind; + typedef union type_or_id * type_or_id_p; -INLINE symconst_kind get_SymConst_kind (const ir_node *node); -INLINE void set_SymConst_kind (ir_node *node, symconst_kind num); +symconst_kind get_SymConst_kind (const ir_node *node); +void set_SymConst_kind (ir_node *node, symconst_kind num); /* Only to access SymConst of kind type_tag or size. Else assertion: */ -INLINE type *get_SymConst_type (ir_node *node); -INLINE void set_SymConst_type (ir_node *node, type *tp); +type *get_SymConst_type (ir_node *node); +void set_SymConst_type (ir_node *node, type *tp); /* Only to access SymConst of kind linkage_ptr_info. Else assertion: */ -INLINE ident *get_SymConst_ptrinfo (ir_node *node); -INLINE void set_SymConst_ptrinfo (ir_node *node, ident *ptrinfo); +ident *get_SymConst_ptrinfo (ir_node *node); +void set_SymConst_ptrinfo (ir_node *node, ident *ptrinfo); /* Sets both: type and ptrinfo. Needed to treat the node independent of its semantics. Does a memcpy for the memory tori points to. */ -INLINE type_or_id_p get_SymConst_type_or_id (ir_node *node); -INLINE void set_SymConst_type_or_id (ir_node *node, type_or_id_p tori); - -INLINE ir_node *get_Sel_mem (ir_node *node); -INLINE void set_Sel_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Sel_ptr (ir_node *node); /* ptr to the object to select from */ -INLINE void set_Sel_ptr (ir_node *node, ir_node *ptr); -INLINE ir_node **get_Sel_index_arr (ir_node *node); -INLINE int get_Sel_n_indexs (ir_node *node); -INLINE ir_node *get_Sel_index (ir_node *node, int pos); -INLINE void set_Sel_index (ir_node *node, int pos, ir_node *index); -INLINE entity *get_Sel_entity (ir_node *node); /* entity to select */ -INLINE void set_Sel_entity (ir_node *node, entity *ent); - -/* @@@ ajacs specific node -- not supported */ -type *get_InstOf_ent (ir_node *node); -void set_InstOf_ent (ir_node *node, type *ent); -ir_node *get_InstOf_obj (ir_node *node); -void set_InstOf_obj (ir_node *node, ir_node *obj); -ir_node *get_InstOf_store (ir_node *node); -void set_InstOf_store (ir_node *node, ir_node *obj); - -INLINE ir_node *get_Call_mem (ir_node *node); -INLINE void set_Call_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Call_ptr (ir_node *node); -INLINE void set_Call_ptr (ir_node *node, ir_node *ptr); -INLINE ir_node **get_Call_param_arr (ir_node *node); +type_or_id_p get_SymConst_type_or_id (ir_node *node); +void set_SymConst_type_or_id (ir_node *node, type_or_id_p tori); + +ir_node *get_Sel_mem (ir_node *node); +void set_Sel_mem (ir_node *node, ir_node *mem); +ir_node *get_Sel_ptr (ir_node *node); /* ptr to the object to select from */ +void set_Sel_ptr (ir_node *node, ir_node *ptr); +ir_node **get_Sel_index_arr (ir_node *node); +int get_Sel_n_indexs (ir_node *node); +ir_node *get_Sel_index (ir_node *node, int pos); +void set_Sel_index (ir_node *node, int pos, ir_node *index); +entity *get_Sel_entity (ir_node *node); /* entity to select */ +void set_Sel_entity (ir_node *node, entity *ent); + +/** + * Projection numbers for result of Call node: use for Proj nodes! + * + * @remark old name convention! + */ +typedef enum { + pncl_memory = 0, /**< The memory result. */ + pncl_exc_target = 1, /**< The control flow result branching to the exception handler */ + pncl_result_tuple = 2, /**< The tuple containing all (0, 1, 2, ...) results */ + pncl_exc_memory = 3, /**< The memory result in case the called method terminated with + an exception */ + pncl_value_res_base = 4 /**< A pointer to the memory region containing copied results + passed by value (for compound result types). */ +} pncl_number; /* pncl: Projection Number CaLl */ + +/** + * Projection numbers for result of Call node: use for Proj nodes! + */ +typedef enum { + pn_Call_M_regular = 0, /**< The memory result. */ + pn_Call_T_result = 2, /**< The tuple containing all (0, 1, 2, ...) results */ + pn_Call_P_value_res_base = 4,/**< A pointer to the memory region containing copied results + passed by value (for compound result types). */ + pn_Call_X_except = 1, /**< The control flow result branching to the exception handler */ + pn_Call_M_except = 3 /**< The memory result in case the called method terminated with + an exception */ +} pn_Call; /* Projection numbers for Call. */ + +ir_node *get_Call_mem (ir_node *node); +void set_Call_mem (ir_node *node, ir_node *mem); +ir_node *get_Call_ptr (ir_node *node); +void set_Call_ptr (ir_node *node, ir_node *ptr); +ir_node **get_Call_param_arr (ir_node *node); /** Gets the number of parameters of a call. */ -INLINE int get_Call_n_params (ir_node *node); +int get_Call_n_params (ir_node *node); /** Gets the call parameter at position pos. */ -INLINE ir_node *get_Call_param (ir_node *node, int pos); +ir_node *get_Call_param (ir_node *node, int pos); /** Sets the call parameter at position pos. */ -INLINE void set_Call_param (ir_node *node, int pos, ir_node *param); +void set_Call_param (ir_node *node, int pos, ir_node *param); /** Gets the type of a call. */ -INLINE type *get_Call_type (ir_node *node); +type *get_Call_type (ir_node *node); /** Sets the type of a call. */ -INLINE void set_Call_type (ir_node *node, type *tp); +void set_Call_type (ir_node *node, type *tp); /** Gets the arity of a call. Identical to get_Call_n_params(). */ -INLINE int get_Call_arity (ir_node *node); - -/* Set, get and remove the callee-analysis. */ -int get_Call_n_callees(ir_node * node); -entity * get_Call_callee(ir_node * node, int pos); -void set_Call_callee_arr(ir_node * node, int n, entity ** arr); -void remove_Call_callee_arr(ir_node * node); - -ir_node * get_CallBegin_ptr (ir_node *node); -void set_CallBegin_ptr (ir_node *node, ir_node *ptr); -ir_graph *get_CallBegin_irg (ir_node *node); -ir_node *get_CallBegin_call (ir_node *node); -void set_CallBegin_call (ir_node *node, ir_node *call); +int get_Call_arity (ir_node *node); + +/* Set, get and remove the callee-analysis. + The array is only accessible if information is valid. + It contains NULL for called methods that are not within + the compilation unit. */ +int Call_has_callees (ir_node *node); +int get_Call_n_callees (ir_node * node); +entity *get_Call_callee (ir_node * node, int pos); +/* assumes current_ir_graph set properly! */ +void set_Call_callee_arr (ir_node * node, int n, entity ** arr); +void remove_Call_callee_arr(ir_node * node); + +ir_node *get_CallBegin_ptr (ir_node *node); +void set_CallBegin_ptr (ir_node *node, ir_node *ptr); +/* @@@ old -- use get_irn_irg instead! */ +ir_graph *get_CallBegin_irg (ir_node *node); +ir_node *get_CallBegin_call (ir_node *node); +void set_CallBegin_call (ir_node *node, ir_node *call); + +ir_node *get_FuncCall_ptr (ir_node *node); +void set_FuncCall_ptr (ir_node *node, ir_node *ptr); +ir_node **get_FuncCall_param_arr (ir_node *node); +/** Gets the number of parameters of a func call. */ +int get_FuncCall_n_params (ir_node *node); +/** Gets the func call parameter at position pos. */ +ir_node *get_FuncCall_param (ir_node *node, int pos); +/** Sets the func call parameter at position pos. */ +void set_FuncCall_param (ir_node *node, int pos, ir_node *param); +/** Gets the type of a func call. */ +type *get_FuncCall_type (ir_node *node); +/** Sets the type of a func call. */ +void set_FuncCall_type (ir_node *node, type *tp); +/** Gets the arity of a func call. Identical to get_FuncCall_n_params(). */ +int get_FuncCall_arity (ir_node *node); + +/* Set, get and remove the callee-analysis. + The array is only accessible if information is valid. + It contains NULL for called methods that are not within + the compilation unit. */ +int FuncCall_has_callees (ir_node *node); +int get_FuncCall_n_callees (ir_node * node); +entity *get_FuncCall_callee (ir_node * node, int pos); +/* assumes current_ir_graph set properly! */ +void set_FuncCall_callee_arr (ir_node * node, int n, entity ** arr); +void remove_FuncCall_callee_arr(ir_node * node); /* For unary and binary arithmetic operations the access to the operands can be factored out. Left is the first, right the @@ -360,127 +522,199 @@ void set_CallBegin_call (ir_node *node, ir_node *call); unops are: Minus, Abs, Not, Conv, Cast binops are: Add, Sub, Mul, Quot, DivMod, Div, Mod, And, Or, Eor, Shl, Shr, Shrs, Rot, Cmp */ -INLINE int is_unop (ir_node *node); -INLINE ir_node *get_unop_op (ir_node *node); -INLINE void set_unop_op (ir_node *node, ir_node *op); -INLINE int is_binop (ir_node *node); -INLINE ir_node *get_binop_left (ir_node *node); -INLINE void set_binop_left (ir_node *node, ir_node *left); -INLINE ir_node *get_binop_right (ir_node *node); -INLINE void set_binop_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Add_left (ir_node *node); -INLINE void set_Add_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Add_right (ir_node *node); -INLINE void set_Add_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Sub_left (ir_node *node); -INLINE void set_Sub_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Sub_right (ir_node *node); -INLINE void set_Sub_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Minus_op (ir_node *node); -INLINE void set_Minus_op (ir_node *node, ir_node *op); - -INLINE ir_node *get_Mul_left (ir_node *node); -INLINE void set_Mul_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Mul_right (ir_node *node); -INLINE void set_Mul_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Quot_left (ir_node *node); -INLINE void set_Quot_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Quot_right (ir_node *node); -INLINE void set_Quot_right (ir_node *node, ir_node *right); -INLINE ir_node *get_Quot_mem (ir_node *node); -INLINE void set_Quot_mem (ir_node *node, ir_node *mem); - -INLINE ir_node *get_DivMod_left (ir_node *node); -INLINE void set_DivMod_left (ir_node *node, ir_node *left); -INLINE ir_node *get_DivMod_right (ir_node *node); -INLINE void set_DivMod_right (ir_node *node, ir_node *right); -INLINE ir_node *get_DivMod_mem (ir_node *node); -INLINE void set_DivMod_mem (ir_node *node, ir_node *mem); - -INLINE ir_node *get_Div_left (ir_node *node); -INLINE void set_Div_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Div_right (ir_node *node); -INLINE void set_Div_right (ir_node *node, ir_node *right); -INLINE ir_node *get_Div_mem (ir_node *node); -INLINE void set_Div_mem (ir_node *node, ir_node *mem); - -INLINE ir_node *get_Mod_left (ir_node *node); -INLINE void set_Mod_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Mod_right (ir_node *node); -INLINE void set_Mod_right (ir_node *node, ir_node *right); -INLINE ir_node *get_Mod_mem (ir_node *node); -INLINE void set_Mod_mem (ir_node *node, ir_node *mem); - -INLINE ir_node *get_Abs_op (ir_node *node); -INLINE void set_Abs_op (ir_node *node, ir_node *op); - -INLINE ir_node *get_And_left (ir_node *node); -INLINE void set_And_left (ir_node *node, ir_node *left); -INLINE ir_node *get_And_right (ir_node *node); -INLINE void set_And_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Or_left (ir_node *node); -INLINE void set_Or_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Or_right (ir_node *node); -INLINE void set_Or_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Eor_left (ir_node *node); -INLINE void set_Eor_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Eor_right (ir_node *node); -INLINE void set_Eor_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Not_op (ir_node *node); -INLINE void set_Not_op (ir_node *node, ir_node *op); - -INLINE const char *get_pnc_string(int pnc); - -INLINE int get_negated_pnc(int pnc); -INLINE ir_node *get_Cmp_left (ir_node *node); -INLINE void set_Cmp_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Cmp_right (ir_node *node); -INLINE void set_Cmp_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Shl_left (ir_node *node); -INLINE void set_Shl_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Shl_right (ir_node *node); -INLINE void set_Shl_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Shr_left (ir_node *node); -INLINE void set_Shr_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Shr_right (ir_node *node); -INLINE void set_Shr_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Shrs_left (ir_node *node); -INLINE void set_Shrs_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Shrs_right (ir_node *node); -INLINE void set_Shrs_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Rot_left (ir_node *node); -INLINE void set_Rot_left (ir_node *node, ir_node *left); -INLINE ir_node *get_Rot_right (ir_node *node); -INLINE void set_Rot_right (ir_node *node, ir_node *right); - -INLINE ir_node *get_Conv_op (ir_node *node); -INLINE void set_Conv_op (ir_node *node, ir_node *op); - -INLINE ir_node *get_Cast_op (ir_node *node); -INLINE void set_Cast_op (ir_node *node, ir_node *op); -INLINE type *get_Cast_type (ir_node *node); -INLINE void set_Cast_type (ir_node *node, type *to_tp); - -INLINE ir_node **get_Phi_preds_arr (ir_node *node); -INLINE int get_Phi_n_preds (ir_node *node); -INLINE ir_node *get_Phi_pred (ir_node *node, int pos); -INLINE void set_Phi_pred (ir_node *node, int pos, ir_node *pred); - -INLINE ir_node *get_Filter_pred(ir_node *node); -INLINE void set_Filter_pred(ir_node *node, ir_node *pred); -INLINE long get_Filter_proj(ir_node *node); -INLINE void set_Filter_proj(ir_node *node, long proj); +int is_unop (ir_node *node); +ir_node *get_unop_op (ir_node *node); +void set_unop_op (ir_node *node, ir_node *op); +int is_binop (ir_node *node); +ir_node *get_binop_left (ir_node *node); +void set_binop_left (ir_node *node, ir_node *left); +ir_node *get_binop_right (ir_node *node); +void set_binop_right (ir_node *node, ir_node *right); + +ir_node *get_Add_left (ir_node *node); +void set_Add_left (ir_node *node, ir_node *left); +ir_node *get_Add_right (ir_node *node); +void set_Add_right (ir_node *node, ir_node *right); + +ir_node *get_Sub_left (ir_node *node); +void set_Sub_left (ir_node *node, ir_node *left); +ir_node *get_Sub_right (ir_node *node); +void set_Sub_right (ir_node *node, ir_node *right); + +ir_node *get_Minus_op (ir_node *node); +void set_Minus_op (ir_node *node, ir_node *op); + +ir_node *get_Mul_left (ir_node *node); +void set_Mul_left (ir_node *node, ir_node *left); +ir_node *get_Mul_right (ir_node *node); +void set_Mul_right (ir_node *node, ir_node *right); + +ir_node *get_Quot_left (ir_node *node); +void set_Quot_left (ir_node *node, ir_node *left); +ir_node *get_Quot_right (ir_node *node); +void set_Quot_right (ir_node *node, ir_node *right); +ir_node *get_Quot_mem (ir_node *node); +void set_Quot_mem (ir_node *node, ir_node *mem); + +/** + * Projection numbers for Quot: use for Proj nodes! + */ +typedef enum { + pn_Quot_M, /**< Memory result. */ + pn_Quot_X_except, /**< Execution result if exception occured. */ + pn_Quot_res /**< Result of computation. */ +} pn_Quot; /* Projection numbers for Quot. */ + +ir_node *get_DivMod_left (ir_node *node); +void set_DivMod_left (ir_node *node, ir_node *left); +ir_node *get_DivMod_right (ir_node *node); +void set_DivMod_right (ir_node *node, ir_node *right); +ir_node *get_DivMod_mem (ir_node *node); +void set_DivMod_mem (ir_node *node, ir_node *mem); + +/** + * Projection numbers for DivMod: use for Proj nodes! + */ +typedef enum { + pn_DivMod_M, /**< Memory result. */ + pn_DivMod_X_except, /**< Execution result if exception occured. */ + pn_DivMod_res_div, /**< Result of computation a / b. */ + pn_DivMod_res_mod /**< Result of computation a % b. */ +} pn_DivMod; /* Projection numbers for DivMod. */ + +ir_node *get_Div_left (ir_node *node); +void set_Div_left (ir_node *node, ir_node *left); +ir_node *get_Div_right (ir_node *node); +void set_Div_right (ir_node *node, ir_node *right); +ir_node *get_Div_mem (ir_node *node); +void set_Div_mem (ir_node *node, ir_node *mem); + +/** + * Projection numbers for Div: use for Proj nodes! + */ +typedef enum { + pn_Div_M, /**< Memory result. */ + pn_Div_X_except, /**< Execution result if exception occured. */ + pn_Div_res /**< Result of computation. */ +} pn_Div; /* Projection numbers for Div. */ + +ir_node *get_Mod_left (ir_node *node); +void set_Mod_left (ir_node *node, ir_node *left); +ir_node *get_Mod_right (ir_node *node); +void set_Mod_right (ir_node *node, ir_node *right); +ir_node *get_Mod_mem (ir_node *node); +void set_Mod_mem (ir_node *node, ir_node *mem); + +/** + * Projection numbers for Mod: use for Proj nodes! + */ +typedef enum { + pn_Mod_M, /**< Memory result. */ + pn_Mod_X_except, /**< Execution result if exception occured. */ + pn_Mod_res /**< Result of computation. */ +} pn_Mod; /* Projection numbers for Mod. */ + +ir_node *get_Abs_op (ir_node *node); +void set_Abs_op (ir_node *node, ir_node *op); + +ir_node *get_And_left (ir_node *node); +void set_And_left (ir_node *node, ir_node *left); +ir_node *get_And_right (ir_node *node); +void set_And_right (ir_node *node, ir_node *right); + +ir_node *get_Or_left (ir_node *node); +void set_Or_left (ir_node *node, ir_node *left); +ir_node *get_Or_right (ir_node *node); +void set_Or_right (ir_node *node, ir_node *right); + +ir_node *get_Eor_left (ir_node *node); +void set_Eor_left (ir_node *node, ir_node *left); +ir_node *get_Eor_right (ir_node *node); +void set_Eor_right (ir_node *node, ir_node *right); + +ir_node *get_Not_op (ir_node *node); +void set_Not_op (ir_node *node, ir_node *op); + +/** + * 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. + */ +typedef enum { + pn_Cmp_False = 0, /**< false */ + pn_Cmp_Eq, /**< equal */ + pn_Cmp_Lt, /**< less */ + pn_Cmp_Le, /**< less or equal */ + pn_Cmp_Gt, /**< greater */ + pn_Cmp_Ge, /**< greater or equal */ + pn_Cmp_Lg, /**< less or greater */ + pn_Cmp_Leg = 7, /**< less, equal or greater = ordered */ + pn_Cmp_Uo, /**< unordered */ + pn_Cmp_Ue, /**< unordered or equal */ + pn_Cmp_Ul, /**< unordered or less */ + pn_Cmp_Ule, /**< unordered, less or equal */ + pn_Cmp_Ug, /**< unordered or greater */ + pn_Cmp_Uge, /**< unordered, greater or equal */ + pn_Cmp_Ne, /**< 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 */ +/* #define not_mask pn_Cmp_Leg */ + +const char *get_pnc_string(int pnc); +int get_negated_pnc(int pnc); +ir_node *get_Cmp_left (ir_node *node); +void set_Cmp_left (ir_node *node, ir_node *left); +ir_node *get_Cmp_right (ir_node *node); +void set_Cmp_right (ir_node *node, ir_node *right); + +ir_node *get_Shl_left (ir_node *node); +void set_Shl_left (ir_node *node, ir_node *left); +ir_node *get_Shl_right (ir_node *node); +void set_Shl_right (ir_node *node, ir_node *right); + +ir_node *get_Shr_left (ir_node *node); +void set_Shr_left (ir_node *node, ir_node *left); +ir_node *get_Shr_right (ir_node *node); +void set_Shr_right (ir_node *node, ir_node *right); + +ir_node *get_Shrs_left (ir_node *node); +void set_Shrs_left (ir_node *node, ir_node *left); +ir_node *get_Shrs_right (ir_node *node); +void set_Shrs_right (ir_node *node, ir_node *right); + +ir_node *get_Rot_left (ir_node *node); +void set_Rot_left (ir_node *node, ir_node *left); +ir_node *get_Rot_right (ir_node *node); +void set_Rot_right (ir_node *node, ir_node *right); + +ir_node *get_Conv_op (ir_node *node); +void set_Conv_op (ir_node *node, ir_node *op); + +/* Does Cast need a mem operator? + * Cast should only depend on the type, not on the state of an + * entity. But: we initialze various fields after Alloc, that + * are accessed in the cast. This required some precaution, to + * get the right memory into the Loads generated from the cast. + */ +ir_node *get_Cast_op (ir_node *node); +void set_Cast_op (ir_node *node, ir_node *op); +type *get_Cast_type (ir_node *node); +void set_Cast_type (ir_node *node, type *to_tp); + +/* Returns true if n is Phi or Filter in interprocedural_view. */ +int is_Phi (ir_node *n); +/* These routines also work for Filter nodes in interprocedural view. */ +ir_node **get_Phi_preds_arr (ir_node *node); +int get_Phi_n_preds (ir_node *node); +ir_node *get_Phi_pred (ir_node *node, int pos); +void set_Phi_pred (ir_node *node, int pos, ir_node *pred); + +ir_node *get_Filter_pred(ir_node *node); +void set_Filter_pred(ir_node *node, ir_node *pred); +long get_Filter_proj(ir_node *node); +void set_Filter_proj(ir_node *node, long proj); /* set the interprocedural predecessors, ...d_arr uses current_ir_graph. * @@@ Maybe better: arity is zero if no cg preds. */ void set_Filter_cg_pred_arr(ir_node * node, int arity, ir_node ** in); @@ -488,61 +722,97 @@ void set_Filter_cg_pred(ir_node * node, int pos, ir_node * pred); int get_Filter_n_cg_preds(ir_node *node); ir_node * get_Filter_cg_pred(ir_node *node, int pos); -INLINE ir_node *get_Load_mem (ir_node *node); -INLINE void set_Load_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Load_ptr (ir_node *node); -INLINE void set_Load_ptr (ir_node *node, ir_node *ptr); - -INLINE ir_node *get_Store_mem (ir_node *node); -INLINE void set_Store_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Store_ptr (ir_node *node); -INLINE void set_Store_ptr (ir_node *node, ir_node *ptr); -INLINE ir_node *get_Store_value (ir_node *node); -INLINE void set_Store_value (ir_node *node, ir_node *value); - -INLINE ir_node *get_Alloc_mem (ir_node *node); -INLINE void set_Alloc_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Alloc_size (ir_node *node); -INLINE void set_Alloc_size (ir_node *node, ir_node *size); -INLINE type *get_Alloc_type (ir_node *node); -INLINE void set_Alloc_type (ir_node *node, type *tp); - -/** allocation place. */ +/** + * Projection numbers for Load: use for Proj nodes! + */ typedef enum { - stack_alloc, /**< Alloc allocates the object on the stack. */ - heap_alloc /**< Alloc allocates the object on the heap. */ -} where_alloc; - -INLINE where_alloc get_Alloc_where (ir_node *node); -INLINE void set_Alloc_where (ir_node *node, where_alloc where); + pn_Load_M, /**< Memory result. */ + pn_Load_X_except, /**< Execution result if exception occured. */ + pn_Load_res /**< Result of load operation. */ +} pn_Load; /* Projection numbers for Load. */ -INLINE ir_node *get_Free_mem (ir_node *node); -INLINE void set_Free_mem (ir_node *node, ir_node *mem); -INLINE ir_node *get_Free_ptr (ir_node *node); -INLINE void set_Free_ptr (ir_node *node, ir_node *ptr); -INLINE ir_node *get_Free_size (ir_node *node); -INLINE void set_Free_size (ir_node *node, ir_node *size); -INLINE type *get_Free_type (ir_node *node); -INLINE void set_Free_type (ir_node *node, type *tp); +ir_node *get_Load_mem (ir_node *node); +void set_Load_mem (ir_node *node, ir_node *mem); +ir_node *get_Load_ptr (ir_node *node); +void set_Load_ptr (ir_node *node, ir_node *ptr); -INLINE ir_node **get_Sync_preds_arr (ir_node *node); -INLINE int get_Sync_n_preds (ir_node *node); -INLINE ir_node *get_Sync_pred (ir_node *node, int pos); -INLINE void set_Sync_pred (ir_node *node, int pos, ir_node *pred); - -INLINE ir_node *get_Proj_pred (ir_node *node); -INLINE void set_Proj_pred (ir_node *node, ir_node *pred); -INLINE long get_Proj_proj (ir_node *node); -INLINE void set_Proj_proj (ir_node *node, long proj); +/** + * Projection numbers for Store: use for Proj nodes! + */ +typedef enum { + pn_Store_M, /**< Memory result. */ + pn_Store_X_except /**< Execution result if exception occured. */ +} pn_Store; /* Projection numbers for Store. */ -INLINE ir_node **get_Tuple_preds_arr (ir_node *node); -INLINE int get_Tuple_n_preds (ir_node *node); -INLINE ir_node *get_Tuple_pred (ir_node *node, int pos); -INLINE void set_Tuple_pred (ir_node *node, int pos, ir_node *pred); +ir_node *get_Store_mem (ir_node *node); +void set_Store_mem (ir_node *node, ir_node *mem); +ir_node *get_Store_ptr (ir_node *node); +void set_Store_ptr (ir_node *node, ir_node *ptr); +ir_node *get_Store_value (ir_node *node); +void set_Store_value (ir_node *node, ir_node *value); -INLINE ir_node *get_Id_pred (ir_node *node); -INLINE void set_Id_pred (ir_node *node, ir_node *pred); +/** + * Projection numbers for Alloc: use for Proj nodes! + */ +typedef enum { + pn_Alloc_M, /**< Memory result. */ + pn_Alloc_X_except, /**< Execution result if exception occured. */ + pn_Alloc_res /**< Result of allocation. */ +} pn_Alloc; /* Projection numbers for Alloc. */ + +ir_node *get_Alloc_mem (ir_node *node); +void set_Alloc_mem (ir_node *node, ir_node *mem); +ir_node *get_Alloc_size (ir_node *node); +void set_Alloc_size (ir_node *node, ir_node *size); +type *get_Alloc_type (ir_node *node); +void set_Alloc_type (ir_node *node, type *tp); + +/** The allocation place. */ +typedef enum { + stack_alloc, /**< Alloc allocates the object on the stack. */ + heap_alloc /**< Alloc allocates the object on the heap. */ +} where_alloc; +where_alloc get_Alloc_where (ir_node *node); +void set_Alloc_where (ir_node *node, where_alloc where); + +ir_node *get_Free_mem (ir_node *node); +void set_Free_mem (ir_node *node, ir_node *mem); +ir_node *get_Free_ptr (ir_node *node); +void set_Free_ptr (ir_node *node, ir_node *ptr); +ir_node *get_Free_size (ir_node *node); +void set_Free_size (ir_node *node, ir_node *size); +type *get_Free_type (ir_node *node); +void set_Free_type (ir_node *node, type *tp); + +ir_node **get_Sync_preds_arr (ir_node *node); +int get_Sync_n_preds (ir_node *node); +ir_node *get_Sync_pred (ir_node *node, int pos); +void set_Sync_pred (ir_node *node, int pos, ir_node *pred); + +ir_node *get_Proj_pred (ir_node *node); +void set_Proj_pred (ir_node *node, ir_node *pred); +/* Why long? shouldn't int be enough, and smaller? Or even byte? */ +long get_Proj_proj (ir_node *node); +void set_Proj_proj (ir_node *node, long proj); + +ir_node **get_Tuple_preds_arr (ir_node *node); +int get_Tuple_n_preds (ir_node *node); +ir_node *get_Tuple_pred (ir_node *node, int pos); +void set_Tuple_pred (ir_node *node, int pos, ir_node *pred); + +ir_node *get_Id_pred (ir_node *node); +void set_Id_pred (ir_node *node, ir_node *pred); + +/** Confirm has a single result and returns 'value' unchanged. + * The node expresses a restriction on 'value': + * 'value' 'cmp' 'bound' == true. */ +ir_node *get_Confirm_value (ir_node *node); +void set_Confirm_value (ir_node *node, ir_node *value); +ir_node *get_Confirm_bound (ir_node *node); +void set_Confirm_bound (ir_node *node, ir_node *bound); +pn_Cmp get_Confirm_cmp (ir_node *node); +void set_Confirm_cmp (ir_node *node, pn_Cmp cmp); /* * @@ -553,34 +823,39 @@ INLINE void set_Id_pred (ir_node *node, ir_node *pred); */ /** returns operand of node if node is a Proj. */ -INLINE ir_node *skip_Proj (ir_node *node); +ir_node *skip_Proj (ir_node *node); /** returns operand of node if node is a Id */ -INLINE ir_node *skip_nop (ir_node *node); -INLINE ir_node *skip_Id (ir_node *node); /* Same as skip_nop. */ +ir_node *skip_nop (ir_node *node); +ir_node *skip_Id (ir_node *node); /* Same as skip_nop. */ /* returns corresponding operand of Tuple if node is a Proj from a Tuple. */ -INLINE ir_node *skip_Tuple (ir_node *node); +ir_node *skip_Tuple (ir_node *node); +/** returns operand of node if node is a Cast */ +ir_node *skip_Cast (ir_node *node); /** returns true if node is a Bad node. */ -INLINE int is_Bad (ir_node *node); +int is_Bad (ir_node *node); /** returns true if the node is not a Block */ -INLINE int is_no_Block (ir_node *node); +int is_no_Block (ir_node *node); /** returns true if the node is a Block */ -INLINE int is_Block (ir_node *node); +int is_Block (ir_node *node); +/** returns true if node is a Unknown node. */ +int is_Unknown (ir_node *node); /** returns true if node is a Proj node or a Filter node in * intraprocedural view */ -INLINE int is_Proj (const ir_node *node); +int is_Proj (const ir_node *node); /** Returns true if the operation manipulates control flow: Start, End, Jmp, Cond, Return, Raise, Bad, CallBegin, EndReg, EndExcept */ int is_cfop(ir_node *node); +/* @@@ old -- use get_irn_irg instead! */ +ir_graph *get_ip_cfop_irg(ir_node *n); + /** Returns true if the operation manipulates interprocedural control flow: - CallBegin, EndReg, EndExcept */ + CallBegin, EndReg, EndExcept */ int is_ip_cfop(ir_node *node); /** Returns true if the operation can change the control flow because - of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc, - Bad. */ -ir_graph *get_ip_cfop_irg(ir_node *n); - + of an exception: Call, Quot, DivMod, Div, Mod, Load, Store, Alloc, + Bad. */ int is_fragile_op(ir_node *node); /** Returns the memory operand of fragile operations. */ ir_node *get_fragile_op_mem(ir_node *node); @@ -600,27 +875,29 @@ ir_node *get_fragile_op_mem(ir_node *node); /** Output location */ #define DDM printf("%s(l.%i).\n", __MYFUNC__, __LINE__); /** Output the firm kind of the node */ -#define DDMK(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, print_firm_kind(X), (X)); +#define DDMK(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, print_firm_kind(X), (void *)(X)); /** Output information about a node */ -#define DDMN(X) printf("%s(l.%i) %s%s: %ld (%p)\n", __MYFUNC__, __LINE__, get_irn_opname(X), get_mode_name(get_irn_mode(X)), get_irn_node_nr(X), (X)) +#define DDMN(X) printf("%s(l.%i) %s%s: %ld (%p)\n", __MYFUNC__, __LINE__, get_irn_opname(X), get_mode_name(get_irn_mode(X)), get_irn_node_nr(X), (void *)(X)) /** Output information about a node and its block */ -#define DDMNB(X) printf("%s%s: %ld (in block %ld)\n", get_irn_opname(X), get_mode_name(get_irn_mode(X)), get_irn_node_nr(X), get_irn_node_nr(get_nodes_Block(X))) +#define DDMNB(X) printf("%s%s: %ld (in block %ld)\n", get_irn_opname(X), get_mode_name(get_irn_mode(X)), get_irn_node_nr(X), get_irn_node_nr(get_nodes_block(X))) /** Output information about a type */ -#define DDMT(X) printf("%s(l.%i) %s %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_type_tpop_name(X), get_type_name(X), get_type_nr(X), (X)) +#define DDMT(X) printf("%s(l.%i) %s %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_type_tpop_name(X), get_type_name(X), get_type_nr(X), (void *)(X)) /** Output information about an entity */ -#define DDME(X) printf("%s(l.%i) %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(X), get_entity_nr(X), (X)) +#define DDME(X) printf("%s(l.%i) %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(X), get_entity_nr(X), (void *)(X)) +/** Output information about an entity and its type */ +#define DDMET(X) printf("%s(l.%i) %s (typ: %s): %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(X), get_type_name(get_entity_type(X)), get_entity_nr(X), (void *)(X)) /** Output information about an entity and its owner */ -#define DDMEO(X) printf("%s(l.%i) %s (own: %s): %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(X), get_type_name(get_entity_owner(X)), get_entity_nr(X), (X)) +#define DDMEO(X) printf("%s(l.%i) %s (own: %s): %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(X), get_type_name(get_entity_owner(X)), get_entity_nr(X), (void *)(X)) /** Output information about a graph */ -#define DDMG(X) printf("%s(l.%i) %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(get_irg_ent(X)), get_irg_graph_nr(X), (X)) +#define DDMG(X) printf("%s(l.%i) %s: %ld (%p)\n", __MYFUNC__, __LINE__, get_entity_name(get_irg_ent(X)), get_irg_graph_nr(X), (void *)(X)) /** Output information about an ident */ -#define DDMI(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, id_to_str(X), (X)) +#define DDMI(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, id_to_str(X), (void *)(X)) /** Output information about a mode */ -#define DDMM(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, get_mode_name(X), (X)) +#define DDMM(X) printf("%s(l.%i) %s: %p\n", __MYFUNC__, __LINE__, get_mode_name(X), (void *)(X)) /** Output information about a loop */ -#define DDML(X) printf("%s(l.%i) loop with depth %d: %p\n", __MYFUNC__, __LINE__, get_loop_depth(X), (X)) +#define DDML(X) printf("%s(l.%i) loop with depth %d: %d\n", __MYFUNC__, __LINE__, get_loop_depth(X), get_loop_loop_nr(X)) /** Output information about a tarVal */ -#define DDMV(X) printf("%s(l.%i) tarval: ",__MYFUNC__, __LINE__); tarval_printf(X); printf(" (%p)\n", (X)); +#define DDMV(X) printf("%s(l.%i) tarval: ",__MYFUNC__, __LINE__); tarval_printf(X); printf(" (%p)\n", (void *)(X)); /*@}*/ /* end of ir_node group definition */