Introduce flip-flopping normalisations
[libfirm] / include / libfirm / irnode.h
index c318515..8713c58 100644 (file)
@@ -152,10 +152,6 @@ FIRM_API void del_Sync_n(ir_node *n, int i);
 FIRM_API void set_irn_mode(ir_node *node, ir_mode *mode);
 /** Gets the mode struct of a node.  */
 FIRM_API ir_mode *get_irn_mode(const ir_node *node);
-/** Gets the ident for a string representation of the mode .*/
-FIRM_API ident *get_irn_modeident(const ir_node *node);
-/** Gets the string representation of the mode .*/
-FIRM_API const char *get_irn_modename(const ir_node *node);
 /** Gets the opcode struct of the node. */
 FIRM_API ir_op *get_irn_op(const ir_node *node);
 /** Sets the opcode struct of the node. */
@@ -166,7 +162,7 @@ FIRM_API unsigned get_irn_opcode(const ir_node *node);
 FIRM_API const char *get_irn_opname(const ir_node *node);
 /** Get the ident for a string representation of the opcode. */
 FIRM_API ident *get_irn_opident(const ir_node *node);
-/** If arg is an argument of the node, returns it's position, -1 otherwise */
+/** If arg is an argument of the node, returns its position, -1 otherwise */
 FIRM_API int get_irn_pred_pos(ir_node *node, ir_node *arg);
 /** Gets the visited counter of a node. */
 FIRM_API ir_visited_t get_irn_visited(const ir_node *node);
@@ -233,7 +229,7 @@ FIRM_API op_pin_state is_irn_pinned_in_irg(const ir_node *node);
  */
 FIRM_API 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[]);
+                              int arity, ir_node *const *in);
 
 /**
  * Return the block the node belongs to.  This is only
@@ -257,12 +253,6 @@ FIRM_API void set_nodes_block (ir_node *node, ir_node *block);
  * from Start.  If so returns frame type, else Null. */
 FIRM_API ir_type *is_frame_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)
- * from Start.  If so returns tls type, else Null. */
-FIRM_API ir_type *is_tls_pointer(const ir_node *n);
-
 /** Return the number of control flow predecessors of a block. */
 FIRM_API int get_Block_n_cfgpreds(const ir_node *block);
 /** Return the control flow predecessor of a block at a given position. */
@@ -308,13 +298,6 @@ FIRM_API void set_Block_matured(ir_node *block, int matured);
 FIRM_API ir_visited_t get_Block_block_visited(const ir_node *block);
 FIRM_API void set_Block_block_visited(ir_node *block, ir_visited_t visit);
 
-/**
- * Marks a block as dead but do not replace it with a Bad node.
- * Dead blocks are removed in the con
- */
-FIRM_API ir_node *set_Block_dead(ir_node *block);
-FIRM_API int is_Block_dead(const ir_node *block);
-
 /* For this current_ir_graph must be set. */
 FIRM_API void mark_Block_block_visited(ir_node *node);
 FIRM_API int Block_block_visited(const ir_node *node);
@@ -372,7 +355,7 @@ FIRM_API void remove_End_Bads_and_doublets(ir_node *end);
 FIRM_API void free_End(ir_node *end);
 
 FIRM_API ir_node **get_Return_res_arr(ir_node *node);
-FIRM_API int       get_Return_n_ress(const ir_node *node);
+FIRM_API size_t    get_Return_n_ress(const ir_node *node);
 FIRM_API ir_node  *get_Return_res(const ir_node *node, int pos);
 FIRM_API void      set_Return_res(ir_node *node, int pos, ir_node *res);
 
@@ -431,7 +414,7 @@ FIRM_API void       set_Sel_index(ir_node *node, int pos, ir_node *index);
 
 FIRM_API ir_node **get_Call_param_arr(ir_node *node);
 /** Gets the number of parameters of a call. */
-FIRM_API int      get_Call_n_params(const ir_node *node);
+FIRM_API size_t   get_Call_n_params(const ir_node *node);
 /** Gets the call parameter at position pos. */
 FIRM_API ir_node *get_Call_param(const ir_node *node, int pos);
 /** Sets the call parameter at position pos. */
@@ -461,13 +444,13 @@ FIRM_API int is_self_recursive_Call(const ir_node *call);
  *  @param node A Call node.
  */
 FIRM_API int        Call_has_callees(const ir_node *node);
-FIRM_API int        get_Call_n_callees(const ir_node *node);
-FIRM_API ir_entity *get_Call_callee(const ir_node *node, int pos);
+FIRM_API size_t     get_Call_n_callees(const ir_node *node);
+FIRM_API ir_entity *get_Call_callee(const ir_node *node, size_t pos);
 
 /** Set the full callee array.
  *
  *  The passed array is copied. Assumes current_ir_graph set properly! */
-FIRM_API void set_Call_callee_arr(ir_node *node, const int n, ir_entity **arr);
+FIRM_API void set_Call_callee_arr(ir_node *node, size_t n, ir_entity **arr);
 FIRM_API void remove_Call_callee_arr(ir_node *node);
 
 FIRM_API ir_node         **get_Builtin_param_arr(ir_node *node);
@@ -484,7 +467,7 @@ FIRM_API const char *get_builtin_kind_name(ir_builtin_kind kind);
    operands can be factored out.  Left is the first, right the
    second arithmetic value  as listed in tech report 1999-44.
    unops are: Minus, Abs, Not, Conv, Cast
-   binops are: Add, Sub, Mul, Quot, DivMod, Div, Mod, And, Or, Eor, Shl,
+   binops are: Add, Sub, Mul, Div, Mod, And, Or, Eor, Shl,
    Shr, Shrs, Rotl, Cmp */
 FIRM_API int      is_unop(const ir_node *node);
 FIRM_API ir_node *get_unop_op(const ir_node *node);
@@ -495,17 +478,24 @@ FIRM_API void     set_binop_left(ir_node *node, ir_node *left);
 FIRM_API ir_node *get_binop_right(const ir_node *node);
 FIRM_API void     set_binop_right(ir_node *node, ir_node *right);
 
-/** returns the pnc name from an pnc constant */
-FIRM_API const char *get_pnc_string(int pnc);
+/**
+ * Test wether a node is the X_except Proj of a fragile operation
+ */
+FIRM_API int      is_x_except_Proj(const ir_node *node);
+
+/**
+ * Test wether a node is the X_regular Proj of a fragile operation
+ */
+FIRM_API int      is_x_regular_Proj(const ir_node *node);
 
-/** Calculates the negated (Complement(R)) pnc condition. */
-FIRM_API pn_Cmp      get_negated_pnc(long pnc, ir_mode *mode);
+/** returns the name of an ir_relation */
+FIRM_API const char *get_relation_string(ir_relation relation);
 
-/** Calculates the inversed (R^-1) pnc condition, i.e., "<" --> ">" */
-FIRM_API pn_Cmp      get_inversed_pnc(long pnc);
+/** Calculates the negated (Complement(R)) relation, i.e. "<" --> ">=" */
+FIRM_API ir_relation get_negated_relation(ir_relation relation);
 
-/** An alternative name for get_inversed_pnc() that can be better memorized. */
-#define get_mirrored_pnc(pnc)  get_inversed_pnc(pnc)
+/** Calculates the inversed (R^-1) relation, i.e., "<" --> ">" */
+FIRM_API ir_relation get_inversed_relation(ir_relation relation);
 
 /** Checks for upcast.
  *
@@ -552,31 +542,12 @@ FIRM_API void     set_memop_mem(ir_node *node, ir_node *mem);
 FIRM_API ir_node *get_memop_ptr(const ir_node *node);
 FIRM_API void     set_memop_ptr(ir_node *node, ir_node *ptr);
 
-FIRM_API ir_volatility  get_Load_volatility(const ir_node *node);
-FIRM_API void           set_Load_volatility(ir_node *node, ir_volatility volatility);
-FIRM_API ir_align       get_Load_align(const ir_node *node);
-FIRM_API void           set_Load_align(ir_node *node, ir_align align);
-
-FIRM_API ir_volatility  get_Store_volatility(const ir_node *node);
-FIRM_API void           set_Store_volatility(ir_node *node, ir_volatility volatility);
-FIRM_API ir_align       get_Store_align(const ir_node *node);
-FIRM_API void           set_Store_align(ir_node *node, ir_align align);
-
 FIRM_API ir_node **get_Sync_preds_arr(ir_node *node);
 FIRM_API int       get_Sync_n_preds(const ir_node *node);
 FIRM_API ir_node  *get_Sync_pred(const ir_node *node, int pos);
 FIRM_API void      set_Sync_pred(ir_node *node, int pos, ir_node *pred);
 FIRM_API void      add_Sync_pred(ir_node *node, ir_node *pred);
 
-/** Returns the source language type of a Proj node.
- * Must be an atomic type.  Mode of type must be mode of node.
- */
-FIRM_API ir_type  *get_Proj_type(const ir_node *node);
-
-/** Return the projection number of a Proj node. */
-FIRM_API long      get_Proj_proj(const ir_node *node);
-FIRM_API void      set_Proj_proj(ir_node *node, long proj);
-
 /**
  * Returns non-zero if a node is a routine parameter.
  *
@@ -623,15 +594,16 @@ FIRM_API ir_node *skip_HighLevel_ops(ir_node *node);
 /** Returns true if the operation manipulates control flow:
    Start, End, Jmp, Cond, Return, Raise, Bad */
 FIRM_API int is_cfop(const ir_node *node);
+/** returns true if the operation jumps to an unknown destination.
+ * See irop_flag_unknown_jump for a detailed explanation */
+FIRM_API int is_unknown_jump(const 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,
+    of an exception: Call, Div, Mod, Load, Store, Alloc,
     Bad. Raise is not fragile, but a unconditional jump. */
 FIRM_API int is_fragile_op(const ir_node *node);
 /** Returns the memory operand of fragile operations. */
 FIRM_API ir_node *get_fragile_op_mem(ir_node *node);
-/** Returns the result mode of a Div operation. */
-FIRM_API ir_mode *get_divop_resmod(const ir_node *node);
 
 /** Returns true if the operation is a forking control flow
  *  operation: Cond. */
@@ -662,12 +634,6 @@ FIRM_API ir_entity *get_irn_entity_attr(ir_node *n);
 /** Returns non-zero for constant-like nodes. */
 FIRM_API int is_irn_constlike(const ir_node *node);
 
-/**
- * Returns non-zero for nodes that must be always optimized
- * (Phi, Id. Proj, Cond, Block, Confirm ...).
- */
-FIRM_API int is_irn_always_opt(const ir_node *node);
-
 /**
  * Returns non-zero for nodes that are allowed to have keep-alives and
  * are neither Block nor PhiM.