diff options
Diffstat (limited to 'src/arch/instruction.c')
| -rw-r--r-- | src/arch/instruction.c | 296 |
1 files changed, 89 insertions, 207 deletions
diff --git a/src/arch/instruction.c b/src/arch/instruction.c index 4bb2e2d..14e78dc 100644 --- a/src/arch/instruction.c +++ b/src/arch/instruction.c @@ -51,29 +51,6 @@ static void g_arch_instruction_finalize(GArchInstruction *); -/* ------------------- DEFINITION DES LIAISONS ENTRE INSTRUCTIONS ------------------- */ - - -/* Dénombre les liens présents à une extrémité donnée. */ -static size_t g_arch_instruction_get_link_counter(GArchInstruction *, bool); - -#define g_arch_instruction_get_source_counter(ins) \ - g_arch_instruction_get_link_counter(ins, true) - -#define g_arch_instruction_get_destination_counter(ins) \ - g_arch_instruction_get_link_counter(ins, false) - -/* Incrémente le nombre de liens définis à une extrémité donnée. */ -static size_t g_arch_instruction_inc_link_counter(GArchInstruction *, bool); - -#define g_arch_instruction_inc_source_counter(ins) \ - g_arch_instruction_inc_link_counter(ins, true) - -#define g_arch_instruction_inc_destination_counter(ins) \ - g_arch_instruction_inc_link_counter(ins, false) - - - /* ------------------------ OFFRE DE CAPACITES DE GENERATION ------------------------ */ @@ -147,8 +124,8 @@ static void g_arch_instruction_init(GArchInstruction *instr) { instr->operands = NULL; - instr->from_count = 0; - instr->to_count = 0; + instr->from = NULL; + instr->to = NULL; } @@ -657,7 +634,6 @@ void _g_arch_instruction_detach_operand(GArchInstruction *instr, GArchOperand *t * * * Paramètres : instr = instruction à mettre à jour. * * src = sélection de l'extrémité à traiter. * -* write = précise le type d'accès prévu (lecture/écriture). * * lock = indique le sens du verrouillage à mener. * * * * Description : Met à disposition un encadrement des accès aux liens. * @@ -668,80 +644,16 @@ void _g_arch_instruction_detach_operand(GArchInstruction *instr, GArchOperand *t * * ******************************************************************************/ -void g_arch_instruction_lock_unlock_links(GArchInstruction *instr, bool src, bool write, bool lock) +void g_arch_instruction_lock_unlock_links(GArchInstruction *instr, bool src, bool lock) { - volatile gint *address; /* Choix de l'entier à traiter */ + flat_array_t **array; /* Choix du tableau ciblé */ - address = (src ? &instr->from_count : &instr->to_count); + array = (src ? &instr->from : &instr->to); if (lock) - g_bit_lock(address, INSTR_LINK_LOCK_BIT); + lock_flat_array(array); else - g_bit_unlock(address, INSTR_LINK_LOCK_BIT); - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instruction dont les informations sont à consulter. * -* src = sélection de l'extrémité à traiter. * -* * -* Description : Dénombre les liens présents à une extrémité donnée. * -* * -* Retour : Quantité positive. * -* * -* Remarques : - * -* * -******************************************************************************/ - -static size_t g_arch_instruction_get_link_counter(GArchInstruction *instr, bool src) -{ - size_t result; /* Nombre de liens à renvoyer */ - volatile gint *address; /* Choix de l'entier à traiter */ - - address = (src ? &instr->from_count : &instr->to_count); - - assert(!g_bit_trylock(address, INSTR_LINK_LOCK_BIT)); - - result = g_atomic_int_get(address) & ~(1 << INSTR_LINK_LOCK_BIT); - - return result; - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instruction dont les informations sont à consulter. * -* src = sélection de l'extrémité à traiter. * -* * -* Description : Incrémente le nombre de liens définis à une extrémité donnée.* -* * -* Retour : Nouvelle quantité mise à jour. * -* * -* Remarques : - * -* * -******************************************************************************/ - -static size_t g_arch_instruction_inc_link_counter(GArchInstruction *instr, bool src) -{ - size_t result; /* Nombre de liens à renvoyer */ - volatile gint *address; /* Choix de l'entier à traiter */ - - address = (src ? &instr->from_count : &instr->to_count); - - assert(!g_bit_trylock(address, INSTR_LINK_LOCK_BIT)); - - result = g_atomic_int_get(address) & ~(1 << INSTR_LINK_LOCK_BIT); - - result++; - - assert((result & (1 << INSTR_LINK_LOCK_BIT)) == 0); - - g_atomic_int_set(address, (1 << INSTR_LINK_LOCK_BIT) | result); - - return result; + unlock_flat_array(array); } @@ -764,18 +676,23 @@ bool g_arch_instruction_has_link_to(GArchInstruction *instr, const GArchInstruct bool result; /* Bilan à retourner */ size_t count; /* Nombre de liens à parcourir */ size_t i; /* Boucle de parcours */ + instr_link_t *dlink; /* Définition de destination */ result = false; - g_arch_instruction_rlock_dest(instr); + g_arch_instruction_lock_dest(instr); - count = g_arch_instruction_get_destination_counter(instr); + count = g_arch_instruction_count_destinations(instr); for (i = 0; i < count && !result; i++) - if (instr->to[i].linked == dest) - result = true; + { + dlink = g_arch_instruction_get_destination(instr, i); - g_arch_instruction_runlock_dest(instr); + result = (dlink->linked == dest); + + } + + g_arch_instruction_unlock_dest(instr); return result; @@ -798,38 +715,30 @@ bool g_arch_instruction_has_link_to(GArchInstruction *instr, const GArchInstruct void g_arch_instruction_link_with(GArchInstruction *instr, GArchInstruction *dest, InstructionLinkType type) { - size_t count; /* Raccourci pour la lecture */ - instr_link_t *new; /* Nouveau lien à définir */ + instr_link_t new_src; /* Nouveau lien à définir #1 */ + instr_link_t new_dst; /* Nouveau lien à définir #2 */ /* Côté destination */ - g_arch_instruction_wlock_src(dest); - - count = g_arch_instruction_inc_source_counter(dest); - - dest->from = (instr_link_t *)realloc(dest->from, count * sizeof(instr_link_t)); - - new = &dest->from[count - 1]; - - new->linked = instr; - new->type = type; - - g_arch_instruction_wunlock_src(dest); + new_src.linked = instr; + new_src.type = type; /* Côté point de départ */ - g_arch_instruction_wlock_dest(instr); + new_dst.linked = dest; + new_dst.type = type; - count = g_arch_instruction_inc_destination_counter(instr); + /* Ajout dans le respect d'une cohérence globale */ - instr->to = (instr_link_t *)realloc(instr->to, count * sizeof(instr_link_t)); + g_arch_instruction_lock_src(dest); + g_arch_instruction_lock_dest(instr); - new = &instr->to[count - 1]; + add_item_to_flat_array(&dest->from, &new_src, sizeof(instr_link_t)); - new->linked = dest; - new->type = type; + add_item_to_flat_array(&instr->to, &new_dst, sizeof(instr_link_t)); - g_arch_instruction_wunlock_dest(instr); + g_arch_instruction_unlock_dest(instr); + g_arch_instruction_unlock_src(dest); } @@ -845,7 +754,7 @@ void g_arch_instruction_link_with(GArchInstruction *instr, GArchInstruction *des * * * Retour : true pour une mise à jour réussie, false sinon. * * * -* Remarques : Le verrou doit être posé sur les destination de 'instr'. * +* Remarques : Le verrou doit être posé sur les destinations de 'instr'. * * * ******************************************************************************/ @@ -854,52 +763,56 @@ bool g_arch_instruction_change_link(GArchInstruction *instr, GArchInstruction *d bool result; /* Bilan à retourner */ size_t count; /* Raccourci pour la lecture */ size_t i; /* Boucle de parcours */ - size_t from_idx; /* Indice côté destination */ - size_t to_idx; /* Indice côté source */ + instr_link_t *slink; /* Définition de source */ + instr_link_t *dlink; /* Définition de destination */ result = false; - assert(!g_bit_trylock(&instr->to_count, INSTR_LINK_LOCK_BIT)); - - g_arch_instruction_wlock_src(dest); + g_arch_instruction_lock_src(dest); /* Côté destination */ - count = g_arch_instruction_get_source_counter(dest); + count = g_arch_instruction_count_sources(dest); for (i = 0; i < count; i++) - if (dest->from[i].linked == instr && dest->from[i].type == old) + { + slink = g_arch_instruction_get_source(dest, i); + + if (slink->linked == instr && slink->type == old) break; + } + if (i == count) goto gaicl_exit; - else - from_idx = i; /* Côté point de départ */ - count = g_arch_instruction_get_destination_counter(instr); + count = g_arch_instruction_count_destinations(instr); for (i = 0; i < count; i++) - if (instr->to[i].linked == dest && instr->to[i].type == old) + { + dlink = g_arch_instruction_get_destination(instr, i); + + if (dlink->linked == dest && dlink->type == old) break; + } + if (i == count) goto gaicl_exit; - else - to_idx = i; /* Si les deux extrémités sont raccord... */ - dest->from[from_idx].type = new; + slink->type = new; - instr->to[to_idx].type = new; + dlink->type = new; result = true; gaicl_exit: - g_arch_instruction_wunlock_src(dest); + g_arch_instruction_unlock_src(dest); return result; @@ -910,48 +823,45 @@ bool g_arch_instruction_change_link(GArchInstruction *instr, GArchInstruction *d * * * Paramètres : instr = instruction dont les informations sont à consulter. * * * -* Description : Indique si l'instruction a une ou plusieurs origines. * +* Description : Fournit la quantité d'instructions pointant vers une autre. * * * -* Retour : Bilan de la consultation. * +* Retour : Nombre de ces origines. * * * * Remarques : - * * * ******************************************************************************/ -bool g_arch_instruction_has_sources(GArchInstruction *instr) +size_t g_arch_instruction_count_sources(const GArchInstruction *instr) { - size_t count; /* Nombre de liens présents */ - - assert(!g_bit_trylock(&instr->from_count, INSTR_LINK_LOCK_BIT)); + size_t result; /* Nombre de liens à renvoyer */ - count = g_arch_instruction_get_source_counter(instr); + result = count_flat_array_items(instr->from); - return (count > 0); + return result; } /****************************************************************************** * * -* Paramètres : instr = instruction dont les informations sont à consulter.* -* sources = liste des liens aux instructions d'origine. [OUT] * +* Paramètres : instr = instruction dont les informations sont à consulter. * +* index = indice de l'élément à retrouver. * * * -* Description : Fournit les origines d'une instruction donnée. * +* Description : Fournit les détails d'une origine d'une instruction donnée. * * * -* Retour : Nombre de ces origines. * +* Retour : Lien déterminé vers une instruction d'origine. * * * * Remarques : - * * * ******************************************************************************/ -size_t g_arch_instruction_get_sources(GArchInstruction *instr, instr_link_t **sources) +instr_link_t *g_arch_instruction_get_source(GArchInstruction *instr, size_t index) { - assert(!g_bit_trylock(&instr->from_count, INSTR_LINK_LOCK_BIT)); + instr_link_t *result; /* Détails présents à renvoyer */ - if (sources != NULL) - *sources = instr->from; + result = get_flat_array_item(instr->from, index, sizeof(instr_link_t)); - return g_arch_instruction_get_source_counter(instr); + return result; } @@ -960,23 +870,21 @@ size_t g_arch_instruction_get_sources(GArchInstruction *instr, instr_link_t **so * * * Paramètres : instr = instruction dont les informations sont à consulter. * * * -* Description : Indique si l'instruction a une suite autre que la suivante. * +* Description : Donne le nombre d'instructions non naturellement suivantes. * * * -* Retour : Bilan de la consultation. * +* Retour : Nombre de ces destinations. * * * * Remarques : - * * * ******************************************************************************/ -bool g_arch_instruction_has_destinations(GArchInstruction *instr) +size_t g_arch_instruction_count_destinations(const GArchInstruction *instr) { - size_t count; /* Nombre de liens présents */ - - assert(!g_bit_trylock(&instr->to_count, INSTR_LINK_LOCK_BIT)); + size_t result; /* Nombre de liens à renvoyer */ - count = g_arch_instruction_get_destination_counter(instr); + result = count_flat_array_items(instr->to); - return (count > 0); + return result; } @@ -984,24 +892,23 @@ bool g_arch_instruction_has_destinations(GArchInstruction *instr) /****************************************************************************** * * * Paramètres : instr = instruction dont les informations sont à consulter. * -* dests = liste de liens aux instructions de destination. [OUT]* +* index = indice de l'élément à retrouver. * * * -* Description : Fournit les destinations d'une instruction donnée. * +* Description : Fournit les détails d'une destination d'une instruction. * * * -* Retour : Nombre de ces destinations. * +* Retour : Lien déterminé vers une instruction de destination. * * * * Remarques : - * * * ******************************************************************************/ -size_t g_arch_instruction_get_destinations(GArchInstruction *instr, instr_link_t **dests) +instr_link_t *g_arch_instruction_get_destination(GArchInstruction *instr, size_t index) { - assert(!g_bit_trylock(&instr->to_count, INSTR_LINK_LOCK_BIT)); + instr_link_t *result; /* Détails présents à renvoyer */ - if (dests != NULL) - *dests = instr->to; + result = get_flat_array_item(instr->to, index, sizeof(instr_link_t)); - return g_arch_instruction_get_destination_counter(instr); + return result; } @@ -1024,53 +931,28 @@ GArchInstruction *g_arch_instruction_get_given_destination(GArchInstruction *ins GArchInstruction *result; /* Résultat à remonter */ size_t count; /* Nombre de liens à parcourir */ size_t i; /* Boucle de parcours */ + instr_link_t *dest; /* Destination à étudier */ result = NULL; - assert(!g_bit_trylock(&instr->to_count, INSTR_LINK_LOCK_BIT)); + g_arch_instruction_lock_dest(instr); - count = g_arch_instruction_get_destination_counter(instr); + count = g_arch_instruction_count_destinations(instr); for (i = 0; i < count && result == NULL; i++) - if (instr->to[i].type == type) - result = instr->to[i].linked; - - return result; - -} - - -/****************************************************************************** -* * -* Paramètres : iter = membre du groupe donné en référence. * -* list = liste des instructions à analyser. * -* count = taille de cette liste. * -* * -* Description : Indique la position dans les instructions identiques. * -* * -* Retour : Indice dans les instructions identiques du groupe. * -* * -* Remarques : - * -* * -******************************************************************************/ - -size_t g_arch_instruction_compute_group_index(GArchInstruction **iter, GArchInstruction **list, size_t count) -{ - size_t result; /* Valeur à retourner */ - size_t i; /* Boucle de parcours */ - - result = 0; - - for (i = 0; i < count; i++) { - if ((list + i) == iter) - break; + dest = g_arch_instruction_get_destination(instr, i); - if (list[i] == *iter) - result++; + if (dest->type == type) + { + result = dest->linked; + g_object_ref(G_OBJECT(result)); + } } + g_arch_instruction_unlock_dest(instr); + return result; } |