Home » Archimedes archive » Zipped Apps » BCPL » BCPL/b/cga
BCPL/b/cga
This website contains an archive of files for the Acorn Electron, BBC Micro, Acorn Archimedes, Commodore 16 and Commodore 64 computers, which Dominic Ford has rescued from his private collection of floppy disks and cassettes.
Some of these files were originally commercial releases in the 1980s and 1990s, but they are now widely available online. I assume that copyright over them is no longer being asserted. If you own the copyright and would like files to be removed, please contact me.
| Tape/disk: | Home » Archimedes archive » Zipped Apps » BCPL |
| Filename: | BCPL/b/cga |
| Read OK: | ✔ |
| File size: | 3786 bytes |
| Load address: | 0000 |
| Exec address: | 0000 |
File contents
SECTION "CGA"
GET "b.CgHeader"
STATIC {
/* Version of 07 Mar 86 21:29:00
*/
dummy = VersionMark
version = 1*256+8 }
/* 1.5 01 Nov 85 15:44:44
bug fix: return to do right sort of LDM if link size is 3
also improvement to use RTS directly if appropriate in this
case.
1.6 06 Feb 86 16:34:42
Incorporation of floating point
1.7 20 Feb 86 13:17:07
Bug fix: ABS should must flush pending instructions
1.8 07 Mar 86 21:27:53
DSTR operation supported. Also changes to use k.static mostly
in place of k.lab
*/
LET IgnoreNames() BE {
LET i = ReadN();
FOR j = 1 TO i DO
DiscardN(ReadN()+2) }
AND DiscardN(count) BE
FOR i = 1 TO count DO ReadN()
AND ReadNames(block, l) BE RETURN
AND WriteNames() BE RETURN
AND GenStore(t, n) BE {
LET s, type = Null, k.reg;
LET storeNeeded = TRUE;
LET wastos = ?;
IF t=k.loc THEN s := RegisterDedicatedToLoc(n);
IF t=k.lab THEN {
LET k = OffsetOfStatic(n);
IF k~=Null THEN t, n := k.static, k };
TEST s=Null THEN
TEST h1!arg1=k.freg THEN
s, type := MoveToAnyFR(arg1), k.freg
ELSE {
s := LookForSloc(NotAddr, t, n);
TEST s~=Null & ~Locked(s, k.reg) & ~IsInARegister(arg1)
THEN MoveToRSomeTime(s, arg1)
ELSE s := MoveToAnyCRSomeTime(arg1) }
ELSE {
MoveToRSomeTime(s, arg1);
storeNeeded := FALSE };
TEST type=k.freg THEN {
TEST t=k.lab THEN {
CheckRLLoaded();
GenCPDT(f.st, s, r.l, n, 0) }
ELSE {
LET b = r.g;
LET offset = n;
TEST t=k.static
THEN b := CheckRLLoaded()
ELSE IF t=k.loc THEN {
b := r.ts;
TEST usesFrame THEN
IF ~linkageNotStored THEN b := r.p
ELSE
offset := offset-saveSpaceSize;
offset := (nextStackWord/BytesPerWord)*offset }
GenCPDT(f.st, s, b, 0, offset) };
StoreR(k.freg, s, t, n) }
ELSE {
wastos := StoreR(k.reg, s, t, n);
IF storeNeeded THEN
TEST t=k.lab THEN {
FlushPendingLoadsForReg(s);
CheckRLLoaded();
GenF2(f.str, s, r.l, n, 0) }
ELSE {
IF t=k.static THEN CheckRLLoaded();
AddToPendingStores(s, t, n, wastos, 0) } };
Stack(ssp-1) }
AND CGDebug() BE {
WriteS("Debug*n");
PrintSimulatedStack();
PrintRegList();
WriteS("PendingLoads*n");
PrintPendingList(pendingLoads);
WriteS("PendingStores*n");
PrintPendingList(pendingStores);
NewLine() }
AND Scan() BE {
LET l, blockStart = blockLabel, 0;
IF naming THEN {
blockLabel := NextLabel();
blockStart := NextLabel();
SetLabel(blockStart) };
{s
IF (CGDebugMode&db.tracescan)~=0 THEN
writef("op = %n ssp = %n*n", op, ssp);
SWITCHON op INTO
{ DEFAULT:
CGError(FALSE, "compiler error: op = %n", op);
ENDCASE
CASE s.debug:
CGDebug();
ENDCASE
CASE s.lineCount:
lineCount := ReadN();
IF Assoc(linecount, 1, lineCounts)=Null THEN
lineCounts := FillBlk(3, lineCounts, lineCount, locCtr);
ENDCASE
CASE s.argno: argumentNumber := ReadN(); ENDCASE
CASE s.fconst: { LET mantissa = ReadN();
LET exponent = ReadN();
LET sign = 1;
IF mantissa<0 THEN sign, mantissa := -1, -mantissa;
Load(k.number, PackFPNum(mantissa, exponent, sign));
ENDCASE }
CASE s.lg: Load(k.glob, ReadGN()); ENDCASE
CASE s.lp: Load(k.loc, ReadN()); ENDCASE
CASE s.ll: LoadLabelOrStatic(k.lab); ENDCASE
CASE s.ln: Load(k.number, ReadN()); ENDCASE
CASE s.true: Load(k.number, TRUE); ENDCASE
CASE s.false: Load(k.number, FALSE); ENDCASE
CASE s.nil: Load(k.reg, r.nil); ENDCASE
CASE s.stnil: MovetoR(r.nil, arg1);
SetRtoRplusK(r.nilbase, r.nil, 4096);
MaskOutTagBits(r.nilbase);
Lock(r.nil, k.reg);
Stack(ssp-1);
ENDCASE
CASE s.llp: Load(k.lvloc, ReadN()); ENDCASE
CASE s.llg: Load(k.lvglob, ReadGN()); ENDCASE
CASE s.lll: LoadLabelOrStatic(k.lvlab); ENDCASE
CASE s.lstr: CGString(ReadN(), 0); ENDCASE
CASE s.sl: GenStore(k.lab, ReadL()); ENDCASE
CASE s.sg: GenStore(k.glob, ReadGN()); ENDCASE
CASE s.sp: GenStore(k.loc, ReadN()); ENDCASE
CASE s.getbyte:
CASE s.putbyte:CGByteAp(op); ENDCASE
CASE s.stvcar: CGStCar(0, TRUE); ENDCASE
CASE s.stvcdr: CGStCar(4, TRUE); ENDCASE
CASE s.stcar: CGStCar(0, FALSE); ENDCASE
CASE s.stcdr: CGStCar(4, FALSE); ENDCASE
CASE s.stind: CGStind(); ENDCASE
CASE s.mod: CGAssop(); ENDCASE
CASE s.modslct:CGError(FALSE, "field op:= not implemented yet");
ReadN();
Stack(ssp-2);
ENDCASE
CASE s.mult: CGMult(); ENDCASE
CASE s.plus: CGPlus(); ENDCASE
CASE s.div: CGDiv(); ENDCASE
CASE s.rem: CGRem(); ENDCASE
CASE s.minus: CGMinus(); ENDCASE
CASE s.fmult:
CASE s.fplus:
CASE s.fdiv:
CASE s.fminus: CGFop(op); ENDCASE
CASE s.fneg:
CASE s.fabs: CGFUnOp(op); ENDCASE
CASE s.fix: CGFix(); ENDCASE
CASE s.float: CGFloat(); ENDCASE
CASE s.lls: CASE s.lgr: CASE s.lle: CASE s.lge:
CASE s.eq: CASE s.ne: CASE s.ls:
CASE s.gr: CASE s.le: CASE s.ge:
CASE s.feq: CASE s.fne: CASE s.fls:
CASE s.fgr: CASE s.fle: CASE s.fge:
CGRelop(op, ReadOp()); LOOP
CASE s.lshift: CGShift(sh.asl); ENDCASE
CASE s.rshift: CGShift(sh.lsr); ENDCASE
CASE s.logand:
CASE s.logor:
CASE s.eqv:
CASE s.neqv: CGLogop(op, TRUE); LOOP
CASE s.not:
TEST IsConst(arg1) THEN
h3!arg1 := ~(h3!arg1)
ELSE {
LET n = MoveToAnyR(arg1);
GenRR(f.mvn, n, 0, n);
DiscardReg(n, k.reg) };
ENDCASE
CASE s.neg:
TEST IsConst(arg1) THEN
h3!arg1 := -(h3!arg1)
ELSE {
LET n = MoveToAnyR(arg1);
GenF1K(f.rsb, n, n, 0);
DiscardReg(n, k.reg) };
ENDCASE
CASE s.abs:
{ LET n = MoveToAnyR(arg1);
FlushPendingInsts(Null, FALSE);
GenF1K(f.cmps, 0, n, 0);
F1Inst(f.rsb, n, n, Null, 0, Null, 0, m.lt);
DiscardReg(n, k.reg)
ENDCASE };
CASE s.slctap:
IF h2!arg1>=0 | h1!arg1=k.shreg THEN
MoveToAnyR(arg1);
{ LET size = ReadN();
LET shift = ReadN();
h4!arg1 := h4!arg1+ReadN();
h2!arg1 := 32*size + shift
ENDCASE };
CASE s.slctst:
CGSlctst();
ENDCASE
CASE s.vcar:
CASE s.vcdr:
FlushPendingStores();
IF h2!arg1>=0 | h1!arg1=k.shreg THEN
MoveToAnyR(arg1);
IF op=s.vcdr THEN h4!arg1 := h4!arg1 + 4;
h2!arg1 := VACarMark;
ENDCASE
CASE s.car:
CASE s.cdr:
FlushPendingStores();
IF h2!arg1>=0 | h1!arg1=k.shreg THEN
MoveToAnyR(arg1);
IF op=s.cdr THEN h4!arg1 := h4!arg1 + 4;
h2!arg1 := CarMark;
ENDCASE
CASE s.rv:
IF h2!arg1>=0 | h1!arg1=k.shreg THEN
MoveToAnyR(arg1);
h2!arg1 := 0;
ENDCASE
CASE s.res:
loadRegFromFRegOK := TRUE;
MoveToR(ArgumentRegister(1), arg1);
loadRegFromFRegOK := FALSE;
Stack(ssp-1);
CASE s.jump:
{ LET lab = ReadL();
IF TransferredLabel(lab)~=0 THEN {
Store(0, ssp);
FlushPendingStores();
Jump(lab);
deadCode := Dead;
ENDCASE };
GOTO DoRtrn }
CASE s.jt:
CASE s.jf:
Load(k.number, 0);
CGRelop(s.ne, op);
LOOP
CASE s.goto:
Store(0, ssp-2);
FlushPendingStores();
{ LET n = LabelInStatic(arg1);
TEST IsSimpleStoreLoc(arg1) THEN
TEST n~=Null THEN
Jump(n)
ELSE
MoveToR(r.pc, arg1)
ELSE
GenRR(f.mov, r.pc, 0, MoveToAnyR(arg1)) };
InitStack(ssp-1);
deadCode := Dead;
ENDCASE
CASE s.lab:
{ LET m = ReadL();
LET s = ?;
LET d = deadCode;
IF Assoc(m, 1, transferLabs)~=Null THEN {
TEST TransferredLabel(m)=pendingJump
THEN IF m=pendingJump THEN pendingJump := 0
ELSE CheckDelayedJump();
ENDCASE };
FlushPendingLoads();
FlushPendingStores();
Store(0, ssp);
s := FindSavedState(m);
IF (CGDebugMode&db.srs)~=0 THEN
TEST s=Null THEN {
LET p = savedStates;
WriteF("no saved state for %n:*n", m);
WHILE p~=0 DO {
PrintRegisterState(p);
p := !p } }
ELSE {
WriteF("Found saved state for %n:", m);
PrintRegisterState(s) };
TEST s=Null THEN {
DiscardRegs();
TOSoffset := Null }
ELSE {
IF deadCode~=Dead THEN {
LET p = SaveRegisterState();
s := IntersectionOfRegisterStates(p, s) };
DiscardRegs();
RestoreRegisterState(s) };
R0Offset := Null;
InitStack(ssp);
deadCode := Alive;
IF pendingJump~=0 THEN
TEST m=pendingJump THEN
pendingJump := 0
ELSE
CheckDelayedJump();
TEST pendingLab=Null THEN
SetLabel(m)
ELSE TEST pendingLab=m THEN {
FlushPendingInsts(pendingMask, TRUE)
IF ~d |
~LabelFlagged(m, lab.onlyonejump) |
LabelFlagged(m, lab.jumpedto)
THEN SetLabel(m) }
ELSE {
FlushPendingInsts(Null, TRUE);
SetLabel(m) } };
CountFlag := counting;
ENDCASE
CASE s.query: Stack(ssp+1); ENDCASE
CASE s.stack: Stack(ReadN()); ENDCASE
CASE s.store: Store(0, ssp);
InitStack(ssp);
ENDCASE
CASE s.save: CGSave(ReadN()); ENDCASE
CASE s.entry:
{ LET n = ReadN();
LET m = ReadL();
deadCode := Alive;
CheckDelayedJump();
IF pendingLab~=Null THEN FlushPendingInsts(Null, FALSE)
TOSoffset := Null;
R0Offset := Null;
CGEntry(n, m);
ENDCASE }
CASE s.fnap:
CASE s.rtap:
CGApply(op, ReadN());
R0Offset := Null;
LOOP
CASE s.fnrn:
DelLocsAbove(0, TRUE);
loadRegFromFRegOK := TRUE;
MovetoR(ArgumentRegister(1), arg1);
loadRegFromFRegOK := FALSE;
ssp := ssp-1;
DoRtrn:
CASE s.rtrn:
DelLocsAbove(0, TRUE);
IF deadCode~=Dead THEN {
FlushPendingStores();
TEST usesFrame & ~linkageNotStored THEN
TEST compactCode THEN
CondJump(m.always, ExitLab)
ELSE {
LET ldmtype = reversedStack | saveSpaceSize=3 ->
upStack,
upStack+f.pre;
LET base = r.p;
TEST TOSOffset=3 THEN {
base := r.ts;
ldmtype := f.wb+(reversedStack -> f.preup,
f.predown) }
ELSE
GenRR(f.mov, r.ts, 0, r.p);
F4Inst(f.ldm, base, f4.plpc, ldmtype+f.pc) }
ELSE
GenRR(f.movs, r.pc, 0, r.14) };
InitStack(ssp);
deadCode := Dead;
ENDCASE
CASE s.endfor:
FlushPendingStores();
CondJump(Condition(s.le, TRUE), ReadL());
ENDCASE
CASE s.endblock:
TEST naming THEN {
ReadNames(blockStart, l);
blockLabel := l;
RETURN }
ELSE
IgnoreNames();
ENDCASE
CASE s.endproc:
CheckDelayedJump();
FlushPendingInsts(Null, TRUE);
IF ~usesRL THEN {
FlagLabel(localConstLab, lab.endproclab);
SetLabel(localConstLab);
GenData(localConstants);
WHILE !localConstants~=0 DO {
LET p = localConstants;
localConstants := !localConstants;
!p := freeDataBlocks;
freeDataBlocks := p };
EndOfDataInBlock!localConstants := DataBlockItems-1;
localConstLab := NextLabel();
localConstP := localConstants;
localFaddr := 0 };
ClearAssignedRegisters();
base := base-3;
baseLab, baseAddr := base!0, base!1;
{ LET f = base!2;
localsSafe := (f&1)~=0;
usesFrame := (f&2)~=0;
containsCalls := (f&4)~=0;
usesRL := (f&8)~=0;
f := f&48;
linkageNotStored := f=0 -> FALSE,
f=16 -> r.b,
TRUE };
TEST naming THEN {
ReadNames(blockStart, l);
WriteNames();
RETURN }
ELSE {
IgnoreNames();
ENDCASE }
CASE s.rstack:
Stack(ReadN());
Load(k.reg, ArgumentRegister(1));
ENDCASE
CASE s.finish:
FlushPendingStores();
SetRtoRplusK(r.pc, r.gb, sr.fin);
deadCode := Dead;
ENDCASE
CASE s.switchon:
FlushPendingStores();
CGSwitch(ReadN());
ENDCASE
CASE s.global: CGGlobal(ReadN()); RETURN
CASE s.dstr:
{ LET label = ReadL();
CGString(ReadN(), label);
ENDCASE }
CASE s.defext:
{ LET lab = ReadL();
AddXSymbol(ReadString(ReadN()), 3, lab);
ENDCASE }
CASE s.refext:
// already handled
ReadL();
FOR i = 1 TO ReadN() DO ReadN();
ENDCASE
CASE s.dtab:
CASE s.datalab:
dataLabel := ReadL();
Data(s.datalab, dataLabel);
staticLabels :=
FillBlk(4, staticLabels, dataLabel, Null, staticOffset);
IF op=s.dtab THEN ReadN(); // discard the table length
ENDCASE
CASE s.itemn:
dataLabel := Null;
Data(s.itemn, ReadN());
staticOffset := staticOffset+4;
ENDCASE
CASE s.iteml:
{ LET lab = ReadL();
LET p = Assoc(lab, 1, transferLabs);
IF p~=Null THEN 1!p := -1;
IF dataLabel~=Null THEN {
LET p = FindLabelEntry(lab);
LET q = Assoc(dataLabel, 1, staticLabels);
!p := !p & ~(lab.forwardjump+lab.onlyonejump);
2!q := lab };
dataLabel := Null;
staticOffset := staticOffset+4;
Data(s.iteml, lab); ENDCASE }
};
op := ReadOp() }s REPEAT
}
AND LabelInStatic(x) = VALOF {
LET p, t, n = ?, h1!x, h3!x;
IF ~IsSimpleStoreLoc(x) THEN RESULTIS Null;
TEST t=k.lab THEN
p := Assoc(n, 1, staticLabels)
ELSE TEST t=k.static THEN {
p := Assoc(n*4, 3, staticLabels);
IF p~=Null THEN n := 1!p }
ELSE RESULTIS Null;
IF p=Null |
LabelFlagged(n, lab.stored+lab.lvtaken) THEN
RESULTIS Null;
RESULTIS p!2 }
AND XSymInStatic(x) = VALOF {
LET p, t, n = ?, h1!x, h3!x;
IF ~IsSimpleStoreLoc(x) THEN RESULTIS Null;
TEST t=k.lab THEN
p := Assoc(n, 1, staticLabels)
ELSE TEST t=k.static THEN {
p := Assoc(n*4, 3, staticLabels);
IF p~=Null THEN n := 1!p }
ELSE RESULTIS Null;
IF p=Null |
LabelFlagged(n, lab.stored+lab.lvtaken) |
2!p~=Null THEN
RESULTIS Null;
p := Assoc(n, 1, xrefSyms);
IF p=Null THEN RESULTIS Null;
RESULTIS p!2 }
AND OffsetOfStatic(lab) = VALOF {
LET p = Assoc(lab, 1, staticLabels);
RESULTIS p=Null -> Null,
(p!3)/4 }
AND LoadLabelOrStatic(op) BE {
LET n = ReadL();
LET k = OffsetOfStatic(n);
TEST k=Null THEN
Load(op, n)
ELSE
Load(op+k.static-k.lab, k) }
00000000 53 45 43 54 49 4f 4e 20 22 43 47 41 22 0a 0a 47 |SECTION "CGA"..G|
00000010 45 54 20 22 62 2e 43 67 48 65 61 64 65 72 22 0a |ET "b.CgHeader".|
00000020 0a 53 54 41 54 49 43 20 7b 0a 2f 2a 20 56 65 72 |.STATIC {./* Ver|
00000030 73 69 6f 6e 20 6f 66 20 30 37 20 4d 61 72 20 38 |sion of 07 Mar 8|
00000040 36 20 32 31 3a 32 39 3a 30 30 0a 2a 2f 0a 20 20 |6 21:29:00.*/. |
00000050 20 64 75 6d 6d 79 20 3d 20 56 65 72 73 69 6f 6e | dummy = Version|
00000060 4d 61 72 6b 0a 20 20 20 76 65 72 73 69 6f 6e 20 |Mark. version |
00000070 3d 20 31 2a 32 35 36 2b 38 20 7d 0a 0a 2f 2a 20 |= 1*256+8 }../* |
00000080 31 2e 35 09 30 31 20 4e 6f 76 20 38 35 20 31 35 |1.5.01 Nov 85 15|
00000090 3a 34 34 3a 34 34 0a 20 20 20 20 20 20 62 75 67 |:44:44. bug|
000000a0 20 66 69 78 3a 20 72 65 74 75 72 6e 20 74 6f 20 | fix: return to |
000000b0 64 6f 20 72 69 67 68 74 20 73 6f 72 74 20 6f 66 |do right sort of|
000000c0 20 4c 44 4d 20 69 66 20 6c 69 6e 6b 20 73 69 7a | LDM if link siz|
000000d0 65 20 69 73 20 33 0a 20 20 20 20 20 20 61 6c 73 |e is 3. als|
000000e0 6f 20 69 6d 70 72 6f 76 65 6d 65 6e 74 20 74 6f |o improvement to|
000000f0 20 75 73 65 20 52 54 53 20 64 69 72 65 63 74 6c | use RTS directl|
00000100 79 20 69 66 20 61 70 70 72 6f 70 72 69 61 74 65 |y if appropriate|
00000110 20 69 6e 20 74 68 69 73 0a 20 20 20 20 20 20 63 | in this. c|
00000120 61 73 65 2e 0a 20 20 20 31 2e 36 09 30 36 20 46 |ase.. 1.6.06 F|
00000130 65 62 20 38 36 20 31 36 3a 33 34 3a 34 32 0a 20 |eb 86 16:34:42. |
00000140 20 20 20 20 20 49 6e 63 6f 72 70 6f 72 61 74 69 | Incorporati|
00000150 6f 6e 20 6f 66 20 66 6c 6f 61 74 69 6e 67 20 70 |on of floating p|
00000160 6f 69 6e 74 0a 20 20 20 31 2e 37 09 32 30 20 46 |oint. 1.7.20 F|
00000170 65 62 20 38 36 20 31 33 3a 31 37 3a 30 37 0a 20 |eb 86 13:17:07. |
00000180 20 20 20 20 20 42 75 67 20 66 69 78 3a 20 41 42 | Bug fix: AB|
00000190 53 20 73 68 6f 75 6c 64 20 6d 75 73 74 20 66 6c |S should must fl|
000001a0 75 73 68 20 70 65 6e 64 69 6e 67 20 69 6e 73 74 |ush pending inst|
000001b0 72 75 63 74 69 6f 6e 73 0a 20 20 20 31 2e 38 09 |ructions. 1.8.|
000001c0 30 37 20 4d 61 72 20 38 36 20 32 31 3a 32 37 3a |07 Mar 86 21:27:|
000001d0 35 33 0a 20 20 20 20 20 20 44 53 54 52 20 6f 70 |53. DSTR op|
000001e0 65 72 61 74 69 6f 6e 20 73 75 70 70 6f 72 74 65 |eration supporte|
000001f0 64 2e 20 20 41 6c 73 6f 20 63 68 61 6e 67 65 73 |d. Also changes|
00000200 20 74 6f 20 75 73 65 20 6b 2e 73 74 61 74 69 63 | to use k.static|
00000210 20 6d 6f 73 74 6c 79 0a 20 20 20 20 20 20 69 6e | mostly. in|
00000220 20 70 6c 61 63 65 20 6f 66 20 6b 2e 6c 61 62 0a | place of k.lab.|
00000230 2a 2f 0a 0a 4c 45 54 20 49 67 6e 6f 72 65 4e 61 |*/..LET IgnoreNa|
00000240 6d 65 73 28 29 20 42 45 20 7b 0a 20 20 20 4c 45 |mes() BE {. LE|
00000250 54 20 69 20 3d 20 52 65 61 64 4e 28 29 3b 0a 20 |T i = ReadN();. |
00000260 20 20 46 4f 52 20 6a 20 3d 20 31 20 54 4f 20 69 | FOR j = 1 TO i|
00000270 20 44 4f 0a 20 20 20 20 20 20 44 69 73 63 61 72 | DO. Discar|
00000280 64 4e 28 52 65 61 64 4e 28 29 2b 32 29 20 7d 0a |dN(ReadN()+2) }.|
00000290 0a 41 4e 44 20 44 69 73 63 61 72 64 4e 28 63 6f |.AND DiscardN(co|
000002a0 75 6e 74 29 20 42 45 0a 20 20 20 46 4f 52 20 69 |unt) BE. FOR i|
000002b0 20 3d 20 31 20 54 4f 20 63 6f 75 6e 74 20 44 4f | = 1 TO count DO|
000002c0 20 52 65 61 64 4e 28 29 0a 0a 41 4e 44 20 52 65 | ReadN()..AND Re|
000002d0 61 64 4e 61 6d 65 73 28 62 6c 6f 63 6b 2c 20 6c |adNames(block, l|
000002e0 29 20 42 45 20 52 45 54 55 52 4e 0a 0a 41 4e 44 |) BE RETURN..AND|
000002f0 20 57 72 69 74 65 4e 61 6d 65 73 28 29 20 42 45 | WriteNames() BE|
00000300 20 52 45 54 55 52 4e 0a 0a 41 4e 44 20 47 65 6e | RETURN..AND Gen|
00000310 53 74 6f 72 65 28 74 2c 20 6e 29 20 42 45 20 7b |Store(t, n) BE {|
00000320 0a 20 20 20 4c 45 54 20 73 2c 20 74 79 70 65 20 |. LET s, type |
00000330 3d 20 4e 75 6c 6c 2c 20 6b 2e 72 65 67 3b 0a 20 |= Null, k.reg;. |
00000340 20 20 4c 45 54 20 73 74 6f 72 65 4e 65 65 64 65 | LET storeNeede|
00000350 64 20 3d 20 54 52 55 45 3b 0a 20 20 20 4c 45 54 |d = TRUE;. LET|
00000360 20 77 61 73 74 6f 73 20 3d 20 3f 3b 0a 0a 20 20 | wastos = ?;.. |
00000370 20 49 46 20 74 3d 6b 2e 6c 6f 63 20 54 48 45 4e | IF t=k.loc THEN|
00000380 20 73 20 3a 3d 20 52 65 67 69 73 74 65 72 44 65 | s := RegisterDe|
00000390 64 69 63 61 74 65 64 54 6f 4c 6f 63 28 6e 29 3b |dicatedToLoc(n);|
000003a0 0a 20 20 20 49 46 20 74 3d 6b 2e 6c 61 62 20 54 |. IF t=k.lab T|
000003b0 48 45 4e 20 7b 0a 20 20 20 20 20 20 4c 45 54 20 |HEN {. LET |
000003c0 6b 20 3d 20 4f 66 66 73 65 74 4f 66 53 74 61 74 |k = OffsetOfStat|
000003d0 69 63 28 6e 29 3b 0a 20 20 20 20 20 20 49 46 20 |ic(n);. IF |
000003e0 6b 7e 3d 4e 75 6c 6c 20 54 48 45 4e 20 74 2c 20 |k~=Null THEN t, |
000003f0 6e 20 3a 3d 20 6b 2e 73 74 61 74 69 63 2c 20 6b |n := k.static, k|
00000400 20 7d 3b 0a 20 20 20 54 45 53 54 20 73 3d 4e 75 | };. TEST s=Nu|
00000410 6c 6c 20 54 48 45 4e 0a 20 20 20 20 20 20 54 45 |ll THEN. TE|
00000420 53 54 20 68 31 21 61 72 67 31 3d 6b 2e 66 72 65 |ST h1!arg1=k.fre|
00000430 67 20 54 48 45 4e 0a 09 20 73 2c 20 74 79 70 65 |g THEN.. s, type|
00000440 20 3a 3d 20 4d 6f 76 65 54 6f 41 6e 79 46 52 28 | := MoveToAnyFR(|
00000450 61 72 67 31 29 2c 20 6b 2e 66 72 65 67 0a 20 20 |arg1), k.freg. |
00000460 20 20 20 20 45 4c 53 45 20 7b 0a 09 20 73 20 3a | ELSE {.. s :|
00000470 3d 20 4c 6f 6f 6b 46 6f 72 53 6c 6f 63 28 4e 6f |= LookForSloc(No|
00000480 74 41 64 64 72 2c 20 74 2c 20 6e 29 3b 0a 09 20 |tAddr, t, n);.. |
00000490 54 45 53 54 20 73 7e 3d 4e 75 6c 6c 20 26 20 7e |TEST s~=Null & ~|
000004a0 4c 6f 63 6b 65 64 28 73 2c 20 6b 2e 72 65 67 29 |Locked(s, k.reg)|
000004b0 20 26 20 7e 49 73 49 6e 41 52 65 67 69 73 74 65 | & ~IsInARegiste|
000004c0 72 28 61 72 67 31 29 0a 09 20 20 20 20 54 48 45 |r(arg1).. THE|
000004d0 4e 20 4d 6f 76 65 54 6f 52 53 6f 6d 65 54 69 6d |N MoveToRSomeTim|
000004e0 65 28 73 2c 20 61 72 67 31 29 0a 09 20 20 20 20 |e(s, arg1).. |
000004f0 45 4c 53 45 20 73 20 3a 3d 20 4d 6f 76 65 54 6f |ELSE s := MoveTo|
00000500 41 6e 79 43 52 53 6f 6d 65 54 69 6d 65 28 61 72 |AnyCRSomeTime(ar|
00000510 67 31 29 20 7d 0a 20 20 20 45 4c 53 45 20 7b 0a |g1) }. ELSE {.|
00000520 20 20 20 20 20 20 4d 6f 76 65 54 6f 52 53 6f 6d | MoveToRSom|
00000530 65 54 69 6d 65 28 73 2c 20 61 72 67 31 29 3b 0a |eTime(s, arg1);.|
00000540 20 20 20 20 20 20 73 74 6f 72 65 4e 65 65 64 65 | storeNeede|
00000550 64 20 3a 3d 20 46 41 4c 53 45 20 7d 3b 0a 0a 20 |d := FALSE };.. |
00000560 20 20 54 45 53 54 20 74 79 70 65 3d 6b 2e 66 72 | TEST type=k.fr|
00000570 65 67 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 20 |eg THEN {. |
00000580 54 45 53 54 20 74 3d 6b 2e 6c 61 62 20 54 48 45 |TEST t=k.lab THE|
00000590 4e 20 7b 0a 09 20 43 68 65 63 6b 52 4c 4c 6f 61 |N {.. CheckRLLoa|
000005a0 64 65 64 28 29 3b 0a 09 20 47 65 6e 43 50 44 54 |ded();.. GenCPDT|
000005b0 28 66 2e 73 74 2c 20 73 2c 20 72 2e 6c 2c 20 6e |(f.st, s, r.l, n|
000005c0 2c 20 30 29 20 7d 0a 20 20 20 20 20 20 45 4c 53 |, 0) }. ELS|
000005d0 45 20 7b 0a 09 20 4c 45 54 20 62 20 3d 20 72 2e |E {.. LET b = r.|
000005e0 67 3b 0a 09 20 4c 45 54 20 6f 66 66 73 65 74 20 |g;.. LET offset |
000005f0 3d 20 6e 3b 0a 09 20 54 45 53 54 20 74 3d 6b 2e |= n;.. TEST t=k.|
00000600 73 74 61 74 69 63 0a 09 20 20 20 20 54 48 45 4e |static.. THEN|
00000610 20 62 20 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f 61 | b := CheckRLLoa|
00000620 64 65 64 28 29 0a 09 20 45 4c 53 45 20 49 46 20 |ded().. ELSE IF |
00000630 74 3d 6b 2e 6c 6f 63 20 54 48 45 4e 20 7b 0a 09 |t=k.loc THEN {..|
00000640 20 20 20 20 62 20 3a 3d 20 72 2e 74 73 3b 0a 09 | b := r.ts;..|
00000650 20 20 20 20 54 45 53 54 20 75 73 65 73 46 72 61 | TEST usesFra|
00000660 6d 65 20 54 48 45 4e 0a 09 20 20 20 20 20 20 20 |me THEN.. |
00000670 49 46 20 7e 6c 69 6e 6b 61 67 65 4e 6f 74 53 74 |IF ~linkageNotSt|
00000680 6f 72 65 64 20 54 48 45 4e 20 62 20 3a 3d 20 72 |ored THEN b := r|
00000690 2e 70 0a 09 20 20 20 20 45 4c 53 45 0a 09 20 20 |.p.. ELSE.. |
000006a0 20 20 20 20 20 6f 66 66 73 65 74 20 3a 3d 20 6f | offset := o|
000006b0 66 66 73 65 74 2d 73 61 76 65 53 70 61 63 65 53 |ffset-saveSpaceS|
000006c0 69 7a 65 3b 0a 09 20 20 20 20 6f 66 66 73 65 74 |ize;.. offset|
000006d0 20 3a 3d 20 28 6e 65 78 74 53 74 61 63 6b 57 6f | := (nextStackWo|
000006e0 72 64 2f 42 79 74 65 73 50 65 72 57 6f 72 64 29 |rd/BytesPerWord)|
000006f0 2a 6f 66 66 73 65 74 20 7d 0a 0a 09 20 47 65 6e |*offset }... Gen|
00000700 43 50 44 54 28 66 2e 73 74 2c 20 73 2c 20 62 2c |CPDT(f.st, s, b,|
00000710 20 30 2c 20 6f 66 66 73 65 74 29 20 7d 3b 0a 20 | 0, offset) };. |
00000720 20 20 20 20 20 53 74 6f 72 65 52 28 6b 2e 66 72 | StoreR(k.fr|
00000730 65 67 2c 20 73 2c 20 74 2c 20 6e 29 20 7d 0a 20 |eg, s, t, n) }. |
00000740 20 20 45 4c 53 45 20 7b 0a 20 20 20 20 20 20 77 | ELSE {. w|
00000750 61 73 74 6f 73 20 3a 3d 20 53 74 6f 72 65 52 28 |astos := StoreR(|
00000760 6b 2e 72 65 67 2c 20 73 2c 20 74 2c 20 6e 29 3b |k.reg, s, t, n);|
00000770 0a 20 20 20 20 20 20 49 46 20 73 74 6f 72 65 4e |. IF storeN|
00000780 65 65 64 65 64 20 54 48 45 4e 0a 09 20 54 45 53 |eeded THEN.. TES|
00000790 54 20 74 3d 6b 2e 6c 61 62 20 54 48 45 4e 20 7b |T t=k.lab THEN {|
000007a0 0a 09 20 20 20 20 46 6c 75 73 68 50 65 6e 64 69 |.. FlushPendi|
000007b0 6e 67 4c 6f 61 64 73 46 6f 72 52 65 67 28 73 29 |ngLoadsForReg(s)|
000007c0 3b 0a 09 20 20 20 20 43 68 65 63 6b 52 4c 4c 6f |;.. CheckRLLo|
000007d0 61 64 65 64 28 29 3b 0a 09 20 20 20 20 47 65 6e |aded();.. Gen|
000007e0 46 32 28 66 2e 73 74 72 2c 20 73 2c 20 72 2e 6c |F2(f.str, s, r.l|
000007f0 2c 20 6e 2c 20 30 29 20 7d 0a 09 20 45 4c 53 45 |, n, 0) }.. ELSE|
00000800 20 7b 0a 09 20 20 20 20 49 46 20 74 3d 6b 2e 73 | {.. IF t=k.s|
00000810 74 61 74 69 63 20 54 48 45 4e 20 43 68 65 63 6b |tatic THEN Check|
00000820 52 4c 4c 6f 61 64 65 64 28 29 3b 0a 09 20 20 20 |RLLoaded();.. |
00000830 20 41 64 64 54 6f 50 65 6e 64 69 6e 67 53 74 6f | AddToPendingSto|
00000840 72 65 73 28 73 2c 20 74 2c 20 6e 2c 20 77 61 73 |res(s, t, n, was|
00000850 74 6f 73 2c 20 30 29 20 7d 20 7d 3b 0a 0a 20 20 |tos, 0) } };.. |
00000860 20 53 74 61 63 6b 28 73 73 70 2d 31 29 20 7d 0a | Stack(ssp-1) }.|
00000870 0a 41 4e 44 20 43 47 44 65 62 75 67 28 29 20 42 |.AND CGDebug() B|
00000880 45 20 7b 0a 20 20 20 57 72 69 74 65 53 28 22 44 |E {. WriteS("D|
00000890 65 62 75 67 2a 6e 22 29 3b 0a 20 20 20 50 72 69 |ebug*n");. Pri|
000008a0 6e 74 53 69 6d 75 6c 61 74 65 64 53 74 61 63 6b |ntSimulatedStack|
000008b0 28 29 3b 0a 20 20 20 50 72 69 6e 74 52 65 67 4c |();. PrintRegL|
000008c0 69 73 74 28 29 3b 0a 20 20 20 57 72 69 74 65 53 |ist();. WriteS|
000008d0 28 22 50 65 6e 64 69 6e 67 4c 6f 61 64 73 2a 6e |("PendingLoads*n|
000008e0 22 29 3b 0a 20 20 20 50 72 69 6e 74 50 65 6e 64 |");. PrintPend|
000008f0 69 6e 67 4c 69 73 74 28 70 65 6e 64 69 6e 67 4c |ingList(pendingL|
00000900 6f 61 64 73 29 3b 0a 20 20 20 57 72 69 74 65 53 |oads);. WriteS|
00000910 28 22 50 65 6e 64 69 6e 67 53 74 6f 72 65 73 2a |("PendingStores*|
00000920 6e 22 29 3b 0a 20 20 20 50 72 69 6e 74 50 65 6e |n");. PrintPen|
00000930 64 69 6e 67 4c 69 73 74 28 70 65 6e 64 69 6e 67 |dingList(pending|
00000940 53 74 6f 72 65 73 29 3b 0a 20 20 20 4e 65 77 4c |Stores);. NewL|
00000950 69 6e 65 28 29 20 7d 0a 0a 41 4e 44 20 53 63 61 |ine() }..AND Sca|
00000960 6e 28 29 20 42 45 20 7b 0a 20 20 20 4c 45 54 20 |n() BE {. LET |
00000970 6c 2c 20 62 6c 6f 63 6b 53 74 61 72 74 20 3d 20 |l, blockStart = |
00000980 62 6c 6f 63 6b 4c 61 62 65 6c 2c 20 30 3b 0a 20 |blockLabel, 0;. |
00000990 20 20 49 46 20 6e 61 6d 69 6e 67 20 54 48 45 4e | IF naming THEN|
000009a0 20 7b 0a 20 20 20 20 20 20 62 6c 6f 63 6b 4c 61 | {. blockLa|
000009b0 62 65 6c 20 3a 3d 20 4e 65 78 74 4c 61 62 65 6c |bel := NextLabel|
000009c0 28 29 3b 0a 20 20 20 20 20 20 62 6c 6f 63 6b 53 |();. blockS|
000009d0 74 61 72 74 20 3a 3d 20 4e 65 78 74 4c 61 62 65 |tart := NextLabe|
000009e0 6c 28 29 3b 0a 20 20 20 20 20 20 53 65 74 4c 61 |l();. SetLa|
000009f0 62 65 6c 28 62 6c 6f 63 6b 53 74 61 72 74 29 20 |bel(blockStart) |
00000a00 7d 3b 0a 0a 20 20 20 7b 73 0a 20 20 20 20 20 20 |};.. {s. |
00000a10 49 46 20 28 43 47 44 65 62 75 67 4d 6f 64 65 26 |IF (CGDebugMode&|
00000a20 64 62 2e 74 72 61 63 65 73 63 61 6e 29 7e 3d 30 |db.tracescan)~=0|
00000a30 20 54 48 45 4e 0a 09 20 77 72 69 74 65 66 28 22 | THEN.. writef("|
00000a40 6f 70 20 3d 20 25 6e 20 73 73 70 20 3d 20 25 6e |op = %n ssp = %n|
00000a50 2a 6e 22 2c 20 6f 70 2c 20 73 73 70 29 3b 0a 0a |*n", op, ssp);..|
00000a60 20 20 20 20 20 20 53 57 49 54 43 48 4f 4e 20 6f | SWITCHON o|
00000a70 70 20 49 4e 54 4f 0a 20 20 20 20 20 20 7b 20 20 |p INTO. { |
00000a80 44 45 46 41 55 4c 54 3a 0a 09 20 20 20 20 43 47 |DEFAULT:.. CG|
00000a90 45 72 72 6f 72 28 46 41 4c 53 45 2c 20 22 63 6f |Error(FALSE, "co|
00000aa0 6d 70 69 6c 65 72 20 65 72 72 6f 72 3a 20 6f 70 |mpiler error: op|
00000ab0 20 3d 20 25 6e 22 2c 20 6f 70 29 3b 0a 09 20 20 | = %n", op);.. |
00000ac0 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 | ENDCASE... CAS|
00000ad0 45 20 73 2e 64 65 62 75 67 3a 0a 09 20 20 20 20 |E s.debug:.. |
00000ae0 43 47 44 65 62 75 67 28 29 3b 0a 09 20 20 20 20 |CGDebug();.. |
00000af0 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 |ENDCASE... CASE |
00000b00 73 2e 6c 69 6e 65 43 6f 75 6e 74 3a 0a 09 20 20 |s.lineCount:.. |
00000b10 20 20 6c 69 6e 65 43 6f 75 6e 74 20 3a 3d 20 52 | lineCount := R|
00000b20 65 61 64 4e 28 29 3b 0a 09 20 20 20 20 49 46 20 |eadN();.. IF |
00000b30 41 73 73 6f 63 28 6c 69 6e 65 63 6f 75 6e 74 2c |Assoc(linecount,|
00000b40 20 31 2c 20 6c 69 6e 65 43 6f 75 6e 74 73 29 3d | 1, lineCounts)=|
00000b50 4e 75 6c 6c 20 54 48 45 4e 0a 09 20 20 20 20 20 |Null THEN.. |
00000b60 20 20 6c 69 6e 65 43 6f 75 6e 74 73 20 3a 3d 20 | lineCounts := |
00000b70 46 69 6c 6c 42 6c 6b 28 33 2c 20 6c 69 6e 65 43 |FillBlk(3, lineC|
00000b80 6f 75 6e 74 73 2c 20 6c 69 6e 65 43 6f 75 6e 74 |ounts, lineCount|
00000b90 2c 20 6c 6f 63 43 74 72 29 3b 0a 09 20 20 20 20 |, locCtr);.. |
00000ba0 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 |ENDCASE... CASE |
00000bb0 73 2e 61 72 67 6e 6f 3a 09 61 72 67 75 6d 65 6e |s.argno:.argumen|
00000bc0 74 4e 75 6d 62 65 72 20 3a 3d 20 52 65 61 64 4e |tNumber := ReadN|
00000bd0 28 29 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 |(); ENDCASE... C|
00000be0 41 53 45 20 73 2e 66 63 6f 6e 73 74 3a 20 7b 20 |ASE s.fconst: { |
00000bf0 20 4c 45 54 20 6d 61 6e 74 69 73 73 61 20 3d 20 | LET mantissa = |
00000c00 52 65 61 64 4e 28 29 3b 0a 09 09 09 20 20 20 4c |ReadN();.... L|
00000c10 45 54 20 65 78 70 6f 6e 65 6e 74 20 3d 20 52 65 |ET exponent = Re|
00000c20 61 64 4e 28 29 3b 0a 09 09 09 20 20 20 4c 45 54 |adN();.... LET|
00000c30 20 73 69 67 6e 20 3d 20 31 3b 0a 09 09 09 20 20 | sign = 1;.... |
00000c40 20 49 46 20 6d 61 6e 74 69 73 73 61 3c 30 20 54 | IF mantissa<0 T|
00000c50 48 45 4e 20 73 69 67 6e 2c 20 6d 61 6e 74 69 73 |HEN sign, mantis|
00000c60 73 61 20 3a 3d 20 2d 31 2c 20 2d 6d 61 6e 74 69 |sa := -1, -manti|
00000c70 73 73 61 3b 0a 09 09 09 20 20 20 4c 6f 61 64 28 |ssa;.... Load(|
00000c80 6b 2e 6e 75 6d 62 65 72 2c 20 50 61 63 6b 46 50 |k.number, PackFP|
00000c90 4e 75 6d 28 6d 61 6e 74 69 73 73 61 2c 20 65 78 |Num(mantissa, ex|
00000ca0 70 6f 6e 65 6e 74 2c 20 73 69 67 6e 29 29 3b 0a |ponent, sign));.|
00000cb0 09 09 09 20 20 20 45 4e 44 43 41 53 45 20 7d 0a |... ENDCASE }.|
00000cc0 09 20 43 41 53 45 20 73 2e 6c 67 3a 09 4c 6f 61 |. CASE s.lg:.Loa|
00000cd0 64 28 6b 2e 67 6c 6f 62 2c 20 52 65 61 64 47 4e |d(k.glob, ReadGN|
00000ce0 28 29 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 |()); ENDCASE.. C|
00000cf0 41 53 45 20 73 2e 6c 70 3a 09 4c 6f 61 64 28 6b |ASE s.lp:.Load(k|
00000d00 2e 6c 6f 63 2c 20 52 65 61 64 4e 28 29 29 3b 20 |.loc, ReadN()); |
00000d10 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 20 73 |ENDCASE.. CASE s|
00000d20 2e 6c 6c 3a 09 4c 6f 61 64 4c 61 62 65 6c 4f 72 |.ll:.LoadLabelOr|
00000d30 53 74 61 74 69 63 28 6b 2e 6c 61 62 29 3b 20 45 |Static(k.lab); E|
00000d40 4e 44 43 41 53 45 0a 09 20 43 41 53 45 20 73 2e |NDCASE.. CASE s.|
00000d50 6c 6e 3a 09 4c 6f 61 64 28 6b 2e 6e 75 6d 62 65 |ln:.Load(k.numbe|
00000d60 72 2c 20 52 65 61 64 4e 28 29 29 3b 20 45 4e 44 |r, ReadN()); END|
00000d70 43 41 53 45 0a 09 20 43 41 53 45 20 73 2e 74 72 |CASE.. CASE s.tr|
00000d80 75 65 3a 09 4c 6f 61 64 28 6b 2e 6e 75 6d 62 65 |ue:.Load(k.numbe|
00000d90 72 2c 20 54 52 55 45 29 3b 20 45 4e 44 43 41 53 |r, TRUE); ENDCAS|
00000da0 45 0a 09 20 43 41 53 45 20 73 2e 66 61 6c 73 65 |E.. CASE s.false|
00000db0 3a 09 4c 6f 61 64 28 6b 2e 6e 75 6d 62 65 72 2c |:.Load(k.number,|
00000dc0 20 46 41 4c 53 45 29 3b 20 45 4e 44 43 41 53 45 | FALSE); ENDCASE|
00000dd0 0a 09 20 43 41 53 45 20 73 2e 6e 69 6c 3a 09 4c |.. CASE s.nil:.L|
00000de0 6f 61 64 28 6b 2e 72 65 67 2c 20 72 2e 6e 69 6c |oad(k.reg, r.nil|
00000df0 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 |); ENDCASE.. CAS|
00000e00 45 20 73 2e 73 74 6e 69 6c 3a 09 4d 6f 76 65 74 |E s.stnil:.Movet|
00000e10 6f 52 28 72 2e 6e 69 6c 2c 20 61 72 67 31 29 3b |oR(r.nil, arg1);|
00000e20 0a 09 09 09 53 65 74 52 74 6f 52 70 6c 75 73 4b |....SetRtoRplusK|
00000e30 28 72 2e 6e 69 6c 62 61 73 65 2c 20 72 2e 6e 69 |(r.nilbase, r.ni|
00000e40 6c 2c 20 34 30 39 36 29 3b 0a 09 09 09 4d 61 73 |l, 4096);....Mas|
00000e50 6b 4f 75 74 54 61 67 42 69 74 73 28 72 2e 6e 69 |kOutTagBits(r.ni|
00000e60 6c 62 61 73 65 29 3b 0a 09 09 09 4c 6f 63 6b 28 |lbase);....Lock(|
00000e70 72 2e 6e 69 6c 2c 20 6b 2e 72 65 67 29 3b 0a 09 |r.nil, k.reg);..|
00000e80 09 09 53 74 61 63 6b 28 73 73 70 2d 31 29 3b 0a |..Stack(ssp-1);.|
00000e90 09 09 09 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 |...ENDCASE... CA|
00000ea0 53 45 20 73 2e 6c 6c 70 3a 09 4c 6f 61 64 28 6b |SE s.llp:.Load(k|
00000eb0 2e 6c 76 6c 6f 63 2c 20 52 65 61 64 4e 28 29 29 |.lvloc, ReadN())|
00000ec0 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 |; ENDCASE.. CASE|
00000ed0 20 73 2e 6c 6c 67 3a 09 4c 6f 61 64 28 6b 2e 6c | s.llg:.Load(k.l|
00000ee0 76 67 6c 6f 62 2c 20 52 65 61 64 47 4e 28 29 29 |vglob, ReadGN())|
00000ef0 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 |; ENDCASE.. CASE|
00000f00 20 73 2e 6c 6c 6c 3a 09 4c 6f 61 64 4c 61 62 65 | s.lll:.LoadLabe|
00000f10 6c 4f 72 53 74 61 74 69 63 28 6b 2e 6c 76 6c 61 |lOrStatic(k.lvla|
00000f20 62 29 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 |b); ENDCASE... C|
00000f30 41 53 45 20 73 2e 6c 73 74 72 3a 09 43 47 53 74 |ASE s.lstr:.CGSt|
00000f40 72 69 6e 67 28 52 65 61 64 4e 28 29 2c 20 30 29 |ring(ReadN(), 0)|
00000f50 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 |; ENDCASE... CAS|
00000f60 45 20 73 2e 73 6c 3a 09 47 65 6e 53 74 6f 72 65 |E s.sl:.GenStore|
00000f70 28 6b 2e 6c 61 62 2c 20 52 65 61 64 4c 28 29 29 |(k.lab, ReadL())|
00000f80 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 |; ENDCASE.. CASE|
00000f90 20 73 2e 73 67 3a 09 47 65 6e 53 74 6f 72 65 28 | s.sg:.GenStore(|
00000fa0 6b 2e 67 6c 6f 62 2c 20 52 65 61 64 47 4e 28 29 |k.glob, ReadGN()|
00000fb0 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 |); ENDCASE.. CAS|
00000fc0 45 20 73 2e 73 70 3a 09 47 65 6e 53 74 6f 72 65 |E s.sp:.GenStore|
00000fd0 28 6b 2e 6c 6f 63 2c 20 52 65 61 64 4e 28 29 29 |(k.loc, ReadN())|
00000fe0 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 |; ENDCASE... CAS|
00000ff0 45 20 73 2e 67 65 74 62 79 74 65 3a 0a 09 20 43 |E s.getbyte:.. C|
00001000 41 53 45 20 73 2e 70 75 74 62 79 74 65 3a 43 47 |ASE s.putbyte:CG|
00001010 42 79 74 65 41 70 28 6f 70 29 3b 20 45 4e 44 43 |ByteAp(op); ENDC|
00001020 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e 73 74 |ASE... CASE s.st|
00001030 76 63 61 72 3a 20 43 47 53 74 43 61 72 28 30 2c |vcar: CGStCar(0,|
00001040 20 54 52 55 45 29 3b 20 45 4e 44 43 41 53 45 0a | TRUE); ENDCASE.|
00001050 09 20 43 41 53 45 20 73 2e 73 74 76 63 64 72 3a |. CASE s.stvcdr:|
00001060 20 43 47 53 74 43 61 72 28 34 2c 20 54 52 55 45 | CGStCar(4, TRUE|
00001070 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 |); ENDCASE.. CAS|
00001080 45 20 73 2e 73 74 63 61 72 3a 09 43 47 53 74 43 |E s.stcar:.CGStC|
00001090 61 72 28 30 2c 20 46 41 4c 53 45 29 3b 20 45 4e |ar(0, FALSE); EN|
000010a0 44 43 41 53 45 0a 09 20 43 41 53 45 20 73 2e 73 |DCASE.. CASE s.s|
000010b0 74 63 64 72 3a 09 43 47 53 74 43 61 72 28 34 2c |tcdr:.CGStCar(4,|
000010c0 20 46 41 4c 53 45 29 3b 20 45 4e 44 43 41 53 45 | FALSE); ENDCASE|
000010d0 0a 09 20 43 41 53 45 20 73 2e 73 74 69 6e 64 3a |.. CASE s.stind:|
000010e0 09 43 47 53 74 69 6e 64 28 29 3b 20 45 4e 44 43 |.CGStind(); ENDC|
000010f0 41 53 45 0a 09 20 43 41 53 45 20 73 2e 6d 6f 64 |ASE.. CASE s.mod|
00001100 3a 09 43 47 41 73 73 6f 70 28 29 3b 20 45 4e 44 |:.CGAssop(); END|
00001110 43 41 53 45 0a 09 20 43 41 53 45 20 73 2e 6d 6f |CASE.. CASE s.mo|
00001120 64 73 6c 63 74 3a 43 47 45 72 72 6f 72 28 46 41 |dslct:CGError(FA|
00001130 4c 53 45 2c 20 22 66 69 65 6c 64 20 6f 70 3a 3d |LSE, "field op:=|
00001140 20 6e 6f 74 20 69 6d 70 6c 65 6d 65 6e 74 65 64 | not implemented|
00001150 20 79 65 74 22 29 3b 0a 09 09 09 52 65 61 64 4e | yet");....ReadN|
00001160 28 29 3b 0a 09 09 09 53 74 61 63 6b 28 73 73 70 |();....Stack(ssp|
00001170 2d 32 29 3b 0a 09 09 09 45 4e 44 43 41 53 45 0a |-2);....ENDCASE.|
00001180 0a 09 20 43 41 53 45 20 73 2e 6d 75 6c 74 3a 09 |.. CASE s.mult:.|
00001190 43 47 4d 75 6c 74 28 29 3b 20 45 4e 44 43 41 53 |CGMult(); ENDCAS|
000011a0 45 0a 09 20 43 41 53 45 20 73 2e 70 6c 75 73 3a |E.. CASE s.plus:|
000011b0 09 43 47 50 6c 75 73 28 29 3b 20 45 4e 44 43 41 |.CGPlus(); ENDCA|
000011c0 53 45 0a 09 20 43 41 53 45 20 73 2e 64 69 76 3a |SE.. CASE s.div:|
000011d0 09 43 47 44 69 76 28 29 3b 20 45 4e 44 43 41 53 |.CGDiv(); ENDCAS|
000011e0 45 0a 09 20 43 41 53 45 20 73 2e 72 65 6d 3a 09 |E.. CASE s.rem:.|
000011f0 43 47 52 65 6d 28 29 3b 20 45 4e 44 43 41 53 45 |CGRem(); ENDCASE|
00001200 0a 09 20 43 41 53 45 20 73 2e 6d 69 6e 75 73 3a |.. CASE s.minus:|
00001210 09 43 47 4d 69 6e 75 73 28 29 3b 20 45 4e 44 43 |.CGMinus(); ENDC|
00001220 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e 66 6d |ASE... CASE s.fm|
00001230 75 6c 74 3a 0a 09 20 43 41 53 45 20 73 2e 66 70 |ult:.. CASE s.fp|
00001240 6c 75 73 3a 0a 09 20 43 41 53 45 20 73 2e 66 64 |lus:.. CASE s.fd|
00001250 69 76 3a 0a 09 20 43 41 53 45 20 73 2e 66 6d 69 |iv:.. CASE s.fmi|
00001260 6e 75 73 3a 20 43 47 46 6f 70 28 6f 70 29 3b 20 |nus: CGFop(op); |
00001270 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 |ENDCASE... CASE |
00001280 73 2e 66 6e 65 67 3a 0a 09 20 43 41 53 45 20 73 |s.fneg:.. CASE s|
00001290 2e 66 61 62 73 3a 09 43 47 46 55 6e 4f 70 28 6f |.fabs:.CGFUnOp(o|
000012a0 70 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 |p); ENDCASE.. CA|
000012b0 53 45 20 73 2e 66 69 78 3a 09 43 47 46 69 78 28 |SE s.fix:.CGFix(|
000012c0 29 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 |); ENDCASE.. CAS|
000012d0 45 20 73 2e 66 6c 6f 61 74 3a 09 43 47 46 6c 6f |E s.float:.CGFlo|
000012e0 61 74 28 29 3b 20 45 4e 44 43 41 53 45 0a 0a 09 |at(); ENDCASE...|
000012f0 20 43 41 53 45 20 73 2e 6c 6c 73 3a 20 43 41 53 | CASE s.lls: CAS|
00001300 45 20 73 2e 6c 67 72 3a 20 43 41 53 45 20 73 2e |E s.lgr: CASE s.|
00001310 6c 6c 65 3a 20 43 41 53 45 20 73 2e 6c 67 65 3a |lle: CASE s.lge:|
00001320 0a 09 20 43 41 53 45 20 73 2e 65 71 3a 20 20 43 |.. CASE s.eq: C|
00001330 41 53 45 20 73 2e 6e 65 3a 20 20 43 41 53 45 20 |ASE s.ne: CASE |
00001340 73 2e 6c 73 3a 0a 09 20 43 41 53 45 20 73 2e 67 |s.ls:.. CASE s.g|
00001350 72 3a 20 20 43 41 53 45 20 73 2e 6c 65 3a 20 20 |r: CASE s.le: |
00001360 43 41 53 45 20 73 2e 67 65 3a 0a 09 20 43 41 53 |CASE s.ge:.. CAS|
00001370 45 20 73 2e 66 65 71 3a 20 43 41 53 45 20 73 2e |E s.feq: CASE s.|
00001380 66 6e 65 3a 20 43 41 53 45 20 73 2e 66 6c 73 3a |fne: CASE s.fls:|
00001390 0a 09 20 43 41 53 45 20 73 2e 66 67 72 3a 20 43 |.. CASE s.fgr: C|
000013a0 41 53 45 20 73 2e 66 6c 65 3a 20 43 41 53 45 20 |ASE s.fle: CASE |
000013b0 73 2e 66 67 65 3a 0a 09 09 09 43 47 52 65 6c 6f |s.fge:....CGRelo|
000013c0 70 28 6f 70 2c 20 52 65 61 64 4f 70 28 29 29 3b |p(op, ReadOp());|
000013d0 20 4c 4f 4f 50 0a 0a 09 20 43 41 53 45 20 73 2e | LOOP... CASE s.|
000013e0 6c 73 68 69 66 74 3a 20 43 47 53 68 69 66 74 28 |lshift: CGShift(|
000013f0 73 68 2e 61 73 6c 29 3b 20 45 4e 44 43 41 53 45 |sh.asl); ENDCASE|
00001400 0a 09 20 43 41 53 45 20 73 2e 72 73 68 69 66 74 |.. CASE s.rshift|
00001410 3a 20 43 47 53 68 69 66 74 28 73 68 2e 6c 73 72 |: CGShift(sh.lsr|
00001420 29 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 |); ENDCASE... CA|
00001430 53 45 20 73 2e 6c 6f 67 61 6e 64 3a 0a 09 20 43 |SE s.logand:.. C|
00001440 41 53 45 20 73 2e 6c 6f 67 6f 72 3a 0a 09 20 43 |ASE s.logor:.. C|
00001450 41 53 45 20 73 2e 65 71 76 3a 0a 09 20 43 41 53 |ASE s.eqv:.. CAS|
00001460 45 20 73 2e 6e 65 71 76 3a 09 43 47 4c 6f 67 6f |E s.neqv:.CGLogo|
00001470 70 28 6f 70 2c 20 54 52 55 45 29 3b 20 4c 4f 4f |p(op, TRUE); LOO|
00001480 50 0a 0a 09 20 43 41 53 45 20 73 2e 6e 6f 74 3a |P... CASE s.not:|
00001490 0a 09 20 20 20 20 54 45 53 54 20 49 73 43 6f 6e |.. TEST IsCon|
000014a0 73 74 28 61 72 67 31 29 20 54 48 45 4e 0a 09 20 |st(arg1) THEN.. |
000014b0 20 20 20 20 20 20 68 33 21 61 72 67 31 20 3a 3d | h3!arg1 :=|
000014c0 20 7e 28 68 33 21 61 72 67 31 29 0a 09 20 20 20 | ~(h3!arg1).. |
000014d0 20 45 4c 53 45 20 7b 0a 09 20 20 20 20 20 20 20 | ELSE {.. |
000014e0 4c 45 54 20 6e 20 3d 20 4d 6f 76 65 54 6f 41 6e |LET n = MoveToAn|
000014f0 79 52 28 61 72 67 31 29 3b 0a 09 20 20 20 20 20 |yR(arg1);.. |
00001500 20 20 47 65 6e 52 52 28 66 2e 6d 76 6e 2c 20 6e | GenRR(f.mvn, n|
00001510 2c 20 30 2c 20 6e 29 3b 0a 09 20 20 20 20 20 20 |, 0, n);.. |
00001520 20 44 69 73 63 61 72 64 52 65 67 28 6e 2c 20 6b | DiscardReg(n, k|
00001530 2e 72 65 67 29 20 7d 3b 0a 09 20 20 20 20 45 4e |.reg) };.. EN|
00001540 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e |DCASE... CASE s.|
00001550 6e 65 67 3a 0a 09 20 20 20 20 54 45 53 54 20 49 |neg:.. TEST I|
00001560 73 43 6f 6e 73 74 28 61 72 67 31 29 20 54 48 45 |sConst(arg1) THE|
00001570 4e 0a 09 20 20 20 20 20 20 20 68 33 21 61 72 67 |N.. h3!arg|
00001580 31 20 3a 3d 20 2d 28 68 33 21 61 72 67 31 29 0a |1 := -(h3!arg1).|
00001590 09 20 20 20 20 45 4c 53 45 20 7b 0a 09 20 20 20 |. ELSE {.. |
000015a0 20 20 20 20 4c 45 54 20 6e 20 3d 20 4d 6f 76 65 | LET n = Move|
000015b0 54 6f 41 6e 79 52 28 61 72 67 31 29 3b 0a 09 20 |ToAnyR(arg1);.. |
000015c0 20 20 20 20 20 20 47 65 6e 46 31 4b 28 66 2e 72 | GenF1K(f.r|
000015d0 73 62 2c 20 6e 2c 20 6e 2c 20 30 29 3b 0a 09 20 |sb, n, n, 0);.. |
000015e0 20 20 20 20 20 20 44 69 73 63 61 72 64 52 65 67 | DiscardReg|
000015f0 28 6e 2c 20 6b 2e 72 65 67 29 20 7d 3b 0a 09 20 |(n, k.reg) };.. |
00001600 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 | ENDCASE... CA|
00001610 53 45 20 73 2e 61 62 73 3a 0a 09 20 7b 20 20 4c |SE s.abs:.. { L|
00001620 45 54 20 6e 20 3d 20 4d 6f 76 65 54 6f 41 6e 79 |ET n = MoveToAny|
00001630 52 28 61 72 67 31 29 3b 0a 09 20 20 20 20 46 6c |R(arg1);.. Fl|
00001640 75 73 68 50 65 6e 64 69 6e 67 49 6e 73 74 73 28 |ushPendingInsts(|
00001650 4e 75 6c 6c 2c 20 46 41 4c 53 45 29 3b 0a 09 20 |Null, FALSE);.. |
00001660 20 20 20 47 65 6e 46 31 4b 28 66 2e 63 6d 70 73 | GenF1K(f.cmps|
00001670 2c 20 30 2c 20 6e 2c 20 30 29 3b 0a 09 20 20 20 |, 0, n, 0);.. |
00001680 20 46 31 49 6e 73 74 28 66 2e 72 73 62 2c 20 6e | F1Inst(f.rsb, n|
00001690 2c 20 6e 2c 20 4e 75 6c 6c 2c 20 30 2c 20 4e 75 |, n, Null, 0, Nu|
000016a0 6c 6c 2c 20 30 2c 20 6d 2e 6c 74 29 3b 0a 09 20 |ll, 0, m.lt);.. |
000016b0 20 20 20 44 69 73 63 61 72 64 52 65 67 28 6e 2c | DiscardReg(n,|
000016c0 20 6b 2e 72 65 67 29 0a 09 20 20 20 20 45 4e 44 | k.reg).. END|
000016d0 43 41 53 45 20 7d 3b 0a 0a 09 20 43 41 53 45 20 |CASE };... CASE |
000016e0 73 2e 73 6c 63 74 61 70 3a 0a 09 20 20 20 20 49 |s.slctap:.. I|
000016f0 46 20 68 32 21 61 72 67 31 3e 3d 30 20 7c 20 68 |F h2!arg1>=0 | h|
00001700 31 21 61 72 67 31 3d 6b 2e 73 68 72 65 67 20 54 |1!arg1=k.shreg T|
00001710 48 45 4e 0a 09 20 20 20 20 20 20 20 4d 6f 76 65 |HEN.. Move|
00001720 54 6f 41 6e 79 52 28 61 72 67 31 29 3b 0a 09 20 |ToAnyR(arg1);.. |
00001730 20 20 20 7b 20 20 4c 45 54 20 73 69 7a 65 20 3d | { LET size =|
00001740 20 52 65 61 64 4e 28 29 3b 0a 09 20 20 20 20 20 | ReadN();.. |
00001750 20 20 4c 45 54 20 73 68 69 66 74 20 3d 20 52 65 | LET shift = Re|
00001760 61 64 4e 28 29 3b 0a 09 20 20 20 20 20 20 20 68 |adN();.. h|
00001770 34 21 61 72 67 31 20 3a 3d 20 68 34 21 61 72 67 |4!arg1 := h4!arg|
00001780 31 2b 52 65 61 64 4e 28 29 3b 0a 09 20 20 20 20 |1+ReadN();.. |
00001790 20 20 20 68 32 21 61 72 67 31 20 3a 3d 20 33 32 | h2!arg1 := 32|
000017a0 2a 73 69 7a 65 20 2b 20 73 68 69 66 74 0a 09 20 |*size + shift.. |
000017b0 20 20 20 20 20 20 45 4e 44 43 41 53 45 20 7d 3b | ENDCASE };|
000017c0 0a 0a 09 20 43 41 53 45 20 73 2e 73 6c 63 74 73 |... CASE s.slcts|
000017d0 74 3a 0a 09 20 20 20 20 43 47 53 6c 63 74 73 74 |t:.. CGSlctst|
000017e0 28 29 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 45 |();.. ENDCASE|
000017f0 0a 0a 09 20 43 41 53 45 20 73 2e 76 63 61 72 3a |... CASE s.vcar:|
00001800 0a 09 20 43 41 53 45 20 73 2e 76 63 64 72 3a 0a |.. CASE s.vcdr:.|
00001810 09 20 20 20 20 46 6c 75 73 68 50 65 6e 64 69 6e |. FlushPendin|
00001820 67 53 74 6f 72 65 73 28 29 3b 0a 09 20 20 20 20 |gStores();.. |
00001830 49 46 20 68 32 21 61 72 67 31 3e 3d 30 20 7c 20 |IF h2!arg1>=0 | |
00001840 68 31 21 61 72 67 31 3d 6b 2e 73 68 72 65 67 20 |h1!arg1=k.shreg |
00001850 54 48 45 4e 0a 09 20 20 20 20 20 20 20 4d 6f 76 |THEN.. Mov|
00001860 65 54 6f 41 6e 79 52 28 61 72 67 31 29 3b 0a 09 |eToAnyR(arg1);..|
00001870 20 20 20 20 49 46 20 6f 70 3d 73 2e 76 63 64 72 | IF op=s.vcdr|
00001880 20 54 48 45 4e 20 68 34 21 61 72 67 31 20 3a 3d | THEN h4!arg1 :=|
00001890 20 68 34 21 61 72 67 31 20 2b 20 34 3b 0a 09 20 | h4!arg1 + 4;.. |
000018a0 20 20 20 68 32 21 61 72 67 31 20 3a 3d 20 56 41 | h2!arg1 := VA|
000018b0 43 61 72 4d 61 72 6b 3b 0a 09 20 20 20 20 45 4e |CarMark;.. EN|
000018c0 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e |DCASE... CASE s.|
000018d0 63 61 72 3a 0a 09 20 43 41 53 45 20 73 2e 63 64 |car:.. CASE s.cd|
000018e0 72 3a 0a 09 20 20 20 20 46 6c 75 73 68 50 65 6e |r:.. FlushPen|
000018f0 64 69 6e 67 53 74 6f 72 65 73 28 29 3b 0a 09 20 |dingStores();.. |
00001900 20 20 20 49 46 20 68 32 21 61 72 67 31 3e 3d 30 | IF h2!arg1>=0|
00001910 20 7c 20 68 31 21 61 72 67 31 3d 6b 2e 73 68 72 | | h1!arg1=k.shr|
00001920 65 67 20 54 48 45 4e 0a 09 20 20 20 20 20 20 20 |eg THEN.. |
00001930 4d 6f 76 65 54 6f 41 6e 79 52 28 61 72 67 31 29 |MoveToAnyR(arg1)|
00001940 3b 0a 09 20 20 20 20 49 46 20 6f 70 3d 73 2e 63 |;.. IF op=s.c|
00001950 64 72 20 54 48 45 4e 20 68 34 21 61 72 67 31 20 |dr THEN h4!arg1 |
00001960 3a 3d 20 68 34 21 61 72 67 31 20 2b 20 34 3b 0a |:= h4!arg1 + 4;.|
00001970 09 20 20 20 20 68 32 21 61 72 67 31 20 3a 3d 20 |. h2!arg1 := |
00001980 43 61 72 4d 61 72 6b 3b 0a 09 20 20 20 20 45 4e |CarMark;.. EN|
00001990 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e |DCASE... CASE s.|
000019a0 72 76 3a 0a 09 20 20 20 20 49 46 20 68 32 21 61 |rv:.. IF h2!a|
000019b0 72 67 31 3e 3d 30 20 7c 20 68 31 21 61 72 67 31 |rg1>=0 | h1!arg1|
000019c0 3d 6b 2e 73 68 72 65 67 20 54 48 45 4e 0a 09 20 |=k.shreg THEN.. |
000019d0 20 20 20 20 20 20 4d 6f 76 65 54 6f 41 6e 79 52 | MoveToAnyR|
000019e0 28 61 72 67 31 29 3b 0a 09 20 20 20 20 68 32 21 |(arg1);.. h2!|
000019f0 61 72 67 31 20 3a 3d 20 30 3b 0a 09 20 20 20 20 |arg1 := 0;.. |
00001a00 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 |ENDCASE... CASE |
00001a10 73 2e 72 65 73 3a 0a 09 20 20 20 20 6c 6f 61 64 |s.res:.. load|
00001a20 52 65 67 46 72 6f 6d 46 52 65 67 4f 4b 20 3a 3d |RegFromFRegOK :=|
00001a30 20 54 52 55 45 3b 0a 09 20 20 20 20 4d 6f 76 65 | TRUE;.. Move|
00001a40 54 6f 52 28 41 72 67 75 6d 65 6e 74 52 65 67 69 |ToR(ArgumentRegi|
00001a50 73 74 65 72 28 31 29 2c 20 61 72 67 31 29 3b 0a |ster(1), arg1);.|
00001a60 09 20 20 20 20 6c 6f 61 64 52 65 67 46 72 6f 6d |. loadRegFrom|
00001a70 46 52 65 67 4f 4b 20 3a 3d 20 46 41 4c 53 45 3b |FRegOK := FALSE;|
00001a80 0a 09 20 20 20 20 53 74 61 63 6b 28 73 73 70 2d |.. Stack(ssp-|
00001a90 31 29 3b 0a 0a 09 20 43 41 53 45 20 73 2e 6a 75 |1);... CASE s.ju|
00001aa0 6d 70 3a 0a 09 20 7b 20 20 4c 45 54 20 6c 61 62 |mp:.. { LET lab|
00001ab0 20 3d 20 52 65 61 64 4c 28 29 3b 0a 09 20 20 20 | = ReadL();.. |
00001ac0 20 49 46 20 54 72 61 6e 73 66 65 72 72 65 64 4c | IF TransferredL|
00001ad0 61 62 65 6c 28 6c 61 62 29 7e 3d 30 20 54 48 45 |abel(lab)~=0 THE|
00001ae0 4e 20 7b 0a 09 20 20 20 20 20 20 20 53 74 6f 72 |N {.. Stor|
00001af0 65 28 30 2c 20 73 73 70 29 3b 0a 09 20 20 20 20 |e(0, ssp);.. |
00001b00 20 20 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 | FlushPendingS|
00001b10 74 6f 72 65 73 28 29 3b 0a 09 20 20 20 20 20 20 |tores();.. |
00001b20 20 4a 75 6d 70 28 6c 61 62 29 3b 0a 09 20 20 20 | Jump(lab);.. |
00001b30 20 20 20 20 64 65 61 64 43 6f 64 65 20 3a 3d 20 | deadCode := |
00001b40 44 65 61 64 3b 0a 09 20 20 20 20 20 20 20 45 4e |Dead;.. EN|
00001b50 44 43 41 53 45 20 7d 3b 0a 09 20 20 20 20 47 4f |DCASE };.. GO|
00001b60 54 4f 20 44 6f 52 74 72 6e 20 7d 0a 0a 09 20 43 |TO DoRtrn }... C|
00001b70 41 53 45 20 73 2e 6a 74 3a 0a 09 20 43 41 53 45 |ASE s.jt:.. CASE|
00001b80 20 73 2e 6a 66 3a 0a 09 20 20 20 20 4c 6f 61 64 | s.jf:.. Load|
00001b90 28 6b 2e 6e 75 6d 62 65 72 2c 20 30 29 3b 0a 09 |(k.number, 0);..|
00001ba0 20 20 20 20 43 47 52 65 6c 6f 70 28 73 2e 6e 65 | CGRelop(s.ne|
00001bb0 2c 20 6f 70 29 3b 0a 09 20 20 20 20 4c 4f 4f 50 |, op);.. LOOP|
00001bc0 0a 0a 09 20 43 41 53 45 20 73 2e 67 6f 74 6f 3a |... CASE s.goto:|
00001bd0 0a 09 20 20 20 20 53 74 6f 72 65 28 30 2c 20 73 |.. Store(0, s|
00001be0 73 70 2d 32 29 3b 0a 09 20 20 20 20 46 6c 75 73 |sp-2);.. Flus|
00001bf0 68 50 65 6e 64 69 6e 67 53 74 6f 72 65 73 28 29 |hPendingStores()|
00001c00 3b 0a 09 20 20 20 20 7b 20 20 4c 45 54 20 6e 20 |;.. { LET n |
00001c10 3d 20 4c 61 62 65 6c 49 6e 53 74 61 74 69 63 28 |= LabelInStatic(|
00001c20 61 72 67 31 29 3b 0a 09 20 20 20 20 20 20 20 54 |arg1);.. T|
00001c30 45 53 54 20 49 73 53 69 6d 70 6c 65 53 74 6f 72 |EST IsSimpleStor|
00001c40 65 4c 6f 63 28 61 72 67 31 29 20 54 48 45 4e 0a |eLoc(arg1) THEN.|
00001c50 09 09 20 20 54 45 53 54 20 6e 7e 3d 4e 75 6c 6c |.. TEST n~=Null|
00001c60 20 54 48 45 4e 0a 09 09 20 20 20 20 20 4a 75 6d | THEN... Jum|
00001c70 70 28 6e 29 0a 09 09 20 20 45 4c 53 45 0a 09 09 |p(n)... ELSE...|
00001c80 20 20 20 20 20 4d 6f 76 65 54 6f 52 28 72 2e 70 | MoveToR(r.p|
00001c90 63 2c 20 61 72 67 31 29 0a 09 20 20 20 20 20 20 |c, arg1).. |
00001ca0 20 45 4c 53 45 0a 09 09 20 20 47 65 6e 52 52 28 | ELSE... GenRR(|
00001cb0 66 2e 6d 6f 76 2c 20 72 2e 70 63 2c 20 30 2c 20 |f.mov, r.pc, 0, |
00001cc0 4d 6f 76 65 54 6f 41 6e 79 52 28 61 72 67 31 29 |MoveToAnyR(arg1)|
00001cd0 29 20 7d 3b 0a 09 20 20 20 20 49 6e 69 74 53 74 |) };.. InitSt|
00001ce0 61 63 6b 28 73 73 70 2d 31 29 3b 0a 09 20 20 20 |ack(ssp-1);.. |
00001cf0 20 64 65 61 64 43 6f 64 65 20 3a 3d 20 44 65 61 | deadCode := Dea|
00001d00 64 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 45 0a |d;.. ENDCASE.|
00001d10 0a 09 20 43 41 53 45 20 73 2e 6c 61 62 3a 0a 09 |.. CASE s.lab:..|
00001d20 20 7b 20 20 4c 45 54 20 6d 20 3d 20 52 65 61 64 | { LET m = Read|
00001d30 4c 28 29 3b 0a 09 20 20 20 20 4c 45 54 20 73 20 |L();.. LET s |
00001d40 3d 20 3f 3b 0a 09 20 20 20 20 4c 45 54 20 64 20 |= ?;.. LET d |
00001d50 3d 20 64 65 61 64 43 6f 64 65 3b 0a 09 20 20 20 |= deadCode;.. |
00001d60 20 49 46 20 41 73 73 6f 63 28 6d 2c 20 31 2c 20 | IF Assoc(m, 1, |
00001d70 74 72 61 6e 73 66 65 72 4c 61 62 73 29 7e 3d 4e |transferLabs)~=N|
00001d80 75 6c 6c 20 54 48 45 4e 20 7b 0a 09 20 20 20 20 |ull THEN {.. |
00001d90 20 20 20 54 45 53 54 20 54 72 61 6e 73 66 65 72 | TEST Transfer|
00001da0 72 65 64 4c 61 62 65 6c 28 6d 29 3d 70 65 6e 64 |redLabel(m)=pend|
00001db0 69 6e 67 4a 75 6d 70 0a 09 09 20 20 54 48 45 4e |ingJump... THEN|
00001dc0 20 49 46 20 6d 3d 70 65 6e 64 69 6e 67 4a 75 6d | IF m=pendingJum|
00001dd0 70 20 54 48 45 4e 20 70 65 6e 64 69 6e 67 4a 75 |p THEN pendingJu|
00001de0 6d 70 20 3a 3d 20 30 0a 09 09 20 20 45 4c 53 45 |mp := 0... ELSE|
00001df0 20 43 68 65 63 6b 44 65 6c 61 79 65 64 4a 75 6d | CheckDelayedJum|
00001e00 70 28 29 3b 0a 09 20 20 20 20 20 20 20 45 4e 44 |p();.. END|
00001e10 43 41 53 45 20 7d 3b 0a 0a 09 20 20 20 20 46 6c |CASE };... Fl|
00001e20 75 73 68 50 65 6e 64 69 6e 67 4c 6f 61 64 73 28 |ushPendingLoads(|
00001e30 29 3b 0a 09 20 20 20 20 46 6c 75 73 68 50 65 6e |);.. FlushPen|
00001e40 64 69 6e 67 53 74 6f 72 65 73 28 29 3b 0a 09 20 |dingStores();.. |
00001e50 20 20 20 53 74 6f 72 65 28 30 2c 20 73 73 70 29 | Store(0, ssp)|
00001e60 3b 0a 09 20 20 20 20 73 20 3a 3d 20 46 69 6e 64 |;.. s := Find|
00001e70 53 61 76 65 64 53 74 61 74 65 28 6d 29 3b 0a 09 |SavedState(m);..|
00001e80 20 20 20 20 49 46 20 28 43 47 44 65 62 75 67 4d | IF (CGDebugM|
00001e90 6f 64 65 26 64 62 2e 73 72 73 29 7e 3d 30 20 54 |ode&db.srs)~=0 T|
00001ea0 48 45 4e 0a 09 20 20 20 20 20 20 20 54 45 53 54 |HEN.. TEST|
00001eb0 20 73 3d 4e 75 6c 6c 20 54 48 45 4e 20 7b 0a 09 | s=Null THEN {..|
00001ec0 09 20 20 4c 45 54 20 70 20 3d 20 73 61 76 65 64 |. LET p = saved|
00001ed0 53 74 61 74 65 73 3b 0a 09 09 20 20 57 72 69 74 |States;... Writ|
00001ee0 65 46 28 22 6e 6f 20 73 61 76 65 64 20 73 74 61 |eF("no saved sta|
00001ef0 74 65 20 66 6f 72 20 25 6e 3a 2a 6e 22 2c 20 6d |te for %n:*n", m|
00001f00 29 3b 0a 09 09 20 20 57 48 49 4c 45 20 70 7e 3d |);... WHILE p~=|
00001f10 30 20 44 4f 20 7b 0a 09 09 20 20 20 20 20 50 72 |0 DO {... Pr|
00001f20 69 6e 74 52 65 67 69 73 74 65 72 53 74 61 74 65 |intRegisterState|
00001f30 28 70 29 3b 0a 09 09 20 20 20 20 20 70 20 3a 3d |(p);... p :=|
00001f40 20 21 70 20 7d 20 7d 0a 09 20 20 20 20 20 20 20 | !p } }.. |
00001f50 45 4c 53 45 20 7b 0a 09 09 20 20 57 72 69 74 65 |ELSE {... Write|
00001f60 46 28 22 46 6f 75 6e 64 20 73 61 76 65 64 20 73 |F("Found saved s|
00001f70 74 61 74 65 20 66 6f 72 20 25 6e 3a 22 2c 20 6d |tate for %n:", m|
00001f80 29 3b 0a 09 09 20 20 50 72 69 6e 74 52 65 67 69 |);... PrintRegi|
00001f90 73 74 65 72 53 74 61 74 65 28 73 29 20 7d 3b 0a |sterState(s) };.|
00001fa0 0a 09 20 20 20 20 54 45 53 54 20 73 3d 4e 75 6c |.. TEST s=Nul|
00001fb0 6c 20 54 48 45 4e 20 7b 0a 09 20 20 20 20 20 20 |l THEN {.. |
00001fc0 20 44 69 73 63 61 72 64 52 65 67 73 28 29 3b 0a | DiscardRegs();.|
00001fd0 09 20 20 20 20 20 20 20 54 4f 53 6f 66 66 73 65 |. TOSoffse|
00001fe0 74 20 3a 3d 20 4e 75 6c 6c 20 7d 0a 09 20 20 20 |t := Null }.. |
00001ff0 20 45 4c 53 45 20 7b 0a 09 20 20 20 20 20 20 20 | ELSE {.. |
00002000 49 46 20 64 65 61 64 43 6f 64 65 7e 3d 44 65 61 |IF deadCode~=Dea|
00002010 64 20 54 48 45 4e 20 7b 0a 09 09 20 20 4c 45 54 |d THEN {... LET|
00002020 20 70 20 3d 20 53 61 76 65 52 65 67 69 73 74 65 | p = SaveRegiste|
00002030 72 53 74 61 74 65 28 29 3b 0a 09 09 20 20 73 20 |rState();... s |
00002040 3a 3d 20 49 6e 74 65 72 73 65 63 74 69 6f 6e 4f |:= IntersectionO|
00002050 66 52 65 67 69 73 74 65 72 53 74 61 74 65 73 28 |fRegisterStates(|
00002060 70 2c 20 73 29 20 7d 3b 0a 09 20 20 20 20 20 20 |p, s) };.. |
00002070 20 44 69 73 63 61 72 64 52 65 67 73 28 29 3b 0a | DiscardRegs();.|
00002080 09 20 20 20 20 20 20 20 52 65 73 74 6f 72 65 52 |. RestoreR|
00002090 65 67 69 73 74 65 72 53 74 61 74 65 28 73 29 20 |egisterState(s) |
000020a0 7d 3b 0a 0a 09 20 20 20 20 52 30 4f 66 66 73 65 |};... R0Offse|
000020b0 74 20 3a 3d 20 4e 75 6c 6c 3b 0a 09 20 20 20 20 |t := Null;.. |
000020c0 49 6e 69 74 53 74 61 63 6b 28 73 73 70 29 3b 0a |InitStack(ssp);.|
000020d0 09 20 20 20 20 64 65 61 64 43 6f 64 65 20 3a 3d |. deadCode :=|
000020e0 20 41 6c 69 76 65 3b 0a 09 20 20 20 20 49 46 20 | Alive;.. IF |
000020f0 70 65 6e 64 69 6e 67 4a 75 6d 70 7e 3d 30 20 54 |pendingJump~=0 T|
00002100 48 45 4e 0a 09 20 20 20 20 20 20 20 54 45 53 54 |HEN.. TEST|
00002110 20 6d 3d 70 65 6e 64 69 6e 67 4a 75 6d 70 20 54 | m=pendingJump T|
00002120 48 45 4e 0a 09 09 20 20 70 65 6e 64 69 6e 67 4a |HEN... pendingJ|
00002130 75 6d 70 20 3a 3d 20 30 0a 09 20 20 20 20 20 20 |ump := 0.. |
00002140 20 45 4c 53 45 0a 09 09 20 20 43 68 65 63 6b 44 | ELSE... CheckD|
00002150 65 6c 61 79 65 64 4a 75 6d 70 28 29 3b 0a 0a 09 |elayedJump();...|
00002160 20 20 20 20 54 45 53 54 20 70 65 6e 64 69 6e 67 | TEST pending|
00002170 4c 61 62 3d 4e 75 6c 6c 20 54 48 45 4e 0a 09 20 |Lab=Null THEN.. |
00002180 20 20 20 20 20 20 53 65 74 4c 61 62 65 6c 28 6d | SetLabel(m|
00002190 29 0a 09 20 20 20 20 45 4c 53 45 20 54 45 53 54 |).. ELSE TEST|
000021a0 20 70 65 6e 64 69 6e 67 4c 61 62 3d 6d 20 54 48 | pendingLab=m TH|
000021b0 45 4e 20 7b 0a 09 20 20 20 20 20 20 20 46 6c 75 |EN {.. Flu|
000021c0 73 68 50 65 6e 64 69 6e 67 49 6e 73 74 73 28 70 |shPendingInsts(p|
000021d0 65 6e 64 69 6e 67 4d 61 73 6b 2c 20 54 52 55 45 |endingMask, TRUE|
000021e0 29 0a 09 20 20 20 20 20 20 20 49 46 20 7e 64 20 |).. IF ~d |
000021f0 7c 0a 09 09 20 20 7e 4c 61 62 65 6c 46 6c 61 67 ||... ~LabelFlag|
00002200 67 65 64 28 6d 2c 20 6c 61 62 2e 6f 6e 6c 79 6f |ged(m, lab.onlyo|
00002210 6e 65 6a 75 6d 70 29 20 7c 0a 09 09 20 20 20 4c |nejump) |... L|
00002220 61 62 65 6c 46 6c 61 67 67 65 64 28 6d 2c 20 6c |abelFlagged(m, l|
00002230 61 62 2e 6a 75 6d 70 65 64 74 6f 29 0a 09 09 20 |ab.jumpedto)... |
00002240 20 54 48 45 4e 20 53 65 74 4c 61 62 65 6c 28 6d | THEN SetLabel(m|
00002250 29 20 7d 0a 09 20 20 20 20 45 4c 53 45 20 7b 0a |) }.. ELSE {.|
00002260 09 20 20 20 20 20 20 20 46 6c 75 73 68 50 65 6e |. FlushPen|
00002270 64 69 6e 67 49 6e 73 74 73 28 4e 75 6c 6c 2c 20 |dingInsts(Null, |
00002280 54 52 55 45 29 3b 0a 09 20 20 20 20 20 20 20 53 |TRUE);.. S|
00002290 65 74 4c 61 62 65 6c 28 6d 29 20 7d 20 7d 3b 0a |etLabel(m) } };.|
000022a0 09 20 20 20 20 43 6f 75 6e 74 46 6c 61 67 20 3a |. CountFlag :|
000022b0 3d 20 63 6f 75 6e 74 69 6e 67 3b 0a 09 20 20 20 |= counting;.. |
000022c0 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 | ENDCASE... CASE|
000022d0 20 73 2e 71 75 65 72 79 3a 09 20 53 74 61 63 6b | s.query:. Stack|
000022e0 28 73 73 70 2b 31 29 3b 20 45 4e 44 43 41 53 45 |(ssp+1); ENDCASE|
000022f0 0a 09 20 43 41 53 45 20 73 2e 73 74 61 63 6b 3a |.. CASE s.stack:|
00002300 09 20 53 74 61 63 6b 28 52 65 61 64 4e 28 29 29 |. Stack(ReadN())|
00002310 3b 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 |; ENDCASE.. CASE|
00002320 20 73 2e 73 74 6f 72 65 3a 09 20 53 74 6f 72 65 | s.store:. Store|
00002330 28 30 2c 20 73 73 70 29 3b 0a 09 09 09 20 49 6e |(0, ssp);.... In|
00002340 69 74 53 74 61 63 6b 28 73 73 70 29 3b 0a 09 09 |itStack(ssp);...|
00002350 09 20 45 4e 44 43 41 53 45 0a 09 20 43 41 53 45 |. ENDCASE.. CASE|
00002360 20 73 2e 73 61 76 65 3a 09 20 43 47 53 61 76 65 | s.save:. CGSave|
00002370 28 52 65 61 64 4e 28 29 29 3b 20 45 4e 44 43 41 |(ReadN()); ENDCA|
00002380 53 45 0a 0a 09 20 43 41 53 45 20 73 2e 65 6e 74 |SE... CASE s.ent|
00002390 72 79 3a 0a 09 20 7b 20 20 4c 45 54 20 6e 20 3d |ry:.. { LET n =|
000023a0 20 52 65 61 64 4e 28 29 3b 0a 09 20 20 20 20 4c | ReadN();.. L|
000023b0 45 54 20 6d 20 3d 20 52 65 61 64 4c 28 29 3b 0a |ET m = ReadL();.|
000023c0 09 20 20 20 20 64 65 61 64 43 6f 64 65 20 3a 3d |. deadCode :=|
000023d0 20 41 6c 69 76 65 3b 0a 09 20 20 20 20 43 68 65 | Alive;.. Che|
000023e0 63 6b 44 65 6c 61 79 65 64 4a 75 6d 70 28 29 3b |ckDelayedJump();|
000023f0 0a 09 20 20 20 20 49 46 20 70 65 6e 64 69 6e 67 |.. IF pending|
00002400 4c 61 62 7e 3d 4e 75 6c 6c 20 54 48 45 4e 20 46 |Lab~=Null THEN F|
00002410 6c 75 73 68 50 65 6e 64 69 6e 67 49 6e 73 74 73 |lushPendingInsts|
00002420 28 4e 75 6c 6c 2c 20 46 41 4c 53 45 29 0a 09 20 |(Null, FALSE).. |
00002430 20 20 20 54 4f 53 6f 66 66 73 65 74 20 3a 3d 20 | TOSoffset := |
00002440 4e 75 6c 6c 3b 0a 09 20 20 20 20 52 30 4f 66 66 |Null;.. R0Off|
00002450 73 65 74 20 3a 3d 20 4e 75 6c 6c 3b 0a 09 20 20 |set := Null;.. |
00002460 20 20 43 47 45 6e 74 72 79 28 6e 2c 20 6d 29 3b | CGEntry(n, m);|
00002470 0a 09 20 20 20 20 45 4e 44 43 41 53 45 20 7d 0a |.. ENDCASE }.|
00002480 0a 09 20 43 41 53 45 20 73 2e 66 6e 61 70 3a 0a |.. CASE s.fnap:.|
00002490 09 20 43 41 53 45 20 73 2e 72 74 61 70 3a 0a 09 |. CASE s.rtap:..|
000024a0 20 20 20 20 43 47 41 70 70 6c 79 28 6f 70 2c 20 | CGApply(op, |
000024b0 52 65 61 64 4e 28 29 29 3b 0a 09 20 20 20 20 52 |ReadN());.. R|
000024c0 30 4f 66 66 73 65 74 20 3a 3d 20 4e 75 6c 6c 3b |0Offset := Null;|
000024d0 0a 09 20 20 20 20 4c 4f 4f 50 0a 0a 09 20 43 41 |.. LOOP... CA|
000024e0 53 45 20 73 2e 66 6e 72 6e 3a 0a 09 20 20 20 20 |SE s.fnrn:.. |
000024f0 44 65 6c 4c 6f 63 73 41 62 6f 76 65 28 30 2c 20 |DelLocsAbove(0, |
00002500 54 52 55 45 29 3b 0a 09 20 20 20 20 6c 6f 61 64 |TRUE);.. load|
00002510 52 65 67 46 72 6f 6d 46 52 65 67 4f 4b 20 3a 3d |RegFromFRegOK :=|
00002520 20 54 52 55 45 3b 0a 09 20 20 20 20 4d 6f 76 65 | TRUE;.. Move|
00002530 74 6f 52 28 41 72 67 75 6d 65 6e 74 52 65 67 69 |toR(ArgumentRegi|
00002540 73 74 65 72 28 31 29 2c 20 61 72 67 31 29 3b 0a |ster(1), arg1);.|
00002550 09 20 20 20 20 6c 6f 61 64 52 65 67 46 72 6f 6d |. loadRegFrom|
00002560 46 52 65 67 4f 4b 20 3a 3d 20 46 41 4c 53 45 3b |FRegOK := FALSE;|
00002570 0a 09 20 20 20 20 73 73 70 20 3a 3d 20 73 73 70 |.. ssp := ssp|
00002580 2d 31 3b 0a 0a 09 20 44 6f 52 74 72 6e 3a 0a 09 |-1;... DoRtrn:..|
00002590 20 43 41 53 45 20 73 2e 72 74 72 6e 3a 0a 09 20 | CASE s.rtrn:.. |
000025a0 20 20 20 44 65 6c 4c 6f 63 73 41 62 6f 76 65 28 | DelLocsAbove(|
000025b0 30 2c 20 54 52 55 45 29 3b 0a 09 20 20 20 20 49 |0, TRUE);.. I|
000025c0 46 20 64 65 61 64 43 6f 64 65 7e 3d 44 65 61 64 |F deadCode~=Dead|
000025d0 20 54 48 45 4e 20 7b 0a 09 20 20 20 20 20 20 20 | THEN {.. |
000025e0 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 74 6f 72 |FlushPendingStor|
000025f0 65 73 28 29 3b 0a 09 20 20 20 20 20 20 20 54 45 |es();.. TE|
00002600 53 54 20 75 73 65 73 46 72 61 6d 65 20 26 20 7e |ST usesFrame & ~|
00002610 6c 69 6e 6b 61 67 65 4e 6f 74 53 74 6f 72 65 64 |linkageNotStored|
00002620 20 54 48 45 4e 0a 09 09 20 20 54 45 53 54 20 63 | THEN... TEST c|
00002630 6f 6d 70 61 63 74 43 6f 64 65 20 54 48 45 4e 0a |ompactCode THEN.|
00002640 09 09 20 20 20 20 20 43 6f 6e 64 4a 75 6d 70 28 |.. CondJump(|
00002650 6d 2e 61 6c 77 61 79 73 2c 20 45 78 69 74 4c 61 |m.always, ExitLa|
00002660 62 29 0a 09 09 20 20 45 4c 53 45 20 7b 0a 09 09 |b)... ELSE {...|
00002670 20 20 20 20 20 4c 45 54 20 6c 64 6d 74 79 70 65 | LET ldmtype|
00002680 20 3d 20 72 65 76 65 72 73 65 64 53 74 61 63 6b | = reversedStack|
00002690 20 7c 20 73 61 76 65 53 70 61 63 65 53 69 7a 65 | | saveSpaceSize|
000026a0 3d 33 20 2d 3e 0a 09 09 09 09 09 20 20 20 20 20 |=3 ->...... |
000026b0 75 70 53 74 61 63 6b 2c 0a 09 09 09 09 09 20 20 |upStack,...... |
000026c0 20 20 20 75 70 53 74 61 63 6b 2b 66 2e 70 72 65 | upStack+f.pre|
000026d0 3b 0a 09 09 20 20 20 20 20 4c 45 54 20 62 61 73 |;... LET bas|
000026e0 65 20 3d 20 72 2e 70 3b 0a 09 09 20 20 20 20 20 |e = r.p;... |
000026f0 54 45 53 54 20 54 4f 53 4f 66 66 73 65 74 3d 33 |TEST TOSOffset=3|
00002700 20 54 48 45 4e 20 7b 0a 09 09 09 62 61 73 65 20 | THEN {....base |
00002710 3a 3d 20 72 2e 74 73 3b 0a 09 09 09 6c 64 6d 74 |:= r.ts;....ldmt|
00002720 79 70 65 20 3a 3d 20 66 2e 77 62 2b 28 72 65 76 |ype := f.wb+(rev|
00002730 65 72 73 65 64 53 74 61 63 6b 20 2d 3e 20 66 2e |ersedStack -> f.|
00002740 70 72 65 75 70 2c 0a 09 09 09 09 09 09 09 20 20 |preup,........ |
00002750 66 2e 70 72 65 64 6f 77 6e 29 20 7d 0a 09 09 20 |f.predown) }... |
00002760 20 20 20 20 45 4c 53 45 0a 09 09 09 47 65 6e 52 | ELSE....GenR|
00002770 52 28 66 2e 6d 6f 76 2c 20 72 2e 74 73 2c 20 30 |R(f.mov, r.ts, 0|
00002780 2c 20 72 2e 70 29 3b 0a 09 09 20 20 20 20 20 46 |, r.p);... F|
00002790 34 49 6e 73 74 28 66 2e 6c 64 6d 2c 20 62 61 73 |4Inst(f.ldm, bas|
000027a0 65 2c 20 66 34 2e 70 6c 70 63 2c 20 6c 64 6d 74 |e, f4.plpc, ldmt|
000027b0 79 70 65 2b 66 2e 70 63 29 20 7d 0a 09 20 20 20 |ype+f.pc) }.. |
000027c0 20 20 20 20 45 4c 53 45 0a 09 09 20 20 47 65 6e | ELSE... Gen|
000027d0 52 52 28 66 2e 6d 6f 76 73 2c 20 72 2e 70 63 2c |RR(f.movs, r.pc,|
000027e0 20 30 2c 20 72 2e 31 34 29 20 7d 3b 0a 09 20 20 | 0, r.14) };.. |
000027f0 20 20 49 6e 69 74 53 74 61 63 6b 28 73 73 70 29 | InitStack(ssp)|
00002800 3b 0a 09 20 20 20 20 64 65 61 64 43 6f 64 65 20 |;.. deadCode |
00002810 3a 3d 20 44 65 61 64 3b 0a 09 20 20 20 20 45 4e |:= Dead;.. EN|
00002820 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e |DCASE... CASE s.|
00002830 65 6e 64 66 6f 72 3a 0a 09 20 20 20 20 46 6c 75 |endfor:.. Flu|
00002840 73 68 50 65 6e 64 69 6e 67 53 74 6f 72 65 73 28 |shPendingStores(|
00002850 29 3b 0a 09 20 20 20 20 43 6f 6e 64 4a 75 6d 70 |);.. CondJump|
00002860 28 43 6f 6e 64 69 74 69 6f 6e 28 73 2e 6c 65 2c |(Condition(s.le,|
00002870 20 54 52 55 45 29 2c 20 52 65 61 64 4c 28 29 29 | TRUE), ReadL())|
00002880 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 45 0a 0a |;.. ENDCASE..|
00002890 09 20 43 41 53 45 20 73 2e 65 6e 64 62 6c 6f 63 |. CASE s.endbloc|
000028a0 6b 3a 0a 09 20 20 20 20 54 45 53 54 20 6e 61 6d |k:.. TEST nam|
000028b0 69 6e 67 20 54 48 45 4e 20 7b 0a 09 20 20 20 20 |ing THEN {.. |
000028c0 20 20 20 52 65 61 64 4e 61 6d 65 73 28 62 6c 6f | ReadNames(blo|
000028d0 63 6b 53 74 61 72 74 2c 20 6c 29 3b 0a 09 20 20 |ckStart, l);.. |
000028e0 20 20 20 20 20 62 6c 6f 63 6b 4c 61 62 65 6c 20 | blockLabel |
000028f0 3a 3d 20 6c 3b 0a 09 20 20 20 20 20 20 20 52 45 |:= l;.. RE|
00002900 54 55 52 4e 20 7d 0a 09 20 20 20 20 45 4c 53 45 |TURN }.. ELSE|
00002910 0a 09 20 20 20 20 20 20 20 49 67 6e 6f 72 65 4e |.. IgnoreN|
00002920 61 6d 65 73 28 29 3b 0a 09 20 20 20 20 45 4e 44 |ames();.. END|
00002930 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e 65 |CASE... CASE s.e|
00002940 6e 64 70 72 6f 63 3a 0a 09 20 20 20 20 43 68 65 |ndproc:.. Che|
00002950 63 6b 44 65 6c 61 79 65 64 4a 75 6d 70 28 29 3b |ckDelayedJump();|
00002960 0a 09 20 20 20 20 46 6c 75 73 68 50 65 6e 64 69 |.. FlushPendi|
00002970 6e 67 49 6e 73 74 73 28 4e 75 6c 6c 2c 20 54 52 |ngInsts(Null, TR|
00002980 55 45 29 3b 0a 09 20 20 20 20 49 46 20 7e 75 73 |UE);.. IF ~us|
00002990 65 73 52 4c 20 54 48 45 4e 20 7b 0a 09 20 20 20 |esRL THEN {.. |
000029a0 20 20 20 20 46 6c 61 67 4c 61 62 65 6c 28 6c 6f | FlagLabel(lo|
000029b0 63 61 6c 43 6f 6e 73 74 4c 61 62 2c 20 6c 61 62 |calConstLab, lab|
000029c0 2e 65 6e 64 70 72 6f 63 6c 61 62 29 3b 0a 09 20 |.endproclab);.. |
000029d0 20 20 20 20 20 20 53 65 74 4c 61 62 65 6c 28 6c | SetLabel(l|
000029e0 6f 63 61 6c 43 6f 6e 73 74 4c 61 62 29 3b 0a 09 |ocalConstLab);..|
000029f0 20 20 20 20 20 20 20 47 65 6e 44 61 74 61 28 6c | GenData(l|
00002a00 6f 63 61 6c 43 6f 6e 73 74 61 6e 74 73 29 3b 0a |ocalConstants);.|
00002a10 09 20 20 20 20 20 20 20 57 48 49 4c 45 20 21 6c |. WHILE !l|
00002a20 6f 63 61 6c 43 6f 6e 73 74 61 6e 74 73 7e 3d 30 |ocalConstants~=0|
00002a30 20 44 4f 20 7b 0a 09 09 20 20 4c 45 54 20 70 20 | DO {... LET p |
00002a40 3d 20 6c 6f 63 61 6c 43 6f 6e 73 74 61 6e 74 73 |= localConstants|
00002a50 3b 0a 09 09 20 20 6c 6f 63 61 6c 43 6f 6e 73 74 |;... localConst|
00002a60 61 6e 74 73 20 3a 3d 20 21 6c 6f 63 61 6c 43 6f |ants := !localCo|
00002a70 6e 73 74 61 6e 74 73 3b 0a 09 09 20 20 21 70 20 |nstants;... !p |
00002a80 3a 3d 20 66 72 65 65 44 61 74 61 42 6c 6f 63 6b |:= freeDataBlock|
00002a90 73 3b 0a 09 09 20 20 66 72 65 65 44 61 74 61 42 |s;... freeDataB|
00002aa0 6c 6f 63 6b 73 20 3a 3d 20 70 20 7d 3b 0a 09 20 |locks := p };.. |
00002ab0 20 20 20 20 20 20 45 6e 64 4f 66 44 61 74 61 49 | EndOfDataI|
00002ac0 6e 42 6c 6f 63 6b 21 6c 6f 63 61 6c 43 6f 6e 73 |nBlock!localCons|
00002ad0 74 61 6e 74 73 20 3a 3d 20 44 61 74 61 42 6c 6f |tants := DataBlo|
00002ae0 63 6b 49 74 65 6d 73 2d 31 3b 0a 09 20 20 20 20 |ckItems-1;.. |
00002af0 20 20 20 6c 6f 63 61 6c 43 6f 6e 73 74 4c 61 62 | localConstLab|
00002b00 20 3a 3d 20 4e 65 78 74 4c 61 62 65 6c 28 29 3b | := NextLabel();|
00002b10 0a 09 20 20 20 20 20 20 20 6c 6f 63 61 6c 43 6f |.. localCo|
00002b20 6e 73 74 50 20 3a 3d 20 6c 6f 63 61 6c 43 6f 6e |nstP := localCon|
00002b30 73 74 61 6e 74 73 3b 0a 09 20 20 20 20 20 20 20 |stants;.. |
00002b40 6c 6f 63 61 6c 46 61 64 64 72 20 3a 3d 20 30 20 |localFaddr := 0 |
00002b50 7d 3b 0a 0a 09 20 20 20 20 43 6c 65 61 72 41 73 |};... ClearAs|
00002b60 73 69 67 6e 65 64 52 65 67 69 73 74 65 72 73 28 |signedRegisters(|
00002b70 29 3b 0a 09 20 20 20 20 62 61 73 65 20 3a 3d 20 |);.. base := |
00002b80 62 61 73 65 2d 33 3b 0a 09 20 20 20 20 62 61 73 |base-3;.. bas|
00002b90 65 4c 61 62 2c 20 62 61 73 65 41 64 64 72 20 3a |eLab, baseAddr :|
00002ba0 3d 20 62 61 73 65 21 30 2c 20 62 61 73 65 21 31 |= base!0, base!1|
00002bb0 3b 0a 09 20 20 20 20 7b 20 20 4c 45 54 20 66 20 |;.. { LET f |
00002bc0 3d 20 62 61 73 65 21 32 3b 0a 09 20 20 20 20 20 |= base!2;.. |
00002bd0 20 20 6c 6f 63 61 6c 73 53 61 66 65 20 3a 3d 20 | localsSafe := |
00002be0 28 66 26 31 29 7e 3d 30 3b 0a 09 20 20 20 20 20 |(f&1)~=0;.. |
00002bf0 20 20 75 73 65 73 46 72 61 6d 65 20 3a 3d 20 28 | usesFrame := (|
00002c00 66 26 32 29 7e 3d 30 3b 0a 09 20 20 20 20 20 20 |f&2)~=0;.. |
00002c10 20 63 6f 6e 74 61 69 6e 73 43 61 6c 6c 73 20 3a | containsCalls :|
00002c20 3d 20 28 66 26 34 29 7e 3d 30 3b 0a 09 20 20 20 |= (f&4)~=0;.. |
00002c30 20 20 20 20 75 73 65 73 52 4c 20 3a 3d 20 28 66 | usesRL := (f|
00002c40 26 38 29 7e 3d 30 3b 0a 09 20 20 20 20 20 20 20 |&8)~=0;.. |
00002c50 66 20 3a 3d 20 66 26 34 38 3b 0a 09 20 20 20 20 |f := f&48;.. |
00002c60 20 20 20 6c 69 6e 6b 61 67 65 4e 6f 74 53 74 6f | linkageNotSto|
00002c70 72 65 64 20 3a 3d 20 66 3d 30 09 2d 3e 20 46 41 |red := f=0.-> FA|
00002c80 4c 53 45 2c 0a 09 09 09 09 20 20 20 66 3d 31 36 |LSE,..... f=16|
00002c90 20 2d 3e 20 72 2e 62 2c 0a 09 09 09 09 09 20 20 | -> r.b,...... |
00002ca0 20 54 52 55 45 20 7d 3b 0a 09 20 20 20 20 54 45 | TRUE };.. TE|
00002cb0 53 54 20 6e 61 6d 69 6e 67 20 54 48 45 4e 20 7b |ST naming THEN {|
00002cc0 0a 09 20 20 20 20 20 20 20 52 65 61 64 4e 61 6d |.. ReadNam|
00002cd0 65 73 28 62 6c 6f 63 6b 53 74 61 72 74 2c 20 6c |es(blockStart, l|
00002ce0 29 3b 0a 09 20 20 20 20 20 20 20 57 72 69 74 65 |);.. Write|
00002cf0 4e 61 6d 65 73 28 29 3b 0a 09 20 20 20 20 20 20 |Names();.. |
00002d00 20 52 45 54 55 52 4e 20 7d 0a 09 20 20 20 20 45 | RETURN }.. E|
00002d10 4c 53 45 20 7b 0a 09 20 20 20 20 20 20 20 49 67 |LSE {.. Ig|
00002d20 6e 6f 72 65 4e 61 6d 65 73 28 29 3b 0a 09 20 20 |noreNames();.. |
00002d30 20 20 20 20 20 45 4e 44 43 41 53 45 20 7d 0a 0a | ENDCASE }..|
00002d40 09 20 43 41 53 45 20 73 2e 72 73 74 61 63 6b 3a |. CASE s.rstack:|
00002d50 0a 09 20 20 20 20 53 74 61 63 6b 28 52 65 61 64 |.. Stack(Read|
00002d60 4e 28 29 29 3b 0a 09 20 20 20 20 4c 6f 61 64 28 |N());.. Load(|
00002d70 6b 2e 72 65 67 2c 20 41 72 67 75 6d 65 6e 74 52 |k.reg, ArgumentR|
00002d80 65 67 69 73 74 65 72 28 31 29 29 3b 0a 09 20 20 |egister(1));.. |
00002d90 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 | ENDCASE... CAS|
00002da0 45 20 73 2e 66 69 6e 69 73 68 3a 0a 09 20 20 20 |E s.finish:.. |
00002db0 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 74 6f | FlushPendingSto|
00002dc0 72 65 73 28 29 3b 0a 09 20 20 20 20 53 65 74 52 |res();.. SetR|
00002dd0 74 6f 52 70 6c 75 73 4b 28 72 2e 70 63 2c 20 72 |toRplusK(r.pc, r|
00002de0 2e 67 62 2c 20 73 72 2e 66 69 6e 29 3b 0a 09 20 |.gb, sr.fin);.. |
00002df0 20 20 20 64 65 61 64 43 6f 64 65 20 3a 3d 20 44 | deadCode := D|
00002e00 65 61 64 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 |ead;.. ENDCAS|
00002e10 45 0a 0a 09 20 43 41 53 45 20 73 2e 73 77 69 74 |E... CASE s.swit|
00002e20 63 68 6f 6e 3a 0a 09 20 20 20 20 46 6c 75 73 68 |chon:.. Flush|
00002e30 50 65 6e 64 69 6e 67 53 74 6f 72 65 73 28 29 3b |PendingStores();|
00002e40 0a 09 20 20 20 20 43 47 53 77 69 74 63 68 28 52 |.. CGSwitch(R|
00002e50 65 61 64 4e 28 29 29 3b 0a 09 20 20 20 20 45 4e |eadN());.. EN|
00002e60 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 73 2e |DCASE... CASE s.|
00002e70 67 6c 6f 62 61 6c 3a 20 20 20 43 47 47 6c 6f 62 |global: CGGlob|
00002e80 61 6c 28 52 65 61 64 4e 28 29 29 3b 20 52 45 54 |al(ReadN()); RET|
00002e90 55 52 4e 0a 0a 09 20 43 41 53 45 20 73 2e 64 73 |URN... CASE s.ds|
00002ea0 74 72 3a 0a 09 20 7b 20 20 4c 45 54 20 6c 61 62 |tr:.. { LET lab|
00002eb0 65 6c 20 3d 20 52 65 61 64 4c 28 29 3b 0a 09 20 |el = ReadL();.. |
00002ec0 20 20 20 43 47 53 74 72 69 6e 67 28 52 65 61 64 | CGString(Read|
00002ed0 4e 28 29 2c 20 6c 61 62 65 6c 29 3b 0a 09 20 20 |N(), label);.. |
00002ee0 20 20 45 4e 44 43 41 53 45 20 7d 0a 0a 09 20 43 | ENDCASE }... C|
00002ef0 41 53 45 20 73 2e 64 65 66 65 78 74 3a 0a 09 20 |ASE s.defext:.. |
00002f00 7b 20 20 4c 45 54 20 6c 61 62 20 3d 20 52 65 61 |{ LET lab = Rea|
00002f10 64 4c 28 29 3b 0a 09 20 20 20 20 41 64 64 58 53 |dL();.. AddXS|
00002f20 79 6d 62 6f 6c 28 52 65 61 64 53 74 72 69 6e 67 |ymbol(ReadString|
00002f30 28 52 65 61 64 4e 28 29 29 2c 20 33 2c 20 6c 61 |(ReadN()), 3, la|
00002f40 62 29 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 45 |b);.. ENDCASE|
00002f50 20 7d 0a 0a 09 20 43 41 53 45 20 73 2e 72 65 66 | }... CASE s.ref|
00002f60 65 78 74 3a 0a 09 20 2f 2f 20 61 6c 72 65 61 64 |ext:.. // alread|
00002f70 79 20 68 61 6e 64 6c 65 64 0a 09 20 20 20 20 52 |y handled.. R|
00002f80 65 61 64 4c 28 29 3b 0a 09 20 20 20 20 46 4f 52 |eadL();.. FOR|
00002f90 20 69 20 3d 20 31 20 54 4f 20 52 65 61 64 4e 28 | i = 1 TO ReadN(|
00002fa0 29 20 44 4f 20 52 65 61 64 4e 28 29 3b 0a 09 20 |) DO ReadN();.. |
00002fb0 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 | ENDCASE... CA|
00002fc0 53 45 20 73 2e 64 74 61 62 3a 0a 09 20 43 41 53 |SE s.dtab:.. CAS|
00002fd0 45 20 73 2e 64 61 74 61 6c 61 62 3a 0a 09 20 20 |E s.datalab:.. |
00002fe0 20 20 64 61 74 61 4c 61 62 65 6c 20 3a 3d 20 52 | dataLabel := R|
00002ff0 65 61 64 4c 28 29 3b 0a 09 20 20 20 20 44 61 74 |eadL();.. Dat|
00003000 61 28 73 2e 64 61 74 61 6c 61 62 2c 20 64 61 74 |a(s.datalab, dat|
00003010 61 4c 61 62 65 6c 29 3b 0a 09 20 20 20 20 73 74 |aLabel);.. st|
00003020 61 74 69 63 4c 61 62 65 6c 73 20 3a 3d 0a 09 20 |aticLabels :=.. |
00003030 20 20 20 20 20 20 46 69 6c 6c 42 6c 6b 28 34 2c | FillBlk(4,|
00003040 20 73 74 61 74 69 63 4c 61 62 65 6c 73 2c 20 64 | staticLabels, d|
00003050 61 74 61 4c 61 62 65 6c 2c 20 4e 75 6c 6c 2c 20 |ataLabel, Null, |
00003060 73 74 61 74 69 63 4f 66 66 73 65 74 29 3b 0a 09 |staticOffset);..|
00003070 20 20 20 20 49 46 20 6f 70 3d 73 2e 64 74 61 62 | IF op=s.dtab|
00003080 20 54 48 45 4e 20 52 65 61 64 4e 28 29 3b 09 2f | THEN ReadN();./|
00003090 2f 20 64 69 73 63 61 72 64 20 74 68 65 20 74 61 |/ discard the ta|
000030a0 62 6c 65 20 6c 65 6e 67 74 68 0a 09 20 20 20 20 |ble length.. |
000030b0 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 20 |ENDCASE... CASE |
000030c0 73 2e 69 74 65 6d 6e 3a 0a 09 20 20 20 20 64 61 |s.itemn:.. da|
000030d0 74 61 4c 61 62 65 6c 20 3a 3d 20 4e 75 6c 6c 3b |taLabel := Null;|
000030e0 0a 09 20 20 20 20 44 61 74 61 28 73 2e 69 74 65 |.. Data(s.ite|
000030f0 6d 6e 2c 20 52 65 61 64 4e 28 29 29 3b 0a 09 20 |mn, ReadN());.. |
00003100 20 20 20 73 74 61 74 69 63 4f 66 66 73 65 74 20 | staticOffset |
00003110 3a 3d 20 73 74 61 74 69 63 4f 66 66 73 65 74 2b |:= staticOffset+|
00003120 34 3b 0a 09 20 20 20 20 45 4e 44 43 41 53 45 0a |4;.. ENDCASE.|
00003130 0a 09 20 43 41 53 45 20 73 2e 69 74 65 6d 6c 3a |.. CASE s.iteml:|
00003140 0a 09 20 7b 20 20 4c 45 54 20 6c 61 62 20 3d 20 |.. { LET lab = |
00003150 52 65 61 64 4c 28 29 3b 0a 09 20 20 20 20 4c 45 |ReadL();.. LE|
00003160 54 20 70 20 3d 20 41 73 73 6f 63 28 6c 61 62 2c |T p = Assoc(lab,|
00003170 20 31 2c 20 74 72 61 6e 73 66 65 72 4c 61 62 73 | 1, transferLabs|
00003180 29 3b 0a 09 20 20 20 20 49 46 20 70 7e 3d 4e 75 |);.. IF p~=Nu|
00003190 6c 6c 20 54 48 45 4e 20 31 21 70 20 3a 3d 20 2d |ll THEN 1!p := -|
000031a0 31 3b 0a 09 20 20 20 20 49 46 20 64 61 74 61 4c |1;.. IF dataL|
000031b0 61 62 65 6c 7e 3d 4e 75 6c 6c 20 54 48 45 4e 20 |abel~=Null THEN |
000031c0 7b 0a 09 20 20 20 20 20 20 20 4c 45 54 20 70 20 |{.. LET p |
000031d0 3d 20 46 69 6e 64 4c 61 62 65 6c 45 6e 74 72 79 |= FindLabelEntry|
000031e0 28 6c 61 62 29 3b 0a 09 20 20 20 20 20 20 20 4c |(lab);.. L|
000031f0 45 54 20 71 20 3d 20 41 73 73 6f 63 28 64 61 74 |ET q = Assoc(dat|
00003200 61 4c 61 62 65 6c 2c 20 31 2c 20 73 74 61 74 69 |aLabel, 1, stati|
00003210 63 4c 61 62 65 6c 73 29 3b 0a 09 20 20 20 20 20 |cLabels);.. |
00003220 20 20 21 70 20 3a 3d 20 21 70 20 26 20 7e 28 6c | !p := !p & ~(l|
00003230 61 62 2e 66 6f 72 77 61 72 64 6a 75 6d 70 2b 6c |ab.forwardjump+l|
00003240 61 62 2e 6f 6e 6c 79 6f 6e 65 6a 75 6d 70 29 3b |ab.onlyonejump);|
00003250 0a 09 20 20 20 20 20 20 20 32 21 71 20 3a 3d 20 |.. 2!q := |
00003260 6c 61 62 20 7d 3b 0a 09 20 20 20 20 64 61 74 61 |lab };.. data|
00003270 4c 61 62 65 6c 20 3a 3d 20 4e 75 6c 6c 3b 0a 09 |Label := Null;..|
00003280 20 20 20 20 73 74 61 74 69 63 4f 66 66 73 65 74 | staticOffset|
00003290 20 3a 3d 20 73 74 61 74 69 63 4f 66 66 73 65 74 | := staticOffset|
000032a0 2b 34 3b 0a 09 20 20 20 20 44 61 74 61 28 73 2e |+4;.. Data(s.|
000032b0 69 74 65 6d 6c 2c 20 6c 61 62 29 3b 20 45 4e 44 |iteml, lab); END|
000032c0 43 41 53 45 20 7d 0a 20 20 20 20 20 20 7d 3b 0a |CASE }. };.|
000032d0 0a 20 20 20 20 20 20 6f 70 20 3a 3d 20 52 65 61 |. op := Rea|
000032e0 64 4f 70 28 29 20 7d 73 20 52 45 50 45 41 54 0a |dOp() }s REPEAT.|
000032f0 7d 0a 0a 41 4e 44 20 4c 61 62 65 6c 49 6e 53 74 |}..AND LabelInSt|
00003300 61 74 69 63 28 78 29 20 3d 20 56 41 4c 4f 46 20 |atic(x) = VALOF |
00003310 7b 0a 20 20 20 4c 45 54 20 70 2c 20 74 2c 20 6e |{. LET p, t, n|
00003320 20 3d 20 3f 2c 20 68 31 21 78 2c 20 68 33 21 78 | = ?, h1!x, h3!x|
00003330 3b 0a 20 20 20 49 46 20 7e 49 73 53 69 6d 70 6c |;. IF ~IsSimpl|
00003340 65 53 74 6f 72 65 4c 6f 63 28 78 29 20 54 48 45 |eStoreLoc(x) THE|
00003350 4e 20 52 45 53 55 4c 54 49 53 20 4e 75 6c 6c 3b |N RESULTIS Null;|
00003360 0a 0a 20 20 20 54 45 53 54 20 74 3d 6b 2e 6c 61 |.. TEST t=k.la|
00003370 62 20 54 48 45 4e 0a 20 20 20 20 20 20 70 20 3a |b THEN. p :|
00003380 3d 20 41 73 73 6f 63 28 6e 2c 20 31 2c 20 73 74 |= Assoc(n, 1, st|
00003390 61 74 69 63 4c 61 62 65 6c 73 29 0a 20 20 20 45 |aticLabels). E|
000033a0 4c 53 45 20 54 45 53 54 20 74 3d 6b 2e 73 74 61 |LSE TEST t=k.sta|
000033b0 74 69 63 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 |tic THEN {. |
000033c0 20 70 20 3a 3d 20 41 73 73 6f 63 28 6e 2a 34 2c | p := Assoc(n*4,|
000033d0 20 33 2c 20 73 74 61 74 69 63 4c 61 62 65 6c 73 | 3, staticLabels|
000033e0 29 3b 0a 20 20 20 20 20 20 49 46 20 70 7e 3d 4e |);. IF p~=N|
000033f0 75 6c 6c 20 54 48 45 4e 20 6e 20 3a 3d 20 31 21 |ull THEN n := 1!|
00003400 70 20 7d 0a 20 20 20 45 4c 53 45 20 52 45 53 55 |p }. ELSE RESU|
00003410 4c 54 49 53 20 4e 75 6c 6c 3b 0a 0a 20 20 20 49 |LTIS Null;.. I|
00003420 46 20 70 3d 4e 75 6c 6c 20 7c 0a 20 20 20 20 20 |F p=Null |. |
00003430 20 4c 61 62 65 6c 46 6c 61 67 67 65 64 28 6e 2c | LabelFlagged(n,|
00003440 20 6c 61 62 2e 73 74 6f 72 65 64 2b 6c 61 62 2e | lab.stored+lab.|
00003450 6c 76 74 61 6b 65 6e 29 20 54 48 45 4e 0a 20 20 |lvtaken) THEN. |
00003460 20 20 20 20 52 45 53 55 4c 54 49 53 20 4e 75 6c | RESULTIS Nul|
00003470 6c 3b 0a 0a 20 20 20 52 45 53 55 4c 54 49 53 20 |l;.. RESULTIS |
00003480 70 21 32 20 7d 0a 0a 41 4e 44 20 58 53 79 6d 49 |p!2 }..AND XSymI|
00003490 6e 53 74 61 74 69 63 28 78 29 20 3d 20 56 41 4c |nStatic(x) = VAL|
000034a0 4f 46 20 7b 0a 20 20 20 4c 45 54 20 70 2c 20 74 |OF {. LET p, t|
000034b0 2c 20 6e 20 3d 20 3f 2c 20 68 31 21 78 2c 20 68 |, n = ?, h1!x, h|
000034c0 33 21 78 3b 0a 20 20 20 49 46 20 7e 49 73 53 69 |3!x;. IF ~IsSi|
000034d0 6d 70 6c 65 53 74 6f 72 65 4c 6f 63 28 78 29 20 |mpleStoreLoc(x) |
000034e0 54 48 45 4e 20 52 45 53 55 4c 54 49 53 20 4e 75 |THEN RESULTIS Nu|
000034f0 6c 6c 3b 0a 20 20 20 54 45 53 54 20 74 3d 6b 2e |ll;. TEST t=k.|
00003500 6c 61 62 20 54 48 45 4e 0a 20 20 20 20 20 20 70 |lab THEN. p|
00003510 20 3a 3d 20 41 73 73 6f 63 28 6e 2c 20 31 2c 20 | := Assoc(n, 1, |
00003520 73 74 61 74 69 63 4c 61 62 65 6c 73 29 0a 20 20 |staticLabels). |
00003530 20 45 4c 53 45 20 54 45 53 54 20 74 3d 6b 2e 73 | ELSE TEST t=k.s|
00003540 74 61 74 69 63 20 54 48 45 4e 20 7b 0a 20 20 20 |tatic THEN {. |
00003550 20 20 20 70 20 3a 3d 20 41 73 73 6f 63 28 6e 2a | p := Assoc(n*|
00003560 34 2c 20 33 2c 20 73 74 61 74 69 63 4c 61 62 65 |4, 3, staticLabe|
00003570 6c 73 29 3b 0a 20 20 20 20 20 20 49 46 20 70 7e |ls);. IF p~|
00003580 3d 4e 75 6c 6c 20 54 48 45 4e 20 6e 20 3a 3d 20 |=Null THEN n := |
00003590 31 21 70 20 7d 0a 20 20 20 45 4c 53 45 20 52 45 |1!p }. ELSE RE|
000035a0 53 55 4c 54 49 53 20 4e 75 6c 6c 3b 0a 0a 20 20 |SULTIS Null;.. |
000035b0 20 49 46 20 70 3d 4e 75 6c 6c 20 7c 0a 20 20 20 | IF p=Null |. |
000035c0 20 20 20 4c 61 62 65 6c 46 6c 61 67 67 65 64 28 | LabelFlagged(|
000035d0 6e 2c 20 6c 61 62 2e 73 74 6f 72 65 64 2b 6c 61 |n, lab.stored+la|
000035e0 62 2e 6c 76 74 61 6b 65 6e 29 20 7c 0a 20 20 20 |b.lvtaken) |. |
000035f0 20 20 20 32 21 70 7e 3d 4e 75 6c 6c 20 54 48 45 | 2!p~=Null THE|
00003600 4e 0a 20 20 20 20 20 20 52 45 53 55 4c 54 49 53 |N. RESULTIS|
00003610 20 4e 75 6c 6c 3b 0a 0a 20 20 20 70 20 3a 3d 20 | Null;.. p := |
00003620 41 73 73 6f 63 28 6e 2c 20 31 2c 20 78 72 65 66 |Assoc(n, 1, xref|
00003630 53 79 6d 73 29 3b 0a 20 20 20 49 46 20 70 3d 4e |Syms);. IF p=N|
00003640 75 6c 6c 20 54 48 45 4e 20 52 45 53 55 4c 54 49 |ull THEN RESULTI|
00003650 53 20 4e 75 6c 6c 3b 0a 20 20 20 52 45 53 55 4c |S Null;. RESUL|
00003660 54 49 53 20 70 21 32 20 7d 0a 0a 41 4e 44 20 4f |TIS p!2 }..AND O|
00003670 66 66 73 65 74 4f 66 53 74 61 74 69 63 28 6c 61 |ffsetOfStatic(la|
00003680 62 29 20 3d 20 56 41 4c 4f 46 20 7b 0a 20 20 20 |b) = VALOF {. |
00003690 4c 45 54 20 70 20 3d 20 41 73 73 6f 63 28 6c 61 |LET p = Assoc(la|
000036a0 62 2c 20 31 2c 20 73 74 61 74 69 63 4c 61 62 65 |b, 1, staticLabe|
000036b0 6c 73 29 3b 0a 20 20 20 52 45 53 55 4c 54 49 53 |ls);. RESULTIS|
000036c0 20 70 3d 4e 75 6c 6c 20 2d 3e 20 4e 75 6c 6c 2c | p=Null -> Null,|
000036d0 0a 09 09 20 20 20 20 20 20 28 70 21 33 29 2f 34 |... (p!3)/4|
000036e0 20 7d 0a 0a 41 4e 44 20 4c 6f 61 64 4c 61 62 65 | }..AND LoadLabe|
000036f0 6c 4f 72 53 74 61 74 69 63 28 6f 70 29 20 42 45 |lOrStatic(op) BE|
00003700 20 7b 0a 20 20 20 4c 45 54 20 6e 20 3d 20 52 65 | {. LET n = Re|
00003710 61 64 4c 28 29 3b 0a 20 20 20 4c 45 54 20 6b 20 |adL();. LET k |
00003720 3d 20 4f 66 66 73 65 74 4f 66 53 74 61 74 69 63 |= OffsetOfStatic|
00003730 28 6e 29 3b 0a 20 20 20 54 45 53 54 20 6b 3d 4e |(n);. TEST k=N|
00003740 75 6c 6c 20 54 48 45 4e 0a 20 20 20 20 20 20 4c |ull THEN. L|
00003750 6f 61 64 28 6f 70 2c 20 6e 29 0a 20 20 20 45 4c |oad(op, n). EL|
00003760 53 45 0a 20 20 20 20 20 20 4c 6f 61 64 28 6f 70 |SE. Load(op|
00003770 2b 6b 2e 73 74 61 74 69 63 2d 6b 2e 6c 61 62 2c |+k.static-k.lab,|
00003780 20 6b 29 20 7d 0a | k) }.|
00003786 
.