Godzil :
faire

add.b d0, d1

est aussi abstrait que devoir faire

char d1, d0;
[...]
d1 = d1 + d0; :/

Non, pas du tout. Dans le deuxième cas tu as l'abstraction des variables qui peuvent être placées dans n'importe quel registre ou sur la pile ou un mix des deux, au bon grès du compilateur. Tu n'as pas à réfléchir à l'allocation toi même, et c'est un gros avantage.