3 * ISA implementation for Firm IR nodes.
22 #include "irreflect.h"
24 #include "bearch_firm.h"
28 static arch_register_t datab_regs[N_REGS];
30 static arch_register_class_t reg_classes[] = {
31 { "datab", N_REGS, datab_regs },
34 static ir_op *op_push;
38 (sizeof(reg_classes) / sizeof(reg_classes[0]))
42 static int dump_node_Imm(ir_node *n, FILE *F, dump_reason_t reason) {
50 case dump_node_opcode_txt:
54 tarval_snprintf(buf, sizeof(buf), tv);
55 fprintf(F, "%s", buf);
58 fprintf(F, "immSymC");
62 case dump_node_mode_txt:
63 mode = get_irn_mode(n);
65 if (mode && mode != mode_BB && mode != mode_ANY && mode != mode_BAD && mode != mode_T) {
66 fprintf(F, "[%s]", get_mode_name(mode));
70 case dump_node_nodeattr_txt:
71 attr = (imm_attr_t *)get_irn_generic_attr(n);
73 if (is_Imm(n) && attr->tp == imm_SymConst) {
74 const char *name = NULL;
75 ir_node *old_sym = attr->data.symconst;
77 switch (get_SymConst_kind(old_sym)) {
78 case symconst_addr_name:
79 name = get_id_str(get_SymConst_name(old_sym));
82 case symconst_addr_ent:
83 name = get_entity_ld_name(get_SymConst_entity(old_sym));
87 assert(!"Unsupported SymConst");
90 fprintf(F, "&%s ", name);
95 case dump_node_info_txt:
102 static void firm_init(void)
104 static struct obstack obst;
105 static int inited = 0;
114 for(k = 0; k < N_CLASSES; ++k) {
115 const arch_register_class_t *cls = ®_classes[k];
118 for(i = 0; i < cls->n_regs; ++i) {
122 arch_register_t *reg = (arch_register_t *) &cls->regs[i];
124 n = snprintf(buf, sizeof(buf), "r%d", i);
125 name = obstack_copy0(&obst, buf, n);
128 reg->reg_class = cls;
135 * Create some opcodes and types to let firm look a little
136 * bit more like real machines.
140 int push_opc = get_next_ir_opcode();
142 op_push = new_ir_op(push_opc, "Push",
143 op_pin_state_pinned, 0, oparity_binary, 0, 0, NULL);
145 sig = rflct_signature_allocate(1, 3);
146 rflct_signature_set_arg(sig, 0, 0, "Store", RFLCT_MC(Mem), 0, 0);
147 rflct_signature_set_arg(sig, 1, 0, "Block", RFLCT_MC(BB), 0, 0);
148 rflct_signature_set_arg(sig, 1, 1, "Store", RFLCT_MC(Mem), 0, 0);
149 rflct_signature_set_arg(sig, 1, 2, "Arg", RFLCT_MC(Datab), 0, 0);
151 rflct_new_opcode(push_opc, "Push", false);
152 rflct_opcode_add_signature(push_opc, sig);
157 int imm_opc = get_next_ir_opcode();
160 memset(&ops, 0, sizeof(ops));
161 ops.dump_node = dump_node_Imm;
163 op_imm = new_ir_op(imm_opc, "Imm",
164 op_pin_state_pinned, 0, oparity_zero, 0, sizeof(imm_attr_t), &ops);
166 sig = rflct_signature_allocate(1, 1);
167 rflct_signature_set_arg(sig, 0, 0, "Imm", RFLCT_MC(Data), 0, 0);
168 rflct_signature_set_arg(sig, 1, 0, "Block", RFLCT_MC(BB), 0, 0);
169 rflct_new_opcode(imm_opc, "Imm", false);
170 rflct_opcode_add_signature(imm_opc, sig);
174 static int firm_get_n_reg_class(void)
179 static const arch_register_class_t *firm_get_reg_class(int i)
181 assert(i >= 0 && i < N_CLASSES);
182 return ®_classes[i];
185 static const arch_register_req_t firm_std_reg_req = {
186 arch_register_req_type_normal,
187 ®_classes[CLS_DATAB],
191 static const rflct_arg_t *get_arg(const ir_node *irn, int pos)
193 int sig = rflct_get_signature(irn);
194 const rflct_arg_t *args =
195 rflct_get_args(get_irn_opcode(irn), sig, arch_pos_is_in(pos));
196 return &args[arch_pos_get_index(pos)];
199 static const arch_register_req_t *
200 firm_get_irn_reg_req(const arch_irn_ops_t *self,
201 arch_register_req_t *req, const ir_node *irn, int pos)
203 if(is_firm_be_mode(get_irn_mode(irn)))
204 memcpy(req, &firm_std_reg_req, sizeof(*req));
211 static int firm_get_n_operands(const arch_irn_ops_t *self, const ir_node *irn, int in_out)
216 irn = get_Proj_pred(irn);
218 sig = rflct_get_signature(irn);
219 return rflct_get_args_count(get_irn_opcode(irn), sig, in_out >= 0);
222 struct irn_reg_assoc {
225 const arch_register_t *reg;
228 static int cmp_irn_reg_assoc(const void *a, const void *b, size_t len)
230 const struct irn_reg_assoc *x = a;
231 const struct irn_reg_assoc *y = b;
233 return !(x->irn == y->irn && x->pos == y->pos);
236 static struct irn_reg_assoc *get_irn_reg_assoc(const ir_node *irn, int pos)
238 static set *reg_set = NULL;
239 struct irn_reg_assoc templ;
243 reg_set = new_set(cmp_irn_reg_assoc, 1024);
248 hash = HASH_PTR(irn) + 7 * pos;
250 return set_insert(reg_set, &templ, sizeof(templ), hash);
253 static void firm_set_irn_reg(const arch_irn_ops_t *self, ir_node *irn,
254 int pos, const arch_register_t *reg)
256 struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
260 static const arch_register_t *firm_get_irn_reg(const arch_irn_ops_t *self,
261 const ir_node *irn, int pos)
263 struct irn_reg_assoc *assoc = get_irn_reg_assoc(irn, pos);
267 static arch_irn_class_t firm_classify(const arch_irn_ops_t *self, const ir_node *irn)
269 arch_irn_class_t res;
271 switch(get_irn_opcode(irn)) {
274 res = arch_irn_class_branch;
277 res = arch_irn_class_normal;
283 static arch_irn_flags_t firm_get_flags(const arch_irn_ops_t *self, const ir_node *irn)
285 arch_irn_flags_t res = arch_irn_flags_spillable;
287 if(get_irn_op(irn) == op_imm)
288 res |= arch_irn_flags_rematerializable;
290 switch(get_irn_opcode(irn)) {
300 res |= arch_irn_flags_rematerializable;
308 static const arch_irn_ops_t irn_ops = {
309 firm_get_irn_reg_req,
317 static const arch_irn_ops_t *firm_get_irn_ops(const arch_irn_handler_t *self,
323 const arch_irn_handler_t firm_irn_handler = {
327 static ir_node *new_Push(ir_graph *irg, ir_node *bl, ir_node *push, ir_node *arg)
332 return new_ir_node(NULL, irg, bl, op_push, mode_M, 2, ins);
336 * Creates an op_Imm node from an op_Const.
338 static ir_node *new_Imm(ir_graph *irg, ir_node *bl, ir_node *cnst) {
343 res = new_ir_node(NULL, irg, bl, op_imm, get_irn_mode(cnst), 0, ins);
344 attr = (imm_attr_t *) &res->attr;
346 switch (get_irn_opcode(cnst)) {
348 attr->tp = imm_Const;
349 attr->data.tv = get_Const_tarval(cnst);
352 attr->tp = imm_SymConst;
353 attr->data.symconst = cnst;
358 assert(0 && "Cannot create Imm for this opcode");
364 int is_Imm(const ir_node *irn) {
365 return get_irn_op(irn) == op_imm;
369 * Returns the tarval from an Imm node or NULL in case of a SymConst
371 tarval *get_Imm_tv(ir_node *irn) {
374 assert(is_Imm(irn) && "Cannot get tv from non-Imm");
375 attr = (imm_attr_t *)get_irn_generic_attr(irn);
376 if (attr->tp == imm_Const) {
377 return attr->data.tv;
384 * Returns the SymConst from an Imm node or NULL in case of a Const
386 ir_node *get_Imm_sc(ir_node *irn) {
389 assert(is_Imm(irn) && "Cannot get SymConst from non-Imm");
390 attr = (imm_attr_t *)get_irn_generic_attr(irn);
391 if (attr->tp == imm_SymConst) {
392 return attr->data.symconst;
399 static void prepare_walker(ir_node *irn, void *data)
401 opcode opc = get_irn_opcode(irn);
403 /* A replacement for this node has already been computed. */
404 if(get_irn_link(irn))
407 if(opc == iro_Call) {
408 ir_node *bl = get_nodes_block(irn);
409 ir_graph *irg = get_irn_irg(bl);
411 ir_node *store = get_Call_mem(irn);
412 ir_node *ptr = get_Call_ptr(irn);
413 type *ct = get_Call_type(irn);
414 int np = get_Call_n_params(irn) > 0 ? 1 : 0;
421 int i, n = get_Call_n_params(irn);
423 unsigned cc = get_method_calling_convention(get_Call_type(irn));
425 if (cc & cc_last_on_top) {
426 store = new_Push(irg, bl, store, get_Call_param(irn, 0));
428 for (i = 1; i < n; ++i)
429 store = new_Push(irg, bl, store, get_Call_param(irn, i));
432 store = new_Push(irg, bl, store, get_Call_param(irn, n - 1));
434 for (i = n - 2; i >= 0; --i)
435 store = new_Push(irg, bl, store, get_Call_param(irn, i));
438 snprintf(buf, sizeof(buf), "push_%s", get_type_name(ct));
440 n = get_method_n_ress(ct);
441 nt = new_type_method(new_id_from_str(buf), 0, n);
442 for(i = 0; i < n; ++i)
443 set_method_res_type(nt, i, get_method_res_type(ct, i));
445 nc = new_r_Call(irg, bl, store, ptr, 0, ins, nt);
447 set_irn_link(nc, nc);
452 static void localize_const_walker(ir_node *irn, void *data)
456 ir_node *bl = get_nodes_block(irn);
458 for(i = 0, n = get_irn_arity(irn); i < n; ++i) {
459 ir_node *op = get_irn_n(irn, i);
460 opcode opc = get_irn_opcode(op);
463 || opc == iro_Unknown
464 || (opc == iro_SymConst /*&& get_SymConst_kind(op) == symconst_addr_ent*/)) {
465 ir_graph *irg = get_irn_irg(bl);
466 ir_node *imm_bl = is_Phi(irn) ? get_Block_cfgpred_block(bl, i) : bl;
468 ir_node *imm = new_Imm(irg, imm_bl, op);
469 set_irn_n(irn, i, imm);
475 static void clear_link(ir_node *irn, void *data)
477 set_irn_link(irn, NULL);
480 static void firm_prepare_graph(ir_graph *irg)
482 irg_walk_graph(irg, clear_link, localize_const_walker, NULL);
483 irg_walk_graph(irg, NULL, prepare_walker, NULL);
486 const arch_isa_if_t firm_isa = {
488 firm_get_n_reg_class,