nsz Git - libfirm/blob - scripts/gen_ir.py

   1 #!/usr/bin/env python
   2 import sys
   3 from jinja2 import Environment, Template
   4 from spec_util import is_dynamic_pinned, isAbstract, setdefault, load_spec
   5 from filters import format_arguments, filter_isnot, filter_hasnot, filter_notset
   6
   7 def format_parameterlist(parameterlist):
   8         return "\n".join(parameterlist)
   9
  10 def format_nodearguments(node):
  11         arguments = map(lambda arg: arg["name"], node.arguments)
  12         return format_parameterlist(arguments)
  13
  14 def format_nodeparameters(node):
  15         parameters = map(lambda arg: arg["type"] + " " + arg["name"], node.arguments)
  16         return format_parameterlist(parameters)
  17
  18 def format_nodeparametershelp(node):
  19         res = ""
  20         for param in node.arguments:
  21                 res += " * @param %-9s %s\n" % (param["name"], param["comment"])
  22         return res
  23
  24 def format_a_an(text):
  25         if text[0] in "aAeEuUoOiI":
  26                 return "an " + text
  27         return "a " + text
  28
  29 def format_blockparameter(node):
  30         if hasattr(node, "knownBlock"):
  31                 if hasattr(node, "knownGraph"):
  32                         return ""
  33                 return "ir_graph *irg"
  34         else:
  35                 return "ir_node *block"
  36
  37 def format_blockparameterhelp(node):
  38         if hasattr(node, "knownBlock"):
  39                 if hasattr(node, "knownGraph"):
  40                         return ""
  41                 return " * @param irg       The IR graph the node belongs to.\n"
  42         else:
  43                 return " * @param block     The IR block the node belongs to.\n"
  44
  45 def format_blockargument(node):
  46         if hasattr(node, "knownBlock"):
  47                 if hasattr(node, "knownGraph"):
  48                         return ""
  49                 return "irg"
  50         else:
  51                 return "block"
  52
  53 def format_irgassign(node):
  54         if hasattr(node, "knownGraph"):
  55                 return "ir_graph *irg = %s;\n" % node.graph
  56
  57         if hasattr(node, "knownBlock"):
  58                 return ""
  59         else:
  60                 return "ir_graph *irg = get_irn_irg(block);\n"
  61
  62 def format_curblock(node):
  63         if hasattr(node, "knownBlock"):
  64                 if hasattr(node, "knownGraph"):
  65                         return ""
  66                 return "current_ir_graph"
  67         else:
  68                 return "current_ir_graph->current_block"
  69
  70 def format_insdecl(node):
  71         arity = node.arity
  72         if arity == "variable" and len(node.ins) == 0 or arity == "dynamic" or arity == 0:
  73                 return ""
  74
  75         if arity == "variable":
  76                 insarity = len(node.ins)
  77                 res  = "int r_arity = arity + " + `insarity` + ";"
  78                 res += "\n\tir_node **r_in;"
  79                 res += "\n\tNEW_ARR_A(ir_node *, r_in, r_arity);"
  80                 i = 0
  81                 for input in node.ins:
  82                         res += "\n\tr_in[" + `i` + "] = irn_" + input[0] + ";"
  83                         i += 1
  84                 res += "\n\tmemcpy(&r_in[" + `insarity` + "], in, sizeof(ir_node *) * arity);\n\t"
  85         else:
  86                 res = "ir_node *in[" + `arity` + "];"
  87                 i = 0
  88                 for input in node.ins:
  89                         res += "\n\tin[" + `i` + "] = irn_" + input[0] + ";"
  90                         i += 1
  91         return res
  92
  93 def format_arity_and_ins(node):
  94         arity = node.arity
  95         if arity == "dynamic":
  96                 return "-1, NULL"
  97         elif arity == "variable":
  98                 if len(node.ins) == 0:
  99                         return "arity, in"
 100                 else:
 101                         return "r_arity, r_in"
 102         elif arity == 0:
 103                 return "0, NULL"
 104         else:
 105                 return `arity` + ", in"
 106
 107 def format_arity(node):
 108         if hasattr(node, "arity_override"):
 109                 return node.arity_override
 110         arity = node.arity
 111         if arity == "dynamic":
 112                 return "oparity_dynamic"
 113         if arity == "variable":
 114                 return "oparity_variable"
 115         if arity == 0:
 116                 return "oparity_zero"
 117         if arity == 1:
 118                 return "oparity_unary"
 119         if arity == 2:
 120                 return "oparity_binary"
 121         if arity == 3:
 122                 return "oparity_trinary"
 123         return "oparity_any"
 124
 125 def format_pinned(node):
 126         pinned = node.pinned
 127         if pinned == "yes":
 128                 return "op_pin_state_pinned"
 129         if pinned == "no":
 130                 return "op_pin_state_floats"
 131         if pinned == "exception":
 132                 return "op_pin_state_exc_pinned"
 133         if pinned == "memory":
 134                 return "op_pin_state_mem_pinned"
 135         print "WARNING: Unknown pinned state %s in format pined" % pinned
 136         return ""
 137
 138 def format_flags(node):
 139         flags = map(lambda x : "irop_flag_" + x, node.flags)
 140         if flags == []:
 141                 flags = [ "irop_flag_none" ]
 142         return " | ".join(flags)
 143
 144 def format_attr_size(node):
 145         if not hasattr(node, "attr_struct"):
 146                 return "0"
 147         return "sizeof(%s)" % node.attr_struct
 148
 149 def format_opindex(node):
 150         if hasattr(node, "op_index"):
 151                 return node.op_index
 152         return "-1"
 153
 154 keywords = frozenset([ "true", "false" ])
 155 def format_escape_keywords(word):
 156         if word in keywords:
 157                 return word + "_"
 158         return word
 159
 160 def format_parameters(string):
 161         return format_arguments(string, voidwhenempty = True)
 162
 163 env = Environment()
 164 env.filters['a_an']            = format_a_an
 165 env.filters['parameterlist']   = format_parameterlist
 166 env.filters['nodearguments']   = format_nodearguments
 167 env.filters['nodeparameters']  = format_nodeparameters
 168 env.filters['nodeparametershelp'] = format_nodeparametershelp
 169 env.filters['blockparameter']  = format_blockparameter
 170 env.filters['blockparameterhelp'] = format_blockparameterhelp
 171 env.filters['blockargument']   = format_blockargument
 172 env.filters['irgassign']       = format_irgassign
 173 env.filters['curblock']        = format_curblock
 174 env.filters['insdecl']         = format_insdecl
 175 env.filters['arity_and_ins']   = format_arity_and_ins
 176 env.filters['arity']           = format_arity
 177 env.filters['pinned']          = format_pinned
 178 env.filters['flags']           = format_flags
 179 env.filters['attr_size']       = format_attr_size
 180 env.filters['opindex']         = format_opindex
 181 env.filters['isnot']           = filter_isnot
 182 env.filters['hasnot']          = filter_hasnot
 183 env.filters['arguments']       = format_arguments
 184 env.filters['parameters']      = format_parameters
 185 env.filters['escape_keywords'] = format_escape_keywords
 186
 187 def prepare_attr(attr):
 188         if "init" in attr:
 189                 return dict(
 190                         type = attr["type"],
 191                         name = attr["name"],
 192                         init = attr["init"],
 193                         comment = attr["comment"])
 194         else:
 195                 return dict(
 196                         type = attr["type"],
 197                         name = attr["name"],
 198                         comment = attr["comment"])
 199
 200 def preprocess_node(node):
 201         setdefault(node, "attrs_name", node.name.lower())
 202         setdefault(node, "block", "block")
 203
 204         # construct node arguments
 205         arguments = [ ]
 206         initattrs = [ ]
 207         for input in node.ins:
 208                 arguments.append(dict(
 209                                 type    = "ir_node *",
 210                                 name    = "irn_" + input[0],
 211                                 comment = input[1]))
 212
 213         if node.arity == "variable" or node.arity == "dynamic":
 214                 arguments.append(dict(
 215                                 type    = "int",
 216                                 name    = "arity",
 217                                 comment = "size of additional inputs array"))
 218                 arguments.append(dict(
 219                                 type    = "ir_node *const *",
 220                                 name    = "in",
 221                                 comment = "additional inputs"))
 222
 223         if not hasattr(node, "mode"):
 224                 arguments.append(dict(
 225                                 type    = "ir_mode *",
 226                                 name    = "mode",
 227                                 comment = "mode of the operations result"))
 228                 node.mode = "mode"
 229
 230         for attr in node.attrs:
 231                 attr["fqname"] = "." + attr["name"]
 232                 if "init" in attr:
 233                         continue
 234                 arguments.append(attr)
 235
 236         # dynamic pin state means more constructor arguments
 237         if is_dynamic_pinned(node):
 238                 if hasattr(node, "pinned_init"):
 239                         initattrs.append(dict(
 240                                 fqname = ".exc.pin_state",
 241                                 init   = node.pinned_init
 242                         ))
 243                 else:
 244                         node.constructor_args.append(
 245                                 dict(
 246                                         name    = "pin_state",
 247                                         type    = "op_pin_state",
 248                                         comment = "pinned state",
 249                                 )
 250                         )
 251                         initattrs.append(dict(
 252                                 fqname = ".exc.pin_state",
 253                                 init   = "pin_state"
 254                         ))
 255         if hasattr(node, "throws_init"):
 256                 initattrs.append(dict(
 257                         fqname = ".exc.throws_exception",
 258                         init   = node.throws_init
 259                 ))
 260
 261         for arg in node.constructor_args:
 262                 arguments.append(prepare_attr(arg))
 263
 264         node.arguments = arguments
 265         node.initattrs = initattrs
 266
 267 #############################
 268
 269 gen_ircons_c_inl_template = env.from_string(
 270 '''/* Warning: automatically generated code */
 271
 272 {%- for node in nodes %}
 273 {%- if not node.noconstructor %}
 274 ir_node *new_rd_{{node.name}}(
 275         {%- filter parameters %}
 276                 dbg_info *dbgi
 277                 {{node|blockparameter}}
 278                 {{node|nodeparameters}}
 279         {% endfilter %})
 280 {
 281         {{node|irgassign}}
 282         {{node|insdecl}}
 283
 284         ir_node *res = new_ir_node(
 285                 {%- filter arguments %}
 286                         dbgi
 287                         irg
 288                         {{node.block}}
 289                         op_{{node.name}}
 290                         {{node.mode}}
 291                         {{node|arity_and_ins}}
 292                 {% endfilter %});
 293         {%- if node.arity == "dynamic" %}
 294         for (int i = 0; i < arity; ++i) {
 295                 add_irn_n(res, in[i]);
 296         }
 297         {%- endif %}
 298         {%- for attr in node.attrs %}
 299         res->attr.{{node.attrs_name}}{{attr["fqname"]}} =
 300                 {%- if "init" in attr %} {{ attr["init"] -}};
 301                 {%- else              %} {{ attr["name"] -}};
 302                 {%- endif %}
 303         {%- endfor %}
 304         {%- for attr in node.initattrs %}
 305         res->attr.{{node.attrs_name}}{{attr["fqname"]}} = {{ attr["init"] -}};
 306         {%- endfor %}
 307         {{- node.init }}
 308         irn_verify_irg(res, irg);
 309         res = optimize_node(res);
 310         {{- node.init_after_opt }}
 311         return res;
 312 }
 313
 314 ir_node *new_r_{{node.name}}(
 315                 {%- filter parameters %}
 316                         {{node|blockparameter}}
 317                         {{node|nodeparameters}}
 318                 {% endfilter %})
 319 {
 320         return new_rd_{{node.name}}(
 321                 {%- filter arguments %}
 322                         NULL
 323                         {{node|blockargument}}
 324                         {{node|nodearguments}}
 325                 {% endfilter %});
 326 }
 327
 328 ir_node *new_d_{{node.name}}(
 329                 {%- filter parameters %}
 330                         dbg_info *dbgi
 331                         {{node|nodeparameters}}
 332                 {% endfilter %})
 333 {
 334         assert(irg_is_constrained(current_ir_graph, IR_GRAPH_CONSTRAINT_CONSTRUCTION));
 335         ir_node *res = new_rd_{{node.name}}(
 336                 {%- filter parameters %}
 337                         dbgi
 338                         {{node|curblock}}
 339                         {{node|nodearguments}}
 340                 {% endfilter %});
 341         return res;
 342 }
 343
 344 ir_node *new_{{node.name}}(
 345                 {%- filter parameters %}
 346                         {{node|nodeparameters}}
 347                 {% endfilter %})
 348 {
 349         return new_d_{{node.name}}(
 350                 {%- filter arguments %}
 351                         NULL
 352                         {{node|nodearguments}}
 353                 {% endfilter %});
 354 }
 355 {% endif %}
 356 {%- endfor %}
 357 ''')
 358
 359 irnode_h_template = env.from_string(
 360 '''/* Warning: automatically generated code */
 361
 362 {% for node in nodes %}
 363 #define is_{{node.name}}(node) is_{{node.name}}_(node)
 364 {%- for attr in node.attrs|hasnot("noprop") %}
 365 #define get_{{node.name}}_{{attr.name}}(node) get_{{node.name}}_{{attr.name}}_(node)
 366 #define set_{{node.name}}_{{attr.name}}(node, {{attr.name}}) set_{{node.name}}_{{attr.name}}_(node, {{attr.name}})
 367 {%- endfor -%}
 368 {%- for input in node.ins %}
 369 #define get_{{node.name}}_{{input[0]}}(node) get_{{node.name}}_{{input[0]}}_(node)
 370 #define set_{{node.name}}_{{input[0]}}(node, {{input[0]|escape_keywords}}) set_{{node.name}}_{{input[0]}}_(node, {{input[0]|escape_keywords}})
 371 {%- endfor -%}
 372 {%- if node.input_name %}
 373 #define get_{{node.name}}_n_{{node.input_name}}s(node) get_{{node.name}}_n_{{node.input_name}}s_(node)
 374 #define get_{{node.name}}_{{node.input_name}}(node, pos) get_{{node.name}}_{{node.input_name}}_(node, pos)
 375 #define set_{{node.name}}_{{node.input_name}}(node, pos, {{node.input_name}}) set_{{node.name}}_{{node.input_name}}_(node, pos, {{node.input_name}})
 376 #define get_{{node.name}}_{{node.input_name}}_arr(node) get_{{node.name}}_{{node.input_name}}_arr_(node)
 377 {%- endif %}
 378 {% endfor %}
 379
 380 {%- for node in nodes %}
 381 static inline int is_{{node.name}}_(const ir_node *node)
 382 {
 383         return get_irn_op(node) == op_{{node.name}};
 384 }
 385 {%  for attr in node.attrs|hasnot("noprop") %}
 386 static inline {{attr.type}} get_{{node.name}}_{{attr.name}}_(const ir_node *node)
 387 {
 388         assert(is_{{node.name}}(node));
 389         return node->attr.{{node.attrs_name}}.{{attr.name}};
 390 }
 391
 392 static inline void set_{{node.name}}_{{attr.name}}_(ir_node *node, {{attr.type}} {{attr.name}})
 393 {
 394         assert(is_{{node.name}}(node));
 395         node->attr.{{node.attrs_name}}.{{attr.name}} = {{attr.name}};
 396 }
 397 {% endfor -%}
 398
 399 {%- for input in node.ins %}
 400 static inline ir_node *get_{{node.name}}_{{input[0]}}_(const ir_node *node)
 401 {
 402         assert(is_{{node.name}}(node));
 403         return get_irn_n(node, n_{{node.name}}_{{input[0]}});
 404 }
 405
 406 static inline void set_{{node.name}}_{{input[0]}}_(ir_node *node, ir_node *{{input[0]|escape_keywords}})
 407 {
 408         assert(is_{{node.name}}(node));
 409         set_irn_n(node, n_{{node.name}}_{{input[0]}}, {{input[0]|escape_keywords}});
 410 }
 411 {% endfor %}
 412
 413 {%- if node.input_name %}
 414 static inline int get_{{node.name}}_n_{{node.input_name}}s_(ir_node const *node)
 415 {
 416         assert(is_{{node.name}}(node));
 417         return get_irn_arity(node){% if node.ins %} - (n_{{node.name}}_max + 1){% endif %};
 418 }
 419
 420 static inline ir_node *get_{{node.name}}_{{node.input_name}}_(ir_node const *node, int pos)
 421 {
 422         assert(0 <= pos && pos < get_{{node.name}}_n_{{node.input_name}}s(node));
 423         return get_irn_n(node, pos{% if node.ins %} + (n_{{node.name}}_max + 1){% endif %});
 424 }
 425
 426 static inline void set_{{node.name}}_{{node.input_name}}_(ir_node *node, int pos, ir_node *{{node.input_name}})
 427 {
 428         assert(0 <= pos && pos < get_{{node.name}}_n_{{node.input_name}}s(node));
 429         set_irn_n(node, pos{% if node.ins %} + (n_{{node.name}}_max + 1){% endif %}, {{node.input_name}});
 430 }
 431
 432 static inline ir_node **get_{{node.name}}_{{node.input_name}}_arr_(ir_node *node)
 433 {
 434         assert(is_{{node.name}}(node));
 435         return get_irn_in(node) + 1{% if node.ins %}+ (n_{{node.name}}_max + 1){% endif %};
 436 }
 437 {% endif -%}
 438 {% endfor -%}
 439 ''')
 440
 441 irnode_template = env.from_string(
 442 '''/* Warning: automatically generated code */
 443 {% for node in nodes %}
 444 int (is_{{node.name}})(const ir_node *node)
 445 {
 446         return is_{{node.name}}_(node);
 447 }
 448 {%  for attr in node.attrs|hasnot("noprop") %}
 449 {{attr.type}} (get_{{node.name}}_{{attr.name}})(const ir_node *node)
 450 {
 451         return get_{{node.name}}_{{attr.name}}_(node);
 452 }
 453
 454 void (set_{{node.name}}_{{attr.name}})(ir_node *node, {{attr.type}} {{attr.name}})
 455 {
 456         set_{{node.name}}_{{attr.name}}_(node, {{attr.name}});
 457 }
 458 {% endfor -%}
 459 {%- for input in node.ins %}
 460 ir_node *(get_{{node.name}}_{{input[0]}})(const ir_node *node)
 461 {
 462         return get_{{node.name}}_{{input[0]}}(node);
 463 }
 464
 465 void (set_{{node.name}}_{{input[0]}})(ir_node *node, ir_node *{{input[0]|escape_keywords}})
 466 {
 467         set_{{node.name}}_{{input[0]}}_(node, {{input[0]|escape_keywords}});
 468 }
 469 {% endfor %}
 470
 471 {%- if node.input_name %}
 472 int (get_{{node.name}}_n_{{node.input_name}}s)(ir_node const *node)
 473 {
 474         return get_{{node.name}}_n_{{node.input_name}}s_(node);
 475 }
 476
 477 ir_node *(get_{{node.name}}_{{node.input_name}})(ir_node const *node, int pos)
 478 {
 479         return get_{{node.name}}_{{node.input_name}}_(node, pos);
 480 }
 481
 482 void (set_{{node.name}}_{{node.input_name}})(ir_node *node, int pos, ir_node *{{node.input_name}})
 483 {
 484         set_{{node.name}}_{{node.input_name}}_(node, pos, {{node.input_name}});
 485 }
 486
 487 ir_node **(get_{{node.name}}_{{node.input_name}}_arr)(ir_node *node)
 488 {
 489         return get_{{node.name}}_{{node.input_name}}_arr_(node);
 490 }
 491 {% endif -%}
 492 {% endfor %}
 493 ''')
 494
 495 irdump_template = env.from_string(
 496 '''/* Warning: automatically generated code */
 497 {% for node in nodes %}
 498 {%- if node.outs %}
 499 static const pns_lookup_t {{node.name}}_lut[] = {
 500         {%- for out in node.outs %}
 501         { pn_{{node.name}}_{{out[0]}}, "{{out[0]}}" },
 502         {%- endfor %}
 503 };
 504 {% endif -%}
 505 {%- endfor %}
 506
 507 static const proj_lookup_t proj_lut[] = {
 508         {%- for node in nodes -%}
 509         {%- if node.outs %}
 510         { {{spec.name}}o_{{node.name}}, ARRAY_SIZE({{node.name}}_lut), {{node.name}}_lut },
 511         {%- endif %}
 512         {%- endfor %}
 513 };
 514
 515 ''')
 516
 517 irop_template = env.from_string(
 518 '''/* Warning: automatically generated code */
 519 {% for node in nodes %}
 520 ir_op *op_{{node.name}}; ir_op *get_op_{{node.name}}(void) { return op_{{node.name}}; }
 521 {%- endfor %}
 522
 523 static void generated_init_op(void)
 524 {
 525         {%- for node in nodes %}
 526         op_{{node.name}} = new_ir_op(
 527                 {%- filter arguments %}
 528                         {{spec.name}}o_{{node.name}}
 529                         "{{node.name}}"
 530                         {{node|pinned}}
 531                         {{node|flags}}
 532                         {{node|arity}}
 533                         {{node|opindex}}
 534                         {{node|attr_size}}
 535                 {% endfilter %});
 536         {%- if "uses_memory" in node.flags: %}
 537         ir_op_set_memory_index(op_{{node.name}}, n_{{node.name}}_mem);
 538         {%- endif -%}
 539         {%- if "fragile" in node.flags: %}
 540         ir_op_set_fragile_indices(op_{{node.name}}, pn_{{node.name}}_X_regular, pn_{{node.name}}_X_except);
 541         {%- endif -%}
 542         {%- endfor %}
 543 }
 544
 545 static void generated_finish_op(void)
 546 {
 547         {%- for node in nodes %}
 548         free_ir_op(op_{{node.name}}); op_{{node.name}} = NULL;
 549         {%- endfor %}
 550 }
 551
 552 ''')
 553
 554 nodeops_h_template = env.from_string(
 555 '''/* Warning: automatically generated code */
 556 #ifndef FIRM_IR_NODEOPS_H
 557 #define FIRM_IR_NODEOPS_H
 558
 559 #include "firm_types.h"
 560
 561 #include "begin.h"
 562
 563 /**
 564  * @addtogroup ir_node
 565  * @{
 566  */
 567
 568 {% for node in nodes -%}
 569
 570 /**
 571  * @defgroup {{node.name}} {{node.name}} node
 572  *
 573  * {{node.doc}}
 574  * @{
 575  */
 576 {% if node.ins %}
 577 /**
 578  * Input numbers for {{node.name}} node
 579  */
 580 typedef enum {
 581         {%- for input in node.ins %}
 582         n_{{node.name}}_{{input[0]}},
 583         {%- endfor %}
 584         n_{{node.name}}_max = n_{{node.name}}_{{node.ins[-1][0]}}
 585 } n_{{node.name}};
 586 {% endif -%}
 587 {% if node.outs %}
 588 /**
 589  * Projection numbers for result of {{node.name}} node (use for Proj nodes)
 590  */
 591 typedef enum {
 592         {% for out in node.outs -%}
 593         pn_{{node.name}}_{{out[0]}}
 594         {%- if out.__len__() > 2 %} = {{out[2]}}{% endif %}, /**< {{out[1]}} */
 595         {% endfor -%}
 596         pn_{{node.name}}_max = pn_{{node.name}}_{{node.outs[-1][0]}}
 597 } pn_{{node.name}};
 598 {% endif %}
 599 {%- if not node.noconstructor %}
 600 /**
 601  * Construct {{node.name|a_an}} node.
 602  *
 603  * @param dbgi      A pointer to debug information.
 604 {{ node|blockparameterhelp -}}
 605 {{ node|nodeparametershelp -}}
 606  */
 607 FIRM_API ir_node *new_rd_{{node.name}}(
 608         {%- filter parameters %}
 609                 dbg_info *dbgi
 610                 {{node|blockparameter}}
 611                 {{node|nodeparameters}}
 612         {% endfilter %});
 613
 614 /**
 615  * Construct {{node.name|a_an}} node.
 616  *
 617 {{ node|blockparameterhelp -}}
 618 {{ node|nodeparametershelp -}}
 619  */
 620 FIRM_API ir_node *new_r_{{node.name}}(
 621         {%- filter parameters %}
 622                 {{node|blockparameter}}
 623                 {{node|nodeparameters}}
 624         {% endfilter %});
 625
 626 /**
 627  * Construct {{node.name|a_an}} node.
 628  *
 629  * @param dbgi      A pointer to debug information.
 630 {{ node|nodeparametershelp -}}
 631  */
 632 FIRM_API ir_node *new_d_{{node.name}}(
 633         {%- filter parameters %}
 634                 dbg_info *dbgi
 635                 {{node|nodeparameters}}
 636         {% endfilter %});
 637
 638 /**
 639  * Construct {{node.name|a_an}} node.
 640  *
 641 {{ node|nodeparametershelp -}}
 642  */
 643 FIRM_API ir_node *new_{{node.name}}(
 644         {%- filter parameters %}
 645                 {{node|nodeparameters}}
 646         {% endfilter %});
 647 {%- endif %}
 648
 649 /**
 650  * Test if node is a {{node.name}}
 651  * @returns 1 if the node is a {{node.name}} node, 0 otherwise
 652  */
 653 FIRM_API int is_{{node.name}}(const ir_node *node);
 654
 655 {% for input in node.ins -%}
 656 /** Returns {{input[0]}} input of {{node.name|a_an}} node. */
 657 FIRM_API ir_node *get_{{node.name}}_{{input[0]}}(const ir_node *node);
 658 /** Sets {{input[0]}} input of {{node.name|a_an}} node. */
 659 FIRM_API void set_{{node.name}}_{{input[0]}}(ir_node *node, ir_node *{{input[0]|escape_keywords}});
 660 {% endfor -%}
 661 {%- if node.input_name -%}
 662 /** Get the number of {{node.name}} {{node.input_name}}s. */
 663 FIRM_API int get_{{node.name}}_n_{{node.input_name}}s(ir_node const *node);
 664 /** Get the {{node.name}} {{node.input_name}} with index @p pos. */
 665 FIRM_API ir_node *get_{{node.name}}_{{node.input_name}}(ir_node const *node, int pos);
 666 /** Set the {{node.name}} {{node.input_name}} with index @p pos. */
 667 FIRM_API void set_{{node.name}}_{{node.input_name}}(ir_node *node, int pos, ir_node *{{node.input_name}});
 668 /** Get an array of all {{node.name}} {{node.input_name}}s. */
 669 ir_node **get_{{node.name}}_{{node.input_name}}_arr(ir_node *node);
 670 {% endif -%}
 671
 672 {%- for attr in node.attrs|hasnot("noprop") %}
 673 /** Returns {{attr.name}} attribute of {{node.name|a_an}} node. */
 674 FIRM_API {{attr.type}} get_{{node.name}}_{{attr.name}}(const ir_node *node);
 675 /** Sets {{attr.name}} attribute of {{node.name|a_an}} node. */
 676 FIRM_API void set_{{node.name}}_{{attr.name}}(ir_node *node, {{attr.type}} {{attr.name}});
 677 {% endfor -%}
 678 /** @} */
 679
 680 {% endfor -%}
 681
 682 /** @} */
 683
 684 #include "end.h"
 685
 686 #endif
 687
 688 ''')
 689
 690 opcodes_h_template = env.from_string(
 691 '''/* Warning: automatically generated code */
 692 #ifndef FIRM_IR_OPCODES_H
 693 #define FIRM_IR_OPCODES_H
 694
 695 /** The opcodes of the libFirm predefined operations.
 696  * @ingroup ir_op
 697  */
 698 typedef enum {{spec.name}}_opcode {
 699 {%- for node in nodes %}
 700         {{spec.name}}o_{{node.name}},
 701 {%- endfor %}
 702         {{spec.name}}o_First = {{spec.name}}o_{{nodes[0].name}},
 703         {{spec.name}}o_Last  = {{spec.name}}o_{{nodes[-1].name}},
 704
 705 {%- if spec.name == "ir" %}
 706         beo_First,
 707         /* backend specific nodes */
 708         beo_Spill = beo_First,
 709         beo_Reload,
 710         beo_Perm,
 711         beo_MemPerm,
 712         beo_Copy,
 713         beo_Keep,
 714         beo_CopyKeep,
 715         beo_Call,
 716         beo_Return,
 717         beo_AddSP,
 718         beo_SubSP,
 719         beo_IncSP,
 720         beo_Start,
 721         beo_FrameAddr,
 722         /* last backend node number */
 723         beo_Last = beo_FrameAddr,
 724 {%- endif %}
 725         {{spec.name}}o_MaxOpcode
 726 } {{spec.name}}_opcode;
 727
 728 {% for node in nodes %}
 729 /**
 730  * @ingroup {{node.name}}
 731  * {{node.name}} opcode
 732  */
 733 FIRM_API ir_op *op_{{node.name}};
 734 {%- endfor %}
 735
 736 {% for node in nodes %}
 737 /**
 738  * @ingroup {{node.name}}
 739  * Returns opcode for {{node.name}} nodes.
 740  */
 741 FIRM_API ir_op *get_op_{{node.name}}(void);
 742 {%- endfor %}
 743
 744 #endif
 745
 746 ''')
 747
 748 #############################
 749
 750 def prepare_nodes(nodes):
 751         real_nodes = []
 752         for node in nodes:
 753                 if isAbstract(node):
 754                         continue
 755                 real_nodes.append(node)
 756
 757         for node in real_nodes:
 758                 preprocess_node(node)
 759
 760         return real_nodes
 761
 762 def main(argv):
 763         if len(argv) < 3:
 764                 print "usage: %s specname(ignored) destdirectory" % argv[0]
 765                 sys.exit(1)
 766
 767         specfile = argv[1]
 768         spec = load_spec(specfile)
 769         nodes = spec.nodes
 770
 771         gendir = argv[2]
 772         # hardcoded path to libfirm/include/libfirm
 773         if len(argv) > 3:
 774                 gendir2 = argv[3]
 775         else:
 776                 gendir2 = argv[2] + "/../../include/libfirm"
 777
 778         real_nodes = prepare_nodes(nodes)
 779
 780         env.globals['nodes'] = real_nodes
 781         env.globals['spec'] = spec
 782
 783         file = open(gendir + "/gen_ir_cons.c.inl", "w")
 784         file.write(gen_ircons_c_inl_template.render())
 785         file.close()
 786
 787         file = open(gendir + "/gen_irnode.h", "w")
 788         file.write(irnode_h_template.render())
 789         file.close()
 790
 791         file = open(gendir + "/gen_irnode.c.inl", "w")
 792         file.write(irnode_template.render())
 793         file.close()
 794
 795         file = open(gendir + "/gen_irop.c.inl", "w")
 796         file.write(irop_template.render())
 797         file.close()
 798
 799         file = open(gendir + "/gen_irdump.c.inl", "w")
 800         file.write(irdump_template.render())
 801         file.close()
 802
 803         file = open(gendir2 + "/opcodes.h", "w")
 804         file.write(opcodes_h_template.render())
 805         file.close()
 806
 807         file = open(gendir2 + "/nodeops.h", "w")
 808         file.write(nodeops_h_template.render())
 809         file.close()
 810
 811 main(sys.argv)