applications/tg
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
f3636ced4c
tg/generate.c
vvaltman f3636ced4c updates
2014-08-21 02:33:19 +04:00

1016 lines
27 KiB
C
Raw Blame History

#include <stdio.h>
#include <signal.h>
#include <execinfo.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <assert.h>
#include <string.h>
#include "tl-tl.h"
#include "generate.h"
#include "tree.h"
#include "config.h"
int header;
#define tl_type_name_cmp(a,b) (a->name > b->name ? 1 : a->name < b->name ? -1 : 0)
DEFINE_TREE (tl_type, struct tl_type *, tl_type_name_cmp, 0)
DEFINE_TREE (tl_combinator, struct tl_combinator *, tl_type_name_cmp, 0)
struct tree_tl_type *type_tree;
struct tree_tl_combinator *function_tree;
void tl_function_insert_by_name (struct tl_combinator *c) {
function_tree = tree_insert_tl_combinator (function_tree, c, lrand48 ());
}
struct tl_type *tl_type_get_by_name (int name) {
static struct tl_type t;
t.name = name;
return tree_lookup_tl_type (type_tree, &t);
}
void tl_type_insert_by_name (struct tl_type *t) {
type_tree = tree_insert_tl_type (type_tree, t, lrand48 ());
}
static char buf[1 << 20];
int buf_size;
int *buf_ptr = (int *)buf;
int *buf_end;
int verbosity;
int get_int (void) {
assert (buf_ptr < buf_end);
return *(buf_ptr ++);
}
long long get_long (void) {
assert (buf_ptr + 1 < buf_end);
long long r = *(long long *)buf_ptr;
buf_ptr += 2;
return r;
}
static void *malloc0 (int size) {
void *r = malloc (size);
memset (r, 0, size);
return r;
}
char *get_string (void) {
int l = *(unsigned char *)buf_ptr;
assert (l != 0xff);
char *res;
int tlen = 0;
if (l == 0xfe) {
l = ((unsigned)get_int ()) >> 8;
res = (char *)buf_ptr;
tlen = l;
} else {
res = ((char *)buf_ptr) + 1;
tlen = 1 + l;
}
int len = l;
tlen += ((-tlen) & 3);
assert (!(tlen & 3));
buf_ptr += tlen / 4;
assert (buf_ptr <= buf_end);
return strndup (res, len);
}
int tn, fn, cn;
struct tl_type **tps;
struct tl_combinator **fns;
struct tl_tree *read_tree (int *var_num);
struct tl_tree *read_nat_expr (int *var_num);
struct tl_tree *read_type_expr (int *var_num);
int read_args_list (struct arg **args, int args_num, int *var_num);
#define use_var_nat_full_form(x) 0
void *int_to_var_nat_const_init (long long x) {
if (use_var_nat_full_form (x)) {
struct tl_tree_nat_const *T = malloc (sizeof (*T));
T->self.flags = 0;
T->self.methods = &tl_pnat_const_full_methods;
T->value = x;
return T;
} else {
return (void *)(long)(x * 2 - 0x80000001l);
}
}
long long var_nat_const_to_int (void *x) {
if (((long)x) & 1) {
return (((long)x) + 0x80000001l) / 2;
} else {
return ((struct tl_tree_nat_const *)x)->value;
}
}
int tl_tree_type_type (struct tl_tree *x) {
return NODE_TYPE_TYPE;
}
int tl_tree_type_array (struct tl_tree *x) {
return NODE_TYPE_ARRAY;
}
int tl_tree_type_nat_const (struct tl_tree *x) {
return NODE_TYPE_NAT_CONST;
}
int tl_tree_type_var_num (struct tl_tree *x) {
return NODE_TYPE_VAR_NUM;
}
int tl_tree_type_var_type (struct tl_tree *x) {
return NODE_TYPE_VAR_TYPE;
}
struct tl_tree_methods tl_var_num_methods = {
.type = tl_tree_type_var_num
};
struct tl_tree_methods tl_var_type_methods = {
.type = tl_tree_type_var_type
};
struct tl_tree_methods tl_type_methods = {
.type = tl_tree_type_type
};
struct tl_tree_methods tl_nat_const_methods = {
.type = tl_tree_type_nat_const
};
struct tl_tree_methods tl_array_methods = {
.type = tl_tree_type_array
};
struct tl_tree_methods tl_ptype_methods = {
.type = tl_tree_type_type
};
struct tl_tree_methods tl_parray_methods = {
.type = tl_tree_type_array
};
struct tl_tree_methods tl_pvar_num_methods = {
.type = tl_tree_type_var_num
};
struct tl_tree_methods tl_pvar_type_methods = {
.type = tl_tree_type_var_type
};
struct tl_tree_methods tl_nat_const_full_methods = {
.type = tl_tree_type_nat_const
};
struct tl_tree_methods tl_pnat_const_full_methods = {
.type = tl_tree_type_nat_const
};
struct tl_tree *read_num_const (int *var_num) {
return (void *)int_to_var_nat_const_init (get_int ());
}
int gen_uni (struct tl_tree *t, char *cur_name, int *vars, int first) {
assert (t);
int x = TL_TREE_METHODS (t)->type (t);
int l = 0;
int i;
int j;
struct tl_tree_type *t1;
struct tl_tree_array *t2;
int y;
int L = strlen (cur_name);
switch (x) {
case NODE_TYPE_TYPE:
t1 = (void *)t;
if (!first) {
printf (" if (ODDP(%s) || %s->type->name != 0x%08x) { return -1; }\n", cur_name, cur_name, t1->type->name);
} else {
printf (" if (ODDP(%s) || (%s->type->name != 0x%08x && %s->type->name != 0x%08x)) { return -1; }\n", cur_name, cur_name, t1->type->name, cur_name, ~t1->type->name);
}
for (i = 0; i < t1->children_num; i++) {
sprintf (cur_name + L, "->params[%d]", i);
gen_uni (t1->children[i], cur_name, vars, 0);
cur_name[L] = 0;
}
return 0;
case NODE_TYPE_NAT_CONST:
printf (" if (EVENP(%s) || ((long)%s) != %lld) { return -1; }\n", cur_name, cur_name, var_nat_const_to_int (t) * 2 + 1);
return 0;
case NODE_TYPE_ARRAY:
printf (" if (ODDP(%s) || %s->type->name != TL_TYPE_ARRAY) { return -1; }\n", cur_name, cur_name);
t2 = (void *)t;
sprintf (cur_name + L, "->params[0]");
y = gen_uni (t2->multiplicity, cur_name, vars, 0);
cur_name[L] = 0;
sprintf (cur_name + L, "->params[1]");
y += gen_uni (t2->args[0]->type, cur_name, vars, 0);
cur_name[L] = 0;
return 0;
case NODE_TYPE_VAR_TYPE:
printf (" if (ODDP(%s)) { return -1; }\n", cur_name);
i = ((struct tl_tree_var_type *)t)->var_num;
if (!vars[i]) {
printf (" struct paramed_type *var%d = %s; assert (var%d);\n", i, cur_name, i);
vars[i] = 1;
} else if (vars[i] == 1) {
printf (" if (compare_types (var%d, %s) < 0) { return -1; }\n", i, cur_name);
} else {
assert (0);
return -1;
}
return l;
case NODE_TYPE_VAR_NUM:
printf (" if (EVENP(%s)) { return -1; }\n", cur_name);
i = ((struct tl_tree_var_num *)t)->var_num;
j = ((struct tl_tree_var_num *)t)->dif;
if (!vars[i]) {
printf (" struct paramed_type *var%d = ((void *)%s) + %d; assert (var%d);\n", i, cur_name, 2 * j, i);
vars[i] = 2;
} else if (vars[i] == 2) {
printf (" if (var%d != ((void *)%s) + %d) { return -1; }\n", i, cur_name, 2 * j);
} else {
assert (0);
return -1;
}
return 0;
default:
assert (0);
return -1;
}
}
void print_offset (int len) {
int i;
for (i = 0; i < len; i++) { printf (" "); }
}
int gen_create (struct tl_tree *t, int *vars, int offset) {
int x = TL_TREE_METHODS (t)->type (t);
int i;
struct tl_tree_type *t1;
struct tl_tree_array *t2;
switch (x) {
case NODE_TYPE_TYPE:
print_offset (offset);
printf ("&(struct paramed_type){\n");
print_offset (offset + 2);
t1 = (void *)t;
if (t1->self.flags & FLAG_BARE) {
printf (".type = &(struct tl_type) {.name = 0x%08x, .id = \"Bare_%s\"},\n", ~t1->type->name, t1->type->id);
} else {
printf (".type = &(struct tl_type) {.name = 0x%08x, .id = \"%s\"},\n", t1->type->name, t1->type->id);
}
if (t1->children_num) {
print_offset (offset + 2);
printf (".params = (struct paramed_type *[]){\n");
for (i = 0; i < t1->children_num; i++) {
assert (gen_create (t1->children[i], vars, offset + 4) >= 0);
printf (",\n");
}
print_offset (offset + 2);
printf ("}\n");
} else {
print_offset (offset + 2);
printf (".params = 0,\n");
}
print_offset (offset);
printf ("}");
return 0;
case NODE_TYPE_NAT_CONST:
print_offset (offset);
printf ("INT2PTR (%d)", (int)var_nat_const_to_int (t));
return 0;
case NODE_TYPE_ARRAY:
print_offset (offset);
printf ("&(struct paramed_type){\n");
print_offset (offset + 2);
t2 = (void *)t;
printf (".type = &(struct tl_type) {.name = NAME_ARRAY, .id = \"array\"},\n");
print_offset (offset + 2);
printf (".params = (struct paramed_type **){\n");
gen_create (t2->multiplicity, vars, offset + 4);
printf (",\n");
gen_create (t2->args[0]->type, vars, offset + 4);
printf (",\n");
print_offset (offset + 2);
printf ("}\n");
print_offset (offset);
printf ("}");
return 0;
case NODE_TYPE_VAR_TYPE:
print_offset (offset);
printf ("var%d", ((struct tl_tree_var_type *)t)->var_num);
return 0;
case NODE_TYPE_VAR_NUM:
print_offset (offset);
printf ("((void *)var%d) + %d", ((struct tl_tree_var_type *)t)->var_num, 2 * ((struct tl_tree_var_num *)t)->dif);
return 0;
default:
assert (0);
return -1;
}
}
int gen_field_fetch (struct arg *arg, int *vars, int num) {
assert (arg);
char *offset = " ";
int o = 0;
if (arg->exist_var_num >= 0) {
printf (" if (PTR2INT (var%d) & (1 << %d)) {\n", arg->exist_var_num, arg->exist_var_bit);
offset = " ";
o = 2;
}
if (arg->var_num >= 0) {
assert (TL_TREE_METHODS (arg->type)->type (arg->type) == NODE_TYPE_TYPE);
int t = ((struct tl_tree_type *)arg->type)->type->name;
if (t == NAME_VAR_TYPE) {
fprintf (stderr, "Not supported yet\n");
assert (0);
} else {
assert (t == NAME_VAR_NUM);
if (vars[arg->var_num] == 0) {
printf ("%sstruct paramed_type *var%d = INT2PTR (*in_ptr);\n", offset, arg->var_num);
printf ("%sif (skip_int () < 0) { return -1;}\n", offset);
vars[arg->var_num] = 2;
} else if (vars[arg->var_num] == 2) {
printf ("%sif (vars%d != INT2PTR (*in_ptr)) { return -1; }\n", offset, arg->var_num);
printf ("%sif (skip_int () < 0) { return -1;}\n", offset);
} else {
assert (0);
return -1;
}
}
} else {
int t = TL_TREE_METHODS (arg->type)->type (arg->type);
if (t == NODE_TYPE_TYPE || t == NODE_TYPE_VAR_TYPE) {
printf ("%sstruct paramed_type *field%d = \n", offset, num);
assert (gen_create (arg->type, vars, 2 + o) >= 0);
printf (";\n");
int bare = arg->flags & FLAG_BARE;
if (!bare && t == NODE_TYPE_TYPE) {
bare = ((struct tl_tree_type *)arg->type)->self.flags & FLAG_BARE;
}
if (!bare) {
printf ("%sif (skip_type_%s (field%d) < 0) { return -1;}\n", offset, t == NODE_TYPE_VAR_TYPE ? "any" : ((struct tl_tree_type *)arg->type)->type->print_id, num);
} else {
printf ("%sif (skip_type_bare_%s (field%d) < 0) { return -1;}\n", offset, t == NODE_TYPE_VAR_TYPE ? "any" : ((struct tl_tree_type *)arg->type)->type->print_id, num);
}
} else {
assert (t == NODE_TYPE_ARRAY);
printf ("%sint multiplicity%d = PTR2INT (\n", offset, num);
assert (gen_create (((struct tl_tree_array *)arg->type)->multiplicity, vars, 2 + o) >= 0);
printf ("%s);\n", offset);
printf ("%sstruct paramed_type *field%d = \n", offset, num);
assert (gen_create (((struct tl_tree_array *)arg->type)->args[0]->type, vars, 2 + o) >= 0);
printf (";\n");
printf ("%swhile (multiplicity%d -- > 0) {\n", offset, num);
printf ("%s if (skip_type_%s (field%d) < 0) { return -1;}\n", offset, "any", num);
printf ("%s}\n", offset);
}
}
if (arg->exist_var_num >= 0) {
printf (" }\n");
}
return 0;
}
void gen_constructor_fetch (struct tl_combinator *c) {
printf ("int skip_constructor_%s (struct paramed_type *T) {\n", c->print_id);
static char s[10000];
sprintf (s, "T");
int *vars = malloc0 (c->var_num * 4);;
gen_uni (c->result, s, vars, 1);
if (c->name == NAME_INT) {
printf (" if (skip_int () < 0) { return -1; }\n");
printf (" return 0;\n");
printf ("}\n");
return;
} else if (c->name == NAME_LONG) {
printf (" if (skip_long () < 0) { return -1; }\n");
printf (" return 0;\n");
printf ("}\n");
return;
} else if (c->name == NAME_STRING) {
printf (" if (skip_string () < 0) { return -1; }\n");
printf (" return 0;\n");
printf ("}\n");
return;
} else if (c->name == NAME_DOUBLE) {
printf (" if (skip_double () < 0) { return -1; }\n");
printf (" return 0;\n");
printf ("}\n");
return;
}
int i;
for (i = 0; i < c->args_num; i++) if (!(c->args[i]->flags & FLAG_OPT_VAR)) {
assert (gen_field_fetch (c->args[i], vars, i + 1) >= 0);
}
free (vars);
printf (" return 0;\n");
printf ("}\n");
}
void gen_type_fetch (struct tl_type *t) {
printf ("int skip_type_%s (struct paramed_type *T) {\n", t->print_id);
printf (" int magic = *in_ptr;\n");
printf (" if (skip_int () < 0) { return -1; }\n");
printf (" switch (magic) {\n");
int i;
for (i = 0; i < t->constructors_num; i++) {
printf (" case 0x%08x: return skip_constructor_%s (T);\n", t->constructors[i]->name, t->constructors[i]->print_id);
}
printf (" default: return -1;\n");
printf (" }\n");
printf ("}\n");
printf ("int skip_type_bare_%s (struct paramed_type *T) {\n", t->print_id);
printf (" int *save = in_ptr;\n");
for (i = 0; i < t->constructors_num; i++) {
printf (" if (skip_constructor_%s (T) >= 0) { return 0; }\n", t->constructors[i]->print_id);
printf (" in_ptr = save;\n");
}
printf (" return -1;\n");
printf ("}\n");
}
struct tl_tree *read_num_var (int *var_num) {
struct tl_tree_var_num *T = malloc0 (sizeof (*T));
T->self.flags = 0;
T->self.methods = &tl_pvar_num_methods;;
T->dif = get_int ();
T->var_num = get_int ();
if (T->var_num >= *var_num) {
*var_num = T->var_num + 1;
}
assert (!(T->self.flags & FLAG_NOVAR));
return (void *)T;
}
struct tl_tree *read_type_var (int *var_num) {
struct tl_tree_var_type *T = malloc0 (sizeof (*T));
T->self.methods = &tl_pvar_type_methods;
T->var_num = get_int ();
T->self.flags = get_int ();
if (T->var_num >= *var_num) {
*var_num = T->var_num + 1;
}
assert (!(T->self.flags & (FLAG_NOVAR | FLAG_BARE)));
return (void *)T;
}
struct tl_tree *read_array (int *var_num) {
struct tl_tree_array *T = malloc0 (sizeof (*T));
T->self.methods = &tl_parray_methods;
T->self.flags = 0;
T->multiplicity = read_nat_expr (var_num);
assert (T->multiplicity);
T->args_num = get_int ();
assert (T->args_num >= 0 && T->args_num <= 1000);
T->args = malloc0 (sizeof (void *) * T->args_num);
assert (read_args_list (T->args, T->args_num, var_num) >= 0);
T->self.flags |= FLAG_NOVAR;
int i;
for (i = 0; i < T->args_num; i++) {
if (!(T->args[i]->flags & FLAG_NOVAR)) {
T->self.flags &= ~FLAG_NOVAR;
}
}
return (void *)T;
}
struct tl_tree *read_type (int *var_num) {
struct tl_tree_type *T = malloc0 (sizeof (*T));
T->self.methods = &tl_ptype_methods;
T->type = tl_type_get_by_name (get_int ());
assert (T->type);
T->self.flags = get_int ();
T->children_num = get_int ();
assert (T->type->arity == T->children_num);
T->children = malloc0 (sizeof (void *) * T->children_num);
int i;
T->self.flags |= FLAG_NOVAR;
for (i = 0; i < T->children_num; i++) {
int t = get_int ();
if (t == (int)TLS_EXPR_NAT) {
assert ((T->type->params_types & (1 << i)));
T->children[i] = read_nat_expr (var_num);
} else if (t == (int)TLS_EXPR_TYPE) {
assert (!(T->type->params_types & (1 << i)));
T->children[i] = read_type_expr (var_num);
} else {
assert (0);
}
if (!TL_IS_NAT_VAR (T->children[i]) && !(T->children[i]->flags & FLAG_NOVAR)) {
T->self.flags &= ~FLAG_NOVAR;
}
}
return (void *)T;
}
struct tl_tree *read_tree (int *var_num) {
int x = get_int ();
if (verbosity >= 2) {
fprintf (stderr, "read_tree: constructor = 0x%08x\n", x);
}
switch (x) {
case TLS_TREE_NAT_CONST:
return read_num_const (var_num);
case TLS_TREE_NAT_VAR:
return read_num_var (var_num);
case TLS_TREE_TYPE_VAR:
return read_type_var (var_num);
case TLS_TREE_TYPE:
return read_type (var_num);
case TLS_TREE_ARRAY:
return read_array (var_num);
default:
if (verbosity) {
fprintf (stderr, "x = %d\n", x);
}
assert (0);
return 0;
}
}
struct tl_tree *read_type_expr (int *var_num) {
int x = get_int ();
if (verbosity >= 2) {
fprintf (stderr, "read_type_expr: constructor = 0x%08x\n", x);
}
switch (x) {
case TLS_TYPE_VAR:
return read_type_var (var_num);
case TLS_TYPE_EXPR:
return read_type (var_num);
case TLS_ARRAY:
return read_array (var_num);
default:
if (verbosity) {
fprintf (stderr, "x = %d\n", x);
}
assert (0);
return 0;
}
}
struct tl_tree *read_nat_expr (int *var_num) {
int x = get_int ();
if (verbosity >= 2) {
fprintf (stderr, "read_nat_expr: constructor = 0x%08x\n", x);
}
switch (x) {
case TLS_NAT_CONST:
return read_num_const (var_num);
case TLS_NAT_VAR:
return read_num_var (var_num);
default:
if (verbosity) {
fprintf (stderr, "x = %d\n", x);
}
assert (0);
return 0;
}
}
struct tl_tree *read_expr (int *var_num) {
int x = get_int ();
if (verbosity >= 2) {
fprintf (stderr, "read_nat_expr: constructor = 0x%08x\n", x);
}
switch (x) {
case TLS_EXPR_NAT:
return read_nat_expr (var_num);
case TLS_EXPR_TYPE:
return read_type_expr (var_num);
default:
if (verbosity) {
fprintf (stderr, "x = %d\n", x);
}
assert (0);
return 0;
}
}
int read_args_list (struct arg **args, int args_num, int *var_num) {
int i;
for (i = 0; i < args_num; i++) {
args[i] = malloc0 (sizeof (struct arg));
args[i]->exist_var_num = -1;
args[i]->exist_var_bit = 0;
assert (get_int () == TLS_ARG_V2);
args[i]->id = get_string ();
args[i]->flags = get_int ();
if (args[i]->flags & 2) {
args[i]->flags &= ~2;
args[i]->flags |= (1 << 20);
}
if (args[i]->flags & 4) {
args[i]->flags &= ~4;
args[i]->var_num = get_int ();
} else {
args[i]->var_num = -1;
}
if (args[i]->var_num >= *var_num) {
*var_num = args[i]->var_num + 1;
}
if (args[i]->flags & FLAG_OPT_FIELD) {
args[i]->exist_var_num = get_int ();
args[i]->exist_var_bit = get_int ();
}
args[i]->type = read_type_expr (var_num);
assert (args[i]->type);
if (args[i]->var_num < 0 && args[i]->exist_var_num < 0 && (TL_IS_NAT_VAR(args[i]->type) || (args[i]->type->flags & FLAG_NOVAR))) {
args[i]->flags |= FLAG_NOVAR;
}
}
return 1;
}
int read_combinator_args_list (struct tl_combinator *c) {
c->args_num = get_int ();
if (verbosity >= 2) {
fprintf (stderr, "c->id = %s, c->args_num = %d\n", c->id, c->args_num);
}
assert (c->args_num >= 0 && c->args_num <= 1000);
c->args = malloc0 (sizeof (void *) * c->args_num);
c->var_num = 0;
return read_args_list (c->args, c->args_num, &c->var_num);
}
int read_combinator_right (struct tl_combinator *c) {
assert (get_int () == TLS_COMBINATOR_RIGHT_V2);
c->result = read_type_expr (&c->var_num);
assert (c->result);
return 1;
}
int read_combinator_left (struct tl_combinator *c) {
int x = get_int ();
if (x == (int)TLS_COMBINATOR_LEFT_BUILTIN) {
c->args_num = 0;
c->var_num = 0;
c->args = 0;
return 1;
} else if (x == TLS_COMBINATOR_LEFT) {
return read_combinator_args_list (c);
} else {
assert (0);
return -1;
}
}
char *gen_print_id (const char *id) {
static char s[1000];
char *ptr = s;
int first = 1;
while (*id) {
if (*id == '.') {
*(ptr ++) = '_';
} else if (*id >= 'A' && *id <= 'Z') {
if (!first && *(ptr - 1) != '_') {
*(ptr ++) = '_';
}
*(ptr ++) = *id - 'A' + 'a';
} else {
*(ptr ++) = *id;
}
id ++;
first = 0;
}
*ptr = 0;
return s;
}
struct tl_combinator *read_combinators (int v) {
struct tl_combinator *c = malloc0 (sizeof (*c));
c->name = get_int ();
c->id = get_string ();
c->print_id = strdup (gen_print_id (c->id));
//char *s = c->id;
//while (*s) { if (*s == '.') { *s = '_'; } ; s ++;}
int x = get_int ();
struct tl_type *t = tl_type_get_by_name (x);
assert (t || (!x && v == 3));
if (v == 2) {
assert (t->extra < t->constructors_num);
t->constructors[t->extra ++] = c;
c->is_fun = 0;
} else {
assert (v == 3);
tl_function_insert_by_name (c);
c->is_fun = 1;
}
assert (read_combinator_left (c) >= 0);
assert (read_combinator_right (c) >= 0);
return c;
}
struct tl_type *read_types (void) {
struct tl_type *t = malloc0 (sizeof (*t));
t->name = get_int ();
t->id = get_string ();
t->print_id = strdup (gen_print_id (t->id));
t->constructors_num = get_int ();
assert (t->constructors_num >= 0 && t->constructors_num <= 1000);
t->constructors = malloc0 (sizeof (void *) * t->constructors_num);
t->flags = get_int ();
t->arity = get_int ();
t->params_types = get_long (); // params_types
t->extra = 0;
tl_type_insert_by_name (t);
return t;
}
int parse_tlo_file (void) {
buf_end = buf_ptr + (buf_size / 4);
assert (get_int () == TLS_SCHEMA_V2);
get_int (); // version
get_int (); // date
tn = 0;
fn = 0;
cn = 0;
int i;
tn = get_int ();
assert (tn >= 0 && tn < 10000);
tps = malloc0 (sizeof (void *) * tn);
if (verbosity >= 2) {
fprintf (stderr, "Found %d types\n", tn);
}
for (i = 0; i < tn; i++) {
assert (get_int () == TLS_TYPE);
tps[i] = read_types ();
assert (tps[i]);
}
cn = get_int ();
assert (cn >= 0);
if (verbosity >= 2) {
fprintf (stderr, "Found %d constructors\n", cn);
}
for (i = 0; i < cn; i++) {
assert (get_int () == TLS_COMBINATOR);
assert (read_combinators (2));
}
fn = get_int ();
assert (fn >= 0 && fn < 10000);
fns = malloc0 (sizeof (void *) * fn);
if (verbosity >= 2) {
fprintf (stderr, "Found %d functions\n", fn);
}
for (i = 0; i < fn; i++) {
assert (get_int () == TLS_COMBINATOR);
fns[i] = read_combinators (3);
assert (fns[i]);
}
assert (buf_ptr == buf_end);
/*
static void *IP[10000];
if (gen_function_fetch (IP, 100) < 0) {
return -2;
}
for (i = 0; i < tn; i++) {
if (tps[i]->extra < tps[i]->constructors_num) {
tl_config_back ();
return -1;
}
}
int j;
for (i = 0; i < tn; i++) {
for (j = 0; j < tps[i]->constructors_num; j ++) {
if (gen_constructor_store (tps[i]->constructors[j], IP, 10000) < 0) {
return -2;
}
if (gen_constructor_fetch (tps[i]->constructors[j], IP, 10000) < 0) {
return -2;
}
}
}
for (i = 0; i < fn; i++) {
if (gen_function_store (fns[i], IP, 10000) < 0) {
return -2;
}
}
if (tl_config_name) {
ADD_PFREE (strlen (tl_config_name));
zzstrfree (tl_config_name);
}
tl_config_name = 0;
config_crc64 = new_crc64;
tl_config_version = new_tl_config_version ;
tl_config_date = new_tl_config_date;
int i;
int types_num = get_int ();
for (i = 0; i < types_num; i++) {
if (parse_type () < 0) { return -1; }
}*/
int j;
for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#' && strcmp (tps[i]->id, "Type")) {
tps[i]->name = 0;
for (j = 0; j < tps[i]->constructors_num; j ++) {
tps[i]->name ^= tps[i]->constructors[j]->name;
}
}
if (!header) {
printf ("#include \"auto.h\"\n");
printf ("#include <assert.h>\n");
printf ("extern int *tgl_in_ptr, *tgl_in_end;\n");
printf ("#define in_ptr tgl_in_ptr\n");
printf ("#define in_end tgl_in_end\n");
printf ("#include \"auto-static.c\"\n");
for (i = 0; i < tn; i++) {
for (j = 0; j < tps[i]->constructors_num; j ++) {
gen_constructor_fetch (tps[i]->constructors[j]);
}
}
for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#' && strcmp (tps[i]->id, "Type")) {
gen_type_fetch (tps[i]);
}
/*for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#') {
printf ("struct tl_type tl_type_%s = {\n", tps[i]->id);
printf (" .name = 0x%08x,\n", tps[i]->name);
printf (" .id = \"%s\"\n", tps[i]->id);
printf ("};\n");
}*/
printf ("int skip_type_any (struct paramed_type *T) {\n");
printf (" switch (T->type->name) {\n");
for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#' && strcmp (tps[i]->id, "Type")) {
printf (" case 0x%08x: return skip_type_%s (T);\n", tps[i]->name, tps[i]->print_id);
printf (" case 0x%08x: return skip_type_bare_%s (T);\n", ~tps[i]->name, tps[i]->print_id);
}
printf (" default: return -1; }\n");
printf ("}\n");
} else {
for (i = 0; i < tn; i++) {
for (j = 0; j < tps[i]->constructors_num; j ++) {
printf ("int skip_constructor_%s (struct paramed_type *T);\n", tps[i]->constructors[j]->print_id);
}
}
for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#' && strcmp (tps[i]->id, "Type")) {
printf ("int skip_type_%s (struct paramed_type *T);\n", tps[i]->print_id);
printf ("int skip_type_bare_%s (struct paramed_type *T);\n", tps[i]->print_id);
}
printf ("int skip_type_any (struct paramed_type *T);\n");
/*for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#') {
printf ("extern struct tl_type tl_type_%s;\n", tps[i]->id);
}*/
for (i = 0; i < tn; i++) if (tps[i]->id[0] != '#' && strcmp (tps[i]->id, "Type")) {
printf ("static struct tl_type tl_type_%s __attribute__ ((unused));\n", tps[i]->print_id);
printf ("static struct tl_type tl_type_%s = {\n", tps[i]->print_id);
printf (" .name = 0x%08x,\n", tps[i]->name);
printf (" .id = \"%s\"\n", tps[i]->id);
printf ("};\n");
printf ("static struct tl_type tl_type_bare_%s __attribute__ ((unused));\n", tps[i]->print_id);
printf ("static struct tl_type tl_type_bare_%s = {\n", tps[i]->print_id);
printf (" .name = 0x%08x,\n", ~tps[i]->name);
printf (" .id = \"Bare_%s\"\n", tps[i]->id);
printf ("};\n");
}
}
return 0;
}
void usage (void) {
printf ("usage: generate [-v] [-h] <tlo-file>\n"
);
exit (2);
}
void logprintf (const char *format, ...) __attribute__ ((format (printf, 1, 2)));
void logprintf (const char *format __attribute__ ((unused)), ...) {
}
void hexdump (int *in_ptr, int *in_end) {
int *ptr = in_ptr;
while (ptr < in_end) { printf (" %08x", *(ptr ++)); }
printf ("\n");
}
#ifdef HAVE_EXECINFO_H
void print_backtrace (void) {
void *buffer[255];
const int calls = backtrace (buffer, sizeof (buffer) / sizeof (void *));
backtrace_symbols_fd (buffer, calls, 1);
}
#else
void print_backtrace (void) {
if (write (1, "No libexec. Backtrace disabled\n", 32) < 0) {
// Sad thing
}
}
#endif
void sig_segv_handler (int signum __attribute__ ((unused))) {
if (write (1, "SIGSEGV received\n", 18) < 0) {
// Sad thing
}
print_backtrace ();
exit (EXIT_FAILURE);
}
void sig_abrt_handler (int signum __attribute__ ((unused))) {
if (write (1, "SIGABRT received\n", 18) < 0) {
// Sad thing
}
print_backtrace ();
exit (EXIT_FAILURE);
}
int main (int argc, char **argv) {
signal (SIGSEGV, sig_segv_handler);
signal (SIGABRT, sig_abrt_handler);
int i;
while ((i = getopt (argc, argv, "vhH")) != -1) {
switch (i) {
case 'h':
usage ();
return 2;
case 'v':
verbosity++;
break;
case 'H':
header ++;
break;
}
}
if (argc != optind + 1) {
usage ();
}
int fd = open (argv[optind], O_RDONLY);
if (fd < 0) {
fprintf (stderr, "Can not open file '%s'. Error %m\n", argv[optind]);
exit (1);
}
buf_size = read (fd, buf, (1 << 20));
if (fd == (1 << 20)) {
fprintf (stderr, "Too big tlo file\n");
exit (2);
}
return parse_tlo_file ();
}
Reference in New Issue View Git Blame Copy Permalink