2 * This file implements the creation of the achitecture specific firm opcodes
3 * and the coresponding node constructors for the $arch assembler irg.
4 * @author Christian Wuerdig
21 #include "irgraph_t.h"
27 #include "firm_common_t.h"
31 #include "../bearch.h"
33 #include "ia32_nodes_attr.h"
34 #include "ia32_new_nodes.h"
35 #include "gen_ia32_regalloc_if.h"
37 #ifdef obstack_chunk_alloc
38 # undef obstack_chunk_alloc
39 # define obstack_chunk_alloc xmalloc
41 # define obstack_chunk_alloc xmalloc
42 # define obstack_chunk_free free
45 /***********************************************************************************
48 * __| |_ _ _ __ ___ _ __ ___ _ __ _ _ __ | |_ ___ _ __| |_ __ _ ___ ___
49 * / _` | | | | '_ ` _ \| '_ \ / _ \ '__| | | '_ \| __/ _ \ '__| _/ _` |/ __/ _ \
50 * | (_| | |_| | | | | | | |_) | __/ | | | | | | || __/ | | || (_| | (_| __/
51 * \__,_|\__,_|_| |_| |_| .__/ \___|_| |_|_| |_|\__\___|_| |_| \__,_|\___\___|
54 ***********************************************************************************/
57 * Prints a tarval to file F.
58 * @param F output file
60 * @param brackets 1 == print square brackets around tarval
62 static void fprintf_tv(FILE *F, tarval *tv, int brackets) {
64 tarval_snprintf(buf, sizeof(buf), tv);
67 fprintf(F, "[%s]", buf);
69 fprintf(F, "%s", buf);
73 * Returns the name of a SymConst.
74 * @param symc the SymConst
75 * @return name of the SymConst
77 const char *get_sc_name(ir_node *symc) {
78 if (get_irn_opcode(symc) != iro_SymConst)
81 switch (get_SymConst_kind(symc)) {
82 case symconst_addr_name:
83 return get_id_str(get_SymConst_name(symc));
85 case symconst_addr_ent:
86 return get_entity_ld_name(get_SymConst_entity(symc));
89 assert(0 && "Unsupported SymConst");
96 * Returns a string containing the names of all registers within the limited bitset
98 static char *get_limited_regs(const arch_register_req_t *req, char *buf, int max) {
99 bitset_t *bs = bitset_alloca(req->cls->n_regs);
104 req->limited(NULL, bs);
106 for (i = 0; i < req->cls->n_regs; i++) {
107 if (bitset_is_set(bs, i)) {
108 cnt = snprintf(p, max - size, " %s", req->cls->regs[i].name);
110 fprintf(stderr, "dumper problem, exiting\n");
126 * Dumps the register requirements for either in or out.
128 static void dump_reg_req(FILE *F, ir_node *n, const ia32_register_req_t **reqs, int inout) {
129 char *dir = inout ? "out" : "in";
130 int max = inout ? get_ia32_n_res(n) : get_irn_arity(n);
131 char *buf = alloca(1024);
134 memset(buf, 0, 1024);
137 for (i = 0; i < max; i++) {
138 fprintf(F, "%sreq #%d =", dir, i);
140 if (reqs[i]->req.type == arch_register_req_type_none) {
144 if (reqs[i]->req.type & arch_register_req_type_normal) {
145 fprintf(F, " %s", reqs[i]->req.cls->name);
148 if (reqs[i]->req.type & arch_register_req_type_limited) {
149 fprintf(F, " %s", get_limited_regs(&reqs[i]->req, buf, 1024));
152 if (reqs[i]->req.type & arch_register_req_type_should_be_same) {
153 ir_fprintf(F, " same as %+F", get_irn_n(n, reqs[i]->same_pos));
156 if (reqs[i]->req.type & arch_register_req_type_should_be_different) {
157 ir_fprintf(F, " different from %+F", get_irn_n(n, reqs[i]->different_pos));
166 fprintf(F, "%sreq = N/A\n", dir);
171 * Dumper interface for dumping ia32 nodes in vcg.
172 * @param n the node to dump
173 * @param F the output file
174 * @param reason indicates which kind of information should be dumped
175 * @return 0 on success or != 0 on failure
177 static int dump_node_ia32(ir_node *n, FILE *F, dump_reason_t reason) {
178 ir_mode *mode = NULL;
182 const ia32_register_req_t **reqs;
183 const arch_register_t **slots;
186 case dump_node_opcode_txt:
187 fprintf(F, "%s", get_irn_opname(n));
190 case dump_node_mode_txt:
191 mode = get_irn_mode(n);
193 if (is_ia32_Load(n) || is_ia32_Store(n)) {
194 mode = get_ia32_ls_mode(n);
198 fprintf(F, "[%s]", get_mode_name(mode));
201 fprintf(F, "[?NOMODE?]");
205 case dump_node_nodeattr_txt:
206 if (is_ia32_Call(n)) {
207 fprintf(F, "&%s ", get_ia32_sc(n));
209 else if (get_ia32_cnst(n)) {
212 if (get_ia32_sc(n)) {
216 fprintf(F, "[%s%s]", pref, get_ia32_cnst(n));
219 if (! is_ia32_Lea(n)) {
220 if (is_ia32_AddrModeS(n)) {
221 fprintf(F, "[AM S] ");
223 else if (is_ia32_AddrModeD(n)) {
224 fprintf(F, "[AM D] ");
230 case dump_node_info_txt:
231 attr = get_ia32_attr(n);
232 fprintf(F, "=== IA32 attr begin ===\n");
234 /* dump IN requirements */
235 if (get_irn_arity(n) > 0) {
236 reqs = get_ia32_in_req_all(n);
237 dump_reg_req(F, n, reqs, 0);
240 /* dump OUT requirements */
241 if (attr->n_res > 0) {
242 reqs = get_ia32_out_req_all(n);
243 dump_reg_req(F, n, reqs, 1);
246 /* dump assigned registers */
247 slots = get_ia32_slots(n);
248 if (slots && attr->n_res > 0) {
249 for (i = 0; i < attr->n_res; i++) {
251 fprintf(F, "reg #%d = %s\n", i, slots[i]->name);
254 fprintf(F, "reg #%d = n/a\n", i);
264 fprintf(F, "Normal");
270 fprintf(F, "SymConst");
273 fprintf(F, "AM Dest (Load+Store)");
276 fprintf(F, "AM Source (Load)");
279 fprintf(F, "unknown (%d)", attr->tp);
285 /* dump supported am */
286 fprintf(F, "AM support = ");
287 switch (attr->am_support) {
292 fprintf(F, "source only (Load)");
295 fprintf(F, "dest only (Load+Store)");
301 fprintf(F, "unknown (%d)", attr->am_support);
306 /* dump am flavour */
307 fprintf(F, "AM flavour =");
308 if (attr->am_flavour == ia32_am_N) {
312 if (attr->am_flavour & ia32_O) {
315 if (attr->am_flavour & ia32_B) {
318 if (attr->am_flavour & ia32_I) {
321 if (attr->am_flavour & ia32_S) {
325 fprintf(F, " (%d)\n", attr->am_flavour);
328 fprintf(F, "AM offset = ");
330 fprintf(F, "%s", get_ia32_am_offs(n));
338 fprintf(F, "AM scale = %d\n", get_ia32_am_scale(n));
341 fprintf(F, "pn_code = %d\n", get_ia32_pncode(n));
344 fprintf(F, "n_res = %d\n", get_ia32_n_res(n));
347 fprintf(F, "flags =");
348 if (attr->flags == arch_irn_flags_none) {
352 if (attr->flags & arch_irn_flags_dont_spill) {
353 fprintf(F, " unspillable");
355 if (attr->flags & arch_irn_flags_rematerializable) {
356 fprintf(F, " remat");
358 if (attr->flags & arch_irn_flags_ignore) {
359 fprintf(F, " ignore");
362 fprintf(F, " (%d)\n", attr->flags);
364 fprintf(F, "=== IA32 attr end ===\n");
365 /* end of: case dump_node_info_txt */
374 /***************************************************************************************************
376 * | | | | | | / / | | | | | | | |
377 * __ _| |_| |_ _ __ ___ ___| |_ / /_ _ ___| |_ _ __ ___ ___| |_| |__ ___ __| |___
378 * / _` | __| __| '__| / __|/ _ \ __| / / _` |/ _ \ __| | '_ ` _ \ / _ \ __| '_ \ / _ \ / _` / __|
379 * | (_| | |_| |_| | \__ \ __/ |_ / / (_| | __/ |_ | | | | | | __/ |_| | | | (_) | (_| \__ \
380 * \__,_|\__|\__|_| |___/\___|\__/_/ \__, |\___|\__| |_| |_| |_|\___|\__|_| |_|\___/ \__,_|___/
383 ***************************************************************************************************/
385 static char *copy_str(char *dst, const char *src) {
386 dst = xcalloc(1, strlen(src) + 1);
387 strncpy(dst, src, strlen(src) + 1);
391 static char *set_cnst_from_tv(char *cnst, tarval *tv) {
396 cnst = xcalloc(1, 64);
397 assert(tarval_snprintf(cnst, 63, tv));
402 * Wraps get_irn_generic_attr() as it takes no const ir_node, so we need to do a cast.
403 * Firm was made by people hating const :-(
405 ia32_attr_t *get_ia32_attr(const ir_node *node) {
406 assert(is_ia32_irn(node) && "need ia32 node to get ia32 attributes");
407 return (ia32_attr_t *)get_irn_generic_attr((ir_node *)node);
411 * Gets the type of an ia32 node.
413 ia32_op_type_t get_ia32_op_type(const ir_node *node) {
414 ia32_attr_t *attr = get_ia32_attr(node);
419 * Sets the type of an ia32 node.
421 void set_ia32_op_type(ir_node *node, ia32_op_type_t tp) {
422 ia32_attr_t *attr = get_ia32_attr(node);
427 * Gets the supported addrmode of an ia32 node
429 ia32_am_type_t get_ia32_am_support(const ir_node *node) {
430 ia32_attr_t *attr = get_ia32_attr(node);
431 return attr->am_support;
435 * Sets the supported addrmode of an ia32 node
437 void set_ia32_am_support(ir_node *node, ia32_am_type_t am_tp) {
438 ia32_attr_t *attr = get_ia32_attr(node);
439 attr->am_support = am_tp;
443 * Gets the addrmode flavour of an ia32 node
445 ia32_am_flavour_t get_ia32_am_flavour(const ir_node *node) {
446 ia32_attr_t *attr = get_ia32_attr(node);
447 return attr->am_flavour;
451 * Sets the addrmode flavour of an ia32 node
453 void set_ia32_am_flavour(ir_node *node, ia32_am_flavour_t am_flavour) {
454 ia32_attr_t *attr = get_ia32_attr(node);
455 attr->am_flavour = am_flavour;
459 * Joins all offsets to one string with adds.
461 char *get_ia32_am_offs(const ir_node *node) {
462 ia32_attr_t *attr = get_ia32_attr(node);
466 if (! attr->am_offs) {
470 size = obstack_object_size(attr->am_offs);
472 res = xcalloc(1, size + 2);
473 res[0] = attr->offs_sign;
474 memcpy(&res[1], obstack_base(attr->am_offs), size);
477 res[size + 1] = '\0';
482 * Add an offset for addrmode.
484 static void extend_ia32_am_offs(ir_node *node, char *offset, char op) {
485 ia32_attr_t *attr = get_ia32_attr(node);
490 /* offset could already have an explicit sign */
491 /* -> supersede op if necessary */
492 if (offset[0] == '-' || offset[0] == '+') {
497 if (!attr->am_offs) {
498 /* obstack is not initialized */
499 attr->am_offs = xcalloc(1, sizeof(*(attr->am_offs)));
500 obstack_init(attr->am_offs);
501 attr->offs_sign = op;
504 /* If obstack is initialized, connect the new offset with op */
505 obstack_printf(attr->am_offs, "%c", op);
508 obstack_printf(attr->am_offs, "%s", offset);
512 * Add an offset for addrmode.
514 void add_ia32_am_offs(ir_node *node, char *offset) {
515 extend_ia32_am_offs(node, offset, '+');
519 * Sub an offset for addrmode.
521 void sub_ia32_am_offs(ir_node *node, char *offset) {
522 extend_ia32_am_offs(node, offset, '-');
526 * Gets the addr mode const.
528 int get_ia32_am_scale(const ir_node *node) {
529 ia32_attr_t *attr = get_ia32_attr(node);
530 return attr->am_scale;
534 * Sets the index register scale for addrmode.
536 void set_ia32_am_scale(ir_node *node, int scale) {
537 ia32_attr_t *attr = get_ia32_attr(node);
538 attr->am_scale = scale;
542 * Return the tarval of an immediate operation or NULL in case of SymConst
544 tarval *get_ia32_Immop_tarval(const ir_node *node) {
545 ia32_attr_t *attr = get_ia32_attr(node);
550 * Sets the attributes of an immediate operation to the specified tarval
552 void set_ia32_Immop_tarval(ir_node *node, tarval *tv) {
553 ia32_attr_t *attr = get_ia32_attr(node);
555 attr->cnst = set_cnst_from_tv(attr->cnst, attr->tv);
559 * Return the sc attribute.
561 char *get_ia32_sc(const ir_node *node) {
562 ia32_attr_t *attr = get_ia32_attr(node);
567 * Sets the sc attribute.
569 void set_ia32_sc(ir_node *node, char *sc) {
570 ia32_attr_t *attr = get_ia32_attr(node);
571 attr->sc = copy_str(attr->sc, sc);
576 attr->cnst = attr->sc;
580 * Gets the string representation of the internal const (tv or symconst)
582 char *get_ia32_cnst(const ir_node *node) {
583 ia32_attr_t *attr = get_ia32_attr(node);
588 * Gets the mode of the stored/loaded value (only set for Store/Load)
590 ir_mode *get_ia32_ls_mode(const ir_node *node) {
591 ia32_attr_t *attr = get_ia32_attr(node);
592 return attr->ls_mode;
596 * Sets the mode of the stored/loaded value (only set for Store/Load)
598 void set_ia32_ls_mode(ir_node *node, ir_mode *mode) {
599 ia32_attr_t *attr = get_ia32_attr(node);
600 attr->ls_mode = mode;
604 * Returns the argument register requirements of an ia32 node.
606 const ia32_register_req_t **get_ia32_in_req_all(const ir_node *node) {
607 ia32_attr_t *attr = get_ia32_attr(node);
612 * Returns the result register requirements of an ia32 node.
614 const ia32_register_req_t **get_ia32_out_req_all(const ir_node *node) {
615 ia32_attr_t *attr = get_ia32_attr(node);
616 return attr->out_req;
620 * Returns the argument register requirement at position pos of an ia32 node.
622 const ia32_register_req_t *get_ia32_in_req(const ir_node *node, int pos) {
623 ia32_attr_t *attr = get_ia32_attr(node);
624 return attr->in_req[pos];
628 * Returns the result register requirement at position pos of an ia32 node.
630 const ia32_register_req_t *get_ia32_out_req(const ir_node *node, int pos) {
631 ia32_attr_t *attr = get_ia32_attr(node);
632 return attr->out_req[pos];
636 * Sets the OUT register requirements at position pos.
638 void set_ia32_req_out(ir_node *node, const ia32_register_req_t *req, int pos) {
639 ia32_attr_t *attr = get_ia32_attr(node);
640 attr->out_req[pos] = req;
644 * Sets the IN register requirements at position pos.
646 void set_ia32_req_in(ir_node *node, const ia32_register_req_t *req, int pos) {
647 ia32_attr_t *attr = get_ia32_attr(node);
648 attr->in_req[pos] = req;
652 * Returns the register flag of an ia32 node.
654 arch_irn_flags_t get_ia32_flags(const ir_node *node) {
655 ia32_attr_t *attr = get_ia32_attr(node);
660 * Sets the register flag of an ia32 node.
662 void set_ia32_flags(const ir_node *node, arch_irn_flags_t flags) {
663 ia32_attr_t *attr = get_ia32_attr(node);
668 * Returns the result register slots of an ia32 node.
670 const arch_register_t **get_ia32_slots(const ir_node *node) {
671 ia32_attr_t *attr = get_ia32_attr(node);
676 * Returns the name of the OUT register at position pos.
678 const char *get_ia32_out_reg_name(const ir_node *node, int pos) {
679 ia32_attr_t *attr = get_ia32_attr(node);
681 assert(is_ia32_irn(node) && "Not an ia32 node.");
682 assert(pos < attr->n_res && "Invalid OUT position.");
683 assert(attr->slots[pos] && "No register assigned");
685 return arch_register_get_name(attr->slots[pos]);
689 * Returns the index of the OUT register at position pos within its register class.
691 int get_ia32_out_regnr(const ir_node *node, int pos) {
692 ia32_attr_t *attr = get_ia32_attr(node);
694 assert(is_ia32_irn(node) && "Not an ia32 node.");
695 assert(pos < attr->n_res && "Invalid OUT position.");
696 assert(attr->slots[pos] && "No register assigned");
698 return arch_register_get_index(attr->slots[pos]);
702 * Returns the OUT register at position pos.
704 const arch_register_t *get_ia32_out_reg(const ir_node *node, int pos) {
705 ia32_attr_t *attr = get_ia32_attr(node);
707 assert(is_ia32_irn(node) && "Not an ia32 node.");
708 assert(pos < attr->n_res && "Invalid OUT position.");
709 assert(attr->slots[pos] && "No register assigned");
711 return attr->slots[pos];
715 * Sets the number of results.
717 void set_ia32_n_res(ir_node *node, int n_res) {
718 ia32_attr_t *attr = get_ia32_attr(node);
723 * Returns the number of results.
725 int get_ia32_n_res(const ir_node *node) {
726 ia32_attr_t *attr = get_ia32_attr(node);
731 * Returns the flavour of an ia32 node,
733 ia32_op_flavour_t get_ia32_flavour(const ir_node *node) {
734 ia32_attr_t *attr = get_ia32_attr(node);
735 return attr->op_flav;
739 * Sets the flavour of an ia32 node to flavour_Div/Mod/DivMod/Mul/Mulh.
741 void set_ia32_flavour(ir_node *node, ia32_op_flavour_t op_flav) {
742 ia32_attr_t *attr = get_ia32_attr(node);
743 attr->op_flav = op_flav;
747 * Returns the projnum code.
749 long get_ia32_pncode(const ir_node *node) {
750 ia32_attr_t *attr = get_ia32_attr(node);
751 return attr->pn_code;
755 * Sets the projnum code
757 void set_ia32_pncode(ir_node *node, long code) {
758 ia32_attr_t *attr = get_ia32_attr(node);
759 attr->pn_code = code;
763 /******************************************************************************************************
765 * (_) | | | | | | / _| | | (_)
766 * ___ _ __ ___ ___ _ __ _| | __ _| |_| |_ _ __ | |_ _ _ _ __ ___| |_ _ ___ _ __ ___
767 * / __| '_ \ / _ \/ __| |/ _` | | / _` | __| __| '__| | _| | | | '_ \ / __| __| |/ _ \| '_ \ / __|
768 * \__ \ |_) | __/ (__| | (_| | | | (_| | |_| |_| | | | | |_| | | | | (__| |_| | (_) | | | | \__ \
769 * |___/ .__/ \___|\___|_|\__,_|_| \__,_|\__|\__|_| |_| \__,_|_| |_|\___|\__|_|\___/|_| |_| |___/
772 ******************************************************************************************************/
775 * Gets the type of an ia32_Const.
777 unsigned get_ia32_Const_type(ir_node *node) {
778 ia32_attr_t *attr = get_ia32_attr(node);
780 assert((is_ia32_Const(node) || is_ia32_fConst(node)) && "Need ia32_Const to get type");
786 * Sets the type of an ia32_Const.
788 void set_ia32_Const_type(ir_node *node, int type) {
789 ia32_attr_t *attr = get_ia32_attr(node);
791 assert((is_ia32_Const(node) || is_ia32_fConst(node)) && "Need ia32_Const to set type");
792 assert((type == ia32_Const || type == ia32_SymConst) && "Unsupported ia32_Const type");
798 * Copy the attributes from an ia32_Const to an Immop (Add_i, Sub_i, ...) node
800 void set_ia32_Immop_attr(ir_node *node, ir_node *cnst) {
801 ia32_attr_t *na = get_ia32_attr(node);
802 ia32_attr_t *ca = get_ia32_attr(cnst);
804 assert((is_ia32_Const(cnst) || is_ia32_fConst(cnst)) && "Need ia32_Const to set Immop attr");
809 na->sc = copy_str(na->sc, ca->sc);
812 na->cnst = set_cnst_from_tv(na->cnst, na->tv);
818 * Copy the attributes from a Const to an ia32_Const
820 void set_ia32_Const_attr(ir_node *ia32_cnst, ir_node *cnst) {
821 ia32_attr_t *attr = get_ia32_attr(ia32_cnst);
823 assert((is_ia32_Const(ia32_cnst) || is_ia32_fConst(ia32_cnst)) && "Need ia32_Const to set Const attr");
825 switch (get_irn_opcode(cnst)) {
827 attr->tp = ia32_Const;
828 attr->tv = get_Const_tarval(cnst);
829 attr->cnst = set_cnst_from_tv(attr->cnst, attr->tv);
832 attr->tp = ia32_SymConst;
834 attr->sc = copy_str(attr->sc, get_sc_name(cnst));
835 attr->cnst = attr->sc;
838 assert(0 && "Unknown Const NYI");
841 assert(0 && "Cannot create ia32_Const for this opcode");
846 * Sets the AddrMode(S|D) attribute
848 void set_ia32_AddrMode(ir_node *node, char direction) {
849 ia32_attr_t *attr = get_ia32_attr(node);
853 attr->tp = ia32_AddrModeD;
856 attr->tp = ia32_AddrModeS;
859 assert(0 && "wrong AM type");
864 * Returns whether or not the node is an AddrModeS node.
866 int is_ia32_AddrModeS(ir_node *node) {
867 ia32_attr_t *attr = get_ia32_attr(node);
868 return (attr->tp == ia32_AddrModeS);
872 * Returns whether or not the node is an AddrModeD node.
874 int is_ia32_AddrModeD(ir_node *node) {
875 ia32_attr_t *attr = get_ia32_attr(node);
876 return (attr->tp == ia32_AddrModeD);
881 /***************************************************************************************
884 * _ __ ___ __| | ___ ___ ___ _ __ ___| |_ _ __ _ _ ___| |_ ___ _ __ ___
885 * | '_ \ / _ \ / _` |/ _ \ / __/ _ \| '_ \/ __| __| '__| | | |/ __| __/ _ \| '__/ __|
886 * | | | | (_) | (_| | __/ | (_| (_) | | | \__ \ |_| | | |_| | (__| || (_) | | \__ \
887 * |_| |_|\___/ \__,_|\___| \___\___/|_| |_|___/\__|_| \__,_|\___|\__\___/|_| |___/
889 ***************************************************************************************/
891 /* Include the generated constructor functions */
892 #include "gen_ia32_new_nodes.c.inl"