Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Chapitre 6 - Exemples de résultats
Figure 29. Graphe de
dépendances pour le code
x
x
do.c
1
2 int main (void){
3 int x;
4 x = 0;
5 do {
6 x++;
7 }while(x < 2);
8 return 0;
9 }
x
Au deuxième tour de boucle, les instructions qui y sont appelées
ont leur numéro de ligne avec un compteur d appel égal à 2, c està-dire
les lignes 6 :2 pour l incrémenattion de la valeur de x et la
ligne 7 :2 pour la condition du while. La deuxième évaluation de
la condition n étant pas vérifiée la ligne d instruction 8 :1 est
exécutée pour retourner la valeur 0.
6.2.4. Boucle for
for.c
b
i=0; i=1;
Pour l exemple de boucle for,
nous avons utilisé le programme
« for.c », qui fait deux tours de
boucles for et qui modifie la
valeur de la variable b (initialisée
à 5) à chaque tour de boucle en
fonction de la variable i. La
variable i étant l index de boucle.
1 int main (void){
2 int i,b;
3 b = 5;
4 for (i=0; i < 2; i++){
5 b += i;
6 }
7 return b;
8 }
b
b
i=2;
Nous voyons alors sur le graphe généré que les conditions dans
l appel de la boucle for sont correctement évaluées, les deux
tours de boucles sont bien effectuées et la valeur de b est
également bien modifiée. Cependant, bien que nous ayons les
bons résultats et les bonnes évaluations de conditions pour
chaque boucle, nous voyons que notre graphique se comporte de
manière innatendue. Il effectue en effet un retour sur chaque
appel de condition, ce qui n est pas le cas dans notre programme.
De plus, notre outil considère l initialisation et l incrémentation
de l index i ainsi que l évaluation de la condition, comme étant
effectués par une même instruction identifiée par la ligne du for
(4 :1, 4 :2, 4 :3 dans notre exemple). Or notre programme ne
i=3;
Figure 30. Graphe de
dépendances pour le code
65