#include "beirg.h"
#include "bessaconstr.h"
#include "bemodule.h"
+#include "betranshlp.h"
DEBUG_ONLY(static firm_dbg_module_t *dbg;)
* The ABI information for the current graph.
*/
struct be_abi_irg_t {
- survive_dce_t *dce_survivor;
-
be_abi_call_t *call; /**< The ABI call information. */
ir_node *init_sp; /**< The node representing the stack pointer
ir_node *start; /**< The be_Start params node. */
pmap *regs; /**< A map of all callee-save and ignore regs to
their Projs to the RegParams node. */
-
int start_block_bias; /**< The stack bias at the end of the start block. */
- void *cb; /**< ABI Callback self pointer. */
-
pmap *keep_map; /**< mapping blocks to keep nodes. */
ir_node **calls; /**< flexible array containing all be_Call nodes */
/** Flag: if set, try to omit the frame pointer in all routines. */
static int be_omit_fp = 1;
+static ir_node *be_abi_reg_map_get(pmap *map, const arch_register_t *reg)
+{
+ return (ir_node*)pmap_get(map, reg);
+}
+
+static void be_abi_reg_map_set(pmap *map, const arch_register_t* reg,
+ ir_node *node)
+{
+ pmap_insert(map, reg, node);
+}
+
/*
_ ____ ___ ____ _ _ _ _
/ \ | __ )_ _| / ___|__ _| | | |__ __ _ ___| | _____
* @param args the stack argument layout type
* @param between the between layout type
* @param locals the method frame type
- * @param stack_dir the stack direction: < 0 decreasing, > 0 increasing addresses
* @param param_map an array mapping method argument positions to the stack argument type
*
* @return the initialized stack layout
*/
static be_stack_layout_t *stack_frame_init(be_stack_layout_t *frame, ir_type *args,
- ir_type *between, ir_type *locals, int stack_dir,
+ ir_type *between, ir_type *locals,
ir_entity *param_map[])
{
frame->arg_type = args;
frame->frame_type = locals;
frame->initial_offset = 0;
frame->initial_bias = 0;
- frame->stack_dir = stack_dir;
frame->order[1] = between;
frame->param_map = param_map;
- if (stack_dir > 0) {
- frame->order[0] = args;
- frame->order[2] = locals;
- } else {
- /* typical decreasing stack: locals have the
- * lowest addresses, arguments the highest */
- frame->order[0] = locals;
- frame->order[2] = args;
- }
+ /* typical decreasing stack: locals have the
+ * lowest addresses, arguments the highest */
+ frame->order[0] = locals;
+ frame->order[2] = args;
return frame;
}
const arch_env_t *arch_env = be_get_irg_arch_env(irg);
ir_type *call_tp = get_Call_type(irn);
ir_node *call_ptr = get_Call_ptr(irn);
- int n_params = get_method_n_params(call_tp);
+ size_t n_params = get_method_n_params(call_tp);
ir_node *curr_mem = get_Call_mem(irn);
ir_node *bl = get_nodes_block(irn);
int stack_size = 0;
- int stack_dir = arch_env->stack_dir;
const arch_register_t *sp = arch_env->sp;
be_abi_call_t *call = be_abi_call_new(sp->reg_class);
ir_mode *mach_mode = sp->reg_class->mode;
int *stack_param_idx;
int i, n, destroy_all_regs;
size_t s;
+ size_t p;
dbg_info *dbgi;
/* Let the isa fill out the abi description for that call node. */
/* Insert code to put the stack arguments on the stack. */
assert(get_Call_n_params(irn) == n_params);
stack_param_idx = ALLOCAN(int, n_params);
- for (i = 0; i < n_params; ++i) {
- be_abi_call_arg_t *arg = get_call_arg(call, 0, i, 0);
+ for (p = 0; p < n_params; ++p) {
+ be_abi_call_arg_t *arg = get_call_arg(call, 0, p, 0);
assert(arg);
if (arg->on_stack) {
- int arg_size = get_type_size_bytes(get_method_param_type(call_tp, i));
+ int arg_size = get_type_size_bytes(get_method_param_type(call_tp, p));
stack_size += round_up2(arg->space_before, arg->alignment);
stack_size += round_up2(arg_size, arg->alignment);
stack_size += round_up2(arg->space_after, arg->alignment);
- stack_param_idx[n_stack_params++] = i;
+ stack_param_idx[n_stack_params++] = p;
}
}
/* Collect all arguments which are passed in registers. */
reg_param_idxs = ALLOCAN(int, n_params);
- for (i = 0; i < n_params; ++i) {
- be_abi_call_arg_t *arg = get_call_arg(call, 0, i, 0);
+ for (p = 0; p < n_params; ++p) {
+ be_abi_call_arg_t *arg = get_call_arg(call, 0, p, 0);
if (arg && arg->in_reg) {
- reg_param_idxs[n_reg_params++] = i;
+ reg_param_idxs[n_reg_params++] = p;
}
}
* Note: we also have to do this for stack_size == 0, because we may have
* to adjust stack alignment for the call.
*/
- if (stack_dir < 0 && !do_seq && !no_alloc) {
+ if (!do_seq && !no_alloc) {
curr_sp = be_new_IncSP(sp, bl, curr_sp, stack_size, 1);
}
* We must them reverse again if they are pushed (not stored) and the stack
* direction is downwards.
*/
- if (call->flags.bits.left_to_right ^ (do_seq && stack_dir < 0)) {
+ if (call->flags.bits.left_to_right ^ do_seq) {
for (i = 0; i < n_stack_params >> 1; ++i) {
int other = n_stack_params - i - 1;
int tmp = stack_param_idx[i];
for (s = 0; s < ARR_LEN(states); ++s) {
const arch_register_t *reg = states[s];
const arch_register_class_t *cls = arch_register_get_class(reg);
-#if 0
- ir_node *regnode = be_abi_reg_map_get(env->regs, reg);
- ir_fprintf(stderr, "Adding %+F\n", regnode);
-#endif
ir_node *regnode = new_r_Unknown(irg, arch_register_class_mode(cls));
in[n_ins++] = regnode;
}
Set the register class of the call address to
the backend provided class (default: stack pointer class)
*/
- be_node_set_reg_class_in(low_call, be_pos_Call_ptr, call->cls_addr);
+ be_node_set_reg_class_in(low_call, n_be_Call_ptr, call->cls_addr);
DBG((dbg, LEVEL_3, "\tcreated backend call %+F\n", low_call));
be_abi_call_arg_t *arg = get_call_arg(call, 0, index, 0);
assert(arg->reg != NULL);
- be_set_constr_single_reg_in(low_call, be_pos_Call_first_arg + i,
+ be_set_constr_single_reg_in(low_call, n_be_Call_first_arg + i,
arg->reg, arch_register_req_type_none);
}
{
ir_node *n1 = *(ir_node **) c1;
ir_node *n2 = *(ir_node **) c2;
+ unsigned h1, h2;
/*
Classical qsort() comparison function behavior:
return 1;
/* The nodes have no depth order, but we need a total order because qsort()
- * is not stable. */
+ * is not stable.
+ *
+ * Additionally, we need to respect transitive dependencies. Consider a
+ * Call a depending on Call b and an independent Call c.
+ * We MUST NOT order c > a and b > c. */
+ h1 = get_irn_height(ir_heights, n1);
+ h2 = get_irn_height(ir_heights, n2);
+ if (h1 < h2) return -1;
+ if (h1 > h2) return 1;
+ /* Same height, so use a random (but stable) order */
return get_irn_idx(n1) - get_irn_idx(n2);
}
ir_type *method_type, ir_type *val_param_tp,
ir_entity ***param_map)
{
- const arch_env_t *arch_env = be_get_irg_arch_env(irg);
int dir = env->call->flags.bits.left_to_right ? 1 : -1;
- int inc = arch_env->stack_dir * dir;
+ int inc = -dir;
int n = get_method_n_params(method_type);
int curr = inc > 0 ? 0 : n - 1;
struct obstack *obst = be_get_be_obst(irg);
qsort(res, n, sizeof(res[0]), cmp_regs);
}
-/**
- * Creates a barrier.
- */
-static ir_node *create_barrier(ir_node *bl, ir_node **mem, pmap *regs,
- int in_req)
-{
- int n_regs = pmap_count(regs);
- int n;
- ir_node *irn;
- ir_node **in;
- reg_node_map_t *rm;
-
- in = ALLOCAN(ir_node*, n_regs+1);
- rm = ALLOCAN(reg_node_map_t, n_regs);
- reg_map_to_arr(rm, regs);
- for (n = 0; n < n_regs; ++n) {
- in[n] = rm[n].irn;
- }
-
- if (mem) {
- in[n++] = *mem;
- }
-
- irn = be_new_Barrier(bl, n, in);
-
- for (n = 0; n < n_regs; ++n) {
- ir_node *pred = rm[n].irn;
- const arch_register_t *reg = rm[n].reg;
- arch_register_req_type_t add_type = arch_register_req_type_none;
- ir_node *proj;
- const backend_info_t *info;
-
- /* stupid workaround for now... as not all nodes report register
- * requirements. */
- info = be_get_info(skip_Proj(pred));
- if (info != NULL && info->out_infos != NULL) {
- const arch_register_req_t *ireq = arch_get_register_req_out(pred);
- if (ireq->type & arch_register_req_type_ignore)
- add_type |= arch_register_req_type_ignore;
- if (ireq->type & arch_register_req_type_produces_sp)
- add_type |= arch_register_req_type_produces_sp;
- }
-
- proj = new_r_Proj(irn, get_irn_mode(pred), n);
- be_node_set_reg_class_in(irn, n, reg->reg_class);
- if (in_req) {
- be_set_constr_single_reg_in(irn, n, reg,
- arch_register_req_type_none);
- }
- be_set_constr_single_reg_out(irn, n, reg, add_type);
- arch_set_irn_register(proj, reg);
-
- pmap_insert(regs, (void *) reg, proj);
- }
-
- if (mem) {
- *mem = new_r_Proj(irn, mode_M, n);
- }
-
- return irn;
-}
-
/**
* Creates a be_Return for a Return node.
*
- * @param @env the abi environment
- * @param irn the Return node or NULL if there was none
- * @param bl the block where the be_Retun should be placed
- * @param mem the current memory
- * @param n_res number of return results
+ * @param @env the abi environment
+ * @param irn the Return node or NULL if there was none
+ * @param bl the block where the be_Retun should be placed
+ * @param mem the current memory
+ * @param n_res number of return results
*/
static ir_node *create_be_return(be_abi_irg_t *env, ir_node *irn, ir_node *bl,
ir_node *mem, int n_res)
be_abi_reg_map_set(reg_map, arch_env->sp, stack);
- /* Make the Epilogue node and call the arch's epilogue maker. */
- create_barrier(bl, &mem, reg_map, 1);
- call->cb->epilogue(env->cb, bl, &mem, reg_map);
-
/*
Maximum size of the in array for Return nodes is
return args + callee save/ignore registers + memory + stack pointer
if (regs[i] == NULL)
continue;
- be_node_set_reg_class_in(ret, i, regs[i]->reg_class);
+ be_set_constr_single_reg_in(ret, i, regs[i], arch_register_req_type_none);
}
/* Free the space of the Epilog's in array and the register <-> proj map. */
restore_optimization_state(&state);
/* reroute all edges to the new memory source */
- edges_reroute(imem, nmem, irg);
+ edges_reroute(imem, nmem);
store = NULL;
mem = imem;
*/
static void fix_start_block(ir_graph *irg)
{
- ir_node *initial_X = get_irg_initial_exec(irg);
- ir_node *start_block = get_irg_start_block(irg);
- const ir_edge_t *edge;
+ ir_node *initial_X = get_irg_initial_exec(irg);
+ ir_node *start_block = get_irg_start_block(irg);
+ ir_node *jmp = new_r_Jmp(start_block);
assert(is_Proj(initial_X));
-
- foreach_out_edge(initial_X, edge) {
- ir_node *block = get_edge_src_irn(edge);
-
- if (is_Anchor(block))
- continue;
- if (block != start_block) {
- ir_node *jmp = new_r_Jmp(start_block);
- set_Block_cfgpred(block, get_edge_src_pos(edge), jmp);
- set_irg_initial_exec(irg, jmp);
- return;
- }
- }
- panic("Initial exec has no follow block in %+F", irg);
+ exchange(initial_X, jmp);
+ set_irg_initial_exec(irg, new_r_Bad(irg));
}
/**
DBG((dbg, LEVEL_1, "introducing abi on %+F\n", irg));
- /* Must fetch memory here, otherwise the start Barrier gets the wrong
- * memory, which leads to loops in the DAG. */
old_mem = get_irg_initial_mem(irg);
irp_reserve_resources(irp, IR_RESOURCE_ENTITY_LINK);
}
}
- bet_type = call->cb->get_between_type(env->cb);
- stack_frame_init(stack_layout, arg_type, bet_type,
- get_irg_frame_type(irg), arch_env->stack_dir, param_map);
stack_layout->sp_relative = call->flags.bits.try_omit_fp;
+ bet_type = call->cb->get_between_type(irg);
+ stack_frame_init(stack_layout, arg_type, bet_type,
+ get_irg_frame_type(irg), param_map);
/* Count the register params and add them to the number of Projs for the RegParams node */
for (i = 0; i < n_params; ++i) {
}
}
+ fp_reg = call->flags.bits.try_omit_fp ? arch_env->sp : arch_env->bp;
+ rbitset_clear(birg->allocatable_regs, fp_reg->global_index);
+
/* handle start block here (place a jump in the block) */
fix_start_block(irg);
pmap_insert(env->regs, (void *) arch_env->bp, NULL);
start_bl = get_irg_start_block(irg);
env->start = be_new_Start(NULL, start_bl, pmap_count(env->regs) + 1);
+ set_irg_start(irg, env->start);
/*
* make proj nodes for the callee save registers.
* memorize them, since Return nodes get those as inputs.
*
- * Note, that if a register corresponds to an argument, the regs map contains
- * the old Proj from start for that argument.
+ * Note, that if a register corresponds to an argument, the regs map
+ * contains the old Proj from start for that argument.
*/
-
rm = ALLOCAN(reg_node_map_t, pmap_count(env->regs));
reg_map_to_arr(rm, env->regs);
for (i = 0, n = pmap_count(env->regs); i < n; ++i) {
ir_node *proj;
if (reg == sp)
- add_type |= arch_register_req_type_produces_sp | arch_register_req_type_ignore;
+ add_type |= arch_register_req_type_produces_sp;
+ if (!rbitset_is_set(birg->allocatable_regs, reg->global_index)) {
+ add_type |= arch_register_req_type_ignore;
+ }
assert(nr >= 0);
proj = new_r_Proj(env->start, mode, nr + 1);
mem = new_mem_proj;
set_irg_initial_mem(irg, mem);
- /* Generate the Prologue */
- fp_reg = call->cb->prologue(env->cb, &mem, env->regs, &stack_layout->initial_bias);
-
- /* do the stack allocation BEFORE the barrier, or spill code
- might be added before it */
env->init_sp = be_abi_reg_map_get(env->regs, sp);
- env->init_sp = be_new_IncSP(sp, start_bl, env->init_sp, BE_STACK_FRAME_SIZE_EXPAND, 0);
- be_abi_reg_map_set(env->regs, sp, env->init_sp);
-
- create_barrier(start_bl, &mem, env->regs, 0);
-
- env->init_sp = be_abi_reg_map_get(env->regs, sp);
- arch_set_irn_register(env->init_sp, sp);
+ /* set new frame_pointer */
frame_pointer = be_abi_reg_map_get(env->regs, fp_reg);
set_irg_frame(irg, frame_pointer);
- rbitset_clear(birg->allocatable_regs, fp_reg->global_index);
/* rewire old mem users to new mem */
exchange(old_mem, mem);
}
}
-be_abi_irg_t *be_abi_introduce(ir_graph *irg)
+void be_abi_introduce(ir_graph *irg)
{
be_abi_irg_t *env = XMALLOCZ(be_abi_irg_t);
ir_node *old_frame = get_irg_frame(irg);
ir_type *method_type = get_entity_type(entity);
be_irg_t *birg = be_birg_from_irg(irg);
struct obstack *obst = &birg->obst;
+ ir_node *dummy = new_r_Dummy(irg,
+ arch_env->sp->reg_class->mode);
unsigned r;
- pmap_entry *ent;
- ir_node *dummy;
-
/* determine allocatable registers */
assert(birg->allocatable_regs == NULL);
birg->allocatable_regs = rbitset_obstack_alloc(obst, arch_env->n_registers);
be_omit_fp = options->omit_fp;
- env->dce_survivor = new_survive_dce();
env->keep_map = pmap_create();
env->call = be_abi_call_new(arch_env->sp->reg_class);
arch_env_get_call_abi(arch_env, method_type, env->call);
- env->init_sp = dummy = new_r_Dummy(irg, arch_env->sp->reg_class->mode);
+ env->init_sp = dummy;
env->calls = NEW_ARR_F(ir_node*, 0);
if (options->pic) {
/* Lower all call nodes in the IRG. */
process_calls(irg);
- /*
- Beware: init backend abi call object after processing calls,
- otherwise some information might be not yet available.
- */
- env->cb = env->call->cb->init(env->call, irg);
-
/* Process the IRG */
modify_irg(irg);
exchange(dummy, env->init_sp);
exchange(old_frame, get_irg_frame(irg));
- /* Make some important node pointers survive the dead node elimination. */
- survive_dce_register_irn(env->dce_survivor, &env->init_sp);
- foreach_pmap(env->regs, ent) {
- survive_dce_register_irn(env->dce_survivor, (ir_node **) &ent->value);
- }
-
- env->call->cb->done(env->cb);
- env->cb = NULL;
- return env;
+ pmap_destroy(env->regs);
+ env->regs = NULL;
}
void be_abi_free(ir_graph *irg)
if (env->call != NULL)
be_abi_call_free(env->call);
- if (env->dce_survivor != NULL)
- free_survive_dce(env->dce_survivor);
- if (env->regs != NULL)
- pmap_destroy(env->regs);
free(env);
+ assert(env->regs == NULL);
be_set_irg_abi(irg, NULL);
}
}
}
-ir_node *be_abi_get_callee_save_irn(be_abi_irg_t *abi, const arch_register_t *reg)
-{
- assert(reg->type & arch_register_type_callee_save);
- assert(pmap_contains(abi->regs, (void *) reg));
- return (ir_node*)pmap_get(abi->regs, (void *) reg);
-}
-
-ir_node *be_abi_get_ignore_irn(be_abi_irg_t *abi, const arch_register_t *reg)
-{
- assert(reg->type & arch_register_type_ignore);
- assert(pmap_contains(abi->regs, (void *) reg));
- return (ir_node*)pmap_get(abi->regs, (void *) reg);
-}
-
BE_REGISTER_MODULE_CONSTRUCTOR(be_init_abi);
void be_init_abi(void)
{
projects / libfirm / blobdiff