DIRECTORYAlloc: TYPE USING [Base, Notifier],Literals: TYPE USING [LTIndex, LTNull, STIndex],PrincOps: TYPE USING [MaxFrameSize],Symbols: TYPE USING [BTIndex, ContextLevel, HTIndex, ISEIndex, ISENull, lZ, RecordSEIndex],SymbolSegment: TYPE USING [Tables],Table: TYPE USING [Limit, Selector];CodeDefs: DEFINITIONS = {OPEN Symbols;Byte: TYPE = [0..256);bitsPerWord: NAT = 16;OpWordCount: TYPE = CARDINAL;	-- size of operands for builtinsBase: TYPE = Alloc.Base;Limit: CARDINAL = Table.Limit;Lexeme: TYPE = RECORD [lexvalue: SELECT lextag: * FROMse => [lexsei: ISEIndex],literal => [SELECT littag: * FROMword => [lexlti: Literals.LTIndex],string => [lexsti: Literals.STIndex]ENDCASE],bdo => [lexbdoi: VarIndex],stack => [lexsti: StackIndex]ENDCASE];NullLex: Lexeme.se = Lexeme[se[Symbols.ISENull]];MoveDirection: TYPE = {load, store};VarSpace: TYPE = {faddr, frame, frameup, caddr, code, link, linkup, stack, const, pdesc};VarTag: TYPE = {o, bo, bdo, ind};VarComponent: TYPE = RECORD [wSize: CARDINAL _ 0 | TRASH,bSize: [0..bitsPerWord) _ 0 | TRASH,space: SELECT tag: VarSpace FROMframe => [immutable: BOOL _ FALSE,level: ContextLevel _ lZ,wd: CARDINAL _ 0,bd: [0..bitsPerWord) _ 0],code => [bd: [0..bitsPerWord) _ 0,wd: CARDINAL _ 0,lti: Literals.LTIndex _ Literals.LTNull],faddr => [wd: CARDINAL, level: ContextLevel],frameup => [level: ContextLevel _ lZ,pwSize: [1..2] _ 1,immutable: BOOL _ FALSE,wd: CARDINAL _ 0,delta: [0..PrincOps.MaxFrameSize) _ 0],caddr, link => [wd: CARDINAL],linkup => [wd: CARDINAL,delta: [0..PrincOps.MaxFrameSize) _ 0],stack => [bd: [0..bitsPerWord) _ 0,wd: CARDINAL _ 0,sti: StackIndex],const => [bd: [0..bitsPerWord) _ 0, d1, d2: UNSPECIFIED _ TRASH],pdesc => [ep: CARDINAL]ENDCASE];VarItem: TYPE = RECORD [ -- not many around simultaneouslyfree: BOOL _ FALSE, -- required by allocatorbody: SELECT tag: VarTag FROMo => [var: VarComponent],bo => [offset, base: VarComponent],bdo => [offset, base, disp: VarComponent],ind => [offset, base, index: VarComponent,simple: BOOL,packinfo: SELECT packtag: * FROMpacked => [grain: [1..bitsPerWord)],notPacked => [eWords: [0..PrincOps.MaxFrameSize)]ENDCASE]ENDCASE];VarIndex: TYPE =    Base RELATIVE POINTER [0..Limit) TO VarItem;OVarIndex: TYPE =   Base RELATIVE POINTER [0..Limit) TO VarItem.o;BoVarIndex: TYPE =  Base RELATIVE POINTER [0..Limit) TO VarItem.bo;BdoVarIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO VarItem.bdo;IndVarIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO VarItem.ind;VarNull: VarIndex = VarIndex.FIRST;RelativePC: TYPE = [0..77777b];CCInfoType: TYPE = {generating, binding, coding};CodeChunkType: TYPE = {code, label, jump, other};CCItem: TYPE = RECORD [free: BOOL,flink, blink: CCIndex,ccvalue: SELECT cctag: CodeChunkType FROMcode => [realinst: BOOL,inst: Byte,isize: [0..7],fill: [0..15],parameters: ARRAY [1..1) OF WORD],label => [labelseen: BOOL,labelinfo: SELECT OVERLAID CCInfoType FROMgenerating => [filltoword, jumplist: JumpCCIndex],binding => [minPC, maxPC: RelativePC],coding => [filltoword, pc: RelativePC],ENDCASE],jump => [jsize: [0..7],jtype: JumpType,jparam: Byte,fixedup, completed: BOOL,destlabel: LabelCCIndex,forward: BOOL,jumpinfo: SELECT OVERLAID CCInfoType FROMgenerating => [filltoword, thread: JumpCCIndex],binding => [minPC, maxPC: RelativePC],coding => [filltoword, pc: RelativePC]ENDCASE],other => [obody: SELECT otag: * FROMtable => [btab: BOOL,tablecodebytes: [0..7],taboffset: INTEGER],markbody => [start: BOOL,index: BTIndex],relSource => [relIndex: RelFileIndex],		-- relative to proc bodyabsSource => [index: CARDINAL]ENDCASE]ENDCASE];RelFileIndex: TYPE = [0..37777b];NULLfileindex: CARDINAL = CARDINAL.LAST;CCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem;CCNull: CCIndex = CCIndex.FIRST;JumpCCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem.jump;JumpCCNull: JumpCCIndex = LOOPHOLE[CCNull];LabelCCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem.label;LabelCCNull: LabelCCIndex = LOOPHOLE[CCNull];CodeCCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem.code;CodeCCNull: CodeCCIndex = LOOPHOLE[CCNull];OtherCCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem.other;TableCCIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO CCItem.other.table;TableCCNull: TableCCIndex = LOOPHOLE[CCNull];CJItem: TYPE = RECORD [inst: CCIndex, variant: SELECT tag:* FROMfallIn => [lc: LabelCCIndex],jumpIn => [jc: JumpCCIndex]ENDCASE];CompareClass: TYPE = {word, byte};JumpType: TYPE = {JumpE, JumpN, JumpL, JumpGE, JumpG, JumpLE,UJumpL, UJumpGE, UJumpG, UJumpLE, ZJumpE, ZJumpN, Jump, JumpA, JumpC, JumpCA, JumpRet,NILJumpE, NILJumpN, PAIRJumpL, PAIRJumpG,BYTEJumpE, BYTEJumpN, BITJumpE, BITJumpN};LabelInfoRecord: TYPE = RECORD [free: BOOL _ FALSE,thread: LabelInfoIndex,catchLevel: [0..37777b],body: SELECT tag:* FROMnamed => [hti: HTIndex, cci: LabelCCIndex],loop => [exit, loop: LabelCCIndex],stmt => [retry, continue: LabelCCIndex]ENDCASE];LabelInfoIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO LabelInfoRecord;NamedLabelInfoIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO LabelInfoRecord.named;LabelInfoNull: LabelInfoIndex = LabelInfoIndex.FIRST;StackIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO StackItem;StackNull: StackIndex = StackIndex.FIRST;StackItem: TYPE = RECORD [free: BOOL _ FALSE,uplink, downlink: StackIndex _ StackNull,data: SELECT tag:* FROMmark => [label: LabelCCIndex],onStack => [alsoLink: BOOL _ FALSE,tLevel: Symbols.ContextLevel _ lZ,tOffset: TempAddr _ TRASH],inTemp => [tLevel: Symbols.ContextLevel,tOffset: TempAddr],inLink => [link: Byte]ENDCASE];StackPos: TYPE = [0..16);StackLocRec: TYPE = RECORD [SELECT tag:* FROMonStack => [depth: CARDINAL],inTemp => [tSize: TempSize,tLevel: Symbols.ContextLevel,tOffset: TempAddr],inLink => [link: [0..256)],mixed => []ENDCASE];EvalStackSize: CARDINAL = 14;MaxParmsInStack: CARDINAL = EvalStackSize - 3;TempAddr: TYPE = [0..PrincOps.MaxFrameSize);TempSize: TYPE = [0..PrincOps.MaxFrameSize);TempStateRecord: TYPE = RECORD[pendtemplist, templist, heaplist: ISEIndex,tempctxlvl: ContextLevel,firstTemp, tempstart, framesz: INTEGER];CaseCVState: TYPE = {single, singleLoaded, multi, none};StoreOptions: TYPE = RECORD [expr: BOOL _ FALSE,init: BOOL _ FALSE,counted: BOOL _ FALSE,composite: BOOL _ FALSE];ConsDestination: TYPE = RECORD [bd: [0..bitsPerWord) _ TRASH,bSize: [0..bitsPerWord) _ TRASH,inFrame: BOOL _ FALSE, -- can store directly into framefLevel: Symbols.ContextLevel _ TRASH,pLength: [1..2] _ 1,ignoreSafen: BOOL _ FALSE,fOffset: CARDINAL _ TRASH, -- offset of first word of recordpLoaded: BOOL _ FALSE, -- pointer already on virtual stackpSti: StackIndex _ TRASH, -- the sti of the pointer if pLoadedpDelta: INTEGER _ 0, -- word offset into record of pointerpLink: BOOL _ FALSE, -- pointer also in a linkpLevel: Symbols.ContextLevel _ lZ, -- if not lZ, then ptr is in temppOffset: TempAddr _ TRASH, -- frame offset of temp or linkremaining: CARDINAL _ 0,wSize: CARDINAL _ TRASH,options: StoreOptions _ []];StatementStateRecord: TYPE = RECORD [retLabel, comRetLabel: LabelCCIndex,outRecord: RecordSEIndex,pendtemplist: ISEIndex,stkPtr: UNSPECIFIED,inlineFileIndex: CARDINAL];ChunkIndex: TYPE = Base RELATIVE POINTER [0..Limit);codeType: Table.Selector = SymbolSegment.Tables.LAST+1;AddressNotify, CallsNotify, ConstructorNotify, CountingNotify,CrossJumpNotify, DJumpsNotify, ExpressionNotify, FinalNotify,FlowNotify, FlowExpressionNotify, OutCodeNotify, PeepholeNotify,StatementNotify, SelectionNotify, StoreNotify, TempNotify,VarBasicsNotify, VarMoveNotify, VarUtilsNotify:Alloc.Notifier;}.   *  file CodeDefs.mesalast modified by Sweet, June 20, 1980  3:57 PMlast modified by Satterthwaite, November 22, 1982 12:31 pmif alsoTemp for onStack element, it has been previously dumpedby the stack machinery into the given temp.StackLocRec semantics:obtained by lr: StackLocRec _ Stack.Loc[s, count];Tag		MeaningonStack		The "count" words are all on the stack.There are "depth" words above them in the modelinTemp		The "count" words are in contiguous temporariesinLink		"count" = 1 and value is in link "link"mixed		None of the above Э╩	╥  Ш JЪЬЩJЪЬ.Щ.JЪЬ:Щ:JШ Ъ╧k	Ш	JЪЬЭЬЭЬШ#JЪЬ
ЭЬЭЬШ0JЪЬ
ЭЬЭЬШ$ЪЬ	ЭЬЭЬШJШFЧJЪЬЭЬЭЬ
Ш#JЪЬЭЬЭЬШ$JШ ЧЪЬ
ЭЬШJЪЭЬ	ШJШ JЪЬЭЬШJЪЬЭЬШJЪЬЭЬЭЬ╧c Ш>JШ JЪЬЭЬШJЪЬЭЬШJШ ЪЬЭЬЭЬШЪЬ
ЭЬЭШJШШЪЭЬЭШJШ#JШ$JЪЭЬШ	ЧЧJШJШJЪЭЬШ	JШ JШ ЧЧJШ1JШ JШ JЪЬЭЬШ$JШ JЪЬ
ЭЬKШYJШ JЪЬЭЬШ!JШ ЪЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬЭЬШ$ЪЬЭЬЭШ Ш
JЪЬЭЬЭЬШJШJЪЬЭЬШJШЧШ	JШJЪЬЭЬШJШ)ЧJЪЬЭЬШ-ШJШJШJЪЬЭЬЭЬШJЪЬЭЬШJШ'ЧJЪЬЭЬШШJЪЬЭЬШJШ'ЧШ
JШJЪЬЭЬШJШЧJЪЬ,ЭЬЭЬШAJЪЬЭЬШJЪЭЬШ	JШ ЧЧЪЬ	ЭЬЭЬЮ!Ш:JЪЬЭЬЭЬЮШ,ЪЬЭЬЭШJШJШ#JШ*ШJШ"JЪЬЭЬШЪЬ
ЭЬЭШ JШ$JШ1JЪЭЬШЧЧJЪЭЬШ	JШ ЧЧJЪ	Ь
ЭЬЭЬЭЬЭЬ	Ш@JЪ	ЬЭЬ
ЭЬЭЬЭЬШBJЪ	ЬЭЬ	ЭЬЭЬЭЬШCJЪ	ЬЭЬЭЬЭЬЭЬШDJЪ	ЬЭЬЭЬЭЬЭЬШDJЪЬЭЬШ#JШ JЪЬЭЬШJЪЬЭЬ!Ш1JЪЬЭЬШ1JШ ЪЬЭЬЭЬШJЪЬЭЬШJШЪЬ	ЭЬЭШ)Ш	JЪЬ
ЭЬШJШJШJШJЪЬЭЬЭЬЭЬШ"ЧШ
JЪЬЭЬШЪЬЭЬЭЬЭШ*JШ2JШ&JШ'JЪЭЬШ	ЧЧШ	JШJШJШJЪЬЭЬШJШJЪЬ	ЭЬШЪЬ
ЭЬЭЬЭШ)JШ0JШ&JШ&JЪЭЬШ	ЧЧЪЬЭЬ	ЭШ$Ш
JЪЬЭЬШJШJЪЬЭЬШЧШJЪЬЭЬШJШЧJЪЬ(ЮШ@JЪЬЭЬШJЪЭЬШЧJЪЭЬШ	JШ ЧЧJЪЬЭЬШ!JЪЬЭЬЭЬЭЬШ(JШ JЪ	Ь	ЭЬЭЬЭЬЭЬШ;JЪЬЭЬШ JЪ	ЬЭЬЭЬЭЬЭЬШDJЪЬЭЬ	Ш+JЪ	ЬЭЬЭЬЭЬЭЬШFJЪЬЭЬ	Ш-JЪ	ЬЭЬЭЬЭЬЭЬШDJЪЬЭЬ	Ш+JЪ	ЬЭЬЭЬЭЬЭЬШFJЪ	ЬЭЬЭЬЭЬЭЬШLJЪЬЭЬ	Ш-JШ ЪЬЭЬЭЬШJШЪЬ	ЭЬЭШJШJШJЪЭЬШ	JШ ЧЧJЪЬЭЬШ"JШ ЪЬ
ЭЬШJШ+JШ2JШ$JШ)JШ*JШ ЧЪЬЭЬЭЬШ JЪЬЭЬЭЬШJШJШЪЬЭЬЭШJШ+JШ#JШ'JЪЭЬШ	ЧЧJЪ	ЬЭЬЭЬЭЬЭЬШKJЪ	ЬЭЬЭЬЭЬЭЬШVJЪЬ/ЭЬШ5JШ JШ JЪ	ЬЭЬЭЬЭЬЭЬШAJЪЬ#ЭЬШ)JШ ЪЬЭЬЭЬШJЪЬЭЬЭЬШJШ)ЪЬЭЬЭШJШШJЪЬ
ЭЬЭЬШJШ"JЪЬЭЬШЧШJШJШЧJШJЪЭЬШ	JШ ЧЧЧJЪЬ>Щ>JЪЬ+Щ+Ш JЪЬ
ЭЬШJШ ЪЬЭЬЭЬЭЬЭШ-JЪЬЭЬШШJШJШJШЧJШJШJЪЭЬШ	JШ ЧЧJЪЬЩJЪЬ2Щ2JЩ JЪЬЩJЩ JЪЬ0Щ0JЪЬ/Щ/JЪЬ7Щ7JЪЬ/Щ/JЪЬЩJШ Ш JЪЬЭЬШJЪЬЭЬШ.JШ JЪЬ
ЭЬШ,JЪЬ
ЭЬШ,JШ ЪЬЭЬЭЬШJШ+JШJЪЬЭЬШ(JШ ЧJЪЬЭЬ'Ш8JШ JШ ЪЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬ	ЭЬЭЬШJЪЬЭЬЭЬШJШ JШ ЧЪЬЭЬЭЬШ JЪЬЭЬШJЪЬЭЬШ JЪЬ	ЭЬЭЬЮ Ш7JЪЬЭЬШ%JШJЪЬЭЬЭЬШJЪЬ	ЭЬЭЬЮ!Ш<JЪЬ	ЭЬЭЬЮ#Ш:JЪЬЭЬЮ$Ш>JЪЬЭЬЮ%Ш:JЪЬЭЬЭЬЮШ.JЪЬ#Ю!ШDJЪЬЭЬЮШ:JЪЬЭЬШJЪЬЭЬЭЬШJШJШ JШ ЧЪЬЭЬЭЬШ%JШ$JШJШJЪЬЭЬШJЪЬЭЬШJШ ЧJЪЬЭЬЭЬЭЬШ4JШ JЪЬ0ЭЬШ7JШ JШ>JШ=JШ@JШ:Ш/JШJШ ЧJШJШ ЧЧ ЕЧ    О  *К  