X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=scripts%2Fgen_ir.py;h=27788f4bb693b6bf0e47ddc80cf19e04cef4e859;hb=caad9fd6b4d7f38b0aee644b61eaf20705a2bfd7;hp=c9a478bb0711a7615e51b760b6e17bf67709ca72;hpb=d217f68a9e53ec6e800ae31ca3af8ed8b6f9ece9;p=libfirm diff --git a/scripts/gen_ir.py b/scripts/gen_ir.py index c9a478bb0..27788f4bb 100755 --- a/scripts/gen_ir.py +++ b/scripts/gen_ir.py @@ -1,10 +1,8 @@ #!/usr/bin/env python import sys -import re from jinja2 import Environment, Template -from jinja2.filters import do_dictsort -from spec_util import is_dynamic_pinned, verify_node, isAbstract, setdefault, trim_docstring -from ir_spec import nodes +from spec_util import is_dynamic_pinned, isAbstract, setdefault, load_spec +from filters import format_arguments, filter_isnot, filter_hasnot, filter_notset def format_parameterlist(parameterlist): return "\n".join(parameterlist) @@ -159,22 +157,6 @@ def format_escape_keywords(word): return word + "_" return word -def filter_isnot(list, flag): - return filter(lambda x: not hasattr(x, flag), list) - -def filter_hasnot(list, flag): - return filter(lambda x: flag not in x, list) - -def format_arguments(string, voidwhenempty = False): - args = re.split('\s*\n\s*', string) - if args[0] == '': - args = args[1:] - if len(args) > 0 and args[-1] == '': - args = args[:-1] - if len(args) == 0 and voidwhenempty: - return "void" - return ", ".join(args) - def format_parameters(string): return format_arguments(string, voidwhenempty = True) @@ -216,9 +198,6 @@ def prepare_attr(attr): comment = attr["comment"]) def preprocess_node(node): - verify_node(node) - node.doc = trim_docstring(node.__doc__) - setdefault(node, "attrs_name", node.name.lower()) setdefault(node, "block", "block") @@ -357,7 +336,7 @@ ir_node *new_d_{{node.name}}( {% endfilter %}) { ir_node *res; - assert(get_irg_phase_state(current_ir_graph) == phase_building); + assert(irg_is_constrained(current_ir_graph, IR_GRAPH_CONSTRAINT_CONSTRUCTION)); res = new_rd_{{node.name}}( {%- filter parameters %} dbgi @@ -456,7 +435,7 @@ static const pns_lookup_t {{node.name}}_lut[] = { static const proj_lookup_t proj_lut[] = { {%- for node in nodes -%} {%- if node.outs %} - { iro_{{node.name}}, ARRAY_SIZE({{node.name}}_lut), {{node.name}}_lut }, + { {{spec.name}}o_{{node.name}}, ARRAY_SIZE({{node.name}}_lut), {{node.name}}_lut }, {%- endif %} {%- endfor %} }; @@ -468,19 +447,18 @@ irop_template = env.from_string( ir_op *op_{{node.name}}; ir_op *get_op_{{node.name}}(void) { return op_{{node.name}}; } {%- endfor %} -void init_op(void) +static void generated_init_op(void) { - {% for node in nodes %} + {%- for node in nodes %} op_{{node.name}} = new_ir_op( {%- filter arguments %} - iro_{{node.name}} + {{spec.name}}o_{{node.name}} "{{node.name}}" {{node|pinned}} {{node|flags}} {{node|arity}} {{node|opindex}} {{node|attr_size}} - NULL {% endfilter %}); {%- if "uses_memory" in node.flags: %} ir_op_set_memory_index(op_{{node.name}}, n_{{node.name}}_mem); @@ -489,13 +467,11 @@ void init_op(void) ir_op_set_fragile_indices(op_{{node.name}}, pn_{{node.name}}_X_regular, pn_{{node.name}}_X_except); {%- endif -%} {%- endfor %} - - be_init_op(); } -void finish_op(void) +static void generated_finish_op(void) { - {% for node in nodes %} + {%- for node in nodes %} free_ir_op(op_{{node.name}}); op_{{node.name}} = NULL; {%- endfor %} } @@ -634,13 +610,14 @@ opcodes_h_template = env.from_string( /** The opcodes of the libFirm predefined operations. * @ingroup ir_op */ -typedef enum ir_opcode { +typedef enum {{spec.name}}_opcode { {%- for node in nodes %} - iro_{{node.name}}, + {{spec.name}}o_{{node.name}}, {%- endfor %} - iro_First = iro_{{nodes[0].name}}, - iro_Last = iro_{{nodes[-1].name}}, + {{spec.name}}o_First = {{spec.name}}o_{{nodes[0].name}}, + {{spec.name}}o_Last = {{spec.name}}o_{{nodes[-1].name}}, +{%- if spec.name == "ir" %} beo_First, /* backend specific nodes */ beo_Spill = beo_First, @@ -659,8 +636,9 @@ typedef enum ir_opcode { beo_FrameAddr, /* last backend node number */ beo_Last = beo_FrameAddr, - iro_MaxOpcode -} ir_opcode; +{%- endif %} + {{spec.name}}o_MaxOpcode +} {{spec.name}}_opcode; {% for node in nodes %} /** @@ -684,7 +662,7 @@ FIRM_API ir_op *get_op_{{node.name}}(void); ############################# -def prepare_nodes(): +def prepare_nodes(nodes): real_nodes = [] for node in nodes: if isAbstract(node): @@ -701,38 +679,48 @@ def main(argv): print "usage: %s specname(ignored) destdirectory" % argv[0] sys.exit(1) + specfile = argv[1] + spec = load_spec(specfile) + nodes = spec.nodes + gendir = argv[2] # hardcoded path to libfirm/include/libfirm - gendir2 = argv[2] + "/../../include/libfirm" + if len(argv) > 3: + gendir2 = argv[3] + else: + gendir2 = argv[2] + "/../../include/libfirm" + + real_nodes = prepare_nodes(nodes) - real_nodes = prepare_nodes() + env.globals['nodes'] = real_nodes + env.globals['spec'] = spec file = open(gendir + "/gen_ir_cons.c.inl", "w") - file.write(gen_ircons_c_inl_template.render(nodes = real_nodes)) + file.write(gen_ircons_c_inl_template.render()) file.close() file = open(gendir + "/gen_irnode.h", "w") - file.write(irnode_h_template.render(nodes = real_nodes)) + file.write(irnode_h_template.render()) file.close() file = open(gendir + "/gen_irnode.c.inl", "w") - file.write(irnode_template.render(nodes = real_nodes)) + file.write(irnode_template.render()) file.close() file = open(gendir + "/gen_irop.c.inl", "w") - file.write(irop_template.render(nodes = real_nodes)) + file.write(irop_template.render()) file.close() file = open(gendir + "/gen_irdump.c.inl", "w") - file.write(irdump_template.render(nodes = real_nodes)) + file.write(irdump_template.render()) file.close() file = open(gendir2 + "/opcodes.h", "w") - file.write(opcodes_h_template.render(nodes = real_nodes)) + file.write(opcodes_h_template.render()) file.close() file = open(gendir2 + "/nodeops.h", "w") - file.write(nodeops_h_template.render(nodes = real_nodes)) + file.write(nodeops_h_template.render()) file.close() main(sys.argv)