/*
- * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
*
* This file is part of libFirm.
*
* @returns the number of the new input
*/
int add_irn_n(ir_node *node, ir_node *in);
+/* Remove predecessor i from Sync n */
+void del_Sync_n(ir_node *n, int i);
/* Sets the mode struct of node. */
void set_irn_mode(ir_node *node, ir_mode *mode);
/** Gets the mode struct of a node. */
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. Use for
- position independent data/code access. */
pn_Start_P_tls, /**< Projection on the pointer to the thread local store
segment containing _all_thread local variables. */
pn_Start_T_args, /**< Projection on all arguments. */
* from Start. If so returns frame type, else Null. */
ir_type *is_frame_pointer(const 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. */
-ir_type *is_globals_pointer(const ir_node *n);
-
/** Test whether arbitrary node is the thread local storage (tls) pointer.
*
* Test whether arbitrary node is tls pointer, i.e. Proj(pn_Start_P_tls)
void set_Block_extbb(ir_node *block, ir_extblk *extblk);
/** Get the Macro Block header of a (sub-) block. */
ir_node *get_Block_MacroBlock(const ir_node *block);
+/** Set the Macro Block header of a (sub-) block. */
+void set_Block_MacroBlock(ir_node *block, ir_node *mbh);
+/** Get the Macro Block header of a node. */
+ir_node *get_irn_MacroBlock(const ir_node *n);
/** Returns the ir_graph this Block belongs to. */
ir_graph *get_Block_irg(const ir_node *block);
/** Returns non-zero if the block has an assigned label. */
ir_label_t get_Block_label(const ir_node *block);
/** Sets a label to a block. */
void set_Block_label(ir_node *block, ir_label_t label);
+/** Gets the head of the Phi list for this block. */
+ir_node *get_Block_phis(const ir_node *block);
+/** Sets the head of the Phi list for this block. */
+void set_Block_phis(ir_node *block, ir_node *phi);
+/** Add a Phi node to the list of Block Phi's. */
+void add_Block_phi(ir_node *block, ir_node *phi);
+/** Get the Block mark (single bit). */
+unsigned get_Block_mark(const ir_node *block);
+/** Set the Block mark (single bit). */
+void set_Block_mark(ir_node *block, unsigned mark);
/** Return the number of Keep alive node. */
int get_End_n_keepalives(const ir_node *end);
void set_Div_mem(ir_node *node, ir_node *mem);
ir_mode *get_Div_resmode(const ir_node *node);
void set_Div_resmode(ir_node *node, ir_mode *mode);
+int is_Div_remainderless(const ir_node *node);
/**
* Projection numbers for Div: use for Proj nodes!
int is_Cast_downcast(ir_node *node);
-/** Returns true if n is Phi or Filter in interprocedural_view.
- Returns false if irg in phase building and the Phi has zero
+/** Returns true if n is a Phi or a Filter node in INTER-procedural view.
+ Returns false if irg is in phase phase_building and the Phi has zero
predecessors: it's a Phi0. */
int is_Phi(const ir_node *n);
-/** Returns true if irg in phase building and the Phi has zero
+/** Returns true if irg in phase phase_building and the Phi has zero
predecessors. It's a Phi0 then. */
int is_Phi0(const ir_node *n);
-/* These routines also work for Filter nodes in interprocedural view. */
+/* These routines also work for Filter nodes in INTER-procedural view. */
ir_node **get_Phi_preds_arr(ir_node *node);
int get_Phi_n_preds(const ir_node *node);
ir_node *get_Phi_pred(const ir_node *node, int pos);
void set_Phi_pred(ir_node *node, int pos, ir_node *pred);
+ir_node *get_Phi_next(const ir_node *phi);
+void set_Phi_next(ir_node *phi, ir_node *next);
ir_node *get_Filter_pred(ir_node *node);
void set_Filter_pred(ir_node *node, ir_node *pred);
* Projection numbers for Store: use for Proj nodes!
*/
typedef enum {
- pn_Store_M = pn_Generic_M_regular, /**< Memory result. */
- pn_Store_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */
- pn_Store_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */
- pn_Store_max = pn_Generic_other /**< number of projections from a Store */
+ pn_Store_M = pn_Generic_M_regular, /**< Memory result. */
+ pn_Store_X_regular = pn_Generic_X_regular, /**< Execution result if no exception occurred. */
+ pn_Store_X_except = pn_Generic_X_except, /**< Execution result if exception occurred. */
+ pn_Store_max = pn_Generic_other /**< number of projections from a Store */
} pn_Store; /* Projection numbers for Store. */
ir_node *get_Store_mem(const ir_node *node);
/** The allocation place. */
typedef enum {
- stack_alloc, /**< Alloc allocates the object on the stack. */
- heap_alloc /**< Alloc allocates the object on the heap. */
+ stack_alloc, /**< Alloc allocates the object on the stack. */
+ heap_alloc /**< Alloc allocates the object on the heap. */
} ir_where_alloc;
ir_where_alloc get_Alloc_where(const ir_node *node);
} pn_InstOf;
#define pn_InstOf_M pn_InstOf_M_regular
-/** InstOf access */
+/** InstOf access. */
ir_type *get_InstOf_type(ir_node *node);
void set_InstOf_type(ir_node *node, ir_type *type);
ir_node *get_InstOf_store(const ir_node *node);
* Projection numbers for Raise.
*/
typedef enum {
- pn_Raise_X = 0, /**< The control flow to the exception handler. */
- pn_Raise_M = 1, /**< The Memory result. */
- pn_Raise_max /**< number of projections from a Raise */
+ pn_Raise_M = pn_Generic_M_regular, /**< The Memory result. */
+ pn_Raise_X = pn_Generic_X_regular, /**< The control flow to the exception handler. */
+ pn_Raise_max /**< number of projections from a Raise */
} pn_Raise; /* Projection numbers for Raise. */
ir_node *get_Raise_mem(const ir_node *node);
ir_node *skip_Cast(ir_node *node);
/** Returns operand of node if node is a Confirm */
ir_node *skip_Confirm(ir_node *node);
-/** Skip all high-level Operations. */
-ir_node *skip_HighLevel(ir_node *node);
+/** Skip all high-level Operations (including Cast, Confirm). */
+ir_node *skip_HighLevel_ops(ir_node *node);
/** Returns true if irn is a Const node. */
int is_Const(const ir_node *node);
/** Returns true if a node is a Conv node. */
int is_Start(const ir_node *node);
/** Returns true if node is a Minus node. */
int is_Minus(const ir_node *node);
+/** Returns true if node is a Abs node. */
+int is_Abs(const ir_node *node);
/** Returns true if node is a Mod node. */
int is_Mod(const ir_node *node);
/** Returns true if node is a Div node. */
int is_Rot(const ir_node *node);
/** Returns true if node is a Psi node. */
int is_Psi(const ir_node *node);
+/** Returns true if node is an Id node. */
+int is_Id(const ir_node *node);
/** Returns true if node is a Tuple node. */
int is_Tuple(const ir_node *node);
+/** Returns true if node is a Bound node. */
+int is_Bound(const ir_node *node);
/** Returns true if the node is not a Block */
int is_no_Block(const ir_node *node);
/** Returns true if the node is a Block */
int is_Return(const ir_node *node);
/** Returns true if node is a Call node. */
int is_Call(const ir_node *node);
+/** Returns true if node is a CallBegin node. */
+int is_CallBegin(const ir_node *node);
/** Returns true if node is a Sel node. */
int is_Sel(const ir_node *node);
/** Returns true if node is a Mul node. */
int is_Pin(const ir_node *node);
/** Returns true if node is a SymConst node. */
int is_SymConst(const ir_node *node);
+/** Returns true if node is a SymConst node with kind symconst_addr_ent. */
+int is_SymConst_addr_ent(const ir_node *node);
/** Returns true if node is a Cond node. */
int is_Cond(const ir_node *node);
-/** Returns true of node is a CopyB node */
+/** Returns true of node is a CopyB node. */
int is_CopyB(const ir_node *node);
/** Returns true if node is a Cmp node. */
int is_Cmp(const ir_node *node);
-/** Returns true if node is an Alloc node */
+/** Returns true if node is an Alloc node. */
int is_Alloc(const ir_node *node);
-/** Returns true if a node is a Jmp node */
+/** Returns true if node is a Free node. */
+int is_Free(const ir_node *node);
+/** Returns true if a node is a Jmp node. */
int is_Jmp(const ir_node *node);
-/** Returns true if a node is a Raise node */
+/** Returns true if a node is a IJmp node. */
+int is_IJmp(const ir_node *node);
+/** Returns true if a node is a Raise node. */
int is_Raise(const ir_node *node);
-/** Returns true if a node is an ASM node */
+/** Returns true if a node is an ASM node. */
int is_ASM(const ir_node *node);
-/** Returns true if node is a Proj node or a Filter node in
- * intraprocedural view */
+/** Returns true if node is a Proj node or a Filter node in INTRA-procedural view. */
int is_Proj(const ir_node *node);
+/** Returns true if node is a Filter node. */
+int is_Filter(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(const ir_node *node);
/** Sets a new conditional jump prediction. */
void set_Cond_jmp_pred(ir_node *cond, cond_jmp_predicate pred);
+/** Checks whether a node represents a global address. */
+int is_Global(const ir_node *node);
+
+/* Returns the entity of a global address. */
+ir_entity *get_Global_entity(const ir_node *node);
+
/**
* Access custom node data.
* The data must have been registered with