WinAli
WinAli ist ein Modell-Assembler (siehe auch Assemblersprache) für Windows und DOS. Der generierte Maschinencode wird mit einem Modellrechner ausgeführt, der eine Emulation eines echten Prozessors darstellt. WinAli ist dazu gedacht, um Assembler zu lernen. Der Entwickler richtet sich dabei an Schüler, die bereits Kenntnisse (objektorientierter) Hochsprachen, vorrangig Pascal, haben.
Datentypen
Ordinal
WinAli kennt nur einen einzigen Datentyp. Laut der WinAli Dokumentation handelt es sich um einen Integer. Allerdings ist der Datentyp zwei Byte groß und entspricht somit nicht dem pascal’schen Datentyp Integer
noch dem C’schen int
(auf 32bit Systemen) welche vier Byte belegen.
Die Tatsache, dass der WinAli-Datentyp zwei Byte große, vorzeichenbehaftete Werte speichern kann, macht ihn zu einem Smallint
(Pascal) bzw. zu einem short
(C).
Register
WinAli stellt 16 Register bereit, welche allerdings keine spezifischen Bedeutungen besitzen, wie es etwa bei x86 Assemblern der Fall ist.
Register wie CX
sind also bei WinAli nicht implementiert. Die Register werden stattdessen einfach mit den Zahlen 0
bis 15
angesprochen.
Stack
So wie es 16 Register gibt, gibt es auch 16 voneinander unabhängige Stacks, die genauso angesprochen werden wie die Register. Folglich hängt es also von dem Kontext ab, ob das Zeichen 0
als das erste Register oder als der erste Stack interpretiert wird.
Variablen
Da in WinAli Variablen nur einen einzigen Datentyp haben können, ist es auch nicht erforderlich, diesen explizit als Smallint
auszuweisen. Eine Variable wVar
wird dabei wie folgt definiert;
wVar ds f
Allerdings gibt es nicht nur die Möglichkeit eine einzelne Variable, sondern auch ein ganzes (konstantes) Array rgwVar
mit beispielsweise 16 Elementen zu definieren;
rgwVar ds 16f
Konstanten
Konstanten kann man gleich auf zwei Arten definieren. Die elegantere davon ist die Konstante wTwo = 2
als solche auch zu deklarieren;
wTwo dc '2'
Man muss allerdings nicht für jede Konstante ein neues Symbol deklarieren. Notiert man an einer Stelle, an der eine Variable oder eine Konstante erwartet wird, statt eines Symbols (wie zum Beispiel: wTwo
) die Zahl in Hochkommata, so deklariert WinAli sie beim assemblieren automatisch.
wFive dc '5' ... lda 0,wFive;gleichbedeutend mit: lda 0,'5' ...
Syntax
Formal
Die Syntax von WinAli ist stark an einen echten Assembler wie etwa TASM (Borland) oder MASM (Microsoft) orientiert. Man kann jede Codezeile in vier Spalten unterteilen;
label command params comment
Das Einrücken der Wörter dient dabei der besseren Leserlichkeit.
Schlüsselwort | Bedeutung |
---|---|
label
|
Eine Marke oder ein Sprungziel, zu dem aus einer anderen Zeile hingesprungen werden kann. Oft bleibt diese Spalte leer. |
command
|
Auszuführender Befehl in dieser Zeile. Eine ausführliche Erläuterung aller Befehle ist unter dem Abschnitt Befehlsreferenz geführt. |
params
|
Jeder Befehl hat einen bis zwei Parameter, dies ist mindestens ein Register und, je nach Befehl, ein weiteres Register, einen Stack oder eine Adresse zu einer Speicherstelle. Hat der Befehl zwei Parameter, werden diese durch ein Komma „,“ getrennt. |
comment
|
Ein beliebig langer Kommentar, welcher durch ein ";" oder ein "*" eingeleitet und durch das Zeilenende abgeschlossen wird. |
Beispiel
An dem folgenden Beispiel erkennt man die Struktur und das Aussehen eines WinAli Programmes.
loop sta 0,wSav;wSav = r lda 0,cwMult sub 0,'1';cwMult-- sta 0,cwMult cmp 0,'1' add 0,'1' mul 0,wSav;r:=cwMult*wSav bne loop
Wie man an den rechts im Kommentarbereich notierten Pascal-Befehlen anschaulich erkennt, ist ein WinAli Programm immer länger und auch weniger intuitiv als ein Programm in einer Hochsprache, wie etwa C, C++ oder Pascal.
Befehlsreferenz
Es kursieren mehrere Versionen der WinAli Befehlssyntax, sodass die Befehlsnamen voneinander abweichen. Der Befehl lda
kann in einer anderen Version auch stattdessen l
heißen. Die Anzahl der Befehle ist jedoch gleich.
Befehle
Ein- und Ausgabebefehle | ||
---|---|---|
ini A
|
Der vom Benutzer eingegebene Wert wird in der Adresse A gespeichert.
|
|
outi A
|
Der in der Adresse A gespeicherte Wert wird auf dem UI ausgegeben.
|
|
Transport | ||
lda R,A
|
Lädt den in der Adresse A gespeicherten Wert in das Register R .
|
R:=A;
|
ldr R0,R1
|
Lädt den Wert in dem Register R1 in das Register R0 .
|
R0:=R1;
|
ldcr R0,R1
|
Lädt das Komplement zu dem Wert in dem Register R1 in das Register R0 .
|
R0:=-R1;
|
sta R,A
|
Speichert den Wert in dem Register R in die Adresse A .
|
A:=R;
|
Arithmetik | ||
add R,A
|
Addiert den Wert in der Adresse A zu dem Wert des Registers R .
|
R:=R+A;
|
addr R0,R1
|
Addiert den Wert des Registers R1 zu dem Wert des Registers R0 .
|
R0:=R0+R1;
|
sub R,A
|
Subtrahiert den Wert in der Adresse A von dem Wert des Registers R .
|
R:=R-A;
|
subr R0,R1
|
Subtrahiert den Wert des Registers R1 von dem Wert des Registers R0 .
|
R0:=R0-R1;
|
mul R,A
|
Multipliziert den Wert in der Adresse A mit dem Wert des Registers R .
|
R:=R*A;
|
mulr R0,R1
|
Multipliziert den Wert des Registers R1 mit dem Wert des Registers R0 .
|
R0:=R0*R1;
|
div R,A
|
Dividiert den Wert des Registers R durch den Wert in der Adresse A .
|
R:=R div A;
|
divr R0,R1
|
Dividiert den Wert des Registers R0 durch Wert des Registers R1 .
|
R0:=R0 div R1;
|
Vergleich (wird relativ zum ersten Parameter ausgewertet) | ||
cmp R,A
|
Vergleicht den Wert des Registers R mit dem Wert in der Adresse A .
|
if (R ## A) then
|
cmpr R0,R1
|
Vergleicht den Wert des Registers R0 mit dem Wert des Registers R1 .
|
if (R0 ## R1) then
|
Sprung (wenn bedingt, abhängig von dem Ergebnis eines Vergleichs) | ||
b A
|
Springt an die Programmzeile, die in der Adresse (dem Label) A spezifiziert wird (Kurz: Springt zu A ).
|
goto A;
|
be A
|
Springt zu A , wenn die Operanden des Vergleiches gleich waren.
|
if (R = O) then goto A;
|
bne A
|
Springt zu A , wenn die Operanden des Vergleiches ungleich waren.
|
if (R <> O) then goto A;
|
bh A
|
Springt zu A , wenn der erste Operand des Vergleiches größer war als der zweite.
|
if (R > O) then goto A;
|
bnl A
|
Springt zu A , wenn der erste Operand des Vergleiches größer/gleich dem zweiten war.
|
if (R >= O) then goto A;
|
bnh A
|
Springt zu A , wenn der erste Operand des Vergleiches kleiner/gleich dem zweiten war.
|
if (R <= O) then goto A;
|
bl A
|
Springt zu A , wenn der erste Operand des Vergleiches kleiner war als der zweite.
|
if (R < O) then goto A;
|
Sprung in ein Unterprogramm (alle unbedingt) | ||
bal R,A
|
Springt zu A und speichert die Rücksprungadresse in das Register R .
|
|
balr R0,R1
|
Springt zu R1 und speichert die Rücksprungadresse in das Register R0 .
|
|
la R,A
|
Lädt die Adresse von A in das Register R .
|
R:=@A;
|
br R
|
Springt zu der Adresse, die in dem Register R gespeichert ist.
|
|
Stackoperationen | ||
push R,S
|
Push't den Wert in dem Register R in den Stack S .
|
S.Push(R);
|
pop R,S
|
Pop't das oberste Element aus dem Stack S in das Register R .
|
R:=S.Pop();
|
top R,S
|
Kopiert das oberste Element aus dem Stack S in das Register R . Dabei bleibt das Element jedoch in dem Stack.
|
R:=S.Top
|
Steuerung | ||
eoj
|
Markiert das Ende des Quellcodes. | end.
|
nop
|
Führt keine Operation aus. Kann genutzt werden um den Code übersichtlicher zu machen. | |
nopr
|
Gleiche Wirkung wie nop , belegt jedoch nur zwei, statt vier Bytes.
|
Anmerkung zu der Tabelle:
- Erläuterungen sind in (Object) Pascal verfasst.
- Auf die korrekte Notation des Codes MIT Zeilenumbruch wurde zu Gunsten der Übersichtlichkeit verzichtet.
Befehlsgröße
Die Größe eines Befehls beträgt entweder zwei oder vier Bytes.
Jeder Befehl mit zwei Parametern, dessen zweiter Parameter eine Adresse (also kein Register und kein Stack) ist, und der Befehl nop
belegen vier Bytes.
Alle anderen Befehle belegen zwei Bytes.
Datenstrukturen
Arrays
Im Gegensatz zu vielen anderen Assemblern sind Arrays in WinAli direkt implementiert. Ein Adressieren von Elementen durch die direkte Berechnung seiner Adresse mithilfe eines Offsets und der Basisadresse ist daher nicht nötig. WinAli führt beim Adressieren eines Elementes sogar eine Bereichsprüfung und löst bei einem falschen Index einen Laufzeitfehler aus. Hat man das Array rgwVar deklariert;
rgwVar ds 8f
dann kann man ein Element adressieren, indem man das Offset in eines der Register, 1
bis 15
lädt und anschließend jenes Register in Klammern nach dem Namen des Arrays notiert (das benutzen des Registers 0
zum indizieren, funktioniert nicht). Das Offset ist die relative Adresse des Elementes in dem Array, also das Produkt aus Index und Datengröße (welche immer 2 ist). Folgendes Beispiel kopiert den Wert an der Stelle '3'
des Arrays rgwVar
in die Variable iwDrei
, dazu wird das Register 1
zum Indizieren benutzt;
: iwDrei ds f
: rgwVar ds 8f
: ...
: lda 1,'6' ;Index * Datengröße = Offset <=> '3' * '2' = '6'
: lda 0,rgwVar(1)
: sta 0,iwDrei
Dies entspricht folgendem Code in Pascal, bzw. C
//Pascal:
var
iwDrei: SmallInt;
rgwVar: array[0..7] of SmallInt;
...
iwDrei:= rgVar[3];
//C:
short iwDrei;
short rgwVar[8]
...
iwDrei = rgwVar[3];
Das Speichern eines Wertes in ein Array funktioniert analog.
Absolutes Adressieren
Allerdings gibt es noch eine zweite Variante ein Element in einem Array zu adressieren. Diese ist etwas umständlicher, da man dazu nicht – wie oben – das relative Offset benutzt, sondern das absolute. Dazu muss allerdings erst die Adresse des Arrays ausgelesen werden;
la 1,rgwVar ;die absolute Adresse des ersten Elementes des Arrays
add 1,'6'
lda 0,0(1) ;WICHTIG: Die erste 0 bezeichnet das Register 0, die zweite 0 nicht.
sta 0,iwDrei
Das wirklich Praktische an diesem Verfahren ist die Tatsache, dass man so Zeiger auf beliebige Variablen dereferenzieren kann. Obwohl dies von WinAli nicht so vorgesehen ist, ist das Auslesen und Schreiben von Werten so durchaus möglich.
Stack
Wie bereits erwähnt, verfügt der WinAli Assembler über 16 Stacks mit den Bezeichnungen 0
bis 15
. Aus stilistischen Gründen sollte jedoch nur einer verwendet werden, da ein „echter“ Assembler ebenfalls nur über einen Stack verfügt. Allerdings ist es bei der Implementation von rekursiven Methoden wesentlich einfacher, den Stack 1
zum Speichern der Rücksprungadressen zu benutzen.
Sonstige
Alle anderen Datenstrukturen, die man benötigt, muss man selbst implementieren, da es keine Bibliotheken etc. gibt. Dazu ist es die wohl beste Strategie, eine eigene Methode (void*) malloc (char);
und ihr Pendant free (void *,char);
(in Pascal etwa function malloc (byte): Pointer;
bzw. procedure free (Pointer,byte);
) zu schreiben, die in einem Array eine Art Arbeitsspeicher verwalten.
Objekte
Es wäre damit sogar möglich Objekte (im objektorientierten Sinn) zu erzeugen und freizugeben. Eine Klasse TAuto könnte dabei wie folgt notiert werden.
TAuto dc '4' ;Größe eines Objektes dieser Klasse
FcwSize dc '0'
FdwVelo dc '1'
FwColor dc '2'
FdwLast dc '3'
Siehe auch
- Programmfehler
- Assembler
- Assemblersprache
- Emulator
- Virtuelle Maschine
- Ungarische Notation – die hier benutzten Variablen erhielten ihren Namen nach dieser Notation