summaryrefslogtreecommitdiff
path: root/tools/d2c/args/manager.c
diff options
context:
space:
mode:
Diffstat (limited to 'tools/d2c/args/manager.c')
-rw-r--r--tools/d2c/args/manager.c202
1 files changed, 103 insertions, 99 deletions
diff --git a/tools/d2c/args/manager.c b/tools/d2c/args/manager.c
index 3cd215d..8e1ef4d 100644
--- a/tools/d2c/args/manager.c
+++ b/tools/d2c/args/manager.c
@@ -132,10 +132,10 @@ struct _arg_expr_t
/* Visite une expression en traitant en premier ses composantes. */
-typedef bool (* visit_expr_fc) (arg_expr_t *, int, const coding_bits *, const conv_list *, void *);
+typedef bool (* visit_expr_fc) (arg_expr_t *);
/* Visite une expression en traitant en premier ses composantes. */
-static bool visit_arg_expr(arg_expr_t *, visit_expr_fc, int, const coding_bits *, const conv_list *, void *);
+static bool visit_arg_expr(arg_expr_t *, visit_expr_fc);
/* Retrouve si elle existe une variable manipulée. */
static bool find_var_by_name(const coding_bits *, const conv_list *, const char *, raw_bitfield **, conv_func **);
@@ -641,11 +641,8 @@ bool compute_arg_expr_size(const arg_expr_t *expr, const coding_bits *bits, cons
/******************************************************************************
* *
-* Paramètres : expr = première expression à encapsuler. *
-* fd = descripteur d'un flux ouvert en écriture. *
-* bits = gestionnaire des bits d'encodage. *
-* list = liste de l'ensemble des fonctions de conversion. *
-* data = éventuelle donnée à transmettre à chaque visite. *
+* Paramètres : expr = première expression encapsulée. *
+* visit = fonction à appeler pour chaque élément recontré. *
* *
* Description : Visite une expression en traitant en premier ses composantes.*
* *
@@ -655,29 +652,32 @@ bool compute_arg_expr_size(const arg_expr_t *expr, const coding_bits *bits, cons
* *
******************************************************************************/
-static bool visit_arg_expr(arg_expr_t *expr, visit_expr_fc visit, int fd, const coding_bits *bits, const conv_list *list, void *data)
+static bool visit_arg_expr(arg_expr_t *expr, visit_expr_fc visit)
{
bool result; /* Bilan à retourner */
switch (expr->type)
{
case CET_LOGICAL:
- result = visit_arg_expr(expr->logical_expr1, visit, fd, bits, list, data);
- result = visit_arg_expr(expr->logical_expr2, visit, fd, bits, list, data);
+ result = visit_arg_expr(expr->logical_expr1, visit);
+ if (result)
+ result = visit_arg_expr(expr->logical_expr2, visit);
break;
case CET_UNARY:
- result = visit_arg_expr(expr->un_expr, visit, fd, bits, list, data);
+ result = visit_arg_expr(expr->un_expr, visit);
break;
case CET_CONDITIONAL:
- result = visit_arg_expr(expr->cond_expr1, visit, fd, bits, list, data);
- result = visit_arg_expr(expr->cond_expr2, visit, fd, bits, list, data);
+ result = visit_arg_expr(expr->cond_expr1, visit);
+ if (result)
+ result = visit_arg_expr(expr->cond_expr2, visit);
break;
case CET_BINARY:
- result = visit_arg_expr(expr->bin_expr1, visit, fd, bits, list, data);
- result = visit_arg_expr(expr->bin_expr2, visit, fd, bits, list, data);
+ result = visit_arg_expr(expr->bin_expr1, visit);
+ if (result)
+ result = visit_arg_expr(expr->bin_expr2, visit);
break;
default:
@@ -686,7 +686,8 @@ static bool visit_arg_expr(arg_expr_t *expr, visit_expr_fc visit, int fd, const
}
- result &= visit(expr, fd, bits, list, data);
+ if (result)
+ result = visit(expr);
return result;
@@ -729,9 +730,6 @@ static bool find_var_by_name(const coding_bits *bits, const conv_list *list, con
if (field != NULL) *field = cached_field;
if (func != NULL) *func = cached_func;
- if (!result)
- fprintf(stderr, "Variable '%s' not found!\n", name);
-
return result;
}
@@ -753,31 +751,27 @@ static bool find_var_by_name(const coding_bits *bits, const conv_list *list, con
bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *bits, const conv_list *list)
{
- bool mark_sub_expr(arg_expr_t *sub, int dummy, const coding_bits *bts, const conv_list *lst, void *unused)
+ bool mark_sub_expr(arg_expr_t *sub)
{
bool result; /* Bilan à retourner */
size_t i; /* Boucle de parcours */
- bool mark_by_name(const coding_bits *_bts, const conv_list *_lst, const char *name)
+ bool mark_by_name(const char *name)
{
bool found; /* Bilan d'opération à renvoyer*/
raw_bitfield *field; /* Eventuel champ brut associé */
conv_func *func; /* Eventuelle fonction liée */
- found = find_var_by_name(bts, lst, name, &field, &func);
+ found = find_var_by_name(bits, list, name, &field, &func);
if (found)
{
if (field != NULL)
mark_raw_bitfield_as_used(field);
else /*if (func != NULL) */
- mark_conv_func(func, true, bts, lst);
-
- printf(" VAR '%s' found (bf=%d fc=%d)\n", name, !!field, !!func);
-
+ mark_conv_func(func, true, bits, list);
}
- else printf(" VAR '%s' not found...\n", name);
return found;
@@ -787,7 +781,7 @@ bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *b
switch (sub->type)
{
case CET_NAME:
- /* result = */mark_by_name(bits, lst, sub->name);
+ /* result = */mark_by_name(sub->name);
result = true;
break;
@@ -795,7 +789,7 @@ bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *b
result = true;
for (i = 0; i < sub->comp_count && result; i++)
if (!isdigit(sub->comp_items[i][0]))
- result = mark_by_name(bits, lst, sub->comp_items[i]);
+ result = mark_by_name(sub->comp_items[i]);
break;
default:
@@ -808,7 +802,7 @@ bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *b
}
- return visit_arg_expr(expr, (visit_expr_fc)mark_sub_expr, -1, bits, list, NULL);
+ return visit_arg_expr(expr, (visit_expr_fc)mark_sub_expr);
}
@@ -820,8 +814,7 @@ bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *b
* arch = architecture visée par l'opération globale. *
* bits = gestionnaire des bits d'encodage. *
* list = liste de l'ensemble des fonctions de conversion. *
-* pp = pré-processeur pour les échanges de chaînes. *
-* wide = taille des mots décodés. *
+* tab = décalage éventuel selon l'inclusion. *
* *
* Description : S'assure de la déclaration des expressions pre-requises. *
* *
@@ -831,15 +824,17 @@ bool ensure_arg_expr_content_fully_marked(arg_expr_t *expr, const coding_bits *b
* *
******************************************************************************/
-bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const coding_bits *bits, const conv_list *list, const pre_processor *pp, unsigned int wide)
+bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const coding_bits *bits, const conv_list *list, const char *tab)
{
- bool declare_sub_expr(arg_expr_t *sub, int f, const coding_bits *bts, const conv_list *lst, unsigned int *wideptr)
+ bool declare_sub_expr(arg_expr_t *sub)
{
bool result; /* Bilan à retourner */
size_t i; /* Boucle de parcours */
- /* Si l'expression a déjà été définie lors d'un précédent besoin... */
- printf(" sub declared ? %d -- type = %d\n", sub->declared, sub->type);
+ /**
+ * Si l'expression a déjà été définie lors d'un précédent besoin...
+ */
+
if (sub->declared) return true;
bool declare_by_name(const char *name)
@@ -847,30 +842,10 @@ bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const codi
bool found; /* Bilan d'opération à renvoyer*/
conv_func *func; /* Eventuelle fonction liée */
- found = find_var_by_name(bts, lst, name, NULL, &func);
+ found = find_var_by_name(bits, list, name, NULL, &func);
if (found && func != NULL)
- {
- printf("========= DECLARE for '%s'\n", name);
- found = declare_conv_func(func, fd, bits, list, pp, wide);
- printf("========= END DECLARE for '%s'\n", name);
-
- /**
- * Si on déclare les variables suivantes dans declare_conv_func(),
- * elles seront également déclarées pour les fonctions de conversion
- * racine à partir de declare_syntax_items(), ce qui ne convient pas
- * car les appels racine servent directement d'arguments.
- */
-
- /*
- if (is_conv_func_expression(func))
- dprintf(_f, "\t\tuint%u_t val_%s; // Ho\n", _wide, name); // FIXME
- else
- dprintf(_f, "\t\tGArchOperand *val_%s;;;;;\n", name); // FIXME
- */
-
-
- }
+ found = declare_conv_func(func, fd, bits, list, tab);
return found;
@@ -903,7 +878,7 @@ bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const codi
}
- return visit_arg_expr(expr, (visit_expr_fc)declare_sub_expr, fd, bits, list, &wide);
+ return visit_arg_expr(expr, (visit_expr_fc)declare_sub_expr);
}
@@ -912,10 +887,9 @@ bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const codi
* *
* Paramètres : expr = première expression à encapsuler. *
* fd = descripteur d'un flux ouvert en écriture. *
-* arch = architecture visée par l'opération globale. *
* bits = gestionnaire des bits d'encodage. *
* list = liste de l'ensemble des fonctions de conversion. *
-* pp = pré-processeur pour les échanges de chaînes. *
+* tab = décalage éventuel selon l'inclusion. *
* exit = exprime le besoin d'une voie de sortie. [OUT] *
* *
* Description : S'assure de la définition des expressions pre-requises. *
@@ -926,18 +900,9 @@ bool ensure_arg_expr_content_fully_declared(arg_expr_t *expr, int fd, const codi
* *
******************************************************************************/
-bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const char *arch, const coding_bits *bits, const conv_list *list, const pre_processor *pp, bool *exit)
+bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const coding_bits *bits, const conv_list *list, const char *tab, bool *exit)
{
- typedef struct _def_info
- {
- const char *arch;
- const pre_processor *pp;
-
- } def_info;
-
- def_info info; /* Transmissions au visiteur */
-
- bool define_sub_expr(arg_expr_t *sub, int f, const coding_bits *bts, const conv_list *lst, def_info *info)
+ bool define_sub_expr(arg_expr_t *sub)
{
bool result; /* Bilan à retourner */
size_t i; /* Boucle de parcours */
@@ -945,15 +910,15 @@ bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const char
/* Si l'expression a déjà été définie lors d'un précédent besoin... */
if (sub->defined) return true;
- bool define_by_name(int _f, const coding_bits *_bts, const conv_list *_lst, def_info *_info, const char *name)
+ bool define_by_name(const char *name)
{
bool found; /* Bilan d'opération à renvoyer*/
conv_func *func; /* Eventuelle fonction liée */
- found = find_var_by_name(bts, lst, name, NULL, &func);
+ found = find_var_by_name(bits, list, name, NULL, &func);
if (found && func != NULL)
- found = define_conv_func(func, false, false, _f, _info->arch, _bts, _lst, _info->pp, exit);
+ found = define_conv_func(func, fd, bits, list, tab, false, exit);
return found;
@@ -963,7 +928,7 @@ bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const char
switch (sub->type)
{
case CET_NAME:
- /* result = */define_by_name(f, bits, lst, info, sub->name);
+ /* result = */define_by_name(sub->name);
result = true;
break;
@@ -971,7 +936,7 @@ bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const char
result = true;
for (i = 0; i < sub->comp_count && result; i++)
if (!isdigit(sub->comp_items[i][0]))
- result = define_by_name(f, bits, lst, info, sub->comp_items[i]);
+ result = define_by_name(sub->comp_items[i]);
break;
default:
@@ -986,10 +951,7 @@ bool ensure_arg_expr_content_fully_defined(arg_expr_t *expr, int fd, const char
}
- info.arch = arch;
- info.pp = pp;
-
- return visit_arg_expr(expr, (visit_expr_fc)define_sub_expr, fd, bits, list, &info);
+ return visit_arg_expr(expr, (visit_expr_fc)define_sub_expr);
}
@@ -1031,9 +993,9 @@ bool define_arg_expr(const arg_expr_t *expr, int fd, const coding_bits *bits, co
else
{
if (field != NULL)
- dprintf(fd, "raw_%s", expr->name);
+ write_raw_bitfield(field, fd);
else
- dprintf(fd, "val_%s", expr->name);
+ write_conv_func(func, fd, true);
}
break;
@@ -1103,17 +1065,15 @@ bool define_arg_expr(const arg_expr_t *expr, int fd, const coding_bits *bits, co
if (field != NULL)
{
- if (max_size == 0)
- dprintf(fd, "raw_%s", cname);
- else
- dprintf(fd, "raw_%s << %u", cname, max_size);
+ write_raw_bitfield(field, fd);
+ if (max_size > 0)
+ dprintf(fd, " << %u", max_size);
}
else
{
- if (max_size == 0)
- dprintf(fd, "val_%s", cname);
- else
- dprintf(fd, "val_%s << %u", cname, max_size);
+ write_conv_func(func, fd, true);
+ if (max_size > 0)
+ dprintf(fd, " << %u", max_size);
}
}
@@ -1204,6 +1164,32 @@ bool define_arg_expr(const arg_expr_t *expr, int fd, const coding_bits *bits, co
/******************************************************************************
* *
+* Paramètres : - *
+* *
+* Description : Crée une liste vide d'arguments de conversion. *
+* *
+* Retour : Nouvelle structure mise en place. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+
+arg_list_t *build_empty_arg_list(void)
+{
+ arg_list_t *result; /* Structure à retourner */
+
+ result = (arg_list_t *)calloc(1, sizeof(arg_list_t));
+
+ result->items = NULL;
+ result->count = 0;
+
+ return result;
+
+}
+
+
+/******************************************************************************
+* *
* Paramètres : expr = expression initial pour constituer une liste. *
* *
* Description : Crée une liste d'arguments de conversion. *
@@ -1283,6 +1269,26 @@ arg_list_t *extend_arg_list(arg_list_t *list, arg_expr_t *expr)
/******************************************************************************
* *
+* Paramètres : args = liste d'expressions à traiter. *
+* *
+* Description : Indique le nombre d'arguments présents dans la liste. *
+* *
+* Retour : Nombre positif ou nul. *
+* *
+* Remarques : - *
+* *
+******************************************************************************/
+#ifndef NDEBUG
+size_t get_arg_list_size(const arg_list_t *args)
+{
+ return args->count;
+
+}
+#endif
+
+
+/******************************************************************************
+* *
* Paramètres : args = liste d'expressions à supprimer de la mémoire. *
* bits = gestionnaire des bits d'encodage. *
* list = liste de l'ensemble des fonctions de conversion. *
@@ -1316,8 +1322,7 @@ bool ensure_arg_list_content_fully_marked(arg_list_t *args, const coding_bits *b
* fd = descripteur d'un flux ouvert en écriture. *
* bits = gestionnaire des bits d'encodage. *
* list = liste de l'ensemble des fonctions de conversion. *
-* pp = pré-processeur pour les échanges de chaînes. *
-* wide = taille des mots décodés. *
+* tab = décalage éventuel selon l'inclusion. *
* *
* Description : S'assure de la déclaration des expressions pre-requises. *
* *
@@ -1327,7 +1332,7 @@ bool ensure_arg_list_content_fully_marked(arg_list_t *args, const coding_bits *b
* *
******************************************************************************/
-bool ensure_arg_list_content_fully_declared(arg_list_t *args, int fd, const coding_bits *bits, const conv_list *list, const pre_processor *pp, unsigned int wide)
+bool ensure_arg_list_content_fully_declared(arg_list_t *args, int fd, const coding_bits *bits, const conv_list *list, const char *tab)
{
bool result; /* Bilan à remonter */
size_t i; /* Boucle de parcours */
@@ -1335,7 +1340,7 @@ bool ensure_arg_list_content_fully_declared(arg_list_t *args, int fd, const codi
result = true;
for (i = 0; i < args->count && result; i++)
- result = ensure_arg_expr_content_fully_declared(args->items[i], fd, bits, list, pp, wide);
+ result = ensure_arg_expr_content_fully_declared(args->items[i], fd, bits, list, tab);
return result;
@@ -1346,10 +1351,9 @@ bool ensure_arg_list_content_fully_declared(arg_list_t *args, int fd, const codi
* *
* Paramètres : args = liste d'expressions à supprimer de la mémoire. *
* fd = descripteur d'un flux ouvert en écriture. *
-* arch = architecture visée par l'opération globale. *
* bits = gestionnaire des bits d'encodage. *
* list = liste de l'ensemble des fonctions de conversion. *
-* pp = pré-processeur pour les échanges de chaînes. *
+* tab = décalage éventuel selon l'inclusion. *
* exit = exprime le besoin d'une voie de sortie. [OUT] *
* *
* Description : S'assure de la définition des expressions pre-requises. *
@@ -1360,7 +1364,7 @@ bool ensure_arg_list_content_fully_declared(arg_list_t *args, int fd, const codi
* *
******************************************************************************/
-bool ensure_arg_list_content_fully_defined(arg_list_t *args, int fd, const char *arch, const coding_bits *bits, const conv_list *list, const pre_processor *pp, bool *exit)
+bool ensure_arg_list_content_fully_defined(arg_list_t *args, int fd, const coding_bits *bits, const conv_list *list, const char *tab, bool *exit)
{
bool result; /* Bilan à remonter */
size_t i; /* Boucle de parcours */
@@ -1368,7 +1372,7 @@ bool ensure_arg_list_content_fully_defined(arg_list_t *args, int fd, const char
result = true;
for (i = 0; i < args->count && result; i++)
- result = ensure_arg_expr_content_fully_defined(args->items[i], fd, arch, bits, list, pp, exit);
+ result = ensure_arg_expr_content_fully_defined(args->items[i], fd, bits, list, tab, exit);
return result;
generated by cgit v0.11.2-87-g4458 at 2024-05-01 23:45:07 (GMT)