* identify a firm object type
*/
static int firm_get_arg_type(const lc_arg_occ_t *occ) {
+ (void) occ;
/* Firm objects are always pointer */
return lc_arg_type_ptr;
}
static int firm_get_arg_type_int(const lc_arg_occ_t *occ) {
+ (void) occ;
return lc_arg_type_int;
}
static int bitset_get_arg_type(const lc_arg_occ_t *occ) {
+ (void) occ;
return lc_arg_type_ptr;
}
X("cg_path", 'P'),
};
- int i;
+ size_t i;
if(env == NULL) {
env = lc_arg_new_env();
/* Abhängigkeiten vom Start-Block und den Filter-Operationen im
* Start-Block auf den Aufrufer hinzufügen. */
static void construct_start(ir_entity * caller, ir_entity * callee,
- ir_node * call, ir_node * exec) {
+ ir_node * call, ir_node * exec)
+{
irg_data_t *data = get_entity_link(callee);
ir_graph *irg = get_entity_irg(callee);
ir_node *start = get_irg_start(irg);
ir_node *filter;
+ (void) caller;
assert(irg);
assert(get_entity_peculiarity(callee) == peculiarity_existent); /* Else data is not initalized. */
-static void destruct_walker(ir_node * node, void * env) {
+static void destruct_walker(ir_node * node, void * env)
+{
+ (void) env;
if (get_irn_op(node) == op_Block) {
remove_Block_cg_cfgpred_arr(node);
/* Do not turn Break into Jmp. Better: merge blocks right away.
new_bd_Const_type(dbg_info *db, ir_node *block, ir_mode *mode, tarval *con, ir_type *tp) {
ir_node *res;
ir_graph *irg = current_ir_graph;
+ (void) block;
res = new_ir_node(db, irg, get_irg_start_block(irg), op_Const, mode, 0, NULL);
res->attr.con.tv = con;
int n_outs, ir_asm_constraint *outputs, int n_clobber, ident *clobber[], ident *asm_text) {
ir_node *res;
ir_graph *irg = current_ir_graph;
+ (void) clobber;
res = new_ir_node(db, irg, block, op_ASM, mode_T, arity, in);
res->attr.assem.pin_state = op_pin_state_pinned;
ir_node *res;
ir_graph *rem = current_ir_graph;
- current_ir_graph = rem;
+ current_ir_graph = irg;
res = new_bd_End(db, block);
current_ir_graph = rem;
ir_node *
new_d_defaultProj(dbg_info *db, ir_node *arg, long max_proj) {
ir_node *res;
+ (void) db;
assert(arg->op == op_Cond);
arg->attr.cond.kind = fragmentary;
arg->attr.cond.default_proj = max_proj;
ir_graph *irg = current_ir_graph;
assert(get_irg_phase_state(irg) == phase_building);
inc_irg_visited(irg);
+ (void) db;
return get_r_value_internal(irg->current_block, pos + 1, mode);
} /* get_d_value */
* Walker, clears the private link field.
*/
static void clear_link(ir_node * node, void * env) {
+ (void) env;
ird_set_irn_link(node, NULL);
}
* Walker, allocates an array for all blocks and puts it's nodes non-floating nodes into this array.
*/
static void collect_node(ir_node * node, void *env) {
+ (void) env;
if (is_Block(node)
|| node_floats(node)
|| get_irn_op(node) == op_Bad
int res;
char buf[1024];
res = tarval_snprintf(buf, sizeof(buf), get_Const_tarval(n));
- assert(res < sizeof(buf) && "buffer to small for tarval_snprintf");
+ assert(res < (int) sizeof(buf) && "buffer to small for tarval_snprintf");
fprintf(F, buf);
} break;
dump_entity_to_file(stdout, ent, dump_verbosity_max);
}
-void dump_entitycsv_to_file_prefix(FILE *F, ir_entity *ent, char *prefix, unsigned verbosity,
- int *max_disp, int disp[], const char *comma) {
-
+void dump_entitycsv_to_file_prefix(FILE *F, ir_entity *ent, char *prefix,
+ unsigned verbosity, int *max_disp,
+ int disp[], const char *comma)
+{
+ (void) verbosity;
+ (void) max_disp;
+ (void) disp;
+ (void) comma;
#if 0 /* Outputs loop depth of all occurrences. */
int n_acc = get_entity_n_accesses(ent);
int max_L_freq = -1;
void dump_typecsv_to_file(FILE *F, ir_type *tp, dump_verbosity verbosity, const char *comma) {
int i;
char buf[1024 + 10];
+ (void) comma;
+
if (!is_Class_type(tp)) return; // we also want array types. Stupid, these are classes in java.
if (verbosity & dump_verbosity_accessStats) {
static int get_zero(const ir_node *irn)
{
+ (void) irn;
return 0;
}
{
const ir_edge_t *e1 = p1;
const ir_edge_t *e2 = p2;
+ (void) len;
if(e1->src != e2->src)
return 1;
fprintf(stderr, "- at list entry %d\n", num);
if (edge->invalid)
fprintf(stderr, "- edge(%ld) is invalid\n", edge_get_id(edge));
- if (edge->src);
+ if (edge->src)
ir_fprintf(stderr, "- edge(%ld) %+F(%d)\n", edge_get_id(edge), edge->src, edge->pos);
err = 1;
break;
static void count_user(ir_node *irn, void *env) {
int i;
int first;
+ (void) env;
first = get_irn_first(irn);
for (i = get_irn_arity(irn) - 1; i >= first; --i) {
#include "irflag_t.def"
#undef I_FLAG
#undef E_FLAG
- { NULL }
+ LC_OPT_ENT_NULL
};
#endif
*/
static void collect(ir_node *n, void *env) {
ir_node *pred;
+ (void) env;
if (is_Phi(n)) {
set_irn_link(n, get_irn_link(get_nodes_block(n)));
set_irn_link(new_block, phi);
set_irn_link(old_block, NULL);
while (phi) {
+ /* XXX TODO Matze: this looks buggy, but I'm not sure what would be
+ the correct thing... */
if(get_nodes_block(phi) == old_block); /* @@@ inlinening chokes on phis that don't
obey this condition. How do they get into
the list??? Example: InterfaceIII */
*/
static void optimize_in_place_wrapper (ir_node *n, void *env) {
ir_node *optimized = optimize_in_place_2(n);
- if (optimized != n) exchange (n, optimized);
+ (void) env;
+
+ if (optimized != n) {
+ exchange (n, optimized);
+ }
}
/**
* Block-Walker: uses dominance depth to mark dead blocks.
*/
static void kill_dead_blocks(ir_node *block, void *env) {
+ (void) env;
+
if (get_Block_dom_depth(block) < 0) {
/*
* Note that the new dominance code correctly handles
copy_preds(ir_node *n, void *env) {
ir_node *nn, *block;
int i, j, irn_arity;
+ (void) env;
nn = get_new_node(n);
static void relink_bad_block_predecessors(ir_node *n, void *env) {
ir_node **new_in, *irn;
int i, new_irn_n, old_irn_arity, new_irn_arity = 0;
+ (void) env;
/* if link field of block is NULL, look for bad predecessors otherwise
this is already done */
static void dead_node_hook(void *context, ir_graph *irg, int start) {
survive_dce_t *sd = context;
+ (void) irg;
/* Create a new map before the dead node elimination is performed. */
if (start) {
static void dead_node_subst_hook(void *context, ir_graph *irg, ir_node *old, ir_node *nw) {
survive_dce_t *sd = context;
survive_dce_list_t *list = pmap_get(sd->places, old);
+ (void) irg;
/* If the node is to be patched back, write the new address to all registered locations. */
if (list) {
* @param n the node
* @param env ignored
*/
-static void normalize_proj_walker(ir_node *n, void *env){
+static void normalize_proj_walker(ir_node *n, void *env)
+{
+ (void) env;
if (is_Proj(n)) {
ir_node *pred = get_Proj_pred(n);
ir_node *block = get_nodes_block(pred);
tarval *
get_mode_min(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_data(mode));
return mode->min;
tarval *
get_mode_max(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_data(mode));
return mode->max;
tarval *
get_mode_null(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_data(mode));
return mode->null;
tarval *
get_mode_one(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_data(mode));
return mode->one;
tarval *
get_mode_minus_one(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_data(mode));
return mode->minus_one;
tarval *
get_mode_infinite(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_float(mode));
return get_tarval_plus_inf(mode);
tarval *
get_mode_NAN(ir_mode *mode) {
assert(mode);
- assert(get_mode_modecode(mode) < num_modes);
+ assert(get_mode_modecode(mode) < (modecode) num_modes);
assert(mode_is_float(mode));
return get_tarval_nan(mode);
* returns the pnc name from an pnc constant
*/
const char *get_pnc_string(int pnc) {
- assert(pnc >= 0 && pnc < sizeof(pnc_name_arr)/sizeof(pnc_name_arr[0]));
+ assert(pnc >= 0 && pnc <
+ (int) (sizeof(pnc_name_arr)/sizeof(pnc_name_arr[0])));
return pnc_name_arr[pnc];
}
}
#else
/* Dummies needed for firmjni. */
-struct abstval *get_irn_abst_value(ir_node *n) { return NULL; }
-void set_irn_abst_value(ir_node *n, struct abstval *os) {}
-struct section *firm_get_irn_section(ir_node *n) { return NULL; }
-void firm_set_irn_section(ir_node *n, struct section *s) {}
+struct abstval *get_irn_abst_value(ir_node *n) {
+ (void) n;
+ return NULL;
+}
+void set_irn_abst_value(ir_node *n, struct abstval *os) {
+ (void) n;
+ (void) os;
+}
+struct section *firm_get_irn_section(ir_node *n) {
+ (void) n;
+ return NULL;
+}
+void firm_set_irn_section(ir_node *n, struct section *s) {
+ (void) n;
+ (void) s;
+}
#endif /* DO_HEAPANALYSIS */
/** the get_type operation must be always implemented and return a firm type */
static ir_type *get_Default_type(ir_node *n) {
+ (void) n;
return get_unknown_type();
}
/** the get_type_attr operation must be always implemented */
static ir_type *get_Null_type(ir_node *n) {
+ (void) n;
return firm_unknown_type;
}
/** the get_entity_attr operation must be always implemented */
static ir_entity *get_Null_ent(ir_node *n) {
+ (void) n;
return NULL;
}
const ir_asm_constraint *cb;
ident **cla, **clb;
- if (get_ASM_text(a) != get_ASM_text(b));
+ if (get_ASM_text(a) != get_ASM_text(b))
return 1;
/* Should we really check the constraints here? Should be better, but is strange. */
*/
static void str_init(void *object, size_t n)
{
- strcpy(object, "");
+ (void) n;
+ strcpy(object, "");
}
/**
*/
static void file_init(void *object, size_t n)
{
+ (void) object;
+ (void) n;
}
/**
*/
static void file_append_char(void *object, size_t n, char ch)
{
- fputc(ch, object);
+ (void) n;
+ fputc(ch, object);
}
/**
*/
static void file_append_str(void *object, size_t n, const char *str)
{
- fputs(str, object);
+ (void) n;
+ fputs(str, object);
}
/**
*/
static void obst_init(void *object, size_t n)
{
+ (void) object;
+ (void) n;
}
/**
*/
static void obst_append_char(void *object, size_t n, char ch)
{
- struct obstack *obst = object;
- obstack_1grow(obst, ch);
+ struct obstack *obst = object;
+ (void) n;
+ obstack_1grow(obst, ch);
}
/**
*/
static void obst_append_str(void *object, size_t n, const char *str)
{
- struct obstack *obst = object;
- obstack_grow(obst, str, strlen(str));
+ struct obstack *obst = object;
+ (void) n;
+ obstack_grow(obst, str, strlen(str));
}
void add_irp_opcode(ir_op *opcode) {
assert(opcode != NULL);
assert(irp);
- assert(opcode->code == ARR_LEN(irp->opcodes) && "new_ir_op() called in wrong order");
+ assert(opcode->code == (unsigned) ARR_LEN(irp->opcodes) && "new_ir_op() called in wrong order");
ARR_APP1(ir_op *, irp->opcodes, opcode);
}
* Show Phi input
*/
static void show_phi_failure(ir_node *phi, ir_node *pred, int pos) {
+ (void) pos;
show_entity_failure(phi);
fprintf(stderr, " Phi node %ld has mode %s different from predeccessor node %ld mode %s\n",
get_irn_node_nr(phi), get_mode_name_ex(get_irn_mode(phi)),
static int verify_node_Proj_Start(ir_node *n, ir_node *p) {
ir_mode *mode = get_irn_mode(p);
long proj = get_Proj_proj(p);
+ (void) n;
ASSERT_AND_RET_DBG(
(
static int verify_node_Proj_Raise(ir_node *n, ir_node *p) {
ir_mode *mode = get_irn_mode(p);
long proj = get_Proj_proj(p);
+ (void) n;
ASSERT_AND_RET_DBG(
((proj == pn_Raise_X && mode == mode_X) || (proj == pn_Raise_M && mode == mode_M)),
static int verify_node_Proj_InstOf(ir_node *n, ir_node *p) {
ir_mode *mode = get_irn_mode(p);
long proj = get_Proj_proj(p);
+ (void) n;
ASSERT_AND_RET_DBG(
(
static int verify_node_Proj_Cmp(ir_node *n, ir_node *p) {
ir_mode *mode = get_irn_mode(p);
long proj = get_Proj_proj(p);
+ (void) n;
ASSERT_AND_RET_DBG(
(proj >= 0 && proj <= 15 && mode == mode_b),
static int verify_node_Proj_Alloc(ir_node *n, ir_node *p) {
ir_mode *mode = get_irn_mode(p);
long proj = get_Proj_proj(p);
+ (void) n;
ASSERT_AND_RET_DBG(
(
* verify a Proj(Tuple) node
*/
static int verify_node_Proj_Tuple(ir_node *n, ir_node *p) {
+ (void) n;
+ (void) p;
/* We don't test */
return 1;
}
* verify a Proj(CallBegin) node
*/
static int verify_node_Proj_CallBegin(ir_node *n, ir_node *p) {
+ (void) n;
+ (void) p;
return 1;
}
* verify a Proj(EndReg) node
*/
static int verify_node_Proj_EndReg(ir_node *n, ir_node *p) {
+ (void) n;
+ (void) p;
ASSERT_AND_RET(
(get_irp_ip_view_state() != ip_view_no),
"EndReg may only appear if ip view is constructed.", 0);
* verify a Proj(EndExcept) node
*/
static int verify_node_Proj_EndExcept(ir_node *n, ir_node *p) {
+ (void) n;
+ (void) p;
ASSERT_AND_RET(
(get_irp_ip_view_state() != ip_view_no),
"EndExcept may only appear if ip view is constructed.", 0);
verify_node_Proj(ir_node *p, ir_graph *irg) {
ir_node *pred;
ir_op *op;
+ (void) irg;
pred = skip_Id(get_Proj_pred(p));
ASSERT_AND_RET(get_irn_mode(pred) == mode_T, "mode of a 'projed' node is not Tuple", 0);
*/
static int verify_node_Start(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
ASSERT_AND_RET(
/* Start: BB --> X x M x ref x data1 x ... x datan x ref */
*/
static int verify_node_Jmp(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
ASSERT_AND_RET(
/* Jmp: BB --> X */
static int verify_node_IJmp(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_IJmp_target(n));
+ (void) irg;
ASSERT_AND_RET(
/* IJmp: BB x ref --> X */
*/
static int verify_node_Break(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
ASSERT_AND_RET((get_irp_ip_view_state() != ip_view_no),
"Break may only appear if ip view is constructed.", 0);
static int verify_node_Cond(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Cond_selector(n));
+ (void) irg;
ASSERT_AND_RET(
/* Cond: BB x b --> X x X */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Raise_mem(n));
ir_mode *op2mode = get_irn_mode(get_Raise_exo_ptr(n));
+ (void) irg;
ASSERT_AND_RET(
/* Sel: BB x M x ref --> X x M */
*/
static int verify_node_Const(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
ASSERT_AND_RET(
/* Const: BB --> data */
*/
static int verify_node_SymConst(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
if (get_SymConst_kind(n) == symconst_addr_ent) {
ir_entity *ent = get_SymConst_entity(n);
ir_mode *op1mode = get_irn_mode(get_Sel_mem(n));
ir_mode *op2mode = get_irn_mode(get_Sel_ptr(n));
ir_entity *ent;
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Sel: BB x M x ref x int^n --> ref */
static int verify_node_InstOf(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_InstOf_obj(n));
+ (void) irg;
ASSERT_AND_RET(mode_T == mymode, "mode of Instof is not a tuple", 0);
ASSERT_AND_RET(mode_is_data(op1mode), "Instof not on data", 0);
ir_mode *op2mode = get_irn_mode(get_Call_ptr(n));
ir_type *mt;
int i;
+ (void) irg;
/* Call: BB x M x ref x data1 x ... x datan
--> M x datan+1 x ... x data n+m */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Add_left(n));
ir_mode *op2mode = get_irn_mode(get_Add_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
(
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Sub_left(n));
ir_mode *op2mode = get_irn_mode(get_Sub_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
(
static int verify_node_Minus(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Minus_op(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Minus: BB x num --> num */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Mul_left(n));
ir_mode *op2mode = get_irn_mode(get_Mul_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
(
ir_mode *op1mode = get_irn_mode(get_Quot_mem(n));
ir_mode *op2mode = get_irn_mode(get_Quot_left(n));
ir_mode *op3mode = get_irn_mode(get_Quot_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Quot: BB x M x float x float --> M x X x float */
ir_mode *op1mode = get_irn_mode(get_DivMod_mem(n));
ir_mode *op2mode = get_irn_mode(get_DivMod_left(n));
ir_mode *op3mode = get_irn_mode(get_DivMod_right(n));
+ (void) irg;
ASSERT_AND_RET(
/* DivMod: BB x M x int x int --> M x X x int x int */
ir_mode *op1mode = get_irn_mode(get_Div_mem(n));
ir_mode *op2mode = get_irn_mode(get_Div_left(n));
ir_mode *op3mode = get_irn_mode(get_Div_right(n));
+ (void) irg;
ASSERT_AND_RET(
/* Div: BB x M x int x int --> M x X x int */
ir_mode *op1mode = get_irn_mode(get_Mod_mem(n));
ir_mode *op2mode = get_irn_mode(get_Mod_left(n));
ir_mode *op3mode = get_irn_mode(get_Mod_right(n));
+ (void) irg;
ASSERT_AND_RET(
/* Mod: BB x M x int x int --> M x X x int */
static int verify_node_Abs(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Abs_op(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Abs: BB x num --> num */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_binop_left(n));
ir_mode *op2mode = get_irn_mode(get_binop_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* And or Or or Eor: BB x int x int --> int */
static int verify_node_Not(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Not_op(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Not: BB x int --> int */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Cmp_left(n));
ir_mode *op2mode = get_irn_mode(get_Cmp_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Cmp: BB x datab x datab --> b16 */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_binop_left(n));
ir_mode *op2mode = get_irn_mode(get_binop_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Shl, Shr or Shrs: BB x int x int_u --> int */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Rot_left(n));
ir_mode *op2mode = get_irn_mode(get_Rot_right(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Rot: BB x int x int --> int */
static int verify_node_Conv(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Conv_op(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Conv: BB x datab1 --> datab2 */
static int verify_node_Cast(ir_node *n, ir_graph *irg) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Cast_op(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Conv: BB x datab1 --> datab2 */
ir_mode *mymode = get_irn_mode(n);
ir_node *block = get_nodes_block(n);
int i;
+ (void) irg;
if (! is_Bad(block) && get_irg_phase_state(get_irn_irg(n)) != phase_building) {
/* a Phi node MUST have the same number of inputs as its block */
* verify a Filter node
*/
static int verify_node_Filter(ir_node *n, ir_graph *irg) {
+ (void) n;
+ (void) irg;
ASSERT_AND_RET((get_irp_ip_view_state() != ip_view_no),
"Filter may only appear if ip view is constructed.", 0);
/* We should further do tests as for Proj and Phi. */
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Alloc_mem(n));
ir_mode *op2mode = get_irn_mode(get_Alloc_size(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Alloc: BB x M x int_u --> M x X x ref */
ir_mode *op1mode = get_irn_mode(get_Free_mem(n));
ir_mode *op2mode = get_irn_mode(get_Free_ptr(n));
ir_mode *op3mode = get_irn_mode(get_Free_size(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Free: BB x M x ref x int_u --> M */
static int verify_node_Sync(ir_node *n, ir_graph *irg) {
int i;
ir_mode *mymode = get_irn_mode(n);
+ (void) irg;
/* Sync: BB x M^n --> M */
for (i = get_Sync_n_preds(n) - 1; i >= 0; --i) {
ir_mode *mymode = get_irn_mode(n);
ir_mode *op1mode = get_irn_mode(get_Confirm_value(n));
ir_mode *op2mode = get_irn_mode(get_Confirm_bound(n));
+ (void) irg;
ASSERT_AND_RET_DBG(
/* Confirm: BB x T x T --> T */
ir_mode *op1mode = get_irn_mode(get_Mux_sel(n));
ir_mode *op2mode = get_irn_mode(get_Mux_true(n));
ir_mode *op3mode = get_irn_mode(get_Mux_false(n));
+ (void) irg;
ASSERT_AND_RET(
/* Mux: BB x b x numP x numP --> numP */
ir_mode *op2mode = get_irn_mode(get_Bound_index(n));
ir_mode *op3mode = get_irn_mode(get_Bound_lower(n));
ir_mode *op4mode = get_irn_mode(get_Bound_upper(n));
+ (void) irg;
/* Bound: BB x M x int x int x int --> M x X */
ASSERT_AND_RET(