#include "bearch_sparc_t.h"
#include "gen_sparc_regalloc_if.h"
#include "sparc_new_nodes.h"
+#include "sparc_transform.h"
#include "irprog.h"
#include "irgmod.h"
#include "ircons.h"
schedpoint = sched_next(schedpoint);
if (!layout->sp_relative) {
- ir_node *incsp;
ir_node *save = new_bd_sparc_Save_imm(NULL, block, sp, NULL,
- -SPARC_MIN_STACKSIZE);
+ -SPARC_MIN_STACKSIZE-frame_size);
arch_set_irn_register(save, sp_reg);
sched_add_after(schedpoint, save);
schedpoint = save;
- incsp = be_new_IncSP(sp_reg, block, save, frame_size, 0);
- edges_reroute(initial_sp, incsp);
+ edges_reroute(initial_sp, save);
set_irn_n(save, n_sparc_Save_stack, initial_sp);
- sched_add_after(schedpoint, incsp);
- schedpoint = incsp;
- /* we still need the IncSP even if noone is explicitely using the
+ /* we still need the Save even if noone is explicitely using the
* value. (TODO: this isn't 100% correct yet, something at the end of
- * the function should hold the IncSP, even if we use a restore
+ * the function should hold the Save, even if we use a restore
* which just overrides it instead of using the value)
*/
- if (get_irn_n_edges(incsp) == 0) {
- ir_node *in[] = { incsp };
+ if (get_irn_n_edges(save) == 0) {
+ ir_node *in[] = { save };
ir_node *keep = be_new_Keep(block, 1, in);
sched_add_after(schedpoint, keep);
}
dbg_info *dbgi = get_irn_dbg_info(node);
ir_node *block = get_nodes_block(node);
int sign = 1;
- bool sp_relative
- = arch_get_irn_register(base) == &sparc_registers[REG_SP];
- if (sp_relative) {
- offset += SPARC_MIN_STACKSIZE;
- }
if (offset < 0) {
sign = -1;
attr->immediate_value = sign*offset;
}
-static void finish_sparc_LdSt(ir_node *node)
-{
- sparc_load_store_attr_t *attr = get_sparc_load_store_attr(node);
- if (attr->is_frame_entity) {
- ir_node *base;
- bool sp_relative;
- if (is_sparc_Ld(node) || is_sparc_Ldf(node)) {
- base = get_irn_n(node, n_sparc_Ld_ptr);
- } else {
- assert(is_sparc_St(node) || is_sparc_Stf(node));
- base = get_irn_n(node, n_sparc_St_ptr);
- }
- sp_relative = arch_get_irn_register(base) == &sparc_registers[REG_SP];
- if (sp_relative)
- attr->base.immediate_value += SPARC_MIN_STACKSIZE;
- }
-}
-
static void peephole_be_IncSP(ir_node *node)
{
ir_node *pred;
op->ops.generic = (op_func) func;
}
-/**
- * transform reload node => load
- */
-static void transform_Reload(ir_node *node)
-{
- ir_node *block = get_nodes_block(node);
- dbg_info *dbgi = get_irn_dbg_info(node);
- ir_node *ptr = get_irn_n(node, n_be_Spill_frame);
- ir_node *mem = get_irn_n(node, n_be_Reload_mem);
- ir_mode *mode = get_irn_mode(node);
- ir_entity *entity = be_get_frame_entity(node);
- const arch_register_t *reg;
- ir_node *proj;
- ir_node *load;
-
- ir_node *sched_point = sched_prev(node);
-
- load = new_bd_sparc_Ld_imm(dbgi, block, ptr, mem, mode, entity, 0, true);
- sched_add_after(sched_point, load);
- sched_remove(node);
-
- proj = new_rd_Proj(dbgi, load, mode, pn_sparc_Ld_res);
-
- reg = arch_get_irn_register(node);
- arch_set_irn_register(proj, reg);
-
- exchange(node, proj);
-}
-
-/**
- * transform spill node => store
- */
-static void transform_Spill(ir_node *node)
-{
- ir_node *block = get_nodes_block(node);
- dbg_info *dbgi = get_irn_dbg_info(node);
- ir_node *ptr = get_irn_n(node, n_be_Spill_frame);
- ir_graph *irg = get_irn_irg(node);
- ir_node *mem = get_irg_no_mem(irg);
- ir_node *val = get_irn_n(node, n_be_Spill_val);
- ir_mode *mode = get_irn_mode(val);
- ir_entity *entity = be_get_frame_entity(node);
- ir_node *sched_point;
- ir_node *store;
-
- sched_point = sched_prev(node);
- store = new_bd_sparc_St_imm(dbgi, block, val, ptr, mem, mode, entity, 0, true);
- sched_remove(node);
- sched_add_after(sched_point, store);
-
- exchange(node, store);
-}
-
-/**
- * walker to transform be_Spill and be_Reload nodes
- */
-static void sparc_after_ra_walker(ir_node *block, void *data)
-{
- ir_node *node, *prev;
- (void) data;
-
- for (node = sched_last(block); !sched_is_begin(node); node = prev) {
- prev = sched_prev(node);
-
- if (be_is_Reload(node)) {
- transform_Reload(node);
- } else if (be_is_Spill(node)) {
- transform_Spill(node);
- }
- }
-}
-
static void sparc_collect_frame_entity_nodes(ir_node *node, void *data)
{
be_fec_env_t *env = (be_fec_env_t*)data;
return;
if (!attr->is_frame_entity)
return;
- if (arch_irn_get_flags(node) & sparc_arch_irn_flag_needs_64bit_spillslot)
+ if (arch_get_irn_flags(node) & sparc_arch_irn_flag_needs_64bit_spillslot)
mode = mode_Lu;
align = get_mode_size_bytes(mode);
be_node_needs_frame_entity(env, node, mode, align);
be_assign_entities(fec_env, sparc_set_frame_entity, at_begin);
be_free_frame_entity_coalescer(fec_env);
- irg_block_walk_graph(irg, NULL, sparc_after_ra_walker, NULL);
-
sparc_introduce_prolog_epilog(irg);
/* fix stack entity offsets */
be_abi_fix_stack_nodes(irg);
- be_abi_fix_stack_bias(irg);
+ sparc_fix_stack_bias(irg);
/* perform peephole optimizations */
clear_irp_opcodes_generic_func();
clear_irp_opcodes_generic_func();
register_peephole_optimisation(op_be_IncSP, finish_be_IncSP);
register_peephole_optimisation(op_sparc_FrameAddr, finish_sparc_FrameAddr);
- register_peephole_optimisation(op_sparc_Ld, finish_sparc_LdSt);
- register_peephole_optimisation(op_sparc_Ldf, finish_sparc_LdSt);
register_peephole_optimisation(op_sparc_Return, finish_sparc_Return);
register_peephole_optimisation(op_sparc_Save, finish_sparc_Save);
- register_peephole_optimisation(op_sparc_St, finish_sparc_LdSt);
- register_peephole_optimisation(op_sparc_Stf, finish_sparc_LdSt);
be_peephole_opt(irg);
be_remove_dead_nodes_from_schedule(irg);
projects / libfirm / blobdiff