Linguaggio Assembler 8086-8088

Per scrivere un codice in linguaggio macchina è
LINGUAGGIO ASSEMBLER necessario:

PER 8086/8088
• conoscere l'architettura della macchina
• ragionare in termini del comportamento

Linguaggio Macchina dell'elaboratore
• insieme di istruzioni che un elaboratore è in • conoscere i dettagli relativi alla scrittura delle
grado di eseguire direttamente singole istruzioni:
- codici numerici e formato interno delle
• strettamente correlato alla realizzazione fisica istruzioni macchina
dell'elaboratore - rappresentazione degli operandi
• gestire direttamente gli indirizzi in memoria

Esempio di possibile istruzione macchina: per il riferimento ai dati e per i salti al codice
“Copia il valore della variabile alfa nel registro BX” Ad esempio, per scrivere nel linguaggio macchi-
na dell'8086 l'istruzione:
Op-code Dest Source MOV destinazione, sorgente
31 19 18 16 15 0 è necessario scegliere tra:
• Il campo Op-code specifica il tipo di operazione • 14 diversi codici operativi, in funzione del
richiesta (es., “copia”) tipo degli operandi
• Il campo Dest specifica l’operando di • svariate possibili rappresentazioni degli

destinazione (es., con 3 bit si individua uno operandi stessi
degli 8 registri generali) L'istruzione macchina che si ottiene ha una
• Il campo Source specifica l’operando sorgente lunghezza variabile tra i due e i sei byte, a
(es., l’indirizzo di alfa relativo al segmento dati) seconda delle scelte effettuate.
Assembler 8086 - 1 Assembler 8086 - 2

˝ ˝
Linguaggio Assembler Istruzioni eseguibili - a cui corrispondono le
istruzioni del linguaggio macchina
• insieme di istruzioni di tipo elementare
Direttive (o pseudoistruzioni) - controllano il
• costringe ancora il programmatore a ragionare comportamento dell'assemblatore in fase di
in termini della logica della macchina a cui si traduzione - facilitano lo sviluppo dei
riferisce programmi - permettono:
- la suddivisione di un'applicazione in più
• risulta più ad alto livello rispetto al
moduli
linguaggio macchina
- il controllo del formato dei listati
• nasconde i dettagli realizzativi delle singole - la definizione di macro, ecc.
istruzioni (codici operativi, formati, ecc.)
• associa ai dati e alle istruzioni nomi

L'architettura della macchina a cui il
simbolici che identificano in modo univoco
linguaggio si riferisce non viene nascosta in
le corrispondenti posizioni di memoria
alcun modo
(eliminando, così, la necessità di utilizzare
indirizzi espliciti). Ad esempio, l'assembler consente di riferire
direttamente i registri, azione preclusa dai
linguaggi di alto livello a causa della loro
indipendenza dall’hardware.

˝ ˝
Formato delle istruzioni E' indifferente l'uso di lettere maiuscole o
minuscole.
[label] istruzione/direttiva [operando/i] [; commento]

Il tipo di operandi ammessi varia da
• label consente di dare un nome simbolico (da
istruzione a istruzione.
utilizzare come operando in altre istruzioni) a
variabili di memoria, valori, singole Esistono istruzioni che ammettono come
istruzioni, procedure operando solo una costante o solo un
particolare registro generale.
• istruzione/direttiva è il mnemonico per
un'istruzione o una direttiva: individua il L'assembler dell'8086 non ha la
tipo di operazione da eseguire e il numero e il caratteristica dell'ortogonalità, caratteristica
tipo degli operandi (la semantica che renderebbe la fase di apprendimento
dell'istruzione) dell'assembler più veloce.
• operando/i è una combinazione di nessuna,
una o più costanti, riferimenti a registri o
Nomi simbolici
riferimenti alla memoria;
se un'istruzione ammette due operandi: • caratteri ammessi per i nomi simbolici:
- il primo è l'operando destinazione A-Z a-z 0-9 _ $ ?
- il secondo è l'operando sorgente
• il primo carattere di un nome non può essere
ad esempio, MOV AX, CX copia il contenuto
un digit (0-9)
del registro CX nel registro AX
• ogni nome deve essere univoco (in genere,
• commento consente di rendere più leggibile il
all'interno del modulo in cui viene definito)
programma
• non deve coincidere con una parola
riservata (ad esempio, il nome di un registro o
di un operatore)

˝ ˝
Costanti numeriche DIRETTIVE
• di default, tutti i valori numerici sono espressi

in base dieci
Istruzioni di tipo dichiarativo, che forniscono
• è possibile esprimere le costanti numeriche: informazioni agli strumenti di sviluppo dei
- in base 16 (esadecimale) mediante il suffisso programmi (nel caso del Turbo Assembler, -
H (il primo digit deve però essere numerico) l'assemblatore TASM e il linker TLINK).
- in base 8 (octal) mediante il suffisso O
- in base 2 (binario) mediante il suffisso B
Direttive di segmento (standard)
Ad esempio:
Permettono di controllare in modo completo la
0FFh
definizione dei vari tipi di segmenti.
0h
777O La definizione di ogni segmento deve iniziare
11001B con una direttiva SEGMENT e deve terminare
FFh errata ! con una direttiva ENDS:
778O errata !
nomeSeg SEGMENT
contenuto del segmento
nomeSeg ENDS

˝ ˝
La direttiva SEGMENT definisce l'inizio di • classe viene usato per controllare l'ordine in
un segmento. cui i segmenti vengono collegati: tutti i
segmenti di una determinata classe
nome SEGMENT [allineamento] [comb] ['classe'] vengono collocati in un blocco contiguo di
memoria, indipendentemente dalla loro
• nome - nome simbolico del segmento - se è posizione nel codice sorgente - utilizzare:
già stato definito un segmento con lo stesso CODE per i segmenti che contengono codice
nome, il segmento corrente è la continuazione DATA per i segmenti che contengono dati
del precedente STACK per i segmenti che contengono lo
• allineamento - tipo di allineamento del seg- stack
mento nella memoria fisica - il default è
PARA
• comb - controlla le modalità di collegamento di

segmenti con lo stesso nome, ma in moduli La direttiva ENDS definisce la fine di un
diversi (solo per programmi multi-modulo); segmento.
la combinazione STACK permette di
nome ENDS
impostare SS:SP alla fine del segmento stack
al momento dell'esecuzione del programma
nome è il nome simbolico del segmento.

˝ ˝
Esempio - Per creare un programma con tre Direttive per la definizione di procedure
segmenti (stack, dati e codice), si scriverà:
La definizione di ogni procedura deve iniziare
con una direttiva PROC e deve terminare con
_Stack SEGMENT STACK 'STACK' una direttiva ENDP.
dimensionamento dello stack
_Stack ENDS
La direttiva PROC definisce l'inizio di una
procedura.
_Data SEGMENT 'DATA'
definizione dei dati del programma nome PROC [distanza]
_Data ENDS
• nome è il nome simbolico della procedura
(da utilizzare nelle chiamate alla procedura)
_Code SEGMENT 'CODE' • distanza è:
ASSUME CS:_Code, SS:_Stack - NEAR - la procedura può essere chiamata
ASSUME ES:NOTHING solo all'interno del segmento in cui è stata
Start: definita (default)
MOV AX, _Data - FAR - la procedura può essere chiamata da
MOV DS, AX qualsiasi segmento
ASSUME DS:_Data
...
_Code ENDS La direttiva ENDP definisce la fine di una
procedura.
nome ENDP
nome è il nome simbolico della procedura.

˝ ˝
Ad esempio, per definire la procedura FAR di Direttive per la definizione dei dati
nome FarProc, si scrive:
Permettono di definire:
• il nome
FarProc PROC FAR • il tipo
... • il contenuto
FarProc ENDP delle variabili in memoria.
[nome] tipo espressione [, espressione] ...

mentre per definire la procedura NEAR di nome
• nome - nome simbolico del dato
NearProc, si scriverà:
• tipo - lunghezza del dato (se scalare) o di
ogni elemento del dato (se array) - i tipi più
NearProc PROC NEAR utilizzati sono:
... DB riserva uno o più byte (8 bit)
NearProc ENDP DW riserva una o più word (16 bit)
DD riserva una o più doubleword (32 bit)
• espressione - contenuto iniziale del dato:

- un' espressione costante
- una stringa di caratteri (solo DB)
- un punto di domanda (nessuna
inizializzazione)
- un'espressione che fornisce un indirizzo
(solo DW e DD)
- un'espressione DUPlicata

˝ ˝
ByteVar DB 0 ; 1 byte inizializzato a 0 MODALITA' DI INDIRIZZAMENTO
ByteArray DB 1,2,3,4 ; array di 4 byte DEGLI OPERANDI
String DB '8','0','8','6' ; array di 4 caratteri

L'operando di un'istruzione può essere:
String DB '8086' ; equivale al
precedente • in un registro
Titolo DB 'Titolo',0dh,0ah • nell'istruzione stessa - operando immediato
; stringa che contiene anche una
; coppia di caratteri CR/LF • in memoria
Zeros DB 256 dup (0)
; array di 256 byte inizializzati a
0 L'indirizzo di un operando in memoria può
essere ottenuto in molti modi diversi.
Tabella DB 50 dup (?)
; array di 50 byte non inizializzati L'offset di un operando in memoria viene
WordVar DW 100*50 ; scalare di una word calcolato dall'EU in funzione della modalità di
indirizzamento utilizzata nell'istruzione e viene
Matrix DW 1,0,0,0,1,0,0,0,1,0,0,0,1,0,0,0
; array di 16 word detto indirizzo effettivo dell'operando
Effective Address o EA
Matrix DW 4 dup (1, 3 dup (0))
; equivale al precedente
NearPointer DW Matrix
; contiene l'offset di Matrix
DoubleVar DD ? ; scalare di una doubleword
FarPointer DD Matrix
; contiene l'offset e l'indirizzo del
; segmento di Matrix

˝ ˝
Operando Registro Indirizzamento Diretto
E' l'indirizzamento più compatto e veloce E' l'indirizzamento in memoria più semplice
L'operando è già nella CPU e quindi non è L'EA è contenuto nel campo displacement
necessario accedere alla memoria dell'istruzione - un valore senza segno di 8 o 16
bit
Il registro può essere a 8 o a 16 bit
Var DW ?
MOV AX, CX ; AX <- CX (16 bit) ...
MOV AX, Var; AX <- Var (16 bit)
Operando Immediato
L'operando è contenuto nell'istruzione
L'accesso all'operando è veloce

l'operando è nella instruction queue
Il dato può essere una costante di 8 o 16 bit
MOV CX, 100 ; CX <- 100 (16 bit)
il valore 100 è memorizzato all'interno AH <- AA

dell'istruzione in 2 byte AL <- BB

˝ ˝
Indirizzamento Indiretto Indirizzamento
mediante Registro mediante Registro Base
L'EA dell'operando è contenuto in un registro L'EA si ottiene come somma

base o indice (BX, BP, DI, SI)
• di un valore di displacement
Se si aggiorna in modo opportuno il contenuto • del contenuto del registri BX o BP
del registro, la stessa istruzione può agire su
più locazioni di memoria Attenzione: utilizzando il registro BP, il
segmento di default non è più DS, bensì SS.
Con le istruzioni JMP e CALL è possibile Questa modalità di indirizzamento è utile per
utilizzare un qualsiasi registro generale a 16 bit indirizzare campi in una struttura dati dove
• ogni campo ha un displacement fisso
• l'indirizzo di partenza della struttura viene
MOV BX, OFFSET Var ; BX <- offset di Var memorizzato nel registro base
MOV AX, [BX] ; AX <- [BX] (16 bit) per operare su strutture identiche è sufficiente
modificare il contenuto del registro base
typedef struct
{
int giorno,mese,anno;
} dataType;
dataType d1,d2,d3;
d1, d2 e d3 hanno indirizzi differenti

d1.anno, d2.anno, d3.anno hanno lo stesso
displacement (4 se sizeof(int)==2)

˝ ˝
d1 DW 3 DUP (0) Indirizzamento
d2 DW 3 DUP (0) mediante Registro Indice
d3 DW 3 DUP (0)
L'EA si ottiene come somma
...
• di un valore di displacement
MOV AX, [BX+4] ; AX <- [BX+4] (16 bit)
• del contenuto di un registro indice (SI o DI)
il registro BX contiene un indirizzo nel

segmento dati corrente (d1, d2 o d3) Questa modalità di indirizzamento è utile per
accedere ai diversi elementi di un array
per accedere all'operando (l'anno) è necessario • il displacement fornisce l'indirizzo di partenza
sommare 4 a tale indirizzo dell'array
• il registro indice seleziona uno degli elementi
(il primo elemento viene selezionato quando il
registro indice vale 0)

˝ ˝
TABLE è l'indirizzo simbolico di un array di Indirizzamento mediante
word contenuto nel data segment corrente Registro Base e Registro Indice
L'EA si ottiene come somma

MOV DI, 4 ; inizializza DI a 4 • di un valore di displacement
MOV AX, [TABLE+DI] ; AX <- [TABLE+DI] (16 bit) • del contenuto di un registro base (BX o BP)
• del contenuto di un registro indice (SI o DI)

copia in AX il terzo elemento dell'array Due componenti dell'indirizzo possono
(nell'ordine, gli elementi dell'array hanno come variare al momento dell'esecuzione
displacement relativo a TABLE i valori 0, 2, 4,
ecc.)
Questa modalità di indirizzamento è utile per
accedere, ad esempio, ai diversi elementi di una
matrice: il displacement fornisce l'indirizzo di
partenza dell'array, mentre il registro base e il
registro indice selezionano uno degli elementi (il
primo elemento viene selezionato quando
entrambi i registro valgono 0).

˝ ˝
TABLE è l'indirizzo simbolico di una matrice di SET DI ISTRUZIONI
byte 4x4, memorizzata per colonne nel data ˝
segment corrente
MOV BX, 4 ; inizializza BX a 4

• istruzioni per il trasferimento dati
MOV DI, 2 ; inizializza DI a 2
˝
MOV AL, [TABLE+BX+DI] ; AL <- TABLE(3,2)
BX contiene il displacement tra l'indirizzo di

partenza della matrice e la colonna selezionata • istruzioni aritmetiche
(la seconda) ˝
DI contiene il displacement tra l'indirizzo di

partenza della colonna selezionata e la riga • istruzioni per la manipolazione di bit
selezionata (la terza) ˝
• istruzioni per il trasferimento del controllo

˝
• istruzioni che operano sulle stringhe
• istruzioni per il controllo del processore

˝ ˝
Principali istruzioni PUSH e POP
per il trasferimento dati
Operazione di push o di pop al top dello stack
selezionato da SS:SP.
MOV (MOVe)
Istruzione di trasferimento general-purpose. L'unico operando (sempre una word) può essere un
registro o una locazione di memoria.
Trasferisce un byte o una word
• tra due registri
• tra un registro e una locazione di memoria
PUSHF (PUSH Flags onto stack) POPF
L'operando sorgente può essere una costante. (POP Flags off stack)
Per trasferire un dato da una locazione di Trasferiscono il contenuto del registro flag (16
memoria a un'altra: bit) nello stack e viceversa.
MOV AX, fromVar ; copia fromVar in AX

PUSHF _ PUSH del registro flag
MOV toVar, AX ; e quindi in toVar
POPF _ POP del registro flag
Non è possibile caricare un valore immediato
(come l'indirizzo di un segmento) in un registro
segmento: Le due istruzioni sono necessarie in quanto il
registro flag non ha un nome.
MOV AX, segData ; indirizzo di segData in AX
MOV DS, AX ; e quindi in DS
Il registro CS non è utilizzabile come

destinazione di un'istruzione MOV.

˝ ˝
Principali istruzioni aritmetiche ADC effettua la stessa operazione, compren-
dendo nella somma il flag del riporto (CF) (il cui
Le istruzioni aritmetiche prevedono operandi di al valore è stabilito dall’istruzione precedente):
massimo 16 bit, in quanto la ALU dell’8086 ha un
parallelismo di 16 bit. E’ possibile anche utilizzare destinazione += sorgente + CF
operandi di 8 bit.
L'istruzione ADC permette di effettuare la

ADD e ADC (ADd with Carry) somma di numeri maggiori di 16 bit:
Sommano 2 operandi di 8 o 16 bit. Uno dei due Esempio: Somma di due numeri di 32 bit
operandi può risiedere in memoria, l’altro è collocati in coppie di registri:
necessariamente un registro (o una costante, nel
caso dell’operando sorgente).
(AX:BX) <- (AX:BX) + (CX:DX)
ADD somma l'operando sorgente all'operando
destinazione e memorizza il risultato nell'ope- ADD BX, DX ; somma i 16 bit meno significativi
rando destinazione: ADC AX, CX ; somma i 16 bit più significativi
Con la sintassi del C: La ADD modifica il contenuto del registro dei flag, e
in particolare CF che assume il significato di bit di
destinazione += sorgente riporto.

˝ ˝
SUB (SUBtract) e INC (INCrement destination by 1)
SBB (SuBtract with Borrow)
Incrementa di 1 il valore del suo operando. Più
SUB sottrae l'operando sorgente all'operando veloce e compatta di ADD operando, 1.
destinazione e memorizza il risultato nell'ope-
rando destinazione:
DEC (DECrement destination by 1)
destinazione –= sorgente
Decrementa di 1 il valore del suo operando.
SBB effettua la stessa operazione,
comprendendo nella sottrazione il flag del
riporto (CF): NEG (NEGate)
destinazione –= sorgente + CF Cambia segno al suo operando
(secondo la complementazione in complemento a
L'istruzione SBB permette di effettuare la 2)
sottrazione di numeri maggiori di 16 bit.
Sottrazione di due numeri di 32 bit

CMP
(AX:BX) <- (AX:BX) – (CX:DX)
(CoMPare destination with source)
SUB BX, DX ; sottrae i 16 bit meno significativi
CMP agisce esattamente come l'istruzione SUB,
SBB AX, CX ; sottrae i 16 bit più significativi
senza però modificare l'operando destinazione.
La SUB modifica il contenuto del registro dei flag, e Lo scopo è quello di modificare il valore di alcuni
in particolare CF che assume il significato di bit di flag (ved. SUB).
prestito.

˝ ˝
MUL (MULtiply, unsigned) e
IMUL (Integer MULtiply, signed) DIV (DIVide, unsigned) e
IDIV (Integer DIVide, signed)
Se l'operando è un byte, viene eseguito:
L’operazione di divisione intera dà luogo a due
AX = AL * sorgente; (16 bit = 8 bit x 8 bit) risultati: quoziente e resto (esistono operatori
Se l'operando è una word, viene eseguito: specifici in C e Pascal). In ASM, una sola istruzione
fornisce entrambi i risultati.
DX:AX = AX * sorgente; (32 bit = 16 bit x 16 bit)
se l'operando è un byte, viene eseguito:
Esistono due distinte istruzioni di AL = Quoziente(AX / sorgente);
moltiplicazione: MUL per i numeri senza segno AH = Resto(AX / sorgente);
e IMUL per i numeri con segno (in complemento
a 2); l’operazione di moltiplicazione è diversa Dimensione degli operandi: 8 bit = 16 bit/8 bit
nei due casi.
se l'operando è una word, viene eseguito:
Esempio in C:
int a, b; unsigned int c, d; AX = Quoziente(DX:AX / sorgente);
DX = Resto(DX:AX / sorgente);
... a * b ... → ... IMUL ...
... c * d ... → ... MUL ...
Dimensione degli operandi: 16 bit = 32 bit/16 bit
Il compilatore utilizza l’istruzione corretta sulla
DIV: operandi senza segno
base del tipo degli operandi.
IDIV: operandi con segno (compl. a 2)
NB: l'operando sorgente non può essere una
NB: l'operando sorgente non può essere una
costante.
costante

˝ ˝
Istruzioni SAL (Shift Arithmetic Left)
per la manipolazione di bit • shift verso sinistra di un numero con segno
• segno del numero in CF
• 0 nel bit meno significativo
AND (logical AND)
OR (inclusive-OR) SAR (Shift Arithmetic Right)
XOR (eXclusive-OR) • shift verso destra di un numero con segno
˝ • conserva il segno del numero (bit più signifi-
Eseguono le corrispondenti operazioni logiche cativo)
tra le coppie di bit di pari posizione degli • pone il bit meno significativo in CF
operandi (corrispondono agli operatori a bit del C -
&, |, .. - non a quelli logici - &&, ||, ..) SHL (SHift logical Left)
• shift verso sinistra di un numero senza segno
AND dst, src ; dst &= src • bit più significativo in CF
OR dst, src ; dst |= src • 0 nel bit meno significativo
XOR dst, src ; dst ^= src
SHR (SHift logical Right)
• shift verso destra di un numero senza segno
NOT (logical NOT) • 0 nel bit più significativo
• pone il bit meno significativo in CF
Complementa tutti i bit del suo operando
(complemento a 1).

˝ ˝
Istruzioni per il trasferimento del JMP (JuMP unconditionally)
controllo
Trasferisce il controllo all'istruzione specificata
dall'operando, in modo incondizionato. Simile
CALL (CALL a procedure) all’istruzione di CALL, ma non prevede il
RET (RETurn from procedure) rientro nel programma chiamante (non salva
nulla sullo stack).
CALL trasferisce il controllo dal programma
chiamante alla procedura chiamata L'operando di JMP è simile all'operando
• salva l'indirizzo di ritorno sullo stack dell'istruzione CALL (può essere NEAR o FAR):
• passa il controllo alla procedura chiamata
JMP NearLabel
RET trasferisce il controllo dalla procedura ...
chiamata al programma chiamante NearLabel:
• legge dallo stack l'indirizzo di ritorno salvato dalla ...
corrispondente CALL NearLabel appartiene al segmento codice corrente
• ripassa il controllo al chiamante
JMP far ptr FarLabel
esistono chiamate near (all’interno dello stesso ...
segmento di codice, salva solo l’offset di ritorno) e FarLabel LABEL far
far (tra segmenti diversi, deve salvare CS e offset di ...
ritorno - più lenta della precedente). FarLabel appartiene a un segmento codice
qualsiasi.
FAR PTR è l’operatore dell’ASM che impone la

chiamata o il salto di tipo FAR.

˝ ˝
Jxxx (Jump conditionally)
Istruzioni di salto da utilizzare subito dopo l'istru-
Le istruzioni per il trasferimento condizionato zione CMP, in funzione:
controllano se una condizione è verificata (test sul • del tipo di test che si desidera effettuare
registro dei flag): • del tipo di dato confrontato
• se la condizione è verificata
Per saltare se Valori senza segnoValori con segno
il controllo passa all'istruzione di label
Destinazione = Sorgente JE JE
• se la condizione non è verificata Destinazione ≠ Sorgente JNE JNE
l'esecuzione prosegue con la successiva Destinazione > Sorgente JA JG
istruzione Destinazione ≥ Sorgente JAE JGE
Destinazione < Sorgente JB JL
Destinazione ≤ Sorgente JBE JLE
Uso del salto condizionato:
Il salto condizionato è utilizzato per implementare Esempio: realizzazione di un test a tre vie
gli operatori relazionali (==, !=, >, <, >=, <=).
CMP AX, BX
Ad esempio, per controllare se AX e BX contengono JAE LabelGreaterOrEqual
lo stesso valore, si utilizza l'istruzione CMP seguita ... ; istruzioni eseguite se AX < BX
da un opportuno salto condizionato: LabelGreaterOrEqual:
JA LabelGreater
CMP AX, BX ... ; istruzioni eseguite se AX = BX
JE LabelZero LabelGreater:
... ; istruzioni eseguite se AX > BX
Per alcuni tipi di test è necessario scegliere tra due
esegue tre differenti blocchi di istruzioni, in
differenti istruzioni di salto, a seconda che si
funzione dei valori senza segno contenuti nei
stia testanto il risultato di un'operazione tra valori
registri AX e BX
con o senza segno (mnemonico: “G”, “L”: greater,
nel caso di valori con segno, sostituire JAE con
less (con s.); “A”, “B”: above, below (senza s.))
JGE e JA con JG.

˝ ˝
Schema Generale Procedura:
di una procedura assembler
_fun proc near (o far)
Lo schema descritto segue le convenzioni di
procedura proprie dei compilatori C. Prologo “standard”: si salva sullo stack l’attuale valore
del registro BP e si sovrascrive BP con il contenuto di
Esempio:funzione fun SP. Per tutto il tempo di vita della procedura, BP non
verrà più modificato, servendo come riferimento per il
“record di attivazione” della procedura.
Invocazione della funzione da parte del
programma chiamante: push bp
mov bp,sp
Esempio:
Se esistono varibili locali, vengono allocate a seguire
In C: In ASM: sullo stack:
fun (arg1, arg2,..., argN) → push argN sub sp,xxx (numero byte necessario)
...
push arg2 salvataggio registri: per convenzione, in uscita devono
push arg1 avere il loro vecchio valore:
call _fun
add sp, n_byte_arg BP, SP, CS, DS, SS, DI, SI
Il chiamante: in uscita possono non avere più il loro vecchio valore:

• passa sullo stack gli argomenti alla funzione
(dall’ultimo al primo) AX, BX, CX, DX, ES e il registro flag
• trasferisce il controllo con call _fun
• al ritorno dalla procedura aggiusta il puntatore allo push di; se utilizzato,
stack di un valore pari al totale in byte degli argomenti push si ; se utilizzato, etc
passati, in modo da “scaricarli” virtualmente dallo
stack.

˝ ˝
Accesso ai parametri passati sullo stack
< Corpo vero e proprio della procedura > Chiamata NEAR
epilogo “standard”: Supponiamo che il chiamante abbia passato tre

parametri sullo stack (in figura, la memoria è orientata
ripristino registri: con indirizzi crescenti verso il basso), e abbia invocato la
procedura; la situazione è la seguente:
pop si
pop di
pop bp ; ripristino bp SP Offset di ritorno

SP + 2 I
Istruzione di ritorno da procedura: SP + 4 K
SP + 6 22
ret
_fun endp
_func PROC NEAR
PUSH BP
Osservazione: il salvataggio inziale di BP, e il suo MOV BP, SP
ripristino al termine, consentono che la procedura sia
chiamata da un’altra procedura in cui BP svolge un
analogo ruolo di riferimento al record di attivazione.
SP Vecchio valore di BP BP
SP + 2 Offset di ritorno BP + 2
SP + 4 I BP + 4
SP + 6 K BP + 6
SP + 8 22 BP + 8

˝ ˝
La procedura accede ai parametri sullo stack a indirizzi
basati sul valore di BP (da cui l’affermazione che BP
svolge il ruolo di “riferimento al record di attivazione”). SP 2° variabile locale BP – 4
SP + 2 1° variabile locale BP – 2
MOV AX, [BP+4] ; primo argomento SP + 4 vecchio valore di BP BP
ADD AX, [BP+6] ; secondo argomento SP + 6 offset di ritorno BP + 2
SUB AX, [BP+8] ; terzo argomento SP + 8 1° argomento BP + 4
SP + 10 2° argomento BP + 6
(nell’esempio, l’azione svolta è la somma di i con k e la SP + 12 3° argomento BP + 8
sottrazione di 22, in realtà le operazioni svolte possono
ovviamente essere qualsiasi)
MOV WORD PTR [BP-2], 0
POP BP MOV WORD PTR [BP-4], 0
RET ...
_func ENDP MOV SP, BP
POP BP
Variabili locali sullo stack RET
_func ENDP
_func PROC NEAR
PUSH BP In alcuni casi, se il numero dei parametri è limitato, è
MOV BP, SP possibile utilizzare i registri per rappresentare le variabili
locali (tipicamente in di, o in si); in questo caso il registro
Supponiamo che alla procedura servano 2 variabili locali è associato alla variabile locale per tutto il tempo di vita
di tipo int della procedura.
SUB SP, 4 ; riserva 4 byte sullo stack

˝ ˝
Convenzioni per la restituzione di valori Esempio
Specifica della procedura in C:

In AX vengono restituiti i valori a 8 e a 16 bit:
esempio: [unsigned] char typedef struct
[unsigned] int {
int giorno,mese,anno;
int fun1() } dataType;
{
... void fun(dataType *dpar);
return 1; void fun(dpar)
} dataType *dpar;
{
mov ax,1 dataType dtemp;
dtemp.giorno = dpar->giorno;
dtemp.mese = dpar->mese;
In DX:AX vengono restituiti i valori a 32 bit: dtemp.anno = dpar->anno;
[unsigned] long }
La funzione fun effettua la copia campo per campo di
long fun2() due strutture di tipo dataType: la struttura sorgente è
{ passata per riferimento come parametro; la struttura
... destinazione è definita come variabile locale (NB: al
return 1; termine dell’assegnazione non resta traccia di dtemp, la
} funzione ha solo un valore esemplificativo)
xor dx,dx
mov ax,1

˝ ˝
_fun proc near Esempio 1
push bp
mov bp,sp Come esempio precedente, ma con variabile dtemp
sub sp,6 ; 6 = sizeof(dataType) definata esternamente alla funzione.
push si
mov si,word ptr [bp+4] ; dpar dataType dtemp;
˝
NB: per effettuare una copia tra due locazioni di
memoria servono due MOV; void fun(dataType *dpar)
˝
dtemp.giorno = dpar->giorno: {
˝
mov ax,word ptr [si] ; ax <- dpar->giorno
dtemp.giorno = dpar->giorno;
mov word ptr [bp-6],ax ; dtemp.giorno <- ax
˝
dtemp.mese = dpar->mese: dtemp.mese = dpar->mese;
˝
mov ax,word ptr [si+2] ; ax <- dpar->mese dtemp.anno = dpar->anno;
mov word ptr [bp-4],ax ; dtemp.mese <- ax ˝
}
dtemp.anno = dpar->anno:
˝
mov ax,word ptr [si+4] ; ax <- dpar->anno
mov word ptr [bp-2],ax ; dtemp.anno<- ax ˝
pop si
mov sp,bp ˝
pop bp
(Per le direttive di segmento, si seguono le
ret
_fun endp convenzioni adottate dal compilatore Turbo C)
NB: l’operatore word ptr, in assenza della definizione ˝

esplicita della variabile, indica che l’espressione indirizzo _DATA segment word public 'DATA'
si riferisce a una variabile di tipo word. ˝
˝ ˝
dtemp dw 3 dup (0) ˝
˝
_DATA ends
˝ SP vecchio valore di BP BP
˝ SP + 2 indirizzo di ritorno BP + 2
_TEXT segment byte public 'CODE'
˝
SP + 4 dpar BP + 4
assume cs:_TEXT,ds:_DATA
˝
_fun proc near
˝
push bp
˝
˝
mov bx,word ptr [bp+4] ; bx <- dpar
mov bp,sp
˝
˝
; dtemp.giorno = dpar->giorno;
˝
mov ax,word ptr [bx]

˝
mov word ptr dtemp,ax
dtemp è l’indirizzo della variabile dtemp nel

segmento DATA, che coincide con l’indirizzo del
primo campo
; dtemp.mese = dpar->mese;
mov ax,word ptr [bx+2]

˝ ˝
mov word ptr dtemp+2,ax
dtemp + 2 è l’indirizzo del secondo campo _DATA segment word public 'DATA'
stArray dw 15 dup (?)
; dtemp.anno = dpar->anno;
_DATA ends
mov ax,word ptr [bx+4]
mov word ptr dtemp+4,ax _TEXT segment byte public 'CODE'
assume cs:_TEXT,ds:_DATA
dtemp + 4 è l’indirizzo del terzo campo
pop bp
ret _fun proc near
_fun endp push bp
_TEXT ends mov bp,sp
end push si ; j è in si
Esempio 2 SP vecchio valore di SI BP - 2
Copia tra due vettori: vettore sorgente passato come

SP + 2 vecchio valore di BP BP
parametro, vettore destinazione in variabile esterna.
int stArray[15]; SP + 4 indirizzo di ritorno BP + 2

void fun(int array[ ],int n)
{ SP + 6 &array[0] BP + 4
int j;
SP + 8 n BP + 6
for (j = 0; j < n; j++) stArray[j] = array[j];
}

˝ ˝
mov bx,word ptr [bp+4] ; bx <- &array[0] mov word ptr [stArray+si],ax
; for (j = 0; j < n; j++)

shr si,1 ;j=j/2
mov si,0 ; j = 0; inc si ; j++
cicla: cmp si,word ptr [bp+6] jmp cicla
jge fine ; if(j >= n) goto fine; fine: pop si
pop bp
ret
Indirizzamento degli elementi di un vettore:
_fun endp
l’indirizzo del generico j-esimo elemento è ottenuto _TEXT ends
sommando l’indirizzo del primo elemento, noto, con end
la distanza in byte tra il primo e il j-esimo elemento
(distanza: j volte la dimensione in byte di un
elemento)
; stArray[j] = array[j];
elementi di tipo int → dimensione elemento = 2 byte
shl si,1 ;j=j*2
Si usa una modalità di indirizzamento ammessa:

bx: indirizzo primo elemento vettore sorgente
si: j * 2
mov ax,word ptr [bx+si] ; ax <- array[j]
Si usa una modalità di indirizzamento ammessa:

stArray: indirizzo primo elemento vettore
destinazione
si: j * 2

˝ ˝

Linguaggio Assembler 8086-8088

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Linguaggio Assembler 8086-8088

Caricato da

Copyright:

Formati disponibili

Per scrivere un codice in linguaggio macchina è

LINGUAGGIO ASSEMBLER necessario:

• ragionare in termini del comportamento

• gestire direttamente gli indirizzi in memoria

Op-code Dest Source MOV destinazione, sorgente

31 19 18 16 15 0 è necessario scegliere tra:

• Il campo Dest specifica l’operando di • svariate possibili rappresentazioni degli

Assembler 8086 - 1 Assembler 8086 - 2

• associa ai dati e alle istruzioni nomi

Assembler 8086 - 3 Assembler 8086 - 4

[label] istruzione/direttiva [operando/i] [; commento]

Assembler 8086 - 5 Assembler 8086 - 6

• di default, tutti i valori numerici sono espressi

contenuto del segmento

Assembler 8086 - 7 Assembler 8086 - 8

• comb - controlla le modalità di collegamento di

Assembler 8086 - 9 Assembler 8086 - 10

nome è il nome simbolico della procedura.

Assembler 8086 - 11 Assembler 8086 - 12

FarProc ENDP delle variabili in memoria.

[nome] tipo espressione [, espressione] ...

... DB riserva uno o più byte (8 bit)

NearProc ENDP DW riserva una o più word (16 bit)

DD riserva una o più doubleword (32 bit)

• espressione - contenuto iniziale del dato:

Assembler 8086 - 13 Assembler 8086 - 14

String DB '8','0','8','6' ; array di 4 caratteri

Assembler 8086 - 15 Assembler 8086 - 16

L'operando è contenuto nell'istruzione

L'accesso all'operando è veloce

Il dato può essere una costante di 8 o 16 bit

MOV CX, 100 ; CX <- 100 (16 bit)

il valore 100 è memorizzato all'interno AH <- AA

Assembler 8086 - 17 Assembler 8086 - 18

L'EA dell'operando è contenuto in un registro L'EA si ottiene come somma

d1, d2 e d3 hanno indirizzi differenti

Assembler 8086 - 19 Assembler 8086 - 20

il registro BX contiene un indirizzo nel

Assembler 8086 - 21 Assembler 8086 - 22

L'EA si ottiene come somma

• del contenuto di un registro indice (SI o DI)

Assembler 8086 - 23 Assembler 8086 - 24

MOV BX, 4 ; inizializza BX a 4

BX contiene il displacement tra l'indirizzo di

DI contiene il displacement tra l'indirizzo di

• istruzioni per il trasferimento del controllo

• istruzioni che operano sulle stringhe

• istruzioni per il controllo del processore

Assembler 8086 - 25 Assembler 8086 - 26

MOV AX, fromVar ; copia fromVar in AX

Il registro CS non è utilizzabile come

Assembler 8086 - 27 Assembler 8086 - 28

L'istruzione ADC permette di effettuare la

Assembler 8086 - 29 Assembler 8086 - 30

Sottrazione di due numeri di 32 bit

Assembler 8086 - 31 Assembler 8086 - 32

Assembler 8086 - 33 Assembler 8086 - 34

Assembler 8086 - 35 Assembler 8086 - 36

FAR PTR è l’operatore dell’ASM che impone la

Assembler 8086 - 37 Assembler 8086 - 38

Assembler 8086 - 39 Assembler 8086 - 40

Il chiamante: in uscita possono non avere più il loro vecchio valore:

Assembler 8086 - 41 Assembler 8086 - 42

epilogo “standard”: Supponiamo che il chiamante abbia passato tre