X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fsparc%2Fsparc_transform.c;h=d44651bb8f19da54441547598728638e1c04b787;hb=6f068af98daa4725d60e5d23a8f98ec2841cfa44;hp=d1b1c0af2a92efa513ea73c4a2a1ca73d5356f78;hpb=8ec4a1e10fe72948e6076936d408accdb4e90dc0;p=libfirm diff --git a/ir/be/sparc/sparc_transform.c b/ir/be/sparc/sparc_transform.c index d1b1c0af2..d44651bb8 100644 --- a/ir/be/sparc/sparc_transform.c +++ b/ir/be/sparc/sparc_transform.c @@ -26,6 +26,7 @@ #include "config.h" #include +#include #include "irnode_t.h" #include "irgraph_t.h" @@ -70,9 +71,14 @@ static ir_mode *mode_fp2; //static ir_mode *mode_fp4; static pmap *node_to_stack; -static inline int mode_needs_gp_reg(ir_mode *mode) +static inline bool mode_needs_gp_reg(ir_mode *mode) { - return mode_is_int(mode) || mode_is_reference(mode); + if (mode_is_int(mode) || mode_is_reference(mode)) { + /* we should only see 32bit code */ + assert(get_mode_size_bits(mode) <= 32); + return true; + } + return false; } /** @@ -239,6 +245,9 @@ static ir_node *gen_helper_binop_args(ir_node *node, } mode1 = get_irn_mode(op1); mode2 = get_irn_mode(op2); + /* we shouldn't see 64bit code */ + assert(get_mode_size_bits(mode1) <= 32); + assert(get_mode_size_bits(mode2) <= 32); if (is_imm_encodeable(op2)) { ir_node *new_op1 = be_transform_node(op1); @@ -511,6 +520,10 @@ static ir_node *gen_Load(ir_node *node) ir_node *new_load = NULL; address_t address; + if (get_Load_unaligned(node) == align_non_aligned) { + panic("sparc: transformation of unaligned Loads not implemented yet"); + } + if (mode_is_float(mode)) { match_address(ptr, &address, false); new_load = create_ldf(dbgi, block, address.ptr, new_mem, mode, @@ -551,12 +564,17 @@ static ir_node *gen_Store(ir_node *node) ir_node *new_store = NULL; address_t address; + if (get_Store_unaligned(node) == align_non_aligned) { + panic("sparc: transformation of unaligned Stores not implemented yet"); + } + if (mode_is_float(mode)) { /* TODO: variants with reg+reg address mode */ match_address(ptr, &address, false); new_store = create_stf(dbgi, block, new_val, address.ptr, new_mem, mode, address.entity, address.offset, false); } else { + assert(get_mode_size_bits(mode) <= 32); match_address(ptr, &address, true); if (address.ptr2 != NULL) { assert(address.entity == NULL && address.offset == 0); @@ -833,7 +851,7 @@ static ir_node *gen_float_const(dbg_info *dbgi, ir_node *block, ir_tarval *tv) { ir_entity *entity = create_float_const_entity(tv); ir_node *hi = new_bd_sparc_SetHi(dbgi, block, entity, 0); - ir_node *mem = new_r_NoMem(current_ir_graph); + ir_node *mem = get_irg_no_mem(current_ir_graph); ir_mode *mode = get_tarval_mode(tv); ir_node *new_op = create_ldf(dbgi, block, hi, mem, mode, entity, 0, false); @@ -885,6 +903,9 @@ static ir_node *make_address(dbg_info *dbgi, ir_node *block, ir_entity *entity, { ir_node *hi = new_bd_sparc_SetHi(dbgi, block, entity, offset); ir_node *low = new_bd_sparc_Or_imm(dbgi, block, hi, entity, offset); + + if (get_entity_owner(entity) == get_tls_type()) + panic("thread local storage not supported yet in sparc backend"); return low; } @@ -919,7 +940,7 @@ static ir_node *gen_SwitchJmp(ir_node *node) index = new_bd_sparc_Sll_imm(dbgi, block, new_selector, NULL, 2); /* load from jumptable */ load = new_bd_sparc_Ld_reg(dbgi, block, table_address, index, - new_r_NoMem(current_ir_graph), + get_irg_no_mem(current_ir_graph), mode_gp); address = new_r_Proj(load, mode_gp, pn_sparc_Ld_res); @@ -1076,7 +1097,7 @@ static ir_node *create_ftoi(dbg_info *dbgi, ir_node *block, ir_node *op, { ir_graph *irg = get_irn_irg(block); ir_node *sp = get_irg_frame(irg); - ir_node *nomem = new_r_NoMem(irg); + ir_node *nomem = get_irg_no_mem(irg); ir_node *stf = create_stf(dbgi, block, ftoi, sp, nomem, src_mode, NULL, 0, true); ir_node *ld = new_bd_sparc_Ld_imm(dbgi, block, sp, stf, mode_gp, @@ -1093,7 +1114,7 @@ static ir_node *create_itof(dbg_info *dbgi, ir_node *block, ir_node *op, { ir_graph *irg = get_irn_irg(block); ir_node *sp = get_irg_frame(irg); - ir_node *nomem = new_r_NoMem(irg); + ir_node *nomem = get_irg_no_mem(irg); ir_node *st = new_bd_sparc_St_imm(dbgi, block, op, sp, nomem, mode_gp, NULL, 0, true); ir_node *ldf = new_bd_sparc_Ldf_s(dbgi, block, sp, st, mode_fp, @@ -1261,7 +1282,6 @@ static void create_stacklayout(ir_graph *irg) layout->arg_type = arg_type; layout->initial_offset = 0; layout->initial_bias = 0; - layout->stack_dir = -1; layout->sp_relative = cconv->omit_fp; assert(N_FRAME_TYPES == 3); @@ -1271,7 +1291,7 @@ static void create_stacklayout(ir_graph *irg) } /** - * transform the start node to the prolog code + initial barrier + * transform the start node to the prolog code */ static ir_node *gen_Start(ir_node *node) { @@ -1281,9 +1301,7 @@ static ir_node *gen_Start(ir_node *node) ir_node *block = get_nodes_block(node); ir_node *new_block = be_transform_node(block); dbg_info *dbgi = get_irn_dbg_info(node); - ir_node *mem; ir_node *start; - ir_node *sp; size_t i; /* stackpointer is important at function prolog */ @@ -1317,22 +1335,6 @@ static ir_node *gen_Start(ir_node *node) } start = be_prolog_create_start(abihelper, dbgi, new_block); - mem = be_prolog_get_memory(abihelper); - sp = be_prolog_get_reg_value(abihelper, sp_reg); - - if (!cconv->omit_fp) { - ir_node *save = new_bd_sparc_Save_imm(NULL, block, sp, NULL, - -SPARC_MIN_STACKSIZE); - arch_irn_add_flags(save, arch_irn_flags_prolog); - arch_set_irn_register(save, sp_reg); - sp = save; - } - - sp = be_new_IncSP(sp_reg, new_block, sp, BE_STACK_FRAME_SIZE_EXPAND, 0); - arch_irn_add_flags(sp, arch_irn_flags_prolog); - be_prolog_set_reg_value(abihelper, sp_reg, sp); - be_prolog_set_memory(abihelper, mem); - return start; } @@ -1371,7 +1373,6 @@ static ir_node *gen_Return(ir_node *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); - ir_node *barrier; ir_node *bereturn; size_t i; @@ -1406,24 +1407,7 @@ static ir_node *gen_Return(ir_node *node) } } - /* we need a restore instruction */ - if (!cconv->omit_fp) { - ir_node *restore = new_bd_sparc_RestoreZero(NULL, block); - arch_irn_add_flags(restore, arch_irn_flags_epilog); - add_irn_dep(restore, barrier); - arch_set_irn_register(restore, sp_reg); - be_epilog_set_reg_value(abihelper, sp_reg, restore); - } else { - /* epilog code: an incsp */ - sp = be_epilog_get_reg_value(abihelper, sp_reg); - sp = be_new_IncSP(sp_reg, new_block, sp, - BE_STACK_FRAME_SIZE_SHRINK, 0); - be_epilog_set_reg_value(abihelper, sp_reg, sp); - } - bereturn = be_epilog_create_return(abihelper, dbgi, new_block); - arch_irn_add_flags(bereturn, arch_irn_flags_epilog); - return bereturn; } @@ -1432,7 +1416,7 @@ static ir_node *bitcast_int_to_float(dbg_info *dbgi, ir_node *block, { ir_graph *irg = current_ir_graph; ir_node *sp = get_irg_frame(irg); - ir_node *nomem = new_r_NoMem(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; @@ -1465,7 +1449,7 @@ static void bitcast_float_to_int(dbg_info *dbgi, ir_node *block, { ir_graph *irg = current_ir_graph; ir_node *stack = get_irg_frame(irg); - ir_node *nomem = new_r_NoMem(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); @@ -1864,12 +1848,9 @@ static ir_node *gen_Proj_Start(ir_node *node) case pn_Start_M: return be_prolog_get_memory(abihelper); case pn_Start_T_args: - /* we should never need this explicitely */ - return new_r_Bad(get_irn_irg(block)); + break; case pn_Start_P_frame_base: return get_frame_base(); - case pn_Start_P_tls: - return new_r_Bad(current_ir_graph); case pn_Start_max: break; } @@ -1950,7 +1931,6 @@ static ir_node *gen_Proj_Call(ir_node *node) case pn_Call_X_regular: case pn_Call_X_except: case pn_Call_T_result: - case pn_Call_P_value_res_base: case pn_Call_max: break; } @@ -2086,27 +2066,6 @@ static void sparc_register_transformers(void) be_set_transform_function(op_sparc_Save, be_duplicate_node); } -/* hack to avoid unused fp proj at start barrier */ -static void assure_fp_keep(void) -{ - unsigned n_users = 0; - const ir_edge_t *edge; - ir_node *fp_proj = be_prolog_get_reg_value(abihelper, fp_reg); - - foreach_out_edge(fp_proj, edge) { - ir_node *succ = get_edge_src_irn(edge); - if (is_End(succ) || is_Anchor(succ)) - continue; - ++n_users; - } - - if (n_users == 0) { - ir_node *block = get_nodes_block(fp_proj); - ir_node *in[1] = { fp_proj }; - be_new_Keep(block, 1, in); - } -} - /** * Transform a Firm graph into a SPARC graph. */ @@ -2130,8 +2089,6 @@ void sparc_transform_graph(ir_graph *irg) create_stacklayout(irg); be_transform_graph(irg, NULL); - if (!cconv->omit_fp) - assure_fp_keep(); be_abihelper_finish(abihelper); sparc_free_calling_convention(cconv);