Skip to content

GitLab

Commit 5d88a784 authored by Moritz Kroll's avatar Moritz Kroll
Browse files

irio: Save all attributes of Cond 

[r25548]
parent d652537f
Show whitespace changes
Inline Side-by-side
ir/ir/irio.c
View file @ 5d88a784
...@@ -63,6 +63,8 @@ typedef enum typetag_t ...@@ -63,6 +63,8 @@ typedef enum typetag_t
tt_align, tt_align,
tt_allocation, tt_allocation,
tt_builtin, tt_builtin,
tt_cond_kind,
tt_cond_jmp_predicate,
tt_initializer, tt_initializer,
tt_iro, tt_iro,
tt_keyword, tt_keyword,
...@@ -180,6 +182,37 @@ static void symtbl_init(void) ...@@ -180,6 +182,37 @@ static void symtbl_init(void)
INSERTENUM(tt_allocation, allocation_dynamic); INSERTENUM(tt_allocation, allocation_dynamic);
INSERTENUM(tt_allocation, allocation_static); INSERTENUM(tt_allocation, allocation_static);
INSERTENUM(tt_builtin, ir_bk_trap);
INSERTENUM(tt_builtin, ir_bk_debugbreak);
INSERTENUM(tt_builtin, ir_bk_return_address);
INSERTENUM(tt_builtin, ir_bk_frame_addess);
INSERTENUM(tt_builtin, ir_bk_prefetch);
INSERTENUM(tt_builtin, ir_bk_ffs);
INSERTENUM(tt_builtin, ir_bk_clz);
INSERTENUM(tt_builtin, ir_bk_ctz);
INSERTENUM(tt_builtin, ir_bk_popcount);
INSERTENUM(tt_builtin, ir_bk_parity);
INSERTENUM(tt_builtin, ir_bk_bswap);
INSERTENUM(tt_builtin, ir_bk_inport);
INSERTENUM(tt_builtin, ir_bk_outport);
INSERTENUM(tt_builtin, ir_bk_inner_trampoline);
INSERTENUM(tt_cond_kind, dense);
INSERTENUM(tt_cond_kind, fragmentary);
INSERTENUM(tt_cond_jmp_predicate, COND_JMP_PRED_NONE);
INSERTENUM(tt_cond_jmp_predicate, COND_JMP_PRED_TRUE);
INSERTENUM(tt_cond_jmp_predicate, COND_JMP_PRED_FALSE);
INSERTENUM(tt_initializer, IR_INITIALIZER_CONST);
INSERTENUM(tt_initializer, IR_INITIALIZER_TARVAL);
INSERTENUM(tt_initializer, IR_INITIALIZER_NULL);
INSERTENUM(tt_initializer, IR_INITIALIZER_COMPOUND);
INSERTENUM(tt_peculiarity, peculiarity_description);
INSERTENUM(tt_peculiarity, peculiarity_inherited);
INSERTENUM(tt_peculiarity, peculiarity_existent);
INSERTENUM(tt_pin_state, op_pin_state_floats); INSERTENUM(tt_pin_state, op_pin_state_floats);
INSERTENUM(tt_pin_state, op_pin_state_pinned); INSERTENUM(tt_pin_state, op_pin_state_pinned);
INSERTENUM(tt_pin_state, op_pin_state_exc_pinned); INSERTENUM(tt_pin_state, op_pin_state_exc_pinned);
...@@ -200,29 +233,6 @@ static void symtbl_init(void) ...@@ -200,29 +233,6 @@ static void symtbl_init(void)
INSERTENUM(tt_volatility, volatility_non_volatile); INSERTENUM(tt_volatility, volatility_non_volatile);
INSERTENUM(tt_volatility, volatility_is_volatile); INSERTENUM(tt_volatility, volatility_is_volatile);
INSERTENUM(tt_peculiarity, peculiarity_description);
INSERTENUM(tt_peculiarity, peculiarity_inherited);
INSERTENUM(tt_peculiarity, peculiarity_existent);
INSERTENUM(tt_initializer, IR_INITIALIZER_CONST);
INSERTENUM(tt_initializer, IR_INITIALIZER_TARVAL);
INSERTENUM(tt_initializer, IR_INITIALIZER_NULL);
INSERTENUM(tt_initializer, IR_INITIALIZER_COMPOUND);
INSERTENUM(tt_builtin, ir_bk_trap);
INSERTENUM(tt_builtin, ir_bk_debugbreak);
INSERTENUM(tt_builtin, ir_bk_return_address);
INSERTENUM(tt_builtin, ir_bk_frame_addess);
INSERTENUM(tt_builtin, ir_bk_prefetch);
INSERTENUM(tt_builtin, ir_bk_ffs);
INSERTENUM(tt_builtin, ir_bk_clz);
INSERTENUM(tt_builtin, ir_bk_ctz);
INSERTENUM(tt_builtin, ir_bk_popcount);
INSERTENUM(tt_builtin, ir_bk_parity);
INSERTENUM(tt_builtin, ir_bk_bswap);
INSERTENUM(tt_builtin, ir_bk_inport);
INSERTENUM(tt_builtin, ir_bk_outport);
INSERTENUM(tt_builtin, ir_bk_inner_trampoline);
#undef INSERTENUM #undef INSERTENUM
#undef INSERT #undef INSERT
...@@ -272,24 +282,6 @@ static void write_tarval(io_env_t *env, tarval *tv) ...@@ -272,24 +282,6 @@ static void write_tarval(io_env_t *env, tarval *tv)
fputc(' ', env->file); fputc(' ', env->file);
} }
static void write_pin_state(io_env_t *env, ir_node *irn)
{
fputs(get_op_pin_state_name(get_irn_pinned(irn)), env->file);
fputc(' ', env->file);
}
static void write_volatility(io_env_t *env, ir_node *irn)
{
ir_volatility vol;
if(is_Load(irn)) vol = get_Load_volatility(irn);
else if(is_Store(irn)) vol = get_Store_volatility(irn);
else assert(0 && "Invalid optype for write_volatility");
fputs(get_volatility_name(vol), env->file);
fputc(' ', env->file);
}
static void write_align(io_env_t *env, ir_node *irn) static void write_align(io_env_t *env, ir_node *irn)
{ {
ir_align align; ir_align align;
...@@ -308,6 +300,18 @@ static void write_builtin_kind(io_env_t *env, ir_node *irn) ...@@ -308,6 +300,18 @@ static void write_builtin_kind(io_env_t *env, ir_node *irn)
fputc(' ', env->file); fputc(' ', env->file);
} }
static void write_cond_kind(io_env_t *env, ir_node *irn)
{
fputs(get_cond_kind_name(get_Cond_kind(irn)), env->file);
fputc(' ', env->file);
}
static void write_cond_jmp_predicate(io_env_t *env, ir_node *irn)
{
fputs(get_cond_jmp_predicate_name(get_Cond_jmp_pred(irn)), env->file);
fputc(' ', env->file);
}
static void write_initializer(io_env_t *env, ir_initializer_t *ini) static void write_initializer(io_env_t *env, ir_initializer_t *ini)
{ {
FILE *f = env->file; FILE *f = env->file;
...@@ -343,6 +347,24 @@ static void write_initializer(io_env_t *env, ir_initializer_t *ini) ...@@ -343,6 +347,24 @@ static void write_initializer(io_env_t *env, ir_initializer_t *ini)
} }
} }
static void write_pin_state(io_env_t *env, ir_node *irn)
{
fputs(get_op_pin_state_name(get_irn_pinned(irn)), env->file);
fputc(' ', env->file);
}
static void write_volatility(io_env_t *env, ir_node *irn)
{
ir_volatility vol;
if(is_Load(irn)) vol = get_Load_volatility(irn);
else if(is_Store(irn)) vol = get_Store_volatility(irn);
else assert(0 && "Invalid optype for write_volatility");
fputs(get_volatility_name(vol), env->file);
fputc(' ', env->file);
}
static void export_type_common(io_env_t *env, ir_type *tp) static void export_type_common(io_env_t *env, ir_type *tp)
{ {
fprintf(env->file, "\t%s %ld %s \"%s\" %u %u %s %s ", fprintf(env->file, "\t%s %ld %s \"%s\" %u %u %s %s ",
...@@ -926,14 +948,16 @@ static unsigned read_enum(io_env_t *env, typetag_t typetag) ...@@ -926,14 +948,16 @@ static unsigned read_enum(io_env_t *env, typetag_t typetag)
#define read_align(env) ((ir_align) read_enum(env, tt_align)) #define read_align(env) ((ir_align) read_enum(env, tt_align))
#define read_allocation(env) ((ir_allocation) read_enum(env, tt_allocation)) #define read_allocation(env) ((ir_allocation) read_enum(env, tt_allocation))
#define read_builtin_kind(env) ((ir_builtin_kind) read_enum(env, tt_builtin))
#define read_cond_kind(env) ((cond_kind) read_enum(env, tt_cond_kind))
#define read_cond_jmp_predicate(env) ((cond_jmp_predicate) read_enum(env, tt_cond_jmp_predicate))
#define read_initializer_kind(env) ((ir_initializer_kind_t) read_enum(env, tt_initializer))
#define read_peculiarity(env) ((ir_peculiarity) read_enum(env, tt_peculiarity)) #define read_peculiarity(env) ((ir_peculiarity) read_enum(env, tt_peculiarity))
#define read_pin_state(env) ((op_pin_state) read_enum(env, tt_pin_state)) #define read_pin_state(env) ((op_pin_state) read_enum(env, tt_pin_state))
#define read_type_state(env) ((ir_type_state) read_enum(env, tt_type_state)) #define read_type_state(env) ((ir_type_state) read_enum(env, tt_type_state))
#define read_variability(env) ((ir_variability) read_enum(env, tt_variability)) #define read_variability(env) ((ir_variability) read_enum(env, tt_variability))
#define read_visibility(env) ((ir_visibility) read_enum(env, tt_visibility)) #define read_visibility(env) ((ir_visibility) read_enum(env, tt_visibility))
#define read_volatility(env) ((ir_volatility) read_enum(env, tt_volatility)) #define read_volatility(env) ((ir_volatility) read_enum(env, tt_volatility))
#define read_initializer_kind(env) ((ir_initializer_kind_t) read_enum(env, tt_initializer))
#define read_builtin_kind(env) ((ir_builtin_kind) read_enum(env, tt_builtin))
static ir_cons_flags get_cons_flags(io_env_t *env) static ir_cons_flags get_cons_flags(io_env_t *env)
{ {
......
scripts/gen_ir_io.py
View file @ 5d88a784
...@@ -62,9 +62,18 @@ def get_io_type(type, attrname, nodename): ...@@ -62,9 +62,18 @@ def get_io_type(type, attrname, nodename):
elif type == "ir_builtin_kind": elif type == "ir_builtin_kind":
importcmd = "ir_builtin_kind %s = read_builtin_kind(env);" % attrname importcmd = "ir_builtin_kind %s = read_builtin_kind(env);" % attrname
exportcmd = "write_builtin_kind(env, irn);" exportcmd = "write_builtin_kind(env, irn);"
elif type == "cond_kind":
importcmd = "cond_kind %s = read_cond_kind(env);" % attrname
exportcmd = "write_cond_kind(env, irn);"
elif type == "cond_jmp_predicate":
importcmd = "cond_jmp_predicate %s = read_cond_jmp_predicate(env);" % attrname
exportcmd = "write_cond_jmp_predicate(env, irn);"
elif type == "int": elif type == "int":
importcmd = "int %s = (int) read_long(env);" % attrname importcmd = "int %s = (int) read_long(env);" % attrname
exportcmd = """fprintf(env->file, "%%d ", %(val)s);""" exportcmd = """fprintf(env->file, "%%d ", %(val)s);"""
elif type == "long":
importcmd = "long %s = read_long(env);" % attrname
exportcmd = """fprintf(env->file, "%%ld ", %(val)s);"""
else: else:
print "UNKNOWN TYPE: %s" % type print "UNKNOWN TYPE: %s" % type
importcmd = """// BAD: %s %s importcmd = """// BAD: %s %s
...@@ -144,6 +153,7 @@ def preprocess_node(nodename, node): ...@@ -144,6 +153,7 @@ def preprocess_node(nodename, node):
# construct node arguments # construct node arguments
arguments = [ ] arguments = [ ]
initargs = [ ]
i = 0 i = 0
for input in node["ins"]: for input in node["ins"]:
arguments.append("prednodes[%i]" % i) arguments.append("prednodes[%i]" % i)
...@@ -167,6 +177,9 @@ def preprocess_node(nodename, node): ...@@ -167,6 +177,9 @@ def preprocess_node(nodename, node):
if nodename == "Builtin" and attr["name"] == "kind": if nodename == "Builtin" and attr["name"] == "kind":
continue continue
prepare_attr(nodename, attr) prepare_attr(nodename, attr)
if "init" in attr:
initargs.append(attr["name"])
else:
arguments.append(attr["name"]) arguments.append(attr["name"])
for arg in node["constructor_args"]: for arg in node["constructor_args"]:
...@@ -174,6 +187,7 @@ def preprocess_node(nodename, node): ...@@ -174,6 +187,7 @@ def preprocess_node(nodename, node):
arguments.append(arg["name"]) arguments.append(arg["name"])
node["arguments"] = arguments node["arguments"] = arguments
node["initargs"] = initargs
export_attrs_template = env.from_string(''' export_attrs_template = env.from_string('''
case iro_{{nodename}}: case iro_{{nodename}}:
...@@ -191,6 +205,8 @@ import_attrs_template = env.from_string(''' ...@@ -191,6 +205,8 @@ import_attrs_template = env.from_string('''
{% endfor %} {% endfor %}
{% for attr in node.constructor_args %}{{attr.importcmd}} {% for attr in node.constructor_args %}{{attr.importcmd}}
{% endfor %}newnode = new_r_{{nodename}}(current_ir_graph{{node|block}}{{node["arguments"]|args}}); {% endfor %}newnode = new_r_{{nodename}}(current_ir_graph{{node|block}}{{node["arguments"]|args}});
{% for initarg in node.initargs %}set_{{nodename}}_{{initarg}}(newnode, {{initarg}});
{% endfor %}
break; break;
} }
''') ''')
......
scripts/ir_spec.py
View file @ 5d88a784
...@@ -366,6 +366,23 @@ Mux = dict( ...@@ -366,6 +366,23 @@ Mux = dict(
Cond = dict( Cond = dict(
ins = [ "selector" ], ins = [ "selector" ],
outs = [ "false", "true" ], outs = [ "false", "true" ],
attrs = [
dict(
name = "kind",
type = "cond_kind",
init = "dense"
),
dict(
name = "default_proj",
type = "long",
init = "0"
),
dict(
name = "jmp_pred",
type = "cond_jmp_predicate",
init = "COND_JMP_PRED_NONE"
)
]
), ),
Cmp = dict( Cmp = dict(
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment

Imprint