+static ir_node *gen_Unknown(ir_node *node)
+{
+ /* just produce a 0 */
+ ir_mode *mode = get_irn_mode(node);
+ if (mode_is_float(mode)) {
+ ir_node *block = be_transform_node(get_nodes_block(node));
+ return gen_float_const(NULL, block, get_mode_null(mode));
+ } else if (mode_needs_gp_reg(mode)) {
+ ir_graph *irg = get_irn_irg(node);
+ return get_g0(irg);
+ }
+
+ panic("Unexpected Unknown mode");
+}
+
+/**
+ * Produces the type which sits between the stack args and the locals on the
+ * stack.
+ */
+static ir_type *sparc_get_between_type(void)
+{
+ static ir_type *between_type = NULL;
+ static ir_type *between_type0 = NULL;
+
+ if (current_cconv->omit_fp) {
+ if (between_type0 == NULL) {
+ between_type0
+ = new_type_class(new_id_from_str("sparc_between_type"));
+ set_type_size_bytes(between_type0, 0);
+ }
+ return between_type0;
+ }
+
+ if (between_type == NULL) {
+ between_type = new_type_class(new_id_from_str("sparc_between_type"));
+ set_type_size_bytes(between_type, SPARC_MIN_STACKSIZE);
+ }
+
+ return between_type;
+}
+
+static ir_type *compute_arg_type(ir_graph *irg)
+{
+ ir_entity *entity = get_irg_entity(irg);
+ ir_type *mtp = get_entity_type(entity);
+ size_t n_params = get_method_n_params(mtp);
+ ir_entity **param_map = ALLOCANZ(ir_entity*, n_params);
+
+ ir_type *frame_type = get_irg_frame_type(irg);
+ size_t n_frame_members = get_compound_n_members(frame_type);
+ size_t f;
+ size_t i;
+
+ ir_type *res = new_type_struct(id_mangle_u(get_entity_ident(entity), new_id_from_chars("arg_type", 8)));
+
+ /* search for existing value_param entities */
+ for (f = n_frame_members; f > 0; ) {
+ ir_entity *member = get_compound_member(frame_type, --f);
+ size_t num;
+ const reg_or_stackslot_t *param;
+
+ if (!is_parameter_entity(member))
+ continue;
+ num = get_entity_parameter_number(member);
+ assert(num < n_params);
+ if (param_map[num] != NULL)
+ panic("multiple entities for parameter %u in %+F found", f, irg);
+
+ param = ¤t_cconv->parameters[num];
+ if (param->reg0 != NULL)
+ continue;
+
+ param_map[num] = member;
+ /* move to new arg_type */
+ set_entity_owner(member, res);
+ }
+
+ for (i = 0; i < n_params; ++i) {
+ reg_or_stackslot_t *param = ¤t_cconv->parameters[i];
+ ir_entity *entity;
+
+ if (param->reg0 != NULL)
+ continue;
+ entity = param_map[i];
+ if (entity == NULL)
+ entity = new_parameter_entity(res, i, param->type);
+ param->entity = entity;
+ set_entity_offset(entity, param->offset);
+ }
+
+ return res;
+}
+
+static void create_stacklayout(ir_graph *irg)
+{
+ be_stack_layout_t *layout = be_get_irg_stack_layout(irg);
+
+ /* calling conventions must be decided by now */
+ assert(current_cconv != NULL);
+
+ memset(layout, 0, sizeof(*layout));
+
+ layout->frame_type = get_irg_frame_type(irg);
+ layout->between_type = sparc_get_between_type();
+ layout->arg_type = compute_arg_type(irg);
+ layout->initial_offset = 0;
+ layout->initial_bias = 0;
+ layout->sp_relative = current_cconv->omit_fp;
+
+ assert(N_FRAME_TYPES == 3);
+ layout->order[0] = layout->frame_type;
+ layout->order[1] = layout->between_type;
+ layout->order[2] = layout->arg_type;
+}
+
+/**
+ * transform the start node to the prolog code
+ */
+static ir_node *gen_Start(ir_node *node)
+{
+ ir_graph *irg = get_irn_irg(node);
+ ir_entity *entity = get_irg_entity(irg);
+ ir_type *function_type = get_entity_type(entity);
+ ir_node *block = get_nodes_block(node);
+ ir_node *new_block = be_transform_node(block);
+ dbg_info *dbgi = get_irn_dbg_info(node);
+ struct obstack *obst = be_get_be_obst(irg);
+ const arch_register_req_t *req;
+ size_t n_outs;
+ ir_node *start;
+ size_t i;
+ size_t o;
+
+ /* start building list of start constraints */
+ assert(obstack_object_size(obst) == 0);
+
+ /* calculate number of outputs */
+ n_outs = 3; /* memory, zero, sp */
+ if (!current_cconv->omit_fp)
+ ++n_outs; /* framepointer */
+ /* function parameters */
+ n_outs += current_cconv->n_param_regs;
+ /* callee saves */
+ if (current_cconv->omit_fp) {
+ n_outs += ARRAY_SIZE(omit_fp_callee_saves);
+ }
+
+ start = new_bd_sparc_Start(dbgi, new_block, n_outs);
+
+ o = 0;
+
+ /* first output is memory */
+ start_mem_offset = o;
+ arch_set_out_register_req(start, o++, arch_no_register_req);
+ /* the zero register */
+ start_g0_offset = o;
+ req = be_create_reg_req(obst, &sparc_registers[REG_G0],
+ arch_register_req_type_ignore);
+ arch_set_out_register_req(start, o, req);
+ arch_irn_set_register(start, o, &sparc_registers[REG_G0]);
+ ++o;
+
+ /* we need an output for the stackpointer */
+ start_sp_offset = o;
+ req = be_create_reg_req(obst, sp_reg,
+ arch_register_req_type_produces_sp | arch_register_req_type_ignore);
+ arch_set_out_register_req(start, o, req);
+ arch_irn_set_register(start, o, sp_reg);
+ ++o;
+
+ if (!current_cconv->omit_fp) {
+ start_fp_offset = o;
+ req = be_create_reg_req(obst, fp_reg, arch_register_req_type_ignore);
+ arch_set_out_register_req(start, o, req);
+ arch_irn_set_register(start, o, fp_reg);
+ ++o;
+ }
+
+ /* function parameters in registers */
+ start_params_offset = o;
+ for (i = 0; i < get_method_n_params(function_type); ++i) {
+ const reg_or_stackslot_t *param = ¤t_cconv->parameters[i];
+ const arch_register_t *reg0 = param->reg0;
+ const arch_register_t *reg1 = param->reg1;
+ if (reg0 != NULL) {
+ arch_set_out_register_req(start, o, reg0->single_req);
+ arch_irn_set_register(start, o, reg0);
+ ++o;
+ }
+ if (reg1 != NULL) {
+ arch_set_out_register_req(start, o, reg1->single_req);
+ arch_irn_set_register(start, o, reg1);
+ ++o;
+ }
+ }
+ /* we need the values of the callee saves (Note: non omit-fp mode has no
+ * callee saves) */
+ start_callee_saves_offset = o;
+ if (current_cconv->omit_fp) {
+ size_t n_callee_saves = ARRAY_SIZE(omit_fp_callee_saves);
+ size_t c;
+ for (c = 0; c < n_callee_saves; ++c) {
+ const arch_register_t *reg = omit_fp_callee_saves[c];
+ arch_set_out_register_req(start, o, reg->single_req);
+ arch_irn_set_register(start, o, reg);
+ ++o;
+ }
+ }
+ assert(n_outs == o);
+
+ return start;
+}
+
+static ir_node *get_initial_sp(ir_graph *irg)
+{
+ if (start_sp == NULL) {
+ ir_node *start = get_irg_start(irg);
+ start_sp = new_r_Proj(start, mode_gp, start_sp_offset);
+ }
+ return start_sp;
+}
+
+static ir_node *get_initial_fp(ir_graph *irg)
+{
+ if (start_fp == NULL) {
+ ir_node *start = get_irg_start(irg);
+ start_fp = new_r_Proj(start, mode_gp, start_fp_offset);
+ }
+ return start_fp;
+}
+
+static ir_node *get_initial_mem(ir_graph *irg)
+{
+ if (start_mem == NULL) {
+ ir_node *start = get_irg_start(irg);
+ start_mem = new_r_Proj(start, mode_M, start_mem_offset);
+ }
+ return start_mem;
+}
+
+static ir_node *get_stack_pointer_for(ir_node *node)
+{
+ /* get predecessor in stack_order list */
+ ir_node *stack_pred = be_get_stack_pred(stackorder, node);
+ ir_node *stack;
+
+ if (stack_pred == NULL) {
+ /* first stack user in the current block. We can simply use the
+ * initial sp_proj for it */
+ ir_graph *irg = get_irn_irg(node);
+ return get_initial_sp(irg);
+ }
+
+ be_transform_node(stack_pred);
+ stack = (ir_node*)pmap_get(node_to_stack, stack_pred);
+ if (stack == NULL) {
+ return get_stack_pointer_for(stack_pred);
+ }
+
+ return stack;
+}
+
+/**
+ * transform a Return node into epilogue code + return statement
+ */
+static ir_node *gen_Return(ir_node *node)
+{
+ ir_node *block = get_nodes_block(node);
+ ir_graph *irg = get_irn_irg(node);
+ ir_node *new_block = be_transform_node(block);
+ dbg_info *dbgi = get_irn_dbg_info(node);
+ ir_node *mem = get_Return_mem(node);
+ ir_node *new_mem = be_transform_node(mem);
+ ir_node *sp = get_stack_pointer_for(node);
+ size_t n_res = get_Return_n_ress(node);
+ struct obstack *be_obst = be_get_be_obst(irg);
+ ir_node *bereturn;
+ ir_node **in;
+ const arch_register_req_t **reqs;
+ size_t i;
+ size_t p;
+ size_t n_ins;
+
+ /* estimate number of return values */
+ n_ins = 2 + n_res; /* memory + stackpointer, return values */
+ if (current_cconv->omit_fp)
+ n_ins += ARRAY_SIZE(omit_fp_callee_saves);
+
+ in = ALLOCAN(ir_node*, n_ins);
+ reqs = OALLOCN(be_obst, const arch_register_req_t*, n_ins);
+ p = 0;
+
+ in[p] = new_mem;
+ reqs[p] = arch_no_register_req;
+ ++p;
+
+ in[p] = sp;
+ reqs[p] = sp_reg->single_req;
+ ++p;
+
+ /* result values */
+ for (i = 0; i < n_res; ++i) {
+ ir_node *res_value = get_Return_res(node, i);
+ ir_node *new_res_value = be_transform_node(res_value);
+ const reg_or_stackslot_t *slot = ¤t_cconv->results[i];
+ const arch_register_t *reg = slot->reg0;
+ assert(slot->reg1 == NULL);
+ in[p] = new_res_value;
+ reqs[p] = reg->single_req;
+ ++p;
+ }
+ /* callee saves */
+ if (current_cconv->omit_fp) {
+ ir_node *start = get_irg_start(irg);
+ size_t n_callee_saves = ARRAY_SIZE(omit_fp_callee_saves);
+ for (i = 0; i < n_callee_saves; ++i) {
+ const arch_register_t *reg = omit_fp_callee_saves[i];
+ ir_mode *mode = reg->reg_class->mode;
+ ir_node *value
+ = new_r_Proj(start, mode, i + start_callee_saves_offset);
+ in[p] = value;
+ reqs[p] = reg->single_req;
+ ++p;
+ }
+ }
+ assert(p == n_ins);
+
+ bereturn = new_bd_sparc_Return_reg(dbgi, new_block, n_ins, in);
+ arch_set_in_register_reqs(bereturn, reqs);
+
+ return bereturn;
+}
+
+static ir_node *bitcast_int_to_float(dbg_info *dbgi, ir_node *block,
+ ir_node *value0, ir_node *value1)
+{
+ ir_graph *irg = current_ir_graph;
+ ir_node *sp = get_irg_frame(irg);
+ ir_node *nomem = get_irg_no_mem(irg);
+ ir_node *st = new_bd_sparc_St_imm(dbgi, block, value0, sp, nomem,
+ mode_gp, NULL, 0, true);
+ ir_mode *mode;
+ ir_node *ldf;
+ ir_node *mem;
+ set_irn_pinned(st, op_pin_state_floats);
+
+ if (value1 != NULL) {
+ ir_node *st1 = new_bd_sparc_St_imm(dbgi, block, value1, sp, nomem,
+ mode_gp, NULL, 4, true);
+ ir_node *in[2] = { st, st1 };
+ ir_node *sync = new_r_Sync(block, 2, in);
+ set_irn_pinned(st1, op_pin_state_floats);
+ mem = sync;
+ mode = mode_fp2;
+ } else {
+ mem = st;
+ mode = mode_fp;
+ }
+
+ ldf = create_ldf(dbgi, block, sp, mem, mode, NULL, 0, true);
+ set_irn_pinned(ldf, op_pin_state_floats);
+
+ return new_r_Proj(ldf, mode, pn_sparc_Ldf_res);
+}
+
+static void bitcast_float_to_int(dbg_info *dbgi, ir_node *block,
+ ir_node *node, ir_mode *float_mode,
+ ir_node **result)
+{
+ ir_graph *irg = current_ir_graph;
+ ir_node *stack = get_irg_frame(irg);
+ ir_node *nomem = get_irg_no_mem(irg);
+ ir_node *stf = create_stf(dbgi, block, node, stack, nomem, float_mode,
+ NULL, 0, true);
+ int bits = get_mode_size_bits(float_mode);
+ ir_node *ld;
+ set_irn_pinned(stf, op_pin_state_floats);
+
+ ld = new_bd_sparc_Ld_imm(dbgi, block, stack, stf, mode_gp, NULL, 0, true);
+ set_irn_pinned(ld, op_pin_state_floats);
+ result[0] = new_r_Proj(ld, mode_gp, pn_sparc_Ld_res);
+
+ if (bits == 64) {
+ ir_node *ld2 = new_bd_sparc_Ld_imm(dbgi, block, stack, stf, mode_gp,
+ NULL, 4, true);
+ set_irn_pinned(ld, op_pin_state_floats);
+ result[1] = new_r_Proj(ld2, mode_gp, pn_sparc_Ld_res);
+
+ arch_irn_add_flags(ld, (arch_irn_flags_t)sparc_arch_irn_flag_needs_64bit_spillslot);
+ arch_irn_add_flags(ld2, (arch_irn_flags_t)sparc_arch_irn_flag_needs_64bit_spillslot);
+ } else {
+ assert(bits == 32);
+ result[1] = NULL;
+ }
+}
+
+static ir_node *gen_Call(ir_node *node)
+{
+ ir_graph *irg = get_irn_irg(node);
+ ir_node *callee = get_Call_ptr(node);
+ ir_node *block = get_nodes_block(node);
+ ir_node *new_block = be_transform_node(block);
+ ir_node *mem = get_Call_mem(node);
+ ir_node *new_mem = be_transform_node(mem);
+ dbg_info *dbgi = get_irn_dbg_info(node);
+ ir_type *type = get_Call_type(node);
+ size_t n_params = get_Call_n_params(node);
+ /* max inputs: memory, callee, register arguments */
+ ir_node **sync_ins = ALLOCAN(ir_node*, n_params);
+ struct obstack *obst = be_get_be_obst(irg);
+ calling_convention_t *cconv
+ = sparc_decide_calling_convention(type, NULL);
+ size_t n_param_regs = cconv->n_param_regs;
+ /* param-regs + mem + stackpointer + callee */
+ unsigned max_inputs = 3 + n_param_regs;
+ ir_node **in = ALLOCAN(ir_node*, max_inputs);
+ const arch_register_req_t **in_req
+ = OALLOCNZ(obst, const arch_register_req_t*, max_inputs);
+ int in_arity = 0;
+ int sync_arity = 0;
+ int n_caller_saves
+ = sizeof(caller_saves)/sizeof(caller_saves[0]);
+ ir_entity *entity = NULL;
+ ir_node *new_frame = get_stack_pointer_for(node);
+ ir_node *incsp;
+ int mem_pos;
+ ir_node *res;
+ size_t p;
+ int i;
+ int o;
+ int out_arity;
+
+ assert(n_params == get_method_n_params(type));
+
+ /* construct arguments */
+
+ /* memory input */
+ in_req[in_arity] = arch_no_register_req;
+ mem_pos = in_arity;
+ ++in_arity;
+
+ /* stack pointer input */
+ /* construct an IncSP -> we have to always be sure that the stack is
+ * aligned even if we don't push arguments on it */
+ incsp = be_new_IncSP(sp_reg, new_block, new_frame,
+ cconv->param_stack_size, 1);
+ in_req[in_arity] = sp_reg->single_req;
+ in[in_arity] = incsp;
+ ++in_arity;
+
+ /* parameters */
+ for (p = 0; p < n_params; ++p) {
+ ir_node *value = get_Call_param(node, p);
+ ir_node *new_value = be_transform_node(value);
+ const reg_or_stackslot_t *param = &cconv->parameters[p];
+ ir_type *param_type = get_method_param_type(type, p);
+ ir_mode *mode = get_type_mode(param_type);
+ ir_node *new_values[2];
+ ir_node *str;
+
+ if (mode_is_float(mode) && param->reg0 != NULL) {
+ unsigned size_bits = get_mode_size_bits(mode);
+ assert(size_bits <= 64);
+ bitcast_float_to_int(dbgi, new_block, new_value, mode, new_values);
+ } else {
+ new_values[0] = new_value;
+ new_values[1] = NULL;
+ }
+
+ /* put value into registers */
+ if (param->reg0 != NULL) {
+ in[in_arity] = new_values[0];
+ in_req[in_arity] = param->reg0->single_req;
+ ++in_arity;
+ if (new_values[1] == NULL)
+ continue;
+ }
+ if (param->reg1 != NULL) {
+ assert(new_values[1] != NULL);
+ in[in_arity] = new_values[1];
+ in_req[in_arity] = param->reg1->single_req;
+ ++in_arity;
+ continue;
+ }
+
+ /* we need a store if we're here */
+ if (new_values[1] != NULL) {
+ new_value = new_values[1];
+ mode = mode_gp;
+ }
+
+ /* create a parameter frame if necessary */
+ if (mode_is_float(mode)) {
+ str = create_stf(dbgi, new_block, new_value, incsp, new_mem,
+ mode, NULL, param->offset, true);
+ } else {
+ str = new_bd_sparc_St_imm(dbgi, new_block, new_value, incsp,
+ new_mem, mode, NULL, param->offset, true);
+ }
+ set_irn_pinned(str, op_pin_state_floats);
+ sync_ins[sync_arity++] = str;
+ }
+
+ /* construct memory input */
+ if (sync_arity == 0) {
+ in[mem_pos] = new_mem;
+ } else if (sync_arity == 1) {
+ in[mem_pos] = sync_ins[0];
+ } else {
+ in[mem_pos] = new_rd_Sync(NULL, new_block, sync_arity, sync_ins);
+ }
+
+ if (is_SymConst(callee)) {
+ entity = get_SymConst_entity(callee);
+ } else {
+ in[in_arity] = be_transform_node(callee);
+ in_req[in_arity] = sparc_reg_classes[CLASS_sparc_gp].class_req;
+ ++in_arity;
+ }
+ assert(in_arity <= (int)max_inputs);
+
+ /* outputs:
+ * - memory
+ * - caller saves
+ */
+ out_arity = 1 + n_caller_saves;
+
+ /* create call node */
+ if (entity != NULL) {
+ res = new_bd_sparc_Call_imm(dbgi, new_block, in_arity, in, out_arity,
+ entity, 0);
+ } else {
+ res = new_bd_sparc_Call_reg(dbgi, new_block, in_arity, in, out_arity);
+ }
+ arch_set_in_register_reqs(res, in_req);
+
+ /* create output register reqs */
+ o = 0;
+ arch_set_out_register_req(res, o++, arch_no_register_req);
+ for (i = 0; i < n_caller_saves; ++i) {
+ const arch_register_t *reg = caller_saves[i];
+ arch_set_out_register_req(res, o++, reg->single_req);
+ }
+ assert(o == out_arity);
+
+ /* copy pinned attribute */
+ set_irn_pinned(res, get_irn_pinned(node));
+
+ /* IncSP to destroy the call stackframe */
+ incsp = be_new_IncSP(sp_reg, new_block, incsp, -cconv->param_stack_size, 0);
+ /* if we are the last IncSP producer in a block then we have to keep
+ * the stack value.
+ * Note: This here keeps all producers which is more than necessary */
+ add_irn_dep(incsp, res);
+ keep_alive(incsp);
+
+ pmap_insert(node_to_stack, node, incsp);
+
+ sparc_free_calling_convention(cconv);
+ return res;
+}
+
+static ir_node *gen_Sel(ir_node *node)
+{
+ dbg_info *dbgi = get_irn_dbg_info(node);
+ ir_node *block = get_nodes_block(node);
+ ir_node *new_block = be_transform_node(block);
+ ir_node *ptr = get_Sel_ptr(node);
+ ir_node *new_ptr = be_transform_node(ptr);
+ ir_entity *entity = get_Sel_entity(node);
+
+ /* must be the frame pointer all other sels must have been lowered
+ * already */
+ assert(is_Proj(ptr) && is_Start(get_Proj_pred(ptr)));
+
+ return new_bd_sparc_FrameAddr(dbgi, new_block, new_ptr, entity, 0);
+}
+
+static const arch_register_req_t float1_req = {
+ arch_register_req_type_normal,
+ &sparc_reg_classes[CLASS_sparc_fp],
+ NULL,
+ 0,
+ 0,
+ 1
+};
+static const arch_register_req_t float2_req = {
+ arch_register_req_type_normal | arch_register_req_type_aligned,
+ &sparc_reg_classes[CLASS_sparc_fp],
+ NULL,
+ 0,
+ 0,
+ 2
+};
+static const arch_register_req_t float4_req = {
+ arch_register_req_type_normal | arch_register_req_type_aligned,
+ &sparc_reg_classes[CLASS_sparc_fp],
+ NULL,
+ 0,
+ 0,
+ 4
+};
+
+
+static const arch_register_req_t *get_float_req(ir_mode *mode)
+{
+ unsigned bits = get_mode_size_bits(mode);
+
+ assert(mode_is_float(mode));
+ if (bits == 32) {
+ return &float1_req;
+ } else if (bits == 64) {
+ return &float2_req;
+ } else {
+ assert(bits == 128);
+ return &float4_req;
+ }
+}
+