Istruzioni di salto

L'ordine con cui le istruzioni di un programma vengono eseguite viene chiamato "flusso". Ogni programma deve poter modificare il flusso delle sue istruzioni in base agli input che riceve ed ai risultati in corso di elaborazione. Nel linguaggio macchina sono presenti istruzioni che permettono di cambiare l'ordine con cui il programma viene eseguito.
Queste istruzioni dette di salto vengono chiamate in Inglese jump oppure branch. Nelle CPU x86 i salti possono essere incondizionati, condizionati, ripetitivi.
Un salto rompe la continuità del flusso delle istruzioni e fa in modo che la prossima istruzione eseguita non sia quella che segue nella memoria, ma un'altra. Il flusso del programma salta quindi ad un'istruzione diversa da quella "naturale".

Come si usano
Tutte le istruzioni di salto hanno una sintassi comune, ed il risultato della loro esecuzione consiste nel saltare, se la condizione è vera, ad un punto del programma specificato da una "etichetta".

            JMP  etichetta
            ....
            ....
etichetta:  MOV  AX,CX

Salti incondizionati

Un salto è incondizionato quando viene eseguito sempre e comunque.
I processori x86 chiamano questa istruzione JMP, ma effettivamente bisognerebbe parlare di istruzioni JMP.
Proprio così, le istruzioni JMP e non l'istruzione JMP, perchè dietro l'espressione mnemonica JMP, usata dall'assembler, si celano in effetti ben tre tipi di JMP che chiameremo: short, long, far.

I primi due tipi (short e long) agiscono in intorni di memoria limitati, e per questo sono detti anche NEAR. Il tipo short agisce in un intorno di +/- 128 byte, ossia è in grado di raggiungere locazioni di memoria che distano non più di 128 byte dall'istruzione stessa. Il tipo long agisce all'interno di un segmento (64 Kb), ossia è in grado di raggiungere qualsiasi locazione di memoria purchè all'interno dello stesso segmento di appartenenza.

I due tipi NEAR sono anche chiamati relativi perchè calcolano la distanza della locazione da raggiungere con riferimento a se stessi; pertanto sono anche autorilocabili.

L'ultimo tipo (far) è in grado di raggiungere qualunque locazione di memoria all'interno del MegaByte indirizzabile da un 8086. E' anche chiamato assoluto perchè utilizza, all'interno del suo codice, l'indirizzo completo della locazione da raggiungere; pertanto non è una istruzione autorilocabile.
La tabella seguente riassume ed esemplifica alcune delle caratteristiche principali delle istruzioni JMP.

Salti condizionati

Oltre a saltare, un programma deve anche essere in grado di fare confronti fra numeri e di eseguire parti di codice diverse in base ai risultati dei confronti. Perché un programma "prenda decisioni" si devono introdurre delle jump che saltano a punti diversi in base al risultato delle operazioni precedenti, ossia le jump "condizionate. Le jump condizionate saltano all'indirizzo indicato nell'istruzione solo se è vera una certa condizione, altrimenti il programma prosegue come se l'istruzione di salto non esistesse.

Salti ripetitivi

Sono casi particolari dei salti condizionati. Vengono ripetuti ciclicamente finchè una determinata condizione non si avvera.

La tabella seguente raggruppa le principali istruzioni di salto, salto condizionato e salto ripetuto. Le fasce di colore caratterizzano gruppi di istruzioni accomunate da una qualche caratteristica, che, in generale, riguarda la tipologia della condizione di salto.

• Non si confondano le espressioni "superiore a" con "maggiore di", si riferiscono rispettivamente a numeri senza bit di segno ed a numeri con bit di segno. Discorso analogo vale per "inferiore a" e "minore di".
  Ad esempio, JA è il corrispondente di JG, come pure JB è il corrispondente di JL, e così via.
• La prima riga della tabella riporta il nome "mnemonico" dell'istruzione seguito dagli eventuali sinonimi.
• L'ultima colonna della tabella riporta il codice macchina di ciascuna istruzione, tranne per JMP per cui vale il discorso introduttivo (prima tabella).