-- file: MFMemoryImpl.mesa
-- Pascal-to-Mesa translator output, translated at October 31, 1985 4:28:01 pm PST


DIRECTORY
  PascalBasic,
  PascalWizardFiles,
  MFTypes,
  MFProcArray,
  MFInteraction,
  MFSymbols,
  MFMemory;

MFMemoryImpl: PROGRAM IMPORTS PascalBasic, MFProcArray, MFInteraction, MFSymbols EXPORTS MFMemory = PUBLIC
BEGIN OPEN PascalBasic, PascalWizardFiles, MFTypes, MFProcArray, MFInteraction, MFSymbols, MFMemory;
--:148----158:

TempPtr: Halfword;


LoMemMax: Halfword;

HiMemMin: Halfword;
--:159----160:

VarUsed: PascalInteger;

DynUsed: PascalInteger;
--:160----161:--
Avail: Halfword;

MemEnd: Halfword;

--:161----166:--
Rover: Halfword;
--:664----:162----163:-- GetAvail: PROCEDURE RETURNS[GetAvailResult: Halfword] = 
BEGIN P:Halfword;
 P_Avail;
IF P#0  THEN Avail_Mem[Avail]^.Hh.Rh  ELSE IF  INT[MemEnd]<MemMax  THEN BEGIN
MemEnd_ INT[MemEnd]+1;P_MemEnd; END  ELSE BEGIN HiMemMin_ INT[HiMemMin]-1;
P_HiMemMin;IF  INT[HiMemMin]<=LoMemMax  THEN BEGIN Runaway[];
Overflow[188,MemMax+1]; END; END;Mem[P]^.Hh.Rh_0;DynUsed_DynUsed+1;
GetAvailResult_P; END;--:163----167:-- GetNode: PROCEDURE[S: PascalInteger] RETURNS[GetNodeResult: Halfword]
 = 
BEGIN  P:Halfword;Q:Halfword;R:PascalInteger;T, Tt:PascalInteger;
 DO {--Label20:--P_Rover;{{DO--169:--Q_ INT[P]+Mem[P]^.Hh.Lh;
WHILE(Mem[Q]^.Hh.Rh=65535)DO BEGIN T_Mem[ INT[Q]+1]^.Hh.Rh;Tt_Mem[ INT[Q]+1]^.Hh.Lh;
IF Q=Rover  THEN Rover_T;Mem[T+1]^.Hh.Lh_Tt;Mem[Tt+1]^.Hh.Rh_T;
Q_ INT[Q]+Mem[Q]^.Hh.Lh; END ENDLOOP ;R_Q-S;IF R> INT[P]+1  THEN--170:--BEGIN Mem[P]^.Hh.Lh_R-P;
Rover_P; GOTO Label40; END--:170--;
IF R=P  THEN IF((Mem[ INT[P]+1]^.Hh.Rh#Rover)OR (Mem[ INT[P]+1]^.Hh.Lh#Rover)) THEN--171
-- :--BEGIN Rover_Mem[ INT[P]+1]^.Hh.Rh;T_Mem[ INT[P]+1]^.Hh.Lh;Mem[ INT[Rover]+1]^.Hh.Lh_T;
Mem[T+1]^.Hh.Rh_Rover; GOTO Label40; END--:171--;Mem[P]^.Hh.Lh_ INT[Q]-P--:169--;
P_Mem[ INT[P]+1]^.Hh.Rh; IF P=Rover THEN EXIT; ENDLOOP;
IF S=1073741824  THEN BEGIN GetNodeResult_65535; GOTO Label10; END;
IF  INT[LoMemMax]+2<HiMemMin  THEN IF  INT[LoMemMax]+2<=65535  THEN--168:
BEGIN IF  INT[LoMemMax]+1000<HiMemMin  THEN T_ INT[LoMemMax]+1000  ELSE T_ PascalDIVPower2[(
 INT[LoMemMax]+HiMemMin+2),1];IF T>65535  THEN T_65535;
P_Mem[ INT[Rover]+1]^.Hh.Lh;Q_LoMemMax;Mem[ INT[P]+1]^.Hh.Rh_Q;
Mem[ INT[Rover]+1]^.Hh.Lh_Q;Mem[ INT[Q]+1]^.Hh.Rh_Rover;Mem[ INT[Q]+1]^.Hh.Lh_P;
Mem[Q]^.Hh.Rh_65535;Mem[Q]^.Hh.Lh_T-LoMemMax;LoMemMax_T;
Mem[LoMemMax]^.Hh.Rh_0;Mem[LoMemMax]^.Hh.Lh_0;Rover_Q; GOTO Label20;
 END--:168--;Overflow[188,MemMax+1];EXITS Label40 => NULL};Mem[R]^.Hh.Rh_0;
VarUsed_VarUsed+S;GetNodeResult_R;EXITS Label10 => NULL};EXIT; EXITS Label20 => NULL} ENDLOOP; END;--:167----172:
 FreeNode: PROCEDURE[P: Halfword,S: Halfword] = 
BEGIN Q:Halfword;
 Mem[P]^.Hh.Lh_S;Mem[P]^.Hh.Rh_65535;Q_Mem[ INT[Rover]+1]^.Hh.Lh;
Mem[ INT[P]+1]^.Hh.Lh_Q;Mem[ INT[P]+1]^.Hh.Rh_Rover;Mem[ INT[Rover]+1]^.Hh.Lh_P;
Mem[ INT[Q]+1]^.Hh.Rh_P;VarUsed_VarUsed-S; END;--:172----173:
 SortAvail: PROCEDURE = 
BEGIN P, Q, R:Halfword;OldRover:Halfword;
 P_GetNode[1073741824];P_Mem[ INT[Rover]+1]^.Hh.Rh;
Mem[ INT[Rover]+1]^.Hh.Rh_65535;OldRover_Rover;WHILE P#OldRover DO--174:
IF  INT[P]<Rover  THEN BEGIN Q_P;P_Mem[ INT[Q]+1]^.Hh.Rh;Mem[ INT[Q]+1]^.Hh.Rh_Rover;
Rover_Q; END  ELSE BEGIN Q_Rover;
WHILE  INT[Mem[ INT[Q]+1]^.Hh.Rh]<P DO Q_Mem[ INT[Q]+1]^.Hh.Rh ENDLOOP ;R_Mem[ INT[P]+1]^.Hh.Rh;
Mem[ INT[P]+1]^.Hh.Rh_Mem[ INT[Q]+1]^.Hh.Rh;Mem[ INT[Q]+1]^.Hh.Rh_P;P_R; END--:174-- ENDLOOP ;
P_Rover;
WHILE Mem[ INT[P]+1]^.Hh.Rh#65535 DO BEGIN Mem[ INT[Mem[ INT[P]+1]^.Hh.Rh]+1]^.Hh.Lh_P;
P_Mem[ INT[P]+1]^.Hh.Rh; END ENDLOOP ;Mem[ INT[P]+1]^.Hh.Rh_Rover;Mem[ INT[Rover]+1]^.Hh.Lh_P; END;
--:173----177:-- FlushList: PROCEDURE[P: Halfword] = 
BEGIN  Q, R:Halfword;
 IF  INT[P]>=HiMemMin  THEN IF P#50000  THEN BEGIN R_P;{DO Q_R;
R_Mem[R]^.Hh.Rh;DynUsed_DynUsed-1;IF  INT[R]<HiMemMin  THEN  GOTO Label30;
 IF R=50000 THEN EXIT; ENDLOOP;EXITS Label30 => NULL};Mem[Q]^.Hh.Rh_Avail;Avail_P; END; END;
 FlushNodeList: PROCEDURE[P: Halfword] = 
BEGIN Q:Halfword;
 WHILE P#0 DO BEGIN Q_P;P_Mem[P]^.Hh.Rh;
IF  INT[Q]<HiMemMin  THEN FreeNode[Q,2] ELSE BEGIN Mem[Q]^.Hh.Rh_Avail;
Avail_Q;DynUsed_DynUsed-1; END; END ENDLOOP ; END;--:177----180:

END.