procedure Multiply; begin

Match(*);

Factor;

PopMul; end;

{ Recognize and Translate a Divide }

procedure Divide;

begin

MatchC/);

Factor;

PopDiv; end;

{ Common Code Used by Term and FirstTerm }

procedure Term1;

begin

while IsMulop(Look) do begin Push;

case Look of

*: Multiply; /: Divide; end; end; end;

{ Parse and Translate a Math Term }

procedure Term;

begin

Factor;

Term1; end;

{ Parse and Translate a Leading Term }

procedure FirstTerm;

begin

FirstFactor;

Term1; end;

{ Recognize and Translate an Add }

procedure Add;

begin

Match(+);

Term;

PopAdd; end;

procedure Subtract; begin

Match(-);

Term;

PopSub; end;

{ Parse and Translate an Expression }

procedure Expression;

begin

FirstTerm;

while IsAddop(Look) do begin Push;

case Look of

+: Add;

Subtract;

end; end; end;

{ Parse and Translate an Assignment Statement } procedure Assignment; var Name: char; begin

Name := GetName;

Match(=);

Expression;

Store(Name); end;

ОК, если вы вставили весь этот код, тогда откомпилируйте и проверьте его. Вы должны увидеть приемлемо выглядящий код, представляющий собой законченную программу, которая будет ассемблироваться и выполняться. У нас есть компилятор!

БУЛЕВА ЛОГИКА

Следующий шаг также должен быть вам знаком. Мы должны добавить булевы выражения и операторы отношений. Снова, так как мы работали с ними не один раз, я не буду подробно разбирать их за исключением моментов, в которых они отличаются от того, что мы делали прежде. Снова, мы не будем просто копировать их из других файлов потому что я немного изменил некоторые вещи. Большинство изменений просто включают изоляцию машинозависимых частей как мы делали для арифметических операций. Я также несколько изменил процедуру NotFactor для соответствия структуре FirstFactor. Наконец я исправил ошибку в объектном коде для операторов отношений: в инструкции Scc я использовал только младшие 8 бит D0. Нам нужно установить логическую истину для всех 16 битов поэтому я добавил инструкцию для изменения младшего байта.

Для начала нам понадобятся несколько подпрограмм распознавания:

{ Recognize a Boolean Orop }

function IsOrop(c: char): boolean; begin

IsOrop := c in [, -]; end;

{ Recognize a Relop }

function IsRelop(c: char): boolean;

begin

IsRelop := c in [=, #, <, >]; end;

Также нам понадобятся несколько подпрограмм генерации кода:

{ Complement the Primary Register }

procedure NotIt;

begin

EmitLnCNOT D0); end;

{ AND Top of Stack with Primary }

procedure PopAnd;

begin

EmitLn(AND (SP)+,D0); end;

{ OR Top of Stack with Primary }

procedure PopOr;

begin

EmitLnCOR (SP) + ,D0); end;

{ XOR Top of Stack with Primary }

procedure PopXor;

begin

EmitLn(EOR (SP)+,D0); end;

{ Compare Top of Stack with Primary }

procedure PopCompare;

begin

EmitLnCCMP (SP)+,D0); end;

{ Set D0 If Compare was = } procedure SetEqual; begin

EmitLnCSEQ D0);

EmitLnCEXT D0); end;