X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fbe%2Fsparc%2Fsparc_transform.c;h=d44651bb8f19da54441547598728638e1c04b787;hb=6f068af98daa4725d60e5d23a8f98ec2841cfa44;hp=7acc29a5f55c45a5638c9f0024bd03870b744b77;hpb=8737c443a02baf4aab54adb8cace71c59bdb7345;p=libfirm diff --git a/ir/be/sparc/sparc_transform.c b/ir/be/sparc/sparc_transform.c index 7acc29a5f..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); @@ -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; } @@ -1405,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); - 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); - arch_irn_add_flags(sp, arch_irn_flags_epilog); - 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; } @@ -1431,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; @@ -1464,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); @@ -1863,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; } @@ -1949,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; }