(*
    Copyright 2016, 2017 Anton Krotov

    This file is part of Compiler.

    Compiler is free software: you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    Compiler is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with Compiler. If not, see <http://www.gnu.org/licenses/>.
*)

MODULE Compiler;

IMPORT DECL, SCAN, UTILS, X86, SYSTEM;

CONST

  Slash = UTILS.Slash;

  lxEOF = 0; lxINT = -1; lxREAL = -2; lxSTRING = -3; lxIDENT = -4; lxHEX = -5; lxCHX = -6; lxLONGREAL = -7;
  lxARRAY = 1; lxBEGIN = 2; lxBY = 3; lxCASE = 4; lxCONST = 5; lxDIV = 6; lxDO = 7; lxELSE = 8;
  lxELSIF = 9; lxEND = 10; lxFALSE = 11; lxFOR = 12; lxIF = 13; lxIMPORT = 14; lxIN = 15; lxIS = 16;
  lxMOD = 17; lxMODULE = 18; lxNIL = 19; lxOF = 20; lxOR = 21; lxPOINTER = 22; lxPROCEDURE = 23;
  lxRECORD = 24; lxREPEAT = 25; lxRETURN = 26; lxTHEN = 27; lxTO = 28; lxTRUE = 29; lxTYPE = 30;
  lxUNTIL = 31; lxVAR = 32; lxWHILE = 33;

  lxPlus = 51; lxMinus = 52; lxMult = 53; lxSlash = 54; lxNot = 55; lxAnd = 56; lxComma = 57; lxSemi = 58;
  lxStick = 59; lxLRound = 60; lxLSquare = 61; lxLCurly = 62; lxCaret = 63; lxRRound = 64; lxRSquare = 65;
  lxRCurly = 66; lxDot = 67; lxDbl = 68; lxAssign = 69; lxColon = 70;
  lxEQ = 71; lxNE = 72; lxLT = 73; lxGT = 74; lxLE = 75; lxGE = 76;

  TINTEGER = 1; TREAL = 2; TLONGREAL = 3; TCHAR = 4; TSET = 5; TBOOLEAN = 6; TVOID = 7;
  TNIL = 8; TCARD16 = 9; TSTRING = 10; TARRAY = 11; TRECORD = 12; TPOINTER = 13; TPROC = 14;

  TNUM = {TINTEGER, TREAL, TLONGREAL};
  TFLOAT = {TREAL, TLONGREAL};
  TOBJECT = {TRECORD, TPOINTER};
  TSTRUCT = {TARRAY, TRECORD};

  eVAR = 1; eCONST = 2; eEXP = 3; ePROC = 4; eSTPROC = 5; eSYSPROC = 6;

  IDMOD = 1; IDCONST = 2; IDTYPE = 3; IDVAR = 4; IDPROC = 5; IDSTPROC = 6; IDGUARD = 7; IDPARAM = 8; IDSYSPROC = 9;

  stABS = 1; stODD = 2; stLEN = 3; stLSL = 4; stASR = 5; stROR = 6; stFLOOR = 7; stFLT = 8;
  stORD = 9; stCHR = 10; stLONG = 11; stSHORT = 12; stINC = 13; stDEC = 14; stINCL = 15;
  stEXCL = 16; stCOPY = 17; stNEW = 18; stASSERT = 19; stPACK = 20; stUNPK = 21; stDISPOSE = 22;
  stBITS = 23; stLSR = 24; stLENGTH = 25; stMIN = 26; stMAX = 27;

  sysADR = 101; sysSIZE = 102; sysINF = 103; sysGET = 104; sysPUT = 105;
  sysCODE = 106; sysTYPEID = 107; sysMOVE = 108; sysCOPY = 109;

TYPE

  LABEL = POINTER TO RECORD (UTILS.rITEM)
    a, b: INTEGER
  END;

VAR

  pExpr, pFactor: PROCEDURE (VAR e: DECL.EXPRESSION);
  pOpSeq: PROCEDURE;
  sttypes: DECL.stTYPES;
  voidtype, inttype, booltype, strtype, settype, realtype, longrealtype, chartype, niltype: DECL.pTYPE;

PROCEDURE Load(e: DECL.EXPRESSION);
BEGIN
  IF e.eType = eVAR THEN
    X86.Load(e.T.tType)
  END
END Load;

PROCEDURE LenString(adr: LONGREAL): INTEGER;
VAR s: UTILS.STRCONST;
BEGIN
  s := DECL.GetString(adr)
  RETURN s.Len
END LenString;

PROCEDURE Assert(cond: BOOLEAN; coord: SCAN.TCoord; code: INTEGER);
BEGIN
  IF ~cond THEN
    DECL.Assert(FALSE, coord, code)
  END
END Assert;

PROCEDURE Assert2(cond: BOOLEAN; code: INTEGER);
BEGIN
  IF ~cond THEN
    DECL.Assert(FALSE, SCAN.coord, code)
  END
END Assert2;

PROCEDURE IntType(T: DECL.pTYPE; coord: SCAN.TCoord);
BEGIN
  Assert(T.tType = TINTEGER, coord, 52)
END IntType;

PROCEDURE Next;
BEGIN
  DECL.Next
END Next;

PROCEDURE Coord(VAR coord: SCAN.TCoord);
BEGIN
  coord := SCAN.coord
END Coord;

PROCEDURE NextCoord(VAR coord: SCAN.TCoord);
BEGIN
  DECL.Next;
  coord := SCAN.coord
END NextCoord;

PROCEDURE Check(key: INTEGER);
BEGIN
  DECL.Check(key)
END Check;

PROCEDURE NextCheck(key: INTEGER);
BEGIN
  DECL.Next;
  DECL.Check(key)
END NextCheck;

PROCEDURE BaseOf(T0, T1: DECL.pTYPE): BOOLEAN;
BEGIN
  IF (T0.tType = T1.tType) & (T0.tType IN TOBJECT) THEN
    IF T0.tType = TPOINTER THEN
      T0 := T0.Base;
      T1 := T1.Base
    END;
    WHILE (T1 # NIL) & (T1 # T0) DO
      T1 := T1.Base
    END
  END
  RETURN T0 = T1
END BaseOf;

PROCEDURE Designator(VAR e: DECL.EXPRESSION);
VAR id, id2: DECL.IDENT; name: SCAN.NODE; e1: DECL.EXPRESSION;
    coord: SCAN.TCoord; i, n, bases, glob, loc, idx: INTEGER;
    imp, break, guard: BOOLEAN; f: DECL.FIELD;
    T, BaseT: DECL.pTYPE; s: UTILS.STRCONST;

  PROCEDURE LoadVar;
  BEGIN
    IF glob # -1 THEN
      X86.GlobalAdr(glob);
      glob := -1
    ELSIF loc # -1 THEN
      X86.LocalAdr(loc, bases);
      loc := -1
    END
  END LoadVar;

BEGIN
  glob := -1;
  loc := -1;
  Coord(coord);
  Check(lxIDENT);
  name := SCAN.id;
  id := DECL.GetIdent(name);
  IF (id # NIL) & (id.iType = IDMOD) THEN
    NextCheck(lxDot);
    NextCheck(lxIDENT);
    Coord(coord);
    name := SCAN.id;
    imp := id.Unit # DECL.unit;
    id := DECL.GetQIdent(id.Unit, name)
  END;
  Assert(id # NIL, coord, 42);
  e.vparam := FALSE;
  e.deref := FALSE;
  e.id := id;
  Next;
  CASE id.iType OF
  |IDVAR:
    e.eType := eVAR;
    e.T := id.T;
    IF id.VarKind = 0 THEN
      e.Read := imp
    ELSE
      e.Read := (id.VarKind = DECL.param) & (id.T.tType IN TSTRUCT);
      e.vparam := id.VarKind = DECL.paramvar
    END;
    bases := DECL.unit.Level - id.Level;
    IF id.Level = 3 THEN
      glob := id.Offset
    ELSIF (id.VarKind = 0) OR (id.VarKind = DECL.param) & ~(id.T.tType IN TSTRUCT) THEN
      loc := id.Offset
    ELSIF (id.VarKind = DECL.paramvar) OR (id.T.tType IN TSTRUCT) THEN
      IF DECL.Dim(e.T) > 0 THEN
        n := DECL.Dim(e.T);
        FOR i := n TO 1 BY -1 DO
          X86.LocalAdr(id.Offset + i * 4, bases);
          X86.Load(TINTEGER)
        END
      END;
      X86.LocalAdr(id.Offset, bases);
      X86.Load(TINTEGER)
    END
  |IDCONST:
    Assert(id.T # NIL, coord, 75);
    e.eType := eCONST;
    e.T := id.T;
    e.Value := id.Value;
    IF id.T.tType IN {TINTEGER, TSET, TBOOLEAN} THEN
      X86.PushConst(FLOOR(e.Value))
    ELSIF id.T.tType IN TFLOAT THEN
      X86.PushFlt(e.Value)
    ELSIF id.T.tType = TSTRING THEN
      s := DECL.GetString(e.Value);
      IF s.Len = 1 THEN
        X86.PushConst(ORD(s.Str[0]))
      ELSE
        X86.PushInt(s.Number)
      END
    END
  |IDPROC:
    e.eType := ePROC;
    NEW(id2);
    UTILS.MemErr(id2 = NIL);
    id2^ := id^;
    UTILS.Push(DECL.curproc.Procs, id2);
    e.T := voidtype
  |IDTYPE:
    Assert(FALSE, coord, 101)
  |IDSTPROC:
    e.eType := eSTPROC;
    e.T := voidtype
  |IDSYSPROC:
    e.eType := eSYSPROC;
    e.T := voidtype
  ELSE
  END;
  break := FALSE;
  guard := FALSE;
  REPEAT
    CASE SCAN.tLex OF
    |lxDot:
      e.deref := FALSE;
      Assert2(e.T.tType IN TOBJECT, 105);
      IF e.T.tType = TPOINTER THEN
        e.Read := FALSE;
        LoadVar;
        e.T := e.T.Base;
        X86.Load(TINTEGER);
        IF ~guard THEN
          X86.CheckNIL
        END
      END;
      NextCheck(lxIDENT);
      Coord(coord);
      name := SCAN.id;
      T := e.T;
      REPEAT
        f := DECL.GetField(T, name);
        T := T.Base
      UNTIL (f # NIL) OR (T = NIL);
      Assert(f # NIL, coord, 99);
      IF f.Unit # DECL.unit THEN
        Assert(f.Export, coord, 99)
      END;
      IF glob # -1 THEN
        glob := glob + f.Offset
      ELSIF loc # -1 THEN
        loc := loc + f.Offset
      ELSE
        X86.Field(f.Offset)
      END;
      e.T := f.T;
      e.vparam := FALSE;
      guard := FALSE;
      Next
    |lxLSquare:
      LoadVar;
      REPEAT
        Assert2(e.T.tType = TARRAY, 102);
        NextCoord(coord);
        pExpr(e1);
        IntType(e1.T, coord);
        Load(e1);
        IF e.T.Len = 0 THEN
          BaseT := DECL.OpenBase(e.T);
          X86.PushConst(BaseT.Size);
          X86.OpenIdx(DECL.Dim(e.T))
        ELSE
          IF e1.eType = eCONST THEN
            idx := FLOOR(e1.Value);
            Assert((idx >= 0) & (idx < e.T.Len), coord, 159);
            IF e.T.Base.Size # 1 THEN
              X86.Drop;
              X86.PushConst(e.T.Base.Size * idx)
            END;
            X86.Idx
          ELSE
            X86.FixIdx(e.T.Len, e.T.Base.Size)
          END
        END;
        e.T := e.T.Base
      UNTIL SCAN.tLex # lxComma;
      Check(lxRSquare);
      e.vparam := FALSE;
      guard := FALSE;
      Next
    |lxCaret:
      LoadVar;
      Assert2(e.T.tType = TPOINTER, 104);
      e.Read := FALSE;
      X86.Load(TINTEGER);
      IF ~guard THEN
        X86.CheckNIL
      END;
      e.T := e.T.Base;
      e.vparam := FALSE;
      e.deref := TRUE;
      guard := FALSE;
      Next
    |lxLRound:
      LoadVar;
      IF e.T.tType IN TOBJECT THEN
        IF e.T.tType = TRECORD THEN
          Assert2(e.vparam, 108)
        END;
        NextCheck(lxIDENT);
        Coord(coord);
        T := DECL.IdType(coord);
        Assert(T # NIL, coord, 42);
        IF e.T.tType = TRECORD THEN
          Assert(T.tType = TRECORD, coord, 106)
        ELSE
          Assert(T.tType = TPOINTER, coord, 107)
        END;
        Assert(BaseOf(e.T, T), coord, 108);
        e.T := T;
        Check(lxRRound);
        Next;
        IF e.T.tType = TPOINTER THEN
          IF (SCAN.tLex = lxDot) OR (SCAN.tLex = lxCaret) THEN
            X86.DupLoadCheck
          ELSE
            X86.DupLoad
          END;
          guard := TRUE;
          T := T.Base
        ELSE
          X86.LocalAdr(e.id.Offset, DECL.unit.Level - e.id.Level)
        END;
        X86.Guard(T.Number, FALSE)
      ELSE
        break := TRUE
      END
    ELSE
      break := TRUE
    END
  UNTIL break;
  LoadVar
END Designator;

PROCEDURE Set(VAR e: DECL.EXPRESSION);
VAR a, b: DECL.EXPRESSION; coord: SCAN.TCoord; fpu: INTEGER; s: SET; flag: BOOLEAN;
    beg: X86.ASMLINE;
BEGIN
  Next;
  e.eType := eEXP;
  e.T := settype;
  e.Value := 0.0D0;
  e.vparam := FALSE;
  s := {};
  flag := TRUE;
  fpu := X86.fpu;
  beg := X86.current;
  X86.PushConst(0);
  WHILE SCAN.tLex # lxRCurly DO
    Coord(coord);
    pExpr(a);
    IntType(a.T, coord);
    IF a.eType = eCONST THEN
      Assert(ASR(FLOOR(a.Value), 5) = 0, coord, 53)
    END;
    Load(a);
    b := a;
    IF SCAN.tLex = lxDbl THEN
      NextCoord(coord);
      pExpr(b);
      IntType(b.T, coord);
      IF b.eType = eCONST THEN
        Assert(ASR(FLOOR(b.Value), 5) = 0, coord, 53);
        IF a.eType = eCONST THEN
          Assert(a.Value <= b.Value, coord, 54)
        END
      END;
      Load(b)
    ELSE
      X86.Dup
    END;
    X86.rset;
    X86.Set(lxPlus);
    flag := (a.eType = eCONST) & (b.eType = eCONST) & flag;
    IF flag THEN
      s := s + {FLOOR(a.Value) .. FLOOR(b.Value)}
    END;
    IF SCAN.tLex = lxComma THEN
      Next;
      Assert2(SCAN.tLex # lxRCurly, 36)
    ELSE
      Check(lxRCurly)
    END
  END;
  IF flag THEN
    e.Value := LONG(FLT(ORD(s)));
    e.eType := eCONST;
    X86.Del(beg);
    X86.Setfpu(fpu);
    IF ~DECL.Const THEN
      X86.PushConst(ORD(s))
    END
  END;
  Next
END Set;

PROCEDURE IsString(a: DECL.EXPRESSION): BOOLEAN;
  RETURN (a.T.tType = TSTRING) OR (a.T.tType = TARRAY) & (a.T.Base.tType = TCHAR)
END IsString;

PROCEDURE Str(e: DECL.EXPRESSION);
VAR A: X86.TIDX;
BEGIN
  IF (e.T.tType = TARRAY) & (e.T.Base.tType = TCHAR) & (e.T.Len # 0) THEN
    A[0] := e.T.Len;
    X86.OpenArray(A, 1)
  ELSIF e.T.tType = TSTRING THEN
    A[0] := LenString(e.Value) + 1;
    IF A[0] # 2 THEN
      X86.OpenArray(A, 1)
    END
  END
END Str;

PROCEDURE StFunc(VAR e: DECL.EXPRESSION; func: INTEGER);
VAR coord, coord2: SCAN.TCoord; a, b, p: INTEGER; e1, e2: DECL.EXPRESSION;
    T: DECL.pTYPE; str, str2: UTILS.STRCONST;
BEGIN
  e.vparam := FALSE;
  e.eType := eEXP;
  Coord(coord2);
  Check(lxLRound);
  NextCoord(coord);
  CASE func OF
  |stABS:
    pExpr(e1);
    Assert(e1.T.tType IN TNUM, coord, 57);
    Load(e1);
    IF e1.eType = eCONST THEN
      e.Value := ABS(e1.Value);
      e.eType := eCONST;
      Assert(~((e1.T.tType = TINTEGER) & (e1.Value = LONG(FLT(SCAN.minINT)))), coord, DECL.IOVER)
    END;
    IF e1.T.tType = TINTEGER THEN
      X86.StFunc(X86.stABS)
    ELSE
      X86.StFunc(X86.stFABS)
    END;
    e.T := e1.T
  |stODD:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    IF e1.eType = eCONST THEN
      e.Value := LONG(FLT(ORD(ODD(FLOOR(e1.Value)))));
      e.eType := eCONST
    END;
    X86.StFunc(X86.stODD);
    e.T := booltype
  |stLEN:
    Designator(e1);
    Assert((e1.eType = eVAR) & (e1.T.tType = TARRAY), coord, 102);
    IF e1.T.Len > 0 THEN
      X86.Len(-e1.T.Len)
    ELSE
      X86.Len(DECL.Dim(e1.T))
    END;
    e.T := inttype
  |stLSL, stASR, stROR, stLSR:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    Check(lxComma);
    NextCoord(coord);
    pExpr(e2);
    IntType(e2.T, coord);
    Load(e2);
    IF (e1.eType = eCONST) & (e2.eType = eCONST) THEN
      a := FLOOR(e1.Value);
      b := FLOOR(e2.Value);
      CASE func OF
      |stLSL: a := LSL(a, b)
      |stASR: a := ASR(a, b)
      |stROR: a := ROR(a, b)
      |stLSR: a := LSR(a, b)
      ELSE
      END;
      e.Value := LONG(FLT(a));
      e.eType := eCONST
    END;
    CASE func OF
    |stLSL: X86.StFunc(X86.stLSL)
    |stASR: X86.StFunc(X86.stASR)
    |stROR: X86.StFunc(X86.stROR)
    |stLSR: X86.StFunc(X86.stLSR)
    ELSE
    END;
    e.T := inttype
  |stFLOOR:
    pExpr(e1);
    Assert(e1.T.tType IN TFLOAT, coord, 66);
    Load(e1);
    IF e1.eType = eCONST THEN
      Assert((e1.Value - 1.0D0 < LONG(FLT(SCAN.maxINT))) & (e1.Value >= LONG(FLT(SCAN.minINT))), coord, 74);
      e.Value := LONG(FLT(FLOOR(e1.Value)));
      e.eType := eCONST
    END;
    X86.StFunc(X86.stFLOOR);
    e.T := inttype
  |stFLT:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    IF e1.eType = eCONST THEN
      e.Value := e1.Value;
      e.eType := eCONST
    END;
    X86.StFunc(X86.stFLT);
    e.T := realtype
  |stORD:
    pExpr(e1);
    Assert(e1.T.tType IN {TCHAR, TBOOLEAN, TSET, TSTRING}, coord, 68);
    IF e1.T.tType = TSTRING THEN
      Assert(LenString(e1.Value) = 1, coord, 94)
    END;
    Load(e1);
    IF e1.eType = eCONST THEN
      IF e1.T.tType = TSTRING THEN
        str := DECL.GetString(e1.Value);
        e.Value := LONG(FLT(ORD(str.Str[0])))
      ELSE
        e.Value := e1.Value
      END;
      e.eType := eCONST
    END;
    IF e1.T.tType = TBOOLEAN THEN
      X86.StFunc(X86.stORD)
    END;
    e.T := inttype
  |stBITS:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    IF e1.eType = eCONST THEN
      e.Value := e1.Value;
      e.eType := eCONST
    END;
    e.T := settype
  |stCHR:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    e.T := chartype;
    IF e1.eType = eCONST THEN
      Assert(ASR(FLOOR(e1.Value), 8) = 0, coord, 76);
      str2 := DECL.AddMono(CHR(FLOOR(e1.Value)));
      SYSTEM.GET(SYSTEM.ADR(str2), p);
      e.Value := LONG(FLT(p));
      e.T := strtype;
      e.eType := eCONST
    END
  |stLONG:
    pExpr(e1);
    Assert(e1.T.tType = TREAL, coord, 71);
    IF e1.eType = eCONST THEN
      e.Value := e1.Value;
      e.eType := eCONST
    END;
    Load(e1);
    e.T := longrealtype
  |stSHORT:
    pExpr(e1);
    Assert(e1.T.tType = TLONGREAL, coord, 70);
    IF e1.eType = eCONST THEN
      Assert(ABS(e1.Value) <= LONG(SCAN.maxREAL), coord, DECL.FOVER);
      Assert(ABS(e1.Value) >= LONG(SCAN.minREAL), coord, DECL.UNDER);
      e.Value := e1.Value;
      e.eType := eCONST
    END;
    Load(e1);
    e.T := realtype
  |stLENGTH:
    pExpr(e1);
    Assert(IsString(e1), coord, 141);
    IF e1.T.tType = TSTRING THEN
      str := DECL.GetString(e1.Value);
      IF str.Len = 1 THEN
        X86.Mono(str.Number);
        X86.StrMono
      END;
      e.Value := LONG(FLT(LENGTH(str.Str)));
      e.eType := eCONST
    END;
    Str(e1);
    e.T := inttype;
    X86.StFunc(X86.stLENGTH)
  |stMIN, stMAX:
    pExpr(e1);
    IntType(e1.T, coord);
    Load(e1);
    Check(lxComma);
    NextCoord(coord);
    pExpr(e2);
    IntType(e2.T, coord);
    Load(e2);
    IF (e1.eType = eCONST) & (e2.eType = eCONST) THEN
      a := FLOOR(e1.Value);
      b := FLOOR(e2.Value);
      CASE func OF
      |stMIN: a := MIN(a, b)
      |stMAX: a := MAX(a, b)
      ELSE
      END;
      e.Value := LONG(FLT(a));
      e.eType := eCONST
    END;
    IF func = stMIN THEN
      X86.StFunc(X86.stMIN)
    ELSE
      X86.StFunc(X86.stMAX)
    END;
    e.T := inttype
  |sysADR:
    Assert((SCAN.tLex = lxIDENT) OR (SCAN.tLex = lxSTRING) OR (SCAN.tLex = lxCHX), coord, 43);
    IF SCAN.tLex = lxIDENT THEN
      Designator(e1);
      Assert((e1.eType = eVAR) OR (e1.eType = ePROC) OR (e1.T = strtype), coord, 43);
      IF e1.eType = ePROC THEN
        X86.PushInt(e1.id.Number)
      END
    ELSE
      pFactor(e1)
    END;
    IF e1.T = strtype THEN
      str := DECL.GetString(e1.Value);
      IF str.Len = 1 THEN
        X86.Drop;
        X86.PushInt(str.Number)
      END
    END;
    e.T := inttype;
    X86.ADR(DECL.Dim(e1.T))
  |sysSIZE, sysTYPEID, sysINF:
    DECL.SetSizeFunc;
    Check(lxIDENT);
    T := DECL.IdType(coord);
    Assert(T # NIL, coord, 42);
    e.eType := eCONST;
    IF func = sysTYPEID THEN
      e.T := inttype;
      Assert(T.tType IN TOBJECT, coord, 47);
      IF T.tType = TPOINTER THEN
        T := T.Base
      END;
      e.Value := LONG(FLT(T.Number));
      X86.PushConst(T.Number)
    ELSIF func = sysSIZE THEN
      e.T := inttype;
      e.Value := LONG(FLT(T.Size));
      X86.PushConst(T.Size)
    ELSIF func = sysINF THEN
      Assert(T.tType IN TFLOAT, coord, 91);
      e.T := T;
      e.Value := SYSTEM.INF(LONGREAL);
      X86.PushFlt(e.Value)
    END
  ELSE
    Assert(FALSE, coord2, 73)
  END;
  Check(lxRRound);
  Next
END StFunc;

PROCEDURE ProcTypeComp(T1, T2: DECL.pTYPE): BOOLEAN;
VAR sp: INTEGER; stk: ARRAY 100, 2 OF DECL.pTYPE;

  PROCEDURE ProcTypeComp1(T1, T2: DECL.pTYPE): BOOLEAN;
  VAR fp, ft: DECL.FIELD; Res: BOOLEAN;

    PROCEDURE TypeComp(T1, T2: DECL.pTYPE): BOOLEAN;
    VAR Res: BOOLEAN;
    BEGIN
      IF (T1.tType = TARRAY) & (T2.tType = TARRAY) & (T1.Len = 0) & (T2.Len = 0) THEN
        Res := TypeComp(T1.Base, T2.Base)
      ELSE
        Res := ProcTypeComp1(T1, T2)
      END
      RETURN Res
    END TypeComp;

    PROCEDURE Check(): BOOLEAN;
    VAR i: INTEGER; res: BOOLEAN;
    BEGIN
      i := 0;
      res := FALSE;
      WHILE (i < sp) & ~res DO
        res := ((stk[i][0] = T1) & (stk[i][1] = T2)) OR ((stk[i][0] = T2) & (stk[i][1] = T1));
        INC(i)
      END
      RETURN res
    END Check;

  BEGIN
    INC(sp);
    stk[sp][0] := T1;
    stk[sp][1] := T2;
    IF Check() THEN
      Res := TRUE
    ELSE
      IF (T1.tType = TPROC) & (T2.tType = TPROC) & (T1 # T2) THEN
        Res := (T1.Call = T2.Call) & (T1.Fields.Count = T2.Fields.Count) & ProcTypeComp1(T1.Base, T2.Base);
        fp := T1.Fields.First(DECL.FIELD);
        ft := T2.Fields.First(DECL.FIELD);
        WHILE Res & (fp # NIL) DO
          Res := (fp.ByRef = ft.ByRef) & TypeComp(fp.T, ft.T);
          fp := fp.Next(DECL.FIELD);
          ft := ft.Next(DECL.FIELD)
        END
      ELSE
        Res := T1 = T2
      END
    END;
    DEC(sp)
    RETURN Res
  END ProcTypeComp1;

BEGIN
  sp := -1
  RETURN ProcTypeComp1(T1, T2)
END ProcTypeComp;

PROCEDURE ArrComp(Ta, Tf: DECL.pTYPE): BOOLEAN;
VAR Res: BOOLEAN;
BEGIN
  IF (Tf.tType = TARRAY) & (Tf.Len = 0) & (Ta.tType = TARRAY) THEN
    Res := ArrComp(Ta.Base, Tf.Base)
  ELSE
    Res := ProcTypeComp(Ta, Tf)
  END
  RETURN Res
END ArrComp;

PROCEDURE AssComp(e: DECL.EXPRESSION; T: DECL.pTYPE; param: BOOLEAN): BOOLEAN;
VAR Res: BOOLEAN;
BEGIN
  CASE T.tType OF
  |TINTEGER, TREAL, TLONGREAL, TSET, TBOOLEAN, TCARD16:
    Res := e.T = T
  |TCHAR:
    IF e.T.tType = TSTRING THEN
      Res := LenString(e.Value) = 1
    ELSE
      Res := e.T.tType = TCHAR
    END
  |TARRAY:
    IF param THEN
      IF T.Len = 0 THEN
        IF (T.Base.tType = TCHAR) & (e.T.tType = TSTRING) THEN
          Res := TRUE
        ELSE
          Res := ArrComp(e.T, T)
        END
      ELSE
        IF (T.Base.tType = TCHAR) & (e.T.tType = TSTRING) THEN
          Res := LenString(e.Value) <= T.Len
        ELSE
          Res := e.T = T
        END
      END
    ELSE
      IF T.Len = 0 THEN
        Res := FALSE
      ELSIF (T.Base.tType = TCHAR) & (e.T.tType = TSTRING) THEN
        Res := LenString(e.Value) <= T.Len
      ELSE
        Res := e.T = T
      END
    END
  |TRECORD: Res := BaseOf(T, e.T)
  |TPOINTER: Res := BaseOf(T, e.T) OR (e.T.tType = TNIL)
  |TPROC: Res := (e.T.tType = TNIL) OR (e.eType = ePROC) & ProcTypeComp(e.id.T, T) OR
    (e.eType # ePROC) & ProcTypeComp(e.T, T)
  ELSE
    Res := FALSE
  END
  RETURN Res
END AssComp;

PROCEDURE ParamComp(e: DECL.EXPRESSION; T: DECL.pTYPE; ByRef: BOOLEAN): BOOLEAN;
VAR Res: BOOLEAN;
BEGIN
  IF ByRef THEN
    IF e.eType = eVAR THEN
      CASE T.tType OF
      |TINTEGER, TREAL, TLONGREAL, TCHAR,
       TSET, TBOOLEAN, TPOINTER, TCARD16:
        Res := e.T = T
      |TARRAY:
        IF T.Len > 0 THEN
          Res := e.T = T
        ELSE
          Res := ArrComp(e.T, T)
        END
      |TRECORD:
        Res := BaseOf(T, e.T)
      |TPROC:
        Res := ProcTypeComp(e.T, T)
      ELSE
      END
    ELSE
      Res := FALSE
    END
  ELSE
    Res := AssComp(e, T, TRUE)
  END
  RETURN Res
END ParamComp;

PROCEDURE Call(param: DECL.FIELD);
VAR coord: SCAN.TCoord; i, n: INTEGER; e1: DECL.EXPRESSION; s: UTILS.STRCONST; A: X86.TIDX; TA: DECL.pTYPE;
BEGIN
  WHILE param # NIL DO
    Coord(coord);
    X86.Param;
    pExpr(e1);
    Assert(ParamComp(e1, param.T, param.ByRef), coord, 114);
    Assert(~(param.ByRef & e1.Read), coord, 115);
    Assert(~((e1.eType = ePROC) & (e1.id.Level > 3)), coord, 116);
    IF (e1.eType = eVAR) & ~param.ByRef THEN
      X86.Load(e1.T.tType)
    END;
    IF param.ByRef & (e1.T.tType = TRECORD) THEN
      IF e1.vparam THEN
        X86.LocalAdr(e1.id.Offset - 4, DECL.unit.Level - e1.id.Level);
        X86.Load(TINTEGER)
      ELSIF e1.deref THEN
        X86.DerefType(0)
      ELSE
        X86.PushConst(e1.T.Number)
      END
    END;
    IF ~param.ByRef & (param.T.tType IN TFLOAT) THEN
      X86.DropFpu(param.T.tType = TLONGREAL)
    END;
    IF (e1.T.tType = TSTRING) & (param.T.tType = TARRAY) THEN
      s := DECL.GetString(e1.Value);
      IF s.Len = 1 THEN
        X86.Mono(s.Number)
      END;
      IF param.T.Len = 0 THEN
        A[0] := s.Len + 1;
        X86.OpenArray(A, 1)
      END
    END;
    IF (e1.T.tType = TARRAY) & (DECL.Dim(param.T) > DECL.Dim(e1.T)) THEN
      n := DECL.Dim(param.T) - DECL.Dim(e1.T);
      TA := DECL.OpenBase(e1.T);
      FOR i := 0 TO n - 1 DO
        A[i] := TA.Len;
        TA := TA.Base
      END;
      IF DECL.Dim(e1.T) = 0 THEN
        X86.OpenArray(A, n)
      ELSE
        X86.ExtArray(A, n, DECL.Dim(e1.T))
      END
    END;
    param := param.Next(DECL.FIELD);
    IF param # NIL THEN
      Check(lxComma);
      Next
    END
  END;
  Check(lxRRound);
  Next
END Call;

PROCEDURE Factor(VAR e: DECL.EXPRESSION);
VAR coord: SCAN.TCoord; ccall, p: INTEGER; begcall: X86.ASMLINE; s, str2: UTILS.STRCONST;
BEGIN
  e.eType := eCONST;
  e.vparam := FALSE;
  CASE SCAN.tLex OF
  |lxIDENT:
    begcall := X86.current;
    Designator(e);
    IF e.eType = ePROC THEN
      IF SCAN.tLex = lxLRound THEN
        Assert2(e.id.T.Base.tType # TVOID, 73);
        Next;
        X86.PushCall(begcall);
        Call(e.id.T.Fields.First(DECL.FIELD));
        X86.EndCall;
        e.eType := eEXP;
        e.T := e.id.T.Base;
        IF e.id.Level = 3 THEN
          ccall := 0
        ELSIF e.id.Level > DECL.curBlock.Level THEN
          ccall := 1
        ELSE
          ccall := 2
        END;
        X86.Call(e.id.Number, TRUE, e.T.tType IN TFLOAT, e.id.T.Call, ccall, e.id.Level - 3,
          DECL.curBlock.Level - 3, e.id.ParamSize, DECL.curBlock.LocalSize)
      ELSE
        X86.PushInt(e.id.Number)
      END
    ELSIF (e.eType = eVAR) & (e.T.tType = TPROC) & (SCAN.tLex = lxLRound) THEN
      Assert2(e.T.Base.tType # TVOID, 73);
      Next;
      X86.PushCall(begcall);
      Call(e.T.Fields.First(DECL.FIELD));
      X86.EndCall;
      e.eType := eEXP;
      X86.CallVar(TRUE, e.T.Base.tType IN TFLOAT, e.T.Call, e.T.Len, DECL.curBlock.LocalSize);
      e.T := e.T.Base;
    ELSIF e.eType IN {eSTPROC, eSYSPROC} THEN
      StFunc(e, e.id.StProc)
    END
  |lxNIL:
    e.T := niltype;
    e.Value := 0.0D0;
    X86.PushConst(0);
    Next
  |lxTRUE:
    e.T := booltype;
    e.Value := 1.0D0;
    X86.PushConst(1);
    Next
  |lxFALSE:
    e.T := booltype;
    e.Value := 0.0D0;
    X86.PushConst(0);
    Next
  |lxCHX, lxSTRING:
    IF SCAN.tLex = lxSTRING THEN
      str2 := DECL.AddString(SCAN.Lex);
      SYSTEM.GET(SYSTEM.ADR(str2), p);
      e.Value := LONG(FLT(p));
      s := DECL.GetString(e.Value);
      IF s.Len = 1 THEN
        X86.PushConst(ORD(s.Str[0]))
      ELSE
        X86.PushInt(s.Number)
      END
    ELSE
      str2 := DECL.AddMono(SCAN.vCHX);
      SYSTEM.GET(SYSTEM.ADR(str2), p);
      e.Value := LONG(FLT(p));
      X86.PushConst(ORD(SCAN.vCHX))
    END;
    e.T := strtype;
    Next
  |lxREAL:
    e.T := realtype;
    e.Value := SCAN.vFLT;
    X86.PushFlt(SCAN.vFLT);
    Next
  |lxLONGREAL:
    e.T := longrealtype;
    e.Value := SCAN.vFLT;
    X86.PushFlt(SCAN.vFLT);
    Next
  |lxINT, lxHEX:
    e.T := inttype;
    e.Value := LONG(FLT(SCAN.vINT));
    X86.PushConst(SCAN.vINT);
    Next
  |lxLRound:
    Next;
    pExpr(e);
    Check(lxRRound);
    Next
  |lxNot:
    NextCoord(coord);
    Factor(e);
    Assert(e.T.tType = TBOOLEAN, coord, 37);
    Load(e);
    IF e.eType = eCONST THEN
      e.Value := LONG(FLT(ORD(e.Value = 0.0D0)))
    ELSE
      e.eType := eEXP
    END;
    X86.Not;
    e.vparam := FALSE
  |lxLCurly:
    Set(e)
  ELSE
    Assert2(FALSE, 36)
  END
END Factor;

PROCEDURE IsChr(a: DECL.EXPRESSION): BOOLEAN;
  RETURN (a.T.tType = TSTRING) & (LenString(a.Value) = 1) OR (a.T.tType = TCHAR)
END IsChr;

PROCEDURE StrRel(a, b: DECL.EXPRESSION; Op: INTEGER);
BEGIN
  IF ~(IsChr(a) OR IsChr(b)) THEN
    X86.strcmp(Op, 0)
  ELSIF IsChr(a) & IsChr(b) THEN
    X86.CmpInt(Op)
  ELSIF IsChr(a) THEN
    X86.strcmp(Op, 1)
  ELSE
    X86.strcmp(Op, -1)
  END
END StrRel;

PROCEDURE log2(n: INTEGER): INTEGER;
VAR x, i: INTEGER;
BEGIN
  x := 1;
  i := 0;
  WHILE (x # n) & (i < 31) DO
    x := LSL(x, 1);
    INC(i)
  END;
  IF x # n THEN
    i := -1
  END
  RETURN i
END log2;

PROCEDURE Operation(VAR a, b: DECL.EXPRESSION; Op: INTEGER; coord: SCAN.TCoord);
VAR n, m: INTEGER;
BEGIN
  CASE Op OF
  |lxPlus, lxMinus, lxMult, lxSlash:
    Assert((a.T.tType IN (TNUM + {TSET})) & (a.T.tType = b.T.tType), coord, 37);
    Assert(~((Op = lxSlash) & (a.T.tType = TINTEGER)), coord, 37);
    CASE a.T.tType OF
    |TINTEGER: X86.Int(Op)
    |TSET: X86.Set(Op)
    |TREAL, TLONGREAL: X86.farith(Op)
    ELSE
    END
  |lxDIV, lxMOD:
    Assert((a.T.tType = TINTEGER) & (b.T.tType = TINTEGER), coord, 37);
    IF b.eType = eCONST THEN
      m := FLOOR(b.Value);
      Assert(m # 0, coord, 48);
      n := log2(m);
      IF n = -1 THEN
        X86.idivmod(Op = lxMOD)
      ELSE
        X86.Drop;
        IF Op = lxMOD THEN
          n := ORD(-BITS(LSL(-1, n)));
          X86.PushConst(n);
          X86.Set(lxMult)
        ELSE
          X86.PushConst(n);
          X86.StFunc(X86.stASR)
        END
      END
    ELSE
      X86.idivmod(Op = lxMOD)
    END
  |lxAnd, lxOR:
    Assert((a.T.tType = TBOOLEAN) & (b.T.tType = TBOOLEAN), coord, 37)
  |lxIN:
    Assert((a.T.tType = TINTEGER) & (b.T.tType = TSET), coord, 37);
    X86.inset
  |lxLT, lxLE, lxGT, lxGE:
    Assert(((a.T.tType IN TNUM) & (a.T.tType = b.T.tType)) OR
      (IsChr(a) OR IsString(a)) & (IsChr(b) OR IsString(b)) OR
      (a.T.tType = TSET) & (b.T.tType = TSET) & ((Op = lxLE) OR (Op = lxGE)), coord, 37);
    IF a.T.tType IN TFLOAT THEN
      X86.fcmp(Op)
    ELSIF a.T.tType = TSET THEN
      X86.Inclusion(Op)
    ELSIF IsString(a) OR IsString(b) THEN
      StrRel(a, b, Op)
    ELSE
      X86.CmpInt(Op)
    END
  |lxEQ, lxNE:
    Assert(((a.T.tType IN (TNUM + {TSET, TBOOLEAN})) & (a.T.tType = b.T.tType)) OR
      (IsChr(a) OR IsString(a)) & (IsChr(b) OR IsString(b)) OR
      (a.T.tType IN {TPOINTER, TPROC, TNIL}) & (b.T.tType = TNIL) OR
      (b.T.tType IN {TPOINTER, TPROC, TNIL}) & (a.T.tType = TNIL) OR
      (a.T.tType = TPOINTER) & (b.T.tType = TPOINTER) & (BaseOf(a.T, b.T) OR BaseOf(b.T, a.T)) OR
      (a.T.tType = TPROC) & ProcTypeComp(b.T, a.T) OR (a.eType = ePROC) & ProcTypeComp(b.T, a.id.T) OR
      (b.eType = ePROC) & ProcTypeComp(a.T, b.id.T), coord, 37);
    IF a.T.tType IN TFLOAT THEN
      X86.fcmp(Op)
    ELSIF IsString(a) OR IsString(b) THEN
      StrRel(a, b, Op)
    ELSE
      X86.CmpInt(Op)
    END
  ELSE
  END;
  IF (a.eType # eCONST) OR (b.eType # eCONST) THEN
    a.eType := eEXP;
    IF DECL.Relation(Op) THEN
      a.T := booltype
    END
  ELSE
    DECL.Calc(a.Value, b.Value, a.T, b.T, Op, coord, a.Value, a.T)
  END;
  a.vparam := FALSE
END Operation;

PROCEDURE Term(VAR e: DECL.EXPRESSION);
VAR a: DECL.EXPRESSION; Op, L: INTEGER; coord: SCAN.TCoord;
BEGIN
  Factor(e);
  WHILE (SCAN.tLex = lxMult) OR (SCAN.tLex = lxSlash) OR
    (SCAN.tLex = lxDIV) OR (SCAN.tLex = lxMOD) OR
     (SCAN.tLex = lxAnd) DO
    Load(e);
    Coord(coord);
    Op := SCAN.tLex;
    Next;
    IF Op = lxAnd THEN
      L := X86.NewLabel();
      X86.IfWhile(L, FALSE)
    END;
    Factor(a);
    Load(a);
    IF Op = lxAnd THEN
      X86.Label(L)
    END;
    Operation(e, a, Op, coord)
  END
END Term;

PROCEDURE Simple(VAR e: DECL.EXPRESSION);
VAR a: DECL.EXPRESSION; Op, uOp, L: INTEGER; coord, ucoord: SCAN.TCoord;
BEGIN
  uOp := 0;
  IF (SCAN.tLex = lxPlus) OR (SCAN.tLex = lxMinus) THEN
    Coord(ucoord);
    uOp := SCAN.tLex;
    Next
  END;
  Term(e);
  IF uOp # 0 THEN
    Assert(e.T.tType IN (TNUM + {TSET}), ucoord, 37);
    Load(e);
    IF uOp = lxMinus THEN
      CASE e.T.tType OF
      |TINTEGER: X86.NegInt
      |TSET: X86.NegSet
      |TREAL, TLONGREAL: X86.fneg
      ELSE
      END
    END;
    IF (uOp = lxMinus) & (e.eType = eCONST) THEN
      CASE e.T.tType OF
      |TINTEGER:
        Assert(e.Value # LONG(FLT(SCAN.minINT)), ucoord, DECL.IOVER)
      |TSET:
        e.Value := -LONG(FLT(ORD(-BITS(FLOOR(e.Value)))))
      ELSE
      END;
      e.Value := -e.Value
    END;
    IF e.eType # eCONST THEN
      e.eType := eEXP
    END;
    e.vparam := FALSE
  END;
  WHILE (SCAN.tLex = lxPlus) OR (SCAN.tLex = lxMinus) OR (SCAN.tLex = lxOR) DO
    Load(e);
    Coord(coord);
    Op := SCAN.tLex;
    Next;
    IF Op = lxOR THEN
      L := X86.NewLabel();
      X86.IfWhile(L, TRUE)
    END;
    Term(a);
    Load(a);
    IF Op = lxOR THEN
      X86.Label(L)
    END;
    Operation(e, a, Op, coord)
  END
END Simple;

PROCEDURE Expr(VAR e: DECL.EXPRESSION);
VAR a: DECL.EXPRESSION; coord, coord2: SCAN.TCoord; Op, fpu: INTEGER; T: DECL.pTYPE; beg: X86.ASMLINE; s: UTILS.STRCONST;
BEGIN
  fpu := X86.fpu;
  beg := X86.current;
  Simple(e);
  IF DECL.Relation(SCAN.tLex) THEN
    Coord(coord);
    Op := SCAN.tLex;
    Next;
    IF Op = lxIS THEN
      Assert(e.T.tType IN TOBJECT, coord, 37);
      IF e.T.tType = TRECORD THEN
        Assert(e.vparam, coord, 37)
      END;
      Check(lxIDENT);
      Coord(coord2);
      T := DECL.IdType(coord2);
      Assert(T # NIL, coord2, 42);
      IF e.T.tType = TRECORD THEN
        Assert(T.tType = TRECORD, coord2, 106)
      ELSE
        Assert(T.tType = TPOINTER, coord2, 107)
      END;
      Assert(BaseOf(e.T, T), coord, 37);
      IF e.T.tType = TRECORD THEN
        X86.Drop;
        X86.LocalAdr(e.id.Offset, DECL.unit.Level - e.id.Level)
      END;
      Load(e);
      IF e.T.tType = TPOINTER THEN
        T := T.Base
      END;
      X86.Guard(T.Number, TRUE);
      e.T := booltype;
      e.eType := eEXP;
      e.vparam := FALSE
    ELSE
      Load(e);
      Str(e);
      Simple(a);
      Load(a);
      Str(a);
      Operation(e, a, Op, coord)
    END
  END;
  IF e.eType = eCONST THEN
    X86.Del(beg);
    X86.Setfpu(fpu);
    IF ~DECL.Const THEN
      CASE e.T.tType OF
      |TREAL, TLONGREAL:
        X86.PushFlt(e.Value)
      |TINTEGER, TSET, TBOOLEAN, TNIL:
        X86.PushConst(FLOOR(e.Value))
      |TSTRING:
        s := DECL.GetString(e.Value);
        IF s.Len = 1 THEN
          X86.PushConst(ORD(s.Str[0]))
        ELSE
          X86.PushInt(s.Number)
        END
      ELSE
      END
    END
  END
END Expr;

PROCEDURE IfWhileOper(wh: BOOLEAN);
VAR e: DECL.EXPRESSION; coord: SCAN.TCoord; L, L3: INTEGER;
BEGIN
  L := X86.NewLabel();
  IF wh THEN
    X86.Label(L)
  END;
  REPEAT
    NextCoord(coord);
    Expr(e);
    Assert(e.T.tType = TBOOLEAN, coord, 117);
    Load(e);
    IF wh THEN
      Check(lxDO)
    ELSE
      Check(lxTHEN)
    END;
    L3 := X86.NewLabel();
    X86.ifwh(L3);
    Next;
    pOpSeq;
    X86.jmp(X86.JMP, L);
    X86.Label(L3)
  UNTIL SCAN.tLex # lxELSIF;
  IF ~wh & (SCAN.tLex = lxELSE) THEN
    Next;
    pOpSeq
  END;
  Check(lxEND);
  IF ~wh THEN
    X86.Label(L)
  END;
  Next
END IfWhileOper;

PROCEDURE RepeatOper;
VAR e: DECL.EXPRESSION; coord: SCAN.TCoord; L: INTEGER;
BEGIN
  Next;
  L := X86.NewLabel();
  X86.Label(L);
  pOpSeq;
  Check(lxUNTIL);
  NextCoord(coord);
  Expr(e);
  Assert(e.T.tType = TBOOLEAN, coord, 117);
  Load(e);
  X86.ifwh(L)
END RepeatOper;

PROCEDURE ForOper;
VAR e: DECL.EXPRESSION; coord: SCAN.TCoord; LBeg, LEnd, iValue: INTEGER; Value: LONGREAL;
    T: DECL.pTYPE; name: SCAN.NODE; id: DECL.IDENT;
BEGIN
  NextCheck(lxIDENT);
  name := SCAN.id;
  id := DECL.GetIdent(name);
  Assert2(id # NIL, 42);
  Assert2(id.iType = IDVAR, 126);
  Assert2(id.VarKind = 0, 127);
  Assert2(id.T.tType = TINTEGER, 128);
  Assert2(id.Level = DECL.unit.Level, 129);
  NextCheck(lxAssign);
  NextCoord(coord);
  IF id.Level = 3 THEN
    X86.GlobalAdr(id.Offset)
  ELSE
    X86.LocalAdr(id.Offset, 0)
  END;
  X86.Dup;
  Expr(e);
  IntType(e.T, coord);
  Load(e);
  X86.Save(TINTEGER);
  Check(lxTO);
  NextCoord(coord);
  Expr(e);
  IntType(e.T, coord);
  Load(e);
  iValue := 1;
  IF SCAN.tLex = lxBY THEN
    NextCoord(coord);
    DECL.ConstExpr(Value, T);
    IntType(T, coord);
    iValue := FLOOR(Value);
    Assert(iValue # 0, coord, 122)
  END;
  Check(lxDO);
  Next;
  X86.For(iValue > 0, LBeg, LEnd);
  pOpSeq;
  X86.NextFor(iValue, LBeg, LEnd);
  Check(lxEND);
  Next
END ForOper;

PROCEDURE CheckLabel(a, b: INTEGER; Labels: UTILS.LIST): BOOLEAN;
VAR cur: LABEL;
BEGIN
  cur := Labels.First(LABEL);
  WHILE (cur # NIL) & ((b < cur.a) OR (a > cur.b)) DO
    cur := cur.Next(LABEL)
  END
  RETURN cur = NIL
END CheckLabel;

PROCEDURE LabelVal(VAR a: INTEGER; int: BOOLEAN);
VAR Value: LONGREAL; T: DECL.pTYPE; s: UTILS.STRCONST; coord: SCAN.TCoord;
BEGIN
  Coord(coord);
  DECL.ConstExpr(Value, T);
  IF int THEN
    Assert(T.tType = TINTEGER, coord, 161);
    a := FLOOR(Value)
  ELSE
    Assert(T.tType = TSTRING, coord, 55);
    s := DECL.GetString(Value);
    Assert(s.Len = 1, coord, 94);
    a := ORD(s.Str[0])
  END
END LabelVal;

PROCEDURE Label(int: BOOLEAN; Labels: UTILS.LIST; LBeg: INTEGER);
VAR a, b: INTEGER; label: LABEL; coord: SCAN.TCoord;
BEGIN
  Coord(coord);
  LabelVal(a, int);
  b := a;
  IF SCAN.tLex = lxDbl THEN
    Next;
    LabelVal(b, int)
  END;
  Assert(a <= b, coord, 54);
  Assert(CheckLabel(a, b, Labels), coord, 100);
  NEW(label);
  DECL.MemErr(label = NIL);
  label.a := a;
  label.b := b;
  UTILS.Push(Labels, label);
  X86.CaseLabel(a, b, LBeg)
END Label;

PROCEDURE Variant(int: BOOLEAN; Labels: UTILS.LIST; EndCase: INTEGER);
VAR LBeg, LEnd: INTEGER;
BEGIN
  LBeg := X86.NewLabel();
  LEnd := X86.NewLabel();
  IF ~((SCAN.tLex = lxStick) OR (SCAN.tLex = lxEND)) THEN
    Label(int, Labels, LBeg);
    WHILE SCAN.tLex = lxComma DO
      Next;
      Label(int, Labels, LBeg)
    END;
    Check(lxColon);
    Next;
    X86.jmp(X86.JMP, LEnd);
    X86.Label(LBeg);
    pOpSeq;
    X86.jmp(X86.JMP, EndCase);
    X86.Label(LEnd)
  END
END Variant;

PROCEDURE CaseOper;
VAR e: DECL.EXPRESSION; int: BOOLEAN; coord: SCAN.TCoord; EndCase: INTEGER; Labels: UTILS.LIST;
BEGIN
  NextCoord(coord);
  Expr(e);
  Assert(e.T.tType IN {TCHAR, TSTRING, TINTEGER}, coord, 156);
  Assert(~((e.T.tType = TSTRING) & (LenString(e.Value) # 1)), coord, 94);
  int := e.T.tType = TINTEGER;
  Check(lxOF);
  Load(e);
  X86.Drop;
  Labels := UTILS.CreateList();
  Next;
  EndCase := X86.NewLabel();
  Variant(int, Labels, EndCase);
  WHILE SCAN.tLex = lxStick DO
    Next;
    Variant(int, Labels, EndCase)
  END;
  IF SCAN.tLex = lxELSE THEN
    Next;
    pOpSeq
  ELSE
    UTILS.UnitLine(DECL.UnitNumber, SCAN.coord.line);
    X86.OnError(7)
  END;
  Check(lxEND);
  X86.Label(EndCase);
  Next;
  UTILS.Clear(Labels)
END CaseOper;

PROCEDURE CheckCode(Code: UTILS.STRING; Len: INTEGER; coord: SCAN.TCoord);
VAR i: INTEGER;
BEGIN
  Assert(~ODD(Len), coord, 34);
  FOR i := 0 TO Len - 1 DO
    Assert(SCAN.HexDigit(Code[i]), coord, 34)
  END
END CheckCode;

PROCEDURE StProc(proc: INTEGER);
VAR coord, coord2: SCAN.TCoord; iValue: INTEGER; e1, e2: DECL.EXPRESSION; Value: LONGREAL;
    T: DECL.pTYPE; str: UTILS.STRCONST; begcall: X86.ASMLINE;
BEGIN
  Coord(coord2);
  Check(lxLRound);
  NextCoord(coord);
  CASE proc OF
  |stINC, stDEC:
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Assert(~e1.Read, coord, 115);
    Assert(e1.T.tType = TINTEGER, coord, 128);
    IF SCAN.tLex = lxComma THEN
      NextCoord(coord);
      DECL.ConstExpr(Value, T);
      IntType(T, coord);
      iValue := FLOOR(Value);
      Assert(iValue # 0, coord, 122);
      IF iValue < 0 THEN
        IF proc = stINC THEN
          proc := stDEC
        ELSE
          proc := stINC
        END;
        iValue := -iValue
      END;
      IF iValue # 1 THEN
        X86.PushConst(iValue);
        IF proc = stDEC THEN
          X86.StProc(X86.stDEC)
        ELSE
          X86.StProc(X86.stINC)
        END
      ELSE
        IF proc = stDEC THEN
          X86.StProc(X86.stDEC1)
        ELSE
          X86.StProc(X86.stINC1)
        END
      END
    ELSE
      IF proc = stDEC THEN
        X86.StProc(X86.stDEC1)
      ELSE
        X86.StProc(X86.stINC1)
      END
    END
  |stINCL, stEXCL:
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Assert(~e1.Read, coord, 115);
    Assert(e1.T.tType = TSET, coord, 138);
    Check(lxComma);
    NextCoord(coord);
    DECL.ConstExpr(Value, T);
    IntType(T, coord);
    iValue := FLOOR(Value);
    Assert(ASR(iValue, 5) = 0, coord, 53);
    IF proc = stINCL THEN
      X86.PushConst(ORD({iValue}));
      X86.StProc(X86.stINCL)
    ELSE
      X86.PushConst(ORD(-{iValue}));
      X86.StProc(X86.stEXCL)
    END
  |stCOPY:
    Expr(e1);
    Assert(IsString(e1), coord, 141);
    Check(lxComma);
    IF e1.T.tType = TSTRING THEN
      str := DECL.GetString(e1.Value);
      IF str.Len = 1 THEN
        X86.Mono(str.Number);
        X86.StrMono
      END
    END;
    Str(e1);
    NextCoord(coord);
    Designator(e2);
    Assert(e2.eType = eVAR, coord, 63);
    Assert(IsString(e2), coord, 143);
    Assert(~e2.Read, coord, 115);
    Str(e2);
    X86.StProc(X86.stCOPY)
  |stNEW, stDISPOSE:
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Assert(~e1.Read, coord, 115);
    Assert(e1.T.tType = TPOINTER, coord, 145);
    IF proc = stNEW THEN
      X86.PushConst(e1.T.Base.Number);
      X86.PushConst(X86.Align(e1.T.Base.Size + 8, 32));
      X86.newrec
    ELSE
      X86.disprec
    END
  |stASSERT:
    Expr(e1);
    Assert(e1.T.tType = TBOOLEAN, coord, 117);
    Load(e1);
    IF SCAN.tLex = lxComma THEN
      NextCoord(coord);
      DECL.ConstExpr(Value, T);
      IntType(T, coord);
      Assert((Value >= 0.0D0) & (Value <= 127.0D0), coord, 95);
      X86.Assert(X86.stASSERT, FLOOR(Value))
    ELSE
      X86.Assert(X86.stASSERT1, 0)
    END
  |stPACK, stUNPK:
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Assert(e1.T.tType IN TFLOAT, coord, 149);
    Assert(~e1.Read, coord, 115);
    Check(lxComma);
    NextCoord(coord);
    IF proc = stUNPK THEN
      Designator(e2);
      Assert(e2.eType = eVAR, coord, 63);
      Assert(e2.T.tType = TINTEGER, coord, 128);
      Assert(~e2.Read, coord, 115);
      IF e1.T.tType = TLONGREAL THEN
        X86.StProc(X86.stUNPK)
      ELSE
        X86.StProc(X86.stUNPK1)
      END
    ELSE
      Expr(e2);
      IntType(e2.T, coord);
      Load(e2);
      IF e1.T.tType = TLONGREAL THEN
        X86.StProc(X86.stPACK)
      ELSE
        X86.StProc(X86.stPACK1)
      END
    END
  |sysPUT, sysGET:
    begcall := X86.current;
    Expr(e1);
    IntType(e1.T, coord);
    Load(e1);
    Check(lxComma);
    NextCoord(coord);
    IF proc = sysGET THEN
      X86.PushCall(begcall);
      X86.Param;
      Designator(e2);
      Assert(e2.eType = eVAR, coord, 63);
      Assert(~(e2.T.tType IN TSTRUCT), coord, 90);
      Assert(~e2.Read, coord, 115);
      X86.EndCall;
      X86.Load(e2.T.tType);
      X86.Save(e2.T.tType)
    ELSE
      Expr(e2);
      Assert(~(e2.T.tType IN TSTRUCT), coord, 90);
      IF e2.T.tType = TSTRING THEN
        Assert(LenString(e2.Value) = 1, coord, 94)
      ELSIF e2.T.tType = TVOID THEN
        e2.T := inttype
      END;
      Load(e2);
      X86.Save(e2.T.tType)
    END
  |sysCODE:
    Assert(SCAN.tLex = lxSTRING, coord, 150);
    CheckCode(SCAN.Lex, SCAN.count - 1, coord);
    X86.Asm(SCAN.Lex);
    Next
  |sysMOVE:
    begcall := X86.current;
    Expr(e1);
    IntType(e1.T, coord);
    Load(e1);
    Check(lxComma);
    X86.PushCall(begcall);
    X86.Param;
    NextCoord(coord);
    Expr(e1);
    IntType(e1.T, coord);
    Load(e1);
    Check(lxComma);
    X86.EndCall;
    NextCoord(coord);
    Expr(e1);
    IntType(e1.T, coord);
    Load(e1);
  |sysCOPY:
    begcall := X86.current;
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Check(lxComma);
    X86.PushCall(begcall);
    X86.Param;
    NextCoord(coord);
    Designator(e1);
    Assert(e1.eType = eVAR, coord, 63);
    Assert(~e1.Read, coord, 115);
    Check(lxComma);
    X86.EndCall;
    NextCoord(coord);
    Expr(e1);
    IntType(e1.T, coord);
    Load(e1);
  ELSE
    Assert(FALSE, coord2, 132)
  END;
  Check(lxRRound);
  Next;
  IF (proc = sysMOVE) OR (proc = sysCOPY) THEN
    X86.StProc(X86.sysMOVE)
  END
END StProc;

PROCEDURE IdentOper;
VAR e1, e2: DECL.EXPRESSION; coord: SCAN.TCoord; ccall: INTEGER; begcall: X86.ASMLINE; s: UTILS.STRCONST;
BEGIN
  Coord(coord);
  begcall := X86.current;
  Designator(e1);
  Assert(e1.eType # eCONST, coord, 130);
  IF (e1.eType = eVAR) & (e1.T.tType # TPROC) THEN
    Check(lxAssign);
    Assert(~e1.Read, coord, 115);
    NextCoord(coord);
    Expr(e2);
    Assert(AssComp(e2, e1.T, FALSE), coord, 131);
    Load(e2);
    IF e1.T.tType = TRECORD THEN
      X86.PushConst(e1.T.Size);
      X86.PushConst(e1.T.Number);
      IF e1.vparam THEN
        X86.LocalAdr(e1.id.Offset - 4, DECL.unit.Level - e1.id.Level);
        X86.Load(TINTEGER)
      ELSIF e1.deref THEN
        X86.DerefType(12)
      ELSE
        X86.PushConst(e1.T.Number)
      END
    ELSIF e2.T.tType = TARRAY THEN
      X86.PushConst(e2.T.Size)
    ELSIF (e2.T.tType = TSTRING) & (e1.T.tType = TARRAY) THEN
      s := DECL.GetString(e2.Value);
      IF s.Len = 1 THEN
        X86.Mono(s.Number)
      END;
      X86.PushConst(MIN(s.Len + 1, e1.T.Len))
    END;
    X86.Save(e1.T.tType)
  ELSIF e1.eType = ePROC THEN
    Assert((e1.id.T.Base.tType = TVOID) OR (e1.id.T.Call = DECL.winapi), coord, 132);
    IF e1.id.ParamCount > 0 THEN
      Check(lxLRound);
      Next;
      X86.PushCall(begcall);
      Call(e1.id.T.Fields.First(DECL.FIELD));
      X86.EndCall
    ELSIF SCAN.tLex = lxLRound THEN
      NextCheck(lxRRound);
      Next
    END;
    IF e1.id.Level = 3 THEN
      ccall := 0
    ELSIF e1.id.Level > DECL.curBlock.Level THEN
      ccall := 1
    ELSE
      ccall := 2
    END;
    X86.Call(e1.id.Number, FALSE, FALSE, e1.id.T.Call, ccall, e1.id.Level - 3, DECL.curBlock.Level - 3, e1.id.ParamSize, DECL.curBlock.LocalSize)
  ELSIF e1.eType IN {eSTPROC, eSYSPROC} THEN
    StProc(e1.id.StProc)
  ELSIF (e1.eType = eVAR) & (e1.T.tType = TPROC) THEN
    IF SCAN.tLex = lxLRound THEN
      Next;
      Assert((e1.T.Base.tType = TVOID) OR (e1.T.Call = DECL.winapi), coord, 132);
      X86.PushCall(begcall);
      Call(e1.T.Fields.First(DECL.FIELD));
      X86.EndCall;
      X86.CallVar(FALSE, FALSE, e1.T.Call, e1.T.Len, DECL.curBlock.LocalSize)
    ELSIF SCAN.tLex = lxAssign THEN
      Assert(~e1.Read, coord, 115);
      NextCoord(coord);
      Expr(e2);
      Assert(AssComp(e2, e1.T, FALSE), coord, 131);
      Assert(~((e2.eType = ePROC) & (e2.id.Level > 3)), coord, 116);
      IF e2.eType = eVAR THEN
        X86.Load(TPROC)
      END;
      X86.Save(TPROC)
    ELSE
      Assert2(e1.T.Fields.Count = 0, 155);
      Assert((e1.T.Base.tType = TVOID) OR (e1.T.Call = DECL.winapi), coord, 132);
      X86.CallVar(FALSE, FALSE, e1.T.Call, e1.T.Len, DECL.curBlock.LocalSize)
    END
  END
END IdentOper;

PROCEDURE Operator;
BEGIN
  UTILS.UnitLine(DECL.UnitNumber, SCAN.coord.line);
  CASE SCAN.tLex OF
  |lxIDENT: IdentOper
  |lxIF, lxWHILE: IfWhileOper(SCAN.tLex = lxWHILE)
  |lxREPEAT: RepeatOper
  |lxFOR: ForOper
  |lxCASE: CaseOper
  ELSE
  END
END Operator;

PROCEDURE OpSeq;
BEGIN
  Operator;
  WHILE SCAN.tLex = lxSemi DO
    Next;
    Operator
  END
END OpSeq;

PROCEDURE Start;
VAR SelfName, SelfPath, CName, CExt, FName, Path, StdPath,
    Name, Ext, temp, system, stk: UTILS.STRING;
    platform, stksize: INTEGER;

  PROCEDURE getstksize(): INTEGER;
  VAR res, i: INTEGER;
  BEGIN
    res := 0;
    i := 0;
    WHILE SCAN.Digit(stk[i]) DO
      INC(i)
    END;
    IF stk[i] <= 20X THEN
      stk[i] := 0X;
      res := SCAN.StrToInt(stk)
    END;
    IF res = 0 THEN
      res := 1
    END
    RETURN res
  END getstksize;

  PROCEDURE getver(): INTEGER;
  VAR res, i: INTEGER; err: BOOLEAN;

    PROCEDURE hexdgt(c: CHAR): BOOLEAN;
      RETURN ("0" <= c) & (c <= "9") OR
             ("A" <= c) & (c <= "F") OR
             ("a" <= c) & (c <= "f")
    END hexdgt;

    PROCEDURE hex(c: CHAR): INTEGER;
    VAR res: INTEGER;
    BEGIN
      IF    ("0" <= c) & (c <= "9") THEN
        res := ORD(c) - ORD("0")
      ELSIF ("A" <= c) & (c <= "F") THEN
        res := ORD(c) - ORD("A") + 10
      ELSIF ("a" <= c) & (c <= "f") THEN
        res := ORD(c) - ORD("a") + 10
      END
      RETURN res
    END hex;

  BEGIN
    res := 0;
    i := 0;
    err := stk[i] # "0"; INC(i);
    err := err OR (stk[i] # "x"); INC(i);
    WHILE ~err & hexdgt(stk[i]) DO
      INC(i)
    END;
    err := err OR (i = 2);
    IF stk[i] <= 20X THEN
      stk[i] := 0X
    ELSE
      err := TRUE
    END;
    i := 2;
    WHILE ~err & (stk[i] # 0X) DO
      res := LSL(res, 4) + hex(stk[i]);
      INC(i)
    END;
    IF res = 0 THEN
      res := 65536
    END
    RETURN res
  END getver;

BEGIN
  IF UTILS.ParamCount < 2 THEN
    UTILS.ErrMsg(59);
    UTILS.HALT(1)
  END;
  UTILS.ParamStr(SelfName, 0);
  UTILS.ParamStr(FName, 1);
  UTILS.ParamStr(system, 2);
  UTILS.ParamStr(stk, 3);
  pExpr := Expr;
  pFactor := Factor;
  pOpSeq := OpSeq;
  UTILS.Split(FName, Path, Name, Ext);
  IF Ext # UTILS.Ext THEN
    UTILS.ErrMsg(121);
    UTILS.HALT(1)
  END;
  UTILS.Split(SelfName, SelfPath, CName, CExt);
  temp := Name;
  IF UTILS.streq(system, "obj") THEN
    platform := 6;
    UTILS.concat(temp, ".obj")
  ELSIF UTILS.streq(system, "elf") THEN
    platform := 5
  ELSIF UTILS.streq(system, "kos") THEN
    platform := 4;
    UTILS.concat(temp, ".kex")
  ELSIF UTILS.streq(system, "con") THEN
    platform := 3;
    UTILS.concat(temp, ".exe")
  ELSIF UTILS.streq(system, "gui") THEN
    platform := 2;
    UTILS.concat(temp, ".exe")
  ELSIF UTILS.streq(system, "dll") THEN
    platform := 1;
    UTILS.concat(temp, ".dll")
  ELSE
    UTILS.ErrMsg(60);
    UTILS.HALT(1)
  END;
  IF platform IN {1, 2, 3, 4} THEN
    stksize := getstksize()
  ELSE
    stksize := 1
  END;
  IF platform = 6 THEN
    stksize := getver()
  END;
  UTILS.concat(SelfPath, "Lib");
  UTILS.concat(SelfPath, UTILS.Slash);
  IF platform = 5 THEN
    UTILS.concat(SelfPath, "Linux32")
  ELSIF platform IN {4, 6} THEN
    UTILS.concat(SelfPath, "KolibriOS")
  ELSIF platform IN {1, 2, 3} THEN
    UTILS.concat(SelfPath, "Windows32")
  END;
  UTILS.concat(SelfPath, UTILS.Slash);
  X86.Init(platform);
  X86.Prolog(temp);
  DECL.Program(SelfPath, Path, Name, Ext, platform IN {1, 2, 3}, OpSeq, Expr, AssComp, sttypes);
  voidtype := sttypes[TVOID];
  inttype := sttypes[TINTEGER];
  booltype := sttypes[TBOOLEAN];
  strtype := sttypes[TSTRING];
  settype := sttypes[TSET];
  realtype := sttypes[TREAL];
  longrealtype := sttypes[TLONGREAL];
  chartype := sttypes[TCHAR];
  niltype := sttypes[TNIL];
  DECL.Compile(platform, stksize);
  UTILS.OutString("success"); UTILS.Ln;
  UTILS.HALT(0)
END Start;

BEGIN
  Start
END Compiler.