©Pierre Marchand, 2001 87 Objectifs : Vous apprendrez comment sont implantées les structures de contrôle des langages de haut niveau. Pour y arriver, vous.

Présentation au sujet: "©Pierre Marchand, 2001 87 Objectifs : Vous apprendrez comment sont implantées les structures de contrôle des langages de haut niveau. Pour y arriver, vous."— Transcription de la présentation:

1 ©Pierre Marchand, 2001 87 Objectifs : Vous apprendrez comment sont implantées les structures de contrôle des langages de haut niveau. Pour y arriver, vous aurez atteint les objectifs suivants : - savoir implanter les structures if-then-else, for, while, switch. - décrire comment les branchements s'effectuent en fonction de la valeur des indicateurs. Unité A3: Structures de contrôle

2 ©Pierre Marchand, 2001 88 5. Structures de contrôle 5.1 Principales structures de contrôle Saut inconditionnel jmpétiquette; continue lexécution à étiquette Sauts conditionnels jeétiquette; jump if equal jlétiquette; jump if less jleétiquette; jump if less or equal jgétiquette; jump if greater jgeetiquette; jump if greater or equal Unité A3: Structures de contrôle

3 ©Pierre Marchand, 2001 89 5. Structures de contrôle 5.1 Principales structures de contrôle Autres sauts conditionnels jneétiquette; jump if not equal jnlétiquette; jump if not less = jge jnleétiquette; jump if not less or equal = jg jngétiquette; jump if not greater = jle jngeetiquette; jump if not greater or equal = jl Unité A3: Structures de contrôle

4 ©Pierre Marchand, 2001 90 5. Structures de contrôle 5.1 Principales structures de contrôle if (a > b) {if:cmpa,b …jngelse… }… else{jmpendif …else:…… } …endif:… Unité A3: Structures de contrôle

5 ©Pierre Marchand, 2001 91 5. Structures de contrôle 5.1 Principales structures de contrôle if (a > b) && (c <= d) {if:cmpa,b …jngendif …cmpc,d }jnleendif…...… endif:… … Unité A3: Structures de contrôle

6 ©Pierre Marchand, 2001 92 5. Structures de contrôle 5.1 Principales structures de contrôle while (a > b) {while:cmpa,b …jleendwhile… }… jmpwhile endwhile:… Unité A3: Structures de contrôle

7 ©Pierre Marchand, 2001 93 5. Structures de contrôle 5.1 Principales structures de contrôle for (i = 1; i <= 10; i++) {for:movi,1 …jmptest …next:…… }inci …test:cmpi,10 jlenext endfor:… Unité A3: Structures de contrôle

8 ©Pierre Marchand, 2001 94 5. Structures de contrôle 5.1 Principales structures de contrôle switch (i) {switch: case 1:…case1:cmpi,1 …jnecase2 … break; jmpendswitch case 2:… case2:cmpi,2... jnedefault … break; jmpendswitch default:…default:… }endswitch:... … Unité A3: Structures de contrôle

9 ©Pierre Marchand, 2001 95 5. Structures de contrôle 5.2 Branchements Lors d'une comparaison, par exemple cmp a,b, le processeur effectue la soustraction a – b et positionne les indicateurs selon le résultat de l'opération. Les indicateurs qui nous intéressent ici sont : ZF = zero flag = 1 si le résultat est nul, sinon ZF = 0, CF = carry flag = 1 si une retenue est générée, sinon CF = 0, SF = sign flag = 1 si le résultat est négatif, sinon SF = 0, OF = overflow flag = 1 s'il y a débordement de capacité, sinon OF = 0 On rappelle quun débordement de capacité se produit seulement si les deux opérandes sont de même signe et que le résultat de lopération est de signe différent. Unité A3: Structures de contrôle

10 ©Pierre Marchand, 2001 96 5. Structures de contrôle 5.2 Branchements Pour mieux comprendre comment ces indicateurs sont affectés, examinons ce qui se passe lors d'une addition. Cas ExempleSFZFOFCF 1.P + P = P20 + 30 = 500000 2.P+ P = N *40 + 50 = 901010 3.P+ N = P70 + F0 = 600001 4.P+ N = N50 + 90 = E01000 5.N+ N = P *A0 + 90 = 300011 6.N+ N = NF0 + E0 = D01001 Les nombres sont en hexadécimal * Pas possible en arithmétique ordinaire Unité A3: Structures de contrôle

11 ©Pierre Marchand, 2001 97 5. Structures de contrôle 5.2 Branchements Voyons maintenant ce qui se passe lors d'une soustraction (comparaison) : Cas Exemple*SFZFOFCF 1.P - P = P40 - 20 = 200000 2.P - P = N20 - 40 = E01001 3. P - N = P50 - F0 = 600001 4.P - N = N *30 - 90 = A01011 5.N - P = P *B0 - 70 = 400010 6.N - P = NA0 - 10 = 901000 7.N - N = PC0 - A0 = 200000 8.N - N = NA0 - F0 = B01001 Unité A3: Structures de contrôle

12 ©Pierre Marchand, 2001 98 5. Structures de contrôle 5.2 Branchements A > B non signé Exemple CasSFZFOFCF A > 0 et B > 050 - 10 = 40P - P = P0000 A 090 - 20 = 70N - P = P0010 A 090 - 10 = 80N - P = N1000 A < 0 et B < 090 - 80 = 10N - N = P0000 Unité A3: Structures de contrôle

13 ©Pierre Marchand, 2001 99 5. Structures de contrôle 5.2 Branchements On peut dériver de la sorte les conditions suivantes pour des quantités non signées : a (above)ZF = 0 et CF = 0 ae (above or equal)CF = 0 b (below) CF = 1 be (below or equal)CF = 1 ou ZF = 1 Unité A3: Structures de contrôle

14 ©Pierre Marchand, 2001 100 5. Structures de contrôle 5.2 Branchements Cas de quantités signées en complément à 2 : A > B signé Exemple CasSFZFOFCF A > 0 et B > 0: 50 - 10 = 40P - P = P0000 A > 0 et B < 0: 50 - F0 = 60P - N = P0001 A > 0 et B < 0: 50 - 90 = C0P - N = N1011 A < 0 et B < 0: F0 - 90 = 60N - N = P0000 Unité A3: Structures de contrôle

15 ©Pierre Marchand, 2001 101 5. Structures de contrôle 5.2 Branchements Cas de quantités signées en complément à 2 : On peut ainsi dériver les conditions suivantes pour les quantités signées : g (greater) ZF = 0 et SF = OF ge (greater or equal)SF = OF l (less)SF OF le (less or equal)ZF = 1 ou SF OF Unité A3: Structures de contrôle

16 ©Pierre Marchand, 2001 102 5. Structures de contrôle 5.2 Branchements Il faut bien prendre garde d'utiliser le bon branchement selon le type de données considéré. En C, les variables sont signées par défaut. Pour avoir des variables non signées, on utilise la déclaration unsigned. Exemples : unsigned char x;0 x 255 unsigned short y;0 y 65535 unsigned long z; 0 z 4294967296 char x;-128 x 127 short y;-32768 y 32767 long z;-2147483648 z 2147483647 Unité A3: Structures de contrôle

17 ©Pierre Marchand, 2001 103 5. Structures de contrôle 5.2 Branchements En assembleur, cest le type de branchement, signé ou non signé qui détermine le comportement signé ou non signé des opérations. Unité A3: Structures de contrôle

18 ©Pierre Marchand, 2001 104 5. Structures de contrôle 5.2 Branchements Branchements inconditionnels call; appel de sous-programme jmp; saut ret, retn, retf, iret; retour (near, far), retour dinterrution Unité A3: Structures de contrôle

19 ©Pierre Marchand, 2001 105 5. Structures de contrôle 5.2 Branchements Branchements conditionnels simples je; jump if equal: ZF = 1 jne; jump if not equal:ZF = 0 jz; jump if zero: ZF = 1 jnz; jump if not zero:ZF = 0 Exemple : testeax, eaxou cmpeax, 0 jezero Unité A3: Structures de contrôle

20 ©Pierre Marchand, 2001 106 5. Structures de contrôle 5.2 Branchements Branchements conditionnels non signés ja; jump above (x > y non-signé )CF = 0 & ZF = 0 jna; jump not above = jbe jae; jump above or equalCF = 0 jnae; jump not above or equal = jb jb; jump below (x < y non-signé) CF = 1 jnb; jump not below = jae jbe; jump below or equal CF = 1 | ZF = 1 jnbe; jump not below or equal = ja Unité A3: Structures de contrôle

21 ©Pierre Marchand, 2001 107 5. Structures de contrôle 5.2 Branchements Branchements conditionnels signés jg; jump greater (x > y signé) SF = OF & ZF = 0 jng; jump not greater SF OF & ZF = 1 jge; jump greater or equal SF = OF jnge; jump not greater or equal = jl jl; jump less (x < y signé) SF OF jnl; jump not less = jge jle; jump less or equal SF OF jnle; jump not less or equal = jg Unité A3: Structures de contrôle

22 ©Pierre Marchand, 2001 108 5. Structures de contrôle 5.2 Branchements Branchements sur les indicateurs jc; jump if carry: CF = 1 jnc; jump if not carry: CF = 0 jo; jump if overflow: OF = 1 jno; jump if not overflow: OF = 0 jp; jump if parity: PF = 1 jnp; jump if not parity:PF = 0 jpo; jump if parity odd: PF = 0 js; jump if sign: SF = 1 (negative) jns; jump if no sign:SF = 0 Unité A3: Structures de contrôle

23 ©Pierre Marchand, 2001 109 5. Structures de contrôle 5.2 Branchements Branchements conditionnels sur compteur C jcxz; jump if cx = 0 jecxz; jump if ecx = 0 Unité A3: Structures de contrôle