Cambio valuta

Nei concetti precedenti è stato detto che la direttiva global rende visibile agli altri file una funzione o una variabile definita in un file sorgente. Allo stesso modo, la direttiva extern segnala all'assembler che una funzione o una variabile usata nel file sorgente corrente è definita in un altro.

Queste due direttive sono il modo principale con cui il codice assembly interagisce con gli altri file sorgente per ottenere la modularizzazione.

Ai fini di queste direttive, non fa differenza se il codice esterno è definito o usato in assembly o in un linguaggio di alto livello. Così, per esempio, anche una funzione definita in un linguaggio di alto livello può essere usata in codice x86-64 se dichiarata extern.

Allo stesso modo, la convenzione di chiamata è condivisa da tutte queste funzioni, definite in assembly o in linguaggi di alto livello, e persino con il sistema operativo (OS).

Tuttavia, dato che in assembly i dati sono solo una sequenza di byte, è importante sapere come il linguaggio di alto livello con cui ci si interfaccia gestisce la memoria.

I tipi in C

Il linguaggio C è una scelta comune come linguaggio di alto livello per interfacciarsi con il codice assembly. Rende più semplice interagire con il sistema operativo, offrendo wrapper di alto livello per molte attività importanti, come stampare sullo schermo, leggere da tastiera o allocare memoria dinamica.

In questo percorso i test sono scritti in C, quindi è importante offrire una panoramica generale del linguaggio.

Tipi primitivi

In C ci sono molti tipi primitivi e la loro dimensione, in byte, può variare. Alcuni di essi sono riassunti nella tabella seguente, con la loro dimensione tipica in un sistema x86-64:

Ognuno di questi tipi interi può essere con segno (il valore predefinito) o senza segno. Se sono senza segno, questo va specificato, per esempio: unsigned int.

Esistono alias per i tipi interi, definiti per offrire un controllo preciso sulla loro dimensione:

Questi alias possono essere preceduti da u per indicare un tipo senza segno, per esempio: uint64_t.

Altri alias degni di nota sono:

Un _Bool, o il suo alias bool, ha una particolarità: pur occupando 1 byte intero, può assumere solo uno di due valori: true (1) e false (0).

I valori di questi tipi primitivi vengono passati alle funzioni e restituiti da esse secondo le regole abituali per gli interi e i valori in virgola mobile.

Enum

Un enum è un tipo che può assumere uno tra diversi elementi indicati esplicitamente:

enum example {
    example_1,
    example_2,
    example_3,
    example_4
};

In C, gli enum vengono convertiti implicitamente in un tipo intero, che di solito è un int, cioè un intero di 4 byte.

Per impostazione predefinita, il primo elemento possibile di un enum viene convertito in 0 e tutti gli elementi successivi vengono convertiti nell'intero successivo. Quindi, nell'enum example definito sopra, example_1 avrebbe valore 0, example_2 avrebbe valore 1 e così via.

È possibile indicare il valore di un qualsiasi elemento di un enum e poi, per impostazione predefinita, l'elemento successivo avrebbe come valore l'intero successivo:

enum example_2 {
    example_1 = 4,
    example_2 = 8,
    example_3
}; // example_3 is equal to 9

Indirizzi di memoria

In C, un indirizzo di memoria è indicato da un puntatore a un tipo e si denota con l'operatore *. Così, per esempio, int64_t * si riferisce a una posizione di memoria per uno o più int64_t.

Gli indirizzi sono trattati come interi di 8 byte, come al solito.

Array

Gli array vengono passati alle funzioni e restituiti da esse come puntatori al loro primo elemento.

int64_t example_arr[] = {1, 2, 3}; // this is an array of 3 signed 8-byte integers
fn(example_arr); // this is a function that passes a pointer (int64_t *) to the beginning of the array as an argument

Ogni elemento di un array ha la dimensione del tipo di elemento dell'array. L'example_arr definito sopra, per esempio, ha 3 elementi di 8 byte ciascuno, cioè 24 byte in totale.

Poiché gli array non memorizzano la loro lunghezza, di solito serve un valore separato per indicare il numero di elementi, a meno che un valore sentinella non ne segni la fine.

Stringhe

In C le stringhe sono un array di char, che è un tipo da 1 byte. La maggior parte delle stringhe è composta da caratteri ASCII e termina con un NUL: finisce quando si incontra un byte con valore 0. Questo significa che di solito la lunghezza di una stringa non deve essere passata come argomento separato.