for a specific call type.
*/
+/**
+ * Set compare function: compares two ABI call object arguments.
+ */
static int cmp_call_arg(const void *a, const void *b, size_t n)
{
const be_abi_call_arg_t *p = a, *q = b;
return !(p->is_res == q->is_res && p->pos == q->pos);
}
+/**
+ * Get or set an ABI call object argument.
+ *
+ * @param call the abi call
+ * @param is_res true for call results, false for call arguments
+ * @param pos position of the argument
+ * @param do_insert true if the argument is set, false if it's retrieved
+ */
static be_abi_call_arg_t *get_or_set_call_arg(be_abi_call_t *call, int is_res, int pos, int do_insert)
{
be_abi_call_arg_t arg;
arg.is_res = is_res;
arg.pos = pos;
- hash = is_res * 100 + pos;
+ hash = is_res * 128 + pos;
return do_insert
? set_insert(call->params, &arg, sizeof(arg), hash)
: set_find(call->params, &arg, sizeof(arg), hash);
}
+/**
+ * Retrieve an ABI call object argument.
+ *
+ * @param call the ABI call object
+ * @param is_res true for call results, false for call arguments
+ * @param pos position of the argument
+ */
static INLINE be_abi_call_arg_t *get_call_arg(be_abi_call_t *call, int is_res, int pos)
{
return get_or_set_call_arg(call, is_res, pos, 0);
}
+/* Set the flags for a call. */
void be_abi_call_set_flags(be_abi_call_t *call, be_abi_call_flags_t flags, const be_abi_callbacks_t *cb)
{
call->flags = flags;
arg->reg = reg;
}
+/* Get the flags of a ABI call object. */
be_abi_call_flags_t be_abi_call_get_flags(const be_abi_call_t *call)
{
return call->flags;
}
-be_abi_call_t *be_abi_call_new(void)
+/**
+ * Constructor for a new ABI call object.
+ *
+ * @return the new ABI call object
+ */
+static be_abi_call_t *be_abi_call_new(void)
{
be_abi_call_t *call = xmalloc(sizeof(call[0]));
call->flags.val = 0;
return call;
}
-void be_abi_call_free(be_abi_call_t *call)
+/**
+ * Destructor for an ABI call object.
+ */
+static void be_abi_call_free(be_abi_call_t *call)
{
del_set(call->params);
free(call);
return ofs;
}
+/**
+ * Retrieve the entity with given offset from a frame type.
+ */
static entity *search_ent_with_offset(type *t, int offset)
{
int i, n;
}
/**
- * If irn is a Sel node computing the address of an entity
+ * If irn is a Sel node computes the address of an entity
* on the frame type return the entity, else NULL.
*/
static INLINE entity *get_sel_ent(ir_node *irn)
{
- if(get_irn_opcode(irn) == iro_Sel
- && get_Sel_ptr(irn) == get_irg_frame(get_irn_irg(irn))) {
-
+ if(is_Sel(irn) && get_Sel_ptr(irn) == get_irg_frame(get_irn_irg(irn))) {
return get_Sel_entity(irn);
}
ir_node *frame = get_irg_frame(irg);
nw = be_new_FrameAddr(env->isa->sp->reg_class, irg, bl, frame, ent);
- }
-
- if(nw != NULL)
exchange(irn, nw);
+ }
}
+/**
+ * Returns non-zero if the call argument at given position
+ * is transfered on the stack.
+ */
static INLINE int is_on_stack(be_abi_call_t *call, int pos)
{
be_abi_call_arg_t *arg = get_call_arg(call, 0, pos);
* moving the stack pointer along the stack's direction.
*/
if(stack_dir < 0 && !do_seq && !no_alloc) {
- curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, no_mem, stack_size, be_stack_dir_along);
+ curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, no_mem, stack_size, be_stack_dir_expand);
}
assert(mode_is_reference(mach_mode) && "machine mode must be pointer");
curr_ofs += param_size;
/*
- * If we wanted to build the arguments sequentially,
- * the stack pointer for the next must be incremented,
- * and the memory value propagated.
- */
+ * If we wanted to build the arguments sequentially,
+ * the stack pointer for the next must be incremented,
+ * and the memory value propagated.
+ */
if(do_seq) {
curr_ofs = 0;
- curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, no_mem, param_size, be_stack_dir_along);
+ curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, no_mem, param_size, be_stack_dir_expand);
curr_mem = mem;
}
}
}
/* search the greatest result proj number */
+
+ /* TODO: what if the result is NOT used? Currently there is
+ * no way to detect this later, especially there is no way to
+ * see this in the proj numbers.
+ * While this is ok for the register allocator, it is bad for
+ * backends which need to change the be_Call further (x87 simulator
+ * for instance. However for this particular case the call_type is
+ * sufficient.).
+ */
foreach_out_edge(irn, edge) {
const ir_edge_t *res_edge;
ir_node *irn = get_edge_src_irn(edge);
- if(is_Proj(irn) && get_irn_mode(irn) == mode_T) {
+ if(is_Proj(irn) && get_Proj_proj(irn) == pn_Call_T_result) {
res_proj = irn;
foreach_out_edge(irn, res_edge) {
int proj;
/*
shift the proj number to the right, since we will drop the
unspeakable Proj_T from the Call. Therefore, all real argument
- Proj numbers must be increased by pn_Call_max
+ Proj numbers must be increased by pn_be_Call_first_res
*/
- proj += pn_Call_max;
+ proj += pn_be_Call_first_res;
set_Proj_proj(res, proj);
obstack_ptr_grow(obst, res);
in = obstack_finish(obst);
if(env->call->flags.bits.call_has_imm && get_irn_opcode(call_ptr) == iro_SymConst) {
- low_call = be_new_Call(irg, bl, curr_mem, curr_sp, curr_sp, curr_res_proj + pset_count(caller_save), n_low_args, in);
+ low_call = be_new_Call(get_irn_dbg_info(irn), irg, bl, curr_mem, curr_sp, curr_sp,
+ curr_res_proj + pset_count(caller_save), n_low_args, in,
+ get_Call_type(irn));
be_Call_set_entity(low_call, get_SymConst_entity(call_ptr));
}
else
- low_call = be_new_Call(irg, bl, curr_mem, curr_sp, call_ptr, curr_res_proj + pset_count(caller_save), n_low_args, in);
-
- set_irn_dbg_info(low_call, get_irn_dbg_info(irn));
+ low_call = be_new_Call(get_irn_dbg_info(irn), irg, bl, curr_mem, curr_sp, call_ptr,
+ curr_res_proj + pset_count(caller_save), n_low_args, in,
+ get_Call_type(irn));
/*
TODO:
/* Clean up the stack frame if we allocated it */
if(!no_alloc)
- curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, mem_proj, stack_size, be_stack_dir_against);
+ curr_sp = be_new_IncSP(sp, irg, bl, curr_sp, mem_proj, stack_size, be_stack_dir_shrink);
}
be_abi_call_free(call);
*/
static ir_node *adjust_alloc(be_abi_irg_t *env, ir_node *alloc, ir_node *curr_sp)
{
- if(get_Alloc_where(alloc) == stack_alloc) {
+ if (get_Alloc_where(alloc) == stack_alloc) {
ir_node *bl = get_nodes_block(alloc);
ir_graph *irg = get_irn_irg(bl);
ir_node *alloc_mem = NULL;
}
}
+ /* TODO: Beware: currently Alloc nodes without a result might happen,
+ only escape analysis kills them and this phase runs only for object
+ oriented source. So this must be fixed. */
assert(alloc_res != NULL);
exchange(alloc_res, env->isa->stack_dir < 0 ? new_alloc : curr_sp);
int stack_nr = get_Proj_proj(stack);
if(flags.try_omit_fp) {
- stack = be_new_IncSP(sp, irg, bl, stack, no_mem, BE_STACK_FRAME_SIZE, be_stack_dir_along);
+ stack = be_new_IncSP(sp, irg, bl, stack, no_mem, BE_STACK_FRAME_SIZE, be_stack_dir_expand);
frame = stack;
}
arch_set_irn_register(env->birg->main_env->arch_env, frame, bp);
}
- stack = be_new_IncSP(sp, irg, bl, stack, frame, BE_STACK_FRAME_SIZE, be_stack_dir_along);
+ stack = be_new_IncSP(sp, irg, bl, stack, frame, BE_STACK_FRAME_SIZE, be_stack_dir_expand);
}
be_node_set_flags(env->reg_params, -(stack_nr + 1), arch_irn_flags_ignore);
pmap_entry *ent;
if(env->call->flags.bits.try_omit_fp) {
- stack = be_new_IncSP(sp, irg, bl, stack, ret_mem, BE_STACK_FRAME_SIZE, be_stack_dir_against);
+ stack = be_new_IncSP(sp, irg, bl, stack, ret_mem, BE_STACK_FRAME_SIZE, be_stack_dir_shrink);
}
else {
}
in = (ir_node **) obstack_finish(&env->obst);
- irn = be_new_Barrier(env->birg->irg, bl, n, in);
+ irn = be_new_Barrier(irg, bl, n, in);
obstack_free(&env->obst, in);
for(n = 0; n < n_regs; ++n) {
ir_node *proj;
const arch_register_t *reg = rm[n].reg;
- proj = new_r_Proj(env->birg->irg, bl, irn, get_irn_mode(rm[n].irn), n);
+ proj = new_r_Proj(irg, bl, irn, get_irn_mode(rm[n].irn), n);
be_node_set_reg_class(irn, n, reg->reg_class);
if(in_req)
be_set_constr_single_reg(irn, n, reg);
}
if(mem) {
- *mem = new_r_Proj(env->birg->irg, bl, irn, mode_M, n);
+ *mem = new_r_Proj(irg, bl, irn, mode_M, n);
}
obstack_free(&env->obst, rm);
ir_node *mem = get_irg_initial_mem(irg);
type *method_type = get_entity_type(get_irg_entity(irg));
pset *dont_save = pset_new_ptr(8);
- pmap *reg_proj_map = pmap_create();
int n_params = get_method_n_params(method_type);
int max_arg = 0;
- int arg_offset = 0;
int i, j, n;
int nr = get_Proj_proj(irn);
max_arg = MAX(max_arg, nr);
}
- max_arg = MAX(max_arg + 1, n_params);
- args = obstack_alloc(&env->obst, max_arg * sizeof(args[0]));
- memset(args, 0, max_arg * sizeof(args[0]));
+
used_proj_nr = bitset_alloca(1024);
+ max_arg = MAX(max_arg + 1, n_params);
+ args = obstack_alloc(&env->obst, max_arg * sizeof(args[0]));
+ memset(args, 0, max_arg * sizeof(args[0]));
/* Fill the argument vector */
foreach_out_edge(arg_tuple, edge) {
create_barrier(env, bl, &mem, env->regs, 0);
env->init_sp = be_abi_reg_map_get(env->regs, sp);
- env->init_sp = be_new_IncSP(sp, irg, bl, env->init_sp, no_mem, BE_STACK_FRAME_SIZE, be_stack_dir_along);
+ env->init_sp = be_new_IncSP(sp, irg, bl, env->init_sp, no_mem, BE_STACK_FRAME_SIZE, be_stack_dir_expand);
arch_set_irn_register(env->birg->main_env->arch_env, env->init_sp, sp);
be_abi_reg_map_set(env->regs, sp, env->init_sp);
frame_pointer = be_abi_reg_map_get(env->regs, fp_reg);
}
/* The in array for the new back end return is now ready. */
- ret = be_new_Return(irg, bl, n, in);
+ ret = be_new_Return(get_irn_dbg_info(irn), irg, bl, n, in);
/* Set the register classes of the return's parameter accordingly. */
for(i = 0; i < n; ++i)
env->dce_survivor = new_survive_dce();
env->birg = birg;
- env->dbg = firm_dbg_register("firm.be.abi");
env->stack_phis = pset_new_ptr(16);
env->init_sp = dummy = new_r_Unknown(irg, env->isa->sp->reg_class->mode);
+ FIRM_DBG_REGISTER(env->dbg, "firm.be.abi");
env->cb = env->call->cb->init(env->call, birg->main_env->arch_env, irg);
}
/**
- * Translates a direction of an IncSP node (either be_stack_dir_against, or ...along)
+ * Translates a direction of an IncSP node (either be_stack_dir_shrink, or ...expand)
* into -1 or 1, respectively.
* @param irn The node.
* @return 1, if the direction of the IncSP was along, -1 if against.
*/
static int get_dir(ir_node *irn)
{
- return 1 - 2 * (be_get_IncSP_direction(irn) == be_stack_dir_against);
+ return 1 - 2 * (be_get_IncSP_direction(irn) == be_stack_dir_shrink);
}
static int process_stack_bias(be_abi_irg_t *env, ir_node *bl, int bias)
{
const arch_env_t *aenv = env->birg->main_env->arch_env;
+ int omit_fp = env->call->flags.bits.try_omit_fp;
ir_node *irn;
- int start_bias = bias;
- int omit_fp = env->call->flags.bits.try_omit_fp;
sched_foreach(bl, irn) {
projects / libfirm / blobdiff