PostLabel(L1);

EmitLnCMOVE D0,-(SP));

Block(L2);

EmitLnCMOVE (SP) + ,D0); EmitLnCDBRA D0, + L1); EmitLnCSUBQ #2,SP);

PostLabel(L2);

EmitLnCADDQ #2,SP); end;

Две дополнительные инструкции SUBQ и ADDQ заботятся о сохранении стека в правильной форме.

ЗАКЛЮЧЕНИЕ

К этому моменту мы создали ряд управляющих конструкций... в действительности более богатый набор чем предоставляет почти любой другой язык программирования. И, за исключением цикла FOR, это было довольно легко сделать. Но даже этот цикл был сложен только потому, что сложность заключалась в ассемблере.

Я завершаю на этом урок. Чтобы можно было обернуть наш продукт красной ленточкой, в действительности мы должны иметь настоящие ключевые слова вместо этих игрушечных односимвольных. Вы уже видели, что расширить компилятор для поддержки многосимвольных слов не трудно, но в этом случае возникнут большие различия в представлении нашего входного кода. Я оставлю этот небольшой кусочек для следующей главы. В этой главе мы также рассмотрим логические выражения, так что мы сможем избавиться от фиктивной версии Condition, которую мы здесь использовали. Увидимся.

Для справочных целей привожу полный текст синтаксического анализатора для этого урока:

program Branch;

{ Constant Declarations } const TAB =

CR = *M;

{ Variable Declarations }

var Look : char; { Lookahead Character }

Lcount: integer; { Label Counter }

{ Read New Character From Input Stream }

procedure GetChar;

begin

Read(Look); end;

{ Report an Error } procedure Error(s: string); begin

WriteLn;

WriteLn(*G, Error: , s, .); end;

{ Report Error and Halt } procedure Abort(s: string); begin

Error(s);

Halt; end;

{ Report What Was Expected } procedure Expected(s: string); begin

Abort(s + Expected); end;

{ Match a Specific Input Character }

procedure Match(x: char);

begin

if Look = x then GetChar else Expected( + x + ); end;

{ Recognize an Alpha Character } function IsAlpha(c: char): boolean; begin

IsAlpha := UpCase(c) in [A..Z]; end;

{ Recognize a Decimal Digit } function IsDigit(c: char): boolean; begin

IsDigit := c in [0..9]; end;

{ Recognize an Addop }

function IsAddop(c: char): boolean;

begin

IsAddop := c in [+, -]; end;

{ Recognize White Space }

function IsWhite(c: char): boolean;

begin

IsWhite := c in [ , TAB]; end;

{ Skip Over Leading White Space }

procedure SkipWhite;

begin

while IsWhite(Look) do GetChar;

end;

{ Get an Identifier } function GetName: char; begin

if not IsAlpha(Look) then Expected(Name); GetName := UpCase(Look); GetChar; end;

{ Get a Number } function GetNum: char; begin

if not IsDigit(Look) then Expected(Integer); GetNum := Look; GetChar; end;

{ Generate a Unique Label } function NewLabel: string; var S: string; begin

Str(LCount, S);

NewLabel := L + S;

Inc(LCount); end;

{ Post a Label To Output } procedure PostLabel(L: string); begin

WriteLn(L, :); end;

{ Output a String with Tab } procedure Emit(s: string); begin

Write(TAB, s); end;

{ Output a String with Tab and CRLF }

procedure EmitLn(s: string);

begin

Emit(s);

WriteLn; end;

{ Parse and Translate a Boolean Condition }

procedure Condition;

begin

EmitLn(<condition>); end;

{ Parse and Translate a Math Expression }

procedure Expression;

begin

EmitLn(<expr>); end;

{ Recognize and Translate an IF Construct } procedure Block(L: string); Forward; procedure DoIf(L: string); var L1, L2: string; begin

Match(i);

Condition;

L1 := NewLabel;

L2 := L1;

EmitLnCBEQ + L1);

Block(L);

if Look = Ч then begin