3 from jinja2 import Environment, Template
4 from jinja2.filters import do_dictsort
7 def format_argdecls(node, first = False, voidwhenempty = False):
8 if not node.has_key("args") or len(node["args"]) == 0:
19 for arg in node["args"]:
20 res = res + (comma + arg["type"] + " " + arg["name"])
24 def format_args(node, first = False):
25 if not node.has_key("args"):
33 for arg in node["args"]:
34 res = res + (comma + arg["name"])
38 def format_blockdecl(node):
39 if node.get("knownBlock"):
42 return ", ir_node *block"
44 def format_block(node):
45 if node.get("knownBlock"):
50 def format_curblock(node):
51 if node.get("knownBlock"):
54 return ", current_ir_graph->current_block"
56 def format_insdecl(node):
58 if arity == "variable" and len(node["ins"]) == 0 or arity == "dynamic" or arity == 0:
61 if arity == "variable":
62 insarity = len(node["ins"])
63 res = "int r_arity = arity + " + `insarity` + ";\n\tir_node **r_in;\n\t" \
64 + "NEW_ARR_A(ir_node *, r_in, r_arity);\n\t"
66 for input in node["ins"]:
67 res += "r_in[" + `i` + "] = irn_" + input + ";\n\t"
69 res += "memcpy(&r_in[" + `insarity` + "], in, sizeof(ir_node *) * arity);\n\t"
71 res = "ir_node *in[" + `arity` + "];\n\t"
73 for input in node["ins"]:
74 res += "in[" + `i` + "] = irn_" + input + ";\n\t"
78 def format_arity_and_ins(node):
80 if arity == "dynamic":
82 elif arity == "variable":
83 if len(node["ins"]) == 0:
86 return "r_arity, r_in"
90 return `arity` + ", in"
93 env.filters['argdecls'] = format_argdecls
94 env.filters['args'] = format_args
95 env.filters['blockdecl'] = format_blockdecl
96 env.filters['block'] = format_block
97 env.filters['curblock'] = format_curblock
98 env.filters['insdecl'] = format_insdecl
99 env.filters['arity_and_ins'] = format_arity_and_ins
101 def add_attr(list, type, name, init = None, initname = None):
103 initname = "." + name
105 list.append(dict(type = type, name = name, init = init, initname = initname))
107 list.append(dict(type = type, name = name, initname = initname))
109 def prepare_attr(attr):
111 return dict(type = attr["type"], name = attr["name"], init = attr["init"])
113 return dict(type = attr["type"], name = attr["name"])
115 def preprocess_node(nodename, node):
116 print "nodename: " + nodename
118 parent = ir_spec.nodes[node["is_a"]]
119 node["ins"] = parent["ins"]
121 node["outs"] = parent["outs"]
122 if "ins" not in node:
125 node["mode"] = "mode_T"
126 if "arity" not in node:
127 node["arity"] = len(node["ins"])
128 if "attrs" not in node:
130 if "constructor_args" not in node:
131 node["constructor_args"] = []
132 if "attrs_name" not in node:
133 node["attrs_name"] = nodename.lower()
134 if "block" not in node:
135 node["block"] = "block"
136 if "nodbginfo" in node:
139 node["dbdeclnocomma"] = ""
142 node["dbdecl"] = "dbg_info *db, "
143 node["dbdeclnocomma"] = "dbg_info *db"
145 # construct node arguments
151 for input in node["ins"]:
152 print "ins: " + input
153 arguments.append(dict(type = "ir_node *", name = "irn_" + input))
156 # Special case for Builtin...
157 if nodename == "Builtin":
158 for attr in node["attrs"]:
159 if attr["name"] == "kind":
160 arguments.append(prepare_attr(attr))
162 if node["arity"] == "variable":
163 arguments.append(dict(type = "int", name = "arity"))
164 arguments.append(dict(type = "ir_node **", name = "in"))
166 if "mode" not in node:
167 arguments.append(dict(type = "ir_mode *", name = "mode"))
168 node["mode"] = "mode"
170 attrs_with_special = 0
171 for attr in node["attrs"]:
172 print "attr: " + attr["name"]
173 if nodename == "Builtin" and attr["name"] == "kind":
176 if "initname" not in attr:
177 attr["initname"] = "." + attr["name"]
179 # "special" stuff does not work at all, yet
180 if "special" in attr:
181 if not "init" in attr:
182 print "Node type %s has an attribute with a \"special\" entry but without \"init\"" % nodename
185 if attrs_with_special != 0:
186 print "Node type %s has more than one attribute with a \"special\" entry" % nodename
189 attrs_with_special += 1
191 if "prefix" in attr["special"]:
192 specialname = attr["special"]["prefix"] + nodename
193 elif "suffix" in attr["special"]:
194 specialname = nodename + attr["special"]["suffix"]
196 print "Unknown special constructor type for node type %s" %nodename
199 specialconstrs.append(
201 constrname = specialname,
202 attrname = attr["name"],
203 value = attr["special"]["init"]
207 initargs.append(attr["name"])
209 arguments.append(prepare_attr(attr))
211 for arg in node["constructor_args"]:
212 arguments.append(prepare_attr(arg))
213 if arg["type"] == "ir_cons_flags":
215 initattrs.append(dict(initname = ".exc.pin_state",
216 init = name + " & cons_floats ? op_pin_state_floats : op_pin_state_pinned"))
217 initattrs.append(dict(initname = ".volatility",
218 init = name + " & cons_volatile ? volatility_is_volatile : volatility_non_volatile"))
219 initattrs.append(dict(initname = ".aligned",
220 init = name + " & cons_unaligned ? align_non_aligned : align_is_aligned"))
222 node["args"] = arguments
223 node["initargs"] = initargs
224 node["initattrs"] = initattrs
225 node["special_constructors"] = specialconstrs
227 #############################
229 node_template = env.from_string('''
230 ir_node *new_rd_{{nodename}}({{node["dbdecl"]}}ir_graph *irg{{node|blockdecl}}{{node|argdecls}})
233 ir_graph *rem = current_ir_graph;
235 current_ir_graph = irg;
236 res = new_ir_node({{node["db"]}}, irg, {{node["block"]}}, op_{{nodename}}, {{node["mode"]}}, {{node|arity_and_ins}});
237 {% for attr in node["attrs"] -%}
238 res->attr.{{node["attrs_name"]}}{{attr["initname"]}} =
239 {%- if "init" in attr %} {{ attr["init"] -}};
240 {%- else %} {{ attr["name"] -}};
243 {%- for attr in node["initattrs"] -%}
244 res->attr.{{node["attrs_name"]}}{{attr["initname"]}} = {{ attr["init"] -}};
247 {% if node["optimize"] != False -%}
248 res = optimize_node(res);
250 IRN_VRFY_IRG(res, irg);
251 current_ir_graph = rem;
255 ir_node *new_r_{{nodename}}(ir_graph *irg{{node|blockdecl}}{{node|argdecls}})
257 {% if node["nodbginfo"] -%}
258 return new_rd_{{nodename}}(irg{{node|block}}{{node|args}});
260 return new_rd_{{nodename}}(NULL, irg{{node|block}}{{node|args}});
264 ir_node *new_d_{{nodename}}({{node["dbdeclnocomma"]}}{{node|argdecls(node["nodbginfo"])}})
268 {% if node["nodbginfo"] -%}
269 res = new_rd_{{nodename}}(current_ir_graph{{node|curblock}}{{node|args}});
271 res = new_rd_{{nodename}}(db, current_ir_graph{{node|curblock}}{{node|args}});
277 ir_node *new_{{nodename}}({{node|argdecls(True, True)}})
279 {% if node["nodbginfo"] -%}
280 return new_d_{{nodename}}({{node|args(True)}});
282 return new_d_{{nodename}}(NULL{{node|args}});
288 #############################
291 """the main function"""
294 print "usage: %s specname(ignored) destdirectory" % argv[0]
300 niymap = ["Alloc", "Anchor", "ASM", "Bad", "Bound", "Break", "Builtin",
301 "Call", "CallBegin", "Cast", "Const", "Const_type", "Const_long", "CopyB",
302 "defaultProj", "Div", "DivRL", "DivMod", "Dummy", "EndReg", "EndExcept",
303 "Filter", "InstOf", "Mod", "NoMem", "Phi", "Quot", "Raise",
304 "simpleSel", "strictConv", "SymConst", "SymConst_type", "Sync"]
306 file = open(gendir + "/gen_ir_cons_py.c.inl", "w")
307 for nodename, node in do_dictsort(ir_spec.nodes):
308 if nodename in niymap:
310 preprocess_node(nodename, node)
311 if not "abstract" in node:
312 file.write(node_template.render(vars()))
316 if __name__ == "__main__":