Home » Archimedes archive » Zipped Apps » BCPL » BCPL/b/cgg
BCPL/b/cgg
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/cgg |
| Read OK: | ✔ |
| File size: | 2E8E bytes |
| Load address: | 0000 |
| Exec address: | 0000 |
File contents
SECTION "CGG"
GET "b.CGheader"
STATIC $(
// Version of 14 Apr 86 14:03:03
dummy = VersionMark;
Version = 1*256+13 $);
/* 1.4 04 Nov 85 11:02:38
Don't destroy memory of contents of register before it's loaded.
1.5 07 Feb 86 11:57:13
Incorporation of floating point
1.6 18 Feb 86 16:17:49
Byte selectors access byte n not 3-n
1.7 20 Feb 86 12:11:32
Fields with shift 0 not only do not need to shift, they must not
(LSR 0 is actually LSR 32)
1.8 25 Feb 86 11:02:48
Loading of fields uses a copy held in a register if there is one
(this is a bug fix as well)
1.9 03 Mar 86 11:55:06
CgVecAp (and CgVecSt) failed if one side is of the form x+k with
a shifted version of x present in a register.
1.10 07 Mar 86 21:35:28
k.static.
Code improvement for !@thing
1.11 21 Mar 86 12:20:13
Deferred shifts
1.12 14 Apr 86 14:03:25
MoveToAnyRSomeTime (case thing is k.reg) only needs to flush it if
it's not the target register.
*/
LET FreeReg(r) BE
$( FOR t = tempv TO arg1 BY SSSize DO
IF (h1!t=k.reg | h1!t=k.shreg) & h3!t=r THEN $(
StoreT(t); BREAK $);
FlushPendingUsesOfReg(r);
DiscardReg(r, k.reg)
$)
AND FreeWithoutUnlocking(r) BE
$( LET l = Locked(r, k.reg);
FOR t = tempv TO arg1 BY SSSize DO
IF (h1!t=k.reg | h1!t=k.shreg) & h3!t=r THEN $(
StoreT(t); BREAK $);
FlushPendingUsesOfReg(r);
IF l THEN Lock(r, k.reg)
$)
AND MoveToR(r, x) BE
$( MoveToRSomeTime(r, x);
FlushPendingLoadsForReg(r)
$)
AND LoadArg3ToSomeCR() = VALOF
$( LET arg3 = arg2-SSSize;
TEST arg3<tempv THEN $(
LET r = NextR();
LET b, n = (linkageNotStored -> r.ts, r.p), ssp-3;
TEST usesFrame THEN
n := n*nextStackWord
ELSE
b, n := r.ts, nextStackWord*(n-saveSpaceSize);
GenF2(f.ldr, r, b, 0, n);
RESULTIS r $)
ELSE
RESULTIS MoveToAnyCR(arg3)
$)
AND MoveToRSomeTime(r, x) BE
$( RemoveFalseIndirection(x);
$( LET t, ind, n, k = h1!x, h2!x, h3!x, h4!x
AND b, m = 0, 0;
LET nx4, kx4 = n*4, k*4;
IF ind<0 THEN $(
LET r = LookFor(x, NotAddr);
IF r>=0 THEN t, n := k.reg, r $);
IF r>0 THEN
UNLESS (t=k.reg | t=k.shreg) & n=r THEN FreeWithoutUnlocking(r);
IF ind>=0 THEN $(
r := CompileDS(f.ldr, r, r, x);
GOTO l $);
IF r<0 THEN r := NextR();
IF t~=k.reg | k~=0 THEN
FlushPendingUsesOfReg(r);
SWITCHON t INTO
$( CASE k.reg:
IF r~=n & RegInPendingList(pendingLoads, n)~=Null
THEN FlushPendingLoadsForReg(n);
TEST k~=0 THEN
SetRtoRplusK(r, n, k)
ELSE $(
IF n~=r THEN $(
DiscardReg(r, k.reg);
GenRR(f.mov, r, 0, n);
MoveRToR(k.reg, n, k.reg, r) $);
GOTO lx $);
ENDCASE
CASE k.shreg:
ShiftRegisterDS(r, n, k/32, k REM 32);
ENDCASE
CASE k.freg:
IF ~loadRegFromFRegOK THEN
CGError(OnlyWarning, "Floating point operand to integer operation");
DiscardReg(r, k.reg);
MoveFRToR(n, r, x);
IF k~=0 THEN SetRToRplusK(r, r, k);
ENDCASE;
CASE k.number:
SetRtoK(r, n+k);
MoveStoR(k.reg, r, k.number, n+k);
GOTO lx
CASE k.lab:
m, nx4 := n, 0;
b := CheckRLLoaded();
GOTO la
CASE k.glob:
b := r.g;
GOTO la;
CASE k.static:
b := CheckRLLoaded();
GOTO la;
CASE k.loc:
TEST usesFrame
THEN b, nx4 := r.p, nextStackWord*n
ELSE b, nx4 := r.ts, nextStackWord*(n-saveSpaceSize);
la: DiscardReg(r, k.reg);
TEST t=k.lab | b=r.0 THEN
GenF2(f.ldr, r, b, m, nx4)
ELSE {
AddToPendingLoads(r, t, n, 0);
IF k~=0 THEN FlushPendingLoadsForReg(r)
};
TEST k=0 THEN $(
MoveStoR(k.reg, r, t, (t=k.lab -> m, n));
GOTO lx $)
ELSE
SetRtoRplusK(r, r, k);
ENDCASE
CASE k.lvsloc: // can't happen with no frame
nx4 := nextStackWord*n;
b := linkageNotStored -> r.ts, r.p;
SetRtoRplusK(r, b, nx4+k); ENDCASE
CASE k.lvsglob:
SetRtoRplusK(r, r.g, nx4+k); ENDCASE
CASE k.lvsstatic:
b := CheckRLLoaded();
SetRtoRplusK(r, b, nx4+k); ENDCASE
CASE k.lvslab:
b := CheckRLLoaded();
SetRtoRplusLplusK(r, b, n, k)
ENDCASE
CASE k.lvloc: // also must have a frame
/* IF ~linkageNotStored & (n+k)=TOSoffset THEN $(
ShiftRegisterDS(r, r.ts, sh.lsr, 2);
GOTO l $);
// that needs some extra work doing to ensure
// that TOSoffset is correct: ie no pending loads
// which will affect it
*/
nx4 := nextStackWord*n;
b := linkageNotStored -> r.ts, r.p;
GOTO loadit
CASE k.lvstatic:
b := CheckRLLoaded();
GOTO loadit
CASE k.lvglob:
b := r.g;
loadit: k := k+n; n := k;
m := LookForRegContainingType(t);
TEST m=Null THEN $(
ShiftRegisterDS(r, b, sh.lsr, 2);
m := r $)
ELSE
n := n-LocInRegister(m);
SetRtoRplusK(r, m, n);
MoveStoR(k.reg, r, t, k);
GOTO lx
CASE k.lvlab:
$( LET k1 = k�
b := CheckRLLoaded();
SetRtoRplusLplusK(r, b, n, kx4);
ShiftRegister(r, sh.lsr, 2);
IF k1~=0 & k1~=#xe0000000 THEN
SetRtoRplusK(r, r, k�) $)
$);
l: DiscardReg(r, k.reg);
lx:h1!x, h2!x, h3!x, h4!x := k.reg, -1, r, 0 $)
$)
AND TypeofField(size, shift) =
size=8 & (shift REM 8)=0 -> bytefield,
size<8 & [(size+shift) REM 8]=0 -> lbytefield,
genfield
AND GenOpToStore(f, r, b, m, a) BE
GenOpToStoreDS(f, r, r, b, m, a)
AND GenOpToStoreDS(f, r, s, b, m, a) BE
TEST f=f.str THEN
GenF2(f, r, b, m, a)
ELSE $(
LET r2 = r;
LET t, n, o = Null, 0, 0;
IF f~=f.ldr THEN $(
Lock(r, k.reg); Lock(s, k.reg);
r2 := NextR() $);
TEST b=r.p THEN
t, n := k.loc, a/nextStackWord
ELSE TEST b=r.g THEN
t, n := k.glob, a/4
ELSE TEST b=r.l THEN
IF m=0 THEN
t, n := k.static, a/4
ELSE
t, n, o := k.ireg, b, a/4;
TEST t~=Null THEN $(
AddToPendingLoads(r2, t, n, o);
IF t~=k.ireg THEN MoveStoR(k.reg, r2, t, n) $)
ELSE
GenF2(f.ldr, r2, b, m, a);
IF f~=f.ldr THEN $(
FlushPendingLoadsForReg(r2);
GenRR(f, r, s, r2);
UnLock(r, k.reg); UnLock(s, k.reg) $) $)
AND CompileDS(f, r, s, x) = VALOF
$( LET t, ind, n, k = h1!x, h2!x, h3!x, h4!x;
LET m, a = ?, ?;
LET r1 = Null;
IF ind>=0 THEN $(
LET b = ?;
IF ind>=Carmark THEN $(
h2!x, h4!x := -1, 0;
b := (ind=VACarMark -> MoveToAnyCR(x),
LoadCarAdd(x));
Lock(b, k.reg);
IF r<0 THEN r := NextR(); // must be some sort of load
IF s<0 THEN s := r;
TEST f=f.ld THEN
GenCPDT(f, r, b, 0, k/BytesPerWord)
ELSE
GenOpToStoreDS(f, r, s, b, 0, k);
UnLock(b, k.reg);
RESULTIS r $);
m, a := 0, 4*k;
SWITCHON t INTO
$( CASE k.lvlab:
b, m := CheckRLLoaded(), n;
ENDCASE
CASE k.lvloc:
$( LET v = VEC sssize;
h1!v, h2!v, h3!v, h4!v := k.loc, -1, k+n, 0;
r1 := IsInARegister(v) $);
a := a+nextStackWord*n;
b := linkageNotStored -> r.ts, r.p;
ENDCASE
CASE k.lvstatic:
CASE k.lvglob:
$( LET v = VEC sssize;
h1!v, h2!v, h3!v, h4!v := t+k.glob-k.lvglob, -1, k+n, 0;
r1 := IsInARegister(v) $);
a := a+4*n; b := t=k.lvglob -> r.g, CheckRLLoaded();
ENDCASE
DEFAULT:
h2!x, h4!x := -1, 0;
b := LoadAddress(x);
TEST localsSafe
THEN FlushPendingStoresExceptLocalsAndIregs()
ELSE FlushPendingStores()
// Lock(b, k.reg)
$);
IF r<0 THEN r := NextR();
IF s<0 THEN s := r;
TEST ind=0 THEN
TEST f=f.ld THEN
GenCPDT(f, r, b, m, a/BytesPerWord)
ELSE
GenOpToStoreDS(f, r, s, b, m, a)
ELSE $(
LET size = ind/32;
LET shift = ind REM 32;
LET r2 = r;
LET classOfSel = TypeOfField(size, shift);
IF f~=f.ldr THEN r2 := NextR();
TEST r1=Null & (classOfSel=bytefield | classOfSel=lbytefield) THEN
$( GenF2(f.ldrb, r2, b, m, a+shift/8);
IF classOfSel~=bytefield THEN
$( shift := shift REM 8;
IF shift~=0 THEN ShiftRegister(r2, sh.lsr, shift) $) $)
ELSE $(
LET left = TargetWordSize-size;
TEST r1=Null THEN $(
GenF2(f.ldr, r2, b, m, a);
r1 := r2 $)
ELSE
FlushPendingLoadsForReg(r1);
TEST shift~=0 | (left>8 & left<24) THEN $(
LET n = TargetWordSize-size-shift;
IF n~=0 THEN
$( ShiftRegisterDS(r2, r1, sh.asl, n);
r1 := r2 $);
ShiftRegisterDS(r2, r1, sh.lsr, left) $)
ELSE TEST left<=16 THEN
GenF1K(f.bic, r2, r1, ~[(-1)>>left])
ELSE
GenF1K(f.and, r2, r1, (-1)>>left) $);
TEST f=f.ld THEN
MoveRtoFR(r2, r, x)
ELSE IF f~=f.ldr THEN $(
GenRR(f, r, s, r2);
DiscardReg(r, k.reg) $);
DiscardReg(r2, k.reg) $);
UnLock(b, k.reg);
RESULTIS r
$);
IF k=0 THEN SWITCHON t INTO
$( CASE k.loc: k, m := linkageNotStored -> r.ts, r.p, 0;
a := nextStackWord*n; GOTO ll
CASE k.lab: k, m, a := CheckRLLoaded(), n, 0; GOTO ll
CASE k.static:k, m, a := CheckRLLoaded(), 0, 4*n; GOTO ll
CASE k.glob: k, m := r.g, 0; a := 4*n;
ll: GenOpToStoreDS(f, r, s, k, m, a);
lm: IF f~=f.cmps THEN
TEST f=f.ldr THEN
MoveStoR(k.reg, r, t, n)
ELSE
DiscardReg(r, k.reg);
RESULTIS r
DEFAULT:
$);
TEST t=k.number THEN
TEST f=f.ldr THEN
SetRtoK(r, n+k)
ELSE TEST EightBitsOrFewer(n+k) THEN
F1Inst(f, r, s, Null, k+n, Null, 0, m.always)
ELSE $(
LET r2 = ?;
Lock(r, k.reg); Lock(s, k.reg);
r2 := NextR();
SetRtoK(r2, k+n);
GenRR(f, r, s, r2);
UnLock(r, k.reg); Unlock(s, k.reg) $)
ELSE $(
LET b, n = r.p, h5!x;
StoreT(x);
IF ~usesFrame THEN b, n := r.ts, n-saveSpaceSize;
n := n*nextStackWord
GenOpToStoreDS(f, r, s, b, 0, n) $);
RESULTIS r
$)
AND CGVecSt() BE
$( LET r = ?;
loadRegFromFRegOK := TRUE;
r := LoadArg3ToSomeCR();
loadRegFromFRegOK := FALSE;
ReadOp();
CGVecapOrSt(f.str, r);
TEST localsSafe THEN
DiscardNonLocalRegs()
ELSE
DiscardNonConstRegs();
Stack(ssp-2)
$)
AND CGVecap() BE
$( LET op = ?;
ReadOp();
op := PeekN();
TEST op=s.sp | op=s.sg | op=s.sl THEN $(
LET t = op=s.sp -> k.loc,
op=s.sg -> k.glob,
k.lab;
LET n =?;
ReadOp();
n := ReadN();
IF t=k.lab THEN $(
LET k = OffsetOfStatic(n);
IF k~=Null THEN t, n := k.static, k $);
CGVecapOrSt(f.ldr, LookForSloc(NotAddr, t, n));
GenStore(t, n) $)
ELSE
CGVecapOrSt(f.ldr, -1)
$)
AND CGVecapOrSt(fn, r) BE
$( // both sides should be reasonably complicated
// (at least, not a constant)
LET x, y = arg1, arg2;
LET f = LoadAddress;
LET b, ix = ?, ?;
LET shiftby = 2;
FlushPendingStores();
IF h2!arg1>=0 THEN MoveToAnyR(arg1);
IF h2!arg2>=0 THEN MoveToAnyR(arg2);
TEST k.lvloc<=h1!arg1<=k.lvlab THEN $(
f, h1!arg1 := MoveToAnyCR, h1!arg1+k.lvs;
h4!arg1 := h4!arg1*4 $)
ELSE TEST k.lvloc<=h1!arg2<=k.lvlab THEN $(
x, y := arg2, arg1;
f, h1!arg2 := MoveToAnyCR, h1!arg2+k.lvs;
h4!arg2 := h4!arg2*4 $)
ELSE IF LookFor(arg2, ShiftedUp)>=0 THEN $(
x, y := arg2, arg1;
IF h1!y~=k.shreg THEN $(
h4!y := h4!x+h4!y;
h4!x := 0 $) $);
b := f(x);
Lock(b, k.reg);
TEST h1!y=k.shreg & (h4!y)/32=sh.asl THEN
ix, shiftby := h3!y, shiftby+[(h4!y) REM 32]
ELSE
ix := MoveToAnyCR(y);
Lock(ix, k.reg);
IF r<0 THEN r := NextR();
TEST localsSafe THEN $(
IF fn=f.str THEN FlushPendingLoadsExceptLocals();
FlushPendingStoresExceptLocalsAndIregs() $)
ELSE $(
IF fn=f.str THEN FlushPendingLoads();
FlushPendingStores() $);
F2Inst(fn, r, b, 0, ix, f.preup, sh.asl, shiftby, m.always);
UnLock(b, k.reg); UnLock(ix, k.reg);
TEST fn=f.ldr THEN
Lose(r, k.reg)
ELSE
Stack(ssp-1)
$)
00000000 53 45 43 54 49 4f 4e 20 22 43 47 47 22 0a 0a 47 |SECTION "CGG"..G|
00000010 45 54 20 22 62 2e 43 47 68 65 61 64 65 72 22 0a |ET "b.CGheader".|
00000020 0a 53 54 41 54 49 43 20 24 28 0a 20 20 20 2f 2f |.STATIC $(. //|
00000030 20 56 65 72 73 69 6f 6e 20 6f 66 20 31 34 20 41 | Version of 14 A|
00000040 70 72 20 38 36 20 31 34 3a 30 33 3a 30 33 0a 20 |pr 86 14:03:03. |
00000050 20 20 64 75 6d 6d 79 20 3d 20 56 65 72 73 69 6f | dummy = Versio|
00000060 6e 4d 61 72 6b 3b 0a 20 20 20 56 65 72 73 69 6f |nMark;. Versio|
00000070 6e 20 3d 20 31 2a 32 35 36 2b 31 33 20 24 29 3b |n = 1*256+13 $);|
00000080 0a 0a 2f 2a 20 31 2e 34 09 30 34 20 4e 6f 76 20 |../* 1.4.04 Nov |
00000090 38 35 20 31 31 3a 30 32 3a 33 38 0a 20 20 20 20 |85 11:02:38. |
000000a0 20 44 6f 6e 27 74 20 64 65 73 74 72 6f 79 20 6d | Don't destroy m|
000000b0 65 6d 6f 72 79 20 6f 66 20 63 6f 6e 74 65 6e 74 |emory of content|
000000c0 73 20 6f 66 20 72 65 67 69 73 74 65 72 20 62 65 |s of register be|
000000d0 66 6f 72 65 20 69 74 27 73 20 6c 6f 61 64 65 64 |fore it's loaded|
000000e0 2e 0a 20 20 20 31 2e 35 09 30 37 20 46 65 62 20 |.. 1.5.07 Feb |
000000f0 38 36 20 31 31 3a 35 37 3a 31 33 0a 20 20 20 20 |86 11:57:13. |
00000100 20 49 6e 63 6f 72 70 6f 72 61 74 69 6f 6e 20 6f | Incorporation o|
00000110 66 20 66 6c 6f 61 74 69 6e 67 20 70 6f 69 6e 74 |f floating point|
00000120 0a 20 20 20 31 2e 36 09 31 38 20 46 65 62 20 38 |. 1.6.18 Feb 8|
00000130 36 20 31 36 3a 31 37 3a 34 39 0a 20 20 20 20 20 |6 16:17:49. |
00000140 42 79 74 65 20 73 65 6c 65 63 74 6f 72 73 20 61 |Byte selectors a|
00000150 63 63 65 73 73 20 62 79 74 65 20 6e 20 6e 6f 74 |ccess byte n not|
00000160 20 33 2d 6e 0a 20 20 20 31 2e 37 09 32 30 20 46 | 3-n. 1.7.20 F|
00000170 65 62 20 38 36 20 31 32 3a 31 31 3a 33 32 0a 20 |eb 86 12:11:32. |
00000180 20 20 20 20 46 69 65 6c 64 73 20 77 69 74 68 20 | Fields with |
00000190 73 68 69 66 74 20 30 20 6e 6f 74 20 6f 6e 6c 79 |shift 0 not only|
000001a0 20 64 6f 20 6e 6f 74 20 6e 65 65 64 20 74 6f 20 | do not need to |
000001b0 73 68 69 66 74 2c 20 74 68 65 79 20 6d 75 73 74 |shift, they must|
000001c0 20 6e 6f 74 0a 20 20 20 20 20 28 4c 53 52 20 30 | not. (LSR 0|
000001d0 20 69 73 20 61 63 74 75 61 6c 6c 79 20 4c 53 52 | is actually LSR|
000001e0 20 33 32 29 0a 20 20 20 31 2e 38 09 32 35 20 46 | 32). 1.8.25 F|
000001f0 65 62 20 38 36 20 31 31 3a 30 32 3a 34 38 0a 20 |eb 86 11:02:48. |
00000200 20 20 20 20 4c 6f 61 64 69 6e 67 20 6f 66 20 66 | Loading of f|
00000210 69 65 6c 64 73 20 75 73 65 73 20 61 20 63 6f 70 |ields uses a cop|
00000220 79 20 68 65 6c 64 20 69 6e 20 61 20 72 65 67 69 |y held in a regi|
00000230 73 74 65 72 20 69 66 20 74 68 65 72 65 20 69 73 |ster if there is|
00000240 20 6f 6e 65 0a 20 20 20 20 20 28 74 68 69 73 20 | one. (this |
00000250 69 73 20 61 20 62 75 67 20 66 69 78 20 61 73 20 |is a bug fix as |
00000260 77 65 6c 6c 29 0a 20 20 20 31 2e 39 09 30 33 20 |well). 1.9.03 |
00000270 4d 61 72 20 38 36 20 31 31 3a 35 35 3a 30 36 0a |Mar 86 11:55:06.|
00000280 20 20 20 20 20 43 67 56 65 63 41 70 20 28 61 6e | CgVecAp (an|
00000290 64 20 43 67 56 65 63 53 74 29 20 66 61 69 6c 65 |d CgVecSt) faile|
000002a0 64 20 69 66 20 6f 6e 65 20 73 69 64 65 20 69 73 |d if one side is|
000002b0 20 6f 66 20 74 68 65 20 66 6f 72 6d 20 78 2b 6b | of the form x+k|
000002c0 20 77 69 74 68 0a 20 20 20 20 20 61 20 73 68 69 | with. a shi|
000002d0 66 74 65 64 20 76 65 72 73 69 6f 6e 20 6f 66 20 |fted version of |
000002e0 78 20 70 72 65 73 65 6e 74 20 69 6e 20 61 20 72 |x present in a r|
000002f0 65 67 69 73 74 65 72 2e 0a 20 20 20 31 2e 31 30 |egister.. 1.10|
00000300 20 30 37 20 4d 61 72 20 38 36 20 32 31 3a 33 35 | 07 Mar 86 21:35|
00000310 3a 32 38 0a 20 20 20 20 20 6b 2e 73 74 61 74 69 |:28. k.stati|
00000320 63 2e 0a 20 20 20 20 20 43 6f 64 65 20 69 6d 70 |c.. Code imp|
00000330 72 6f 76 65 6d 65 6e 74 20 66 6f 72 20 21 40 74 |rovement for !@t|
00000340 68 69 6e 67 0a 20 20 20 31 2e 31 31 20 32 31 20 |hing. 1.11 21 |
00000350 4d 61 72 20 38 36 20 31 32 3a 32 30 3a 31 33 0a |Mar 86 12:20:13.|
00000360 20 20 20 20 20 44 65 66 65 72 72 65 64 20 73 68 | Deferred sh|
00000370 69 66 74 73 0a 20 20 20 31 2e 31 32 20 31 34 20 |ifts. 1.12 14 |
00000380 41 70 72 20 38 36 20 31 34 3a 30 33 3a 32 35 0a |Apr 86 14:03:25.|
00000390 20 20 20 20 20 4d 6f 76 65 54 6f 41 6e 79 52 53 | MoveToAnyRS|
000003a0 6f 6d 65 54 69 6d 65 20 28 63 61 73 65 20 74 68 |omeTime (case th|
000003b0 69 6e 67 20 69 73 20 6b 2e 72 65 67 29 20 6f 6e |ing is k.reg) on|
000003c0 6c 79 20 6e 65 65 64 73 20 74 6f 20 66 6c 75 73 |ly needs to flus|
000003d0 68 20 69 74 20 69 66 0a 20 20 20 20 20 69 74 27 |h it if. it'|
000003e0 73 20 6e 6f 74 20 74 68 65 20 74 61 72 67 65 74 |s not the target|
000003f0 20 72 65 67 69 73 74 65 72 2e 0a 2a 2f 0a 0a 4c | register..*/..L|
00000400 45 54 20 46 72 65 65 52 65 67 28 72 29 20 42 45 |ET FreeReg(r) BE|
00000410 0a 24 28 20 46 4f 52 20 74 20 3d 20 74 65 6d 70 |.$( FOR t = temp|
00000420 76 20 54 4f 20 61 72 67 31 20 42 59 20 53 53 53 |v TO arg1 BY SSS|
00000430 69 7a 65 20 44 4f 0a 20 20 20 20 20 20 49 46 20 |ize DO. IF |
00000440 28 68 31 21 74 3d 6b 2e 72 65 67 20 7c 20 68 31 |(h1!t=k.reg | h1|
00000450 21 74 3d 6b 2e 73 68 72 65 67 29 20 26 20 68 33 |!t=k.shreg) & h3|
00000460 21 74 3d 72 20 54 48 45 4e 20 24 28 0a 09 20 53 |!t=r THEN $(.. S|
00000470 74 6f 72 65 54 28 74 29 3b 20 42 52 45 41 4b 20 |toreT(t); BREAK |
00000480 24 29 3b 0a 20 20 20 46 6c 75 73 68 50 65 6e 64 |$);. FlushPend|
00000490 69 6e 67 55 73 65 73 4f 66 52 65 67 28 72 29 3b |ingUsesOfReg(r);|
000004a0 0a 20 20 20 44 69 73 63 61 72 64 52 65 67 28 72 |. DiscardReg(r|
000004b0 2c 20 6b 2e 72 65 67 29 0a 24 29 0a 0a 41 4e 44 |, k.reg).$)..AND|
000004c0 20 46 72 65 65 57 69 74 68 6f 75 74 55 6e 6c 6f | FreeWithoutUnlo|
000004d0 63 6b 69 6e 67 28 72 29 20 42 45 0a 24 28 20 4c |cking(r) BE.$( L|
000004e0 45 54 20 6c 20 3d 20 4c 6f 63 6b 65 64 28 72 2c |ET l = Locked(r,|
000004f0 20 6b 2e 72 65 67 29 3b 0a 20 20 20 46 4f 52 20 | k.reg);. FOR |
00000500 74 20 3d 20 74 65 6d 70 76 20 54 4f 20 61 72 67 |t = tempv TO arg|
00000510 31 20 42 59 20 53 53 53 69 7a 65 20 44 4f 0a 20 |1 BY SSSize DO. |
00000520 20 20 20 20 20 49 46 20 28 68 31 21 74 3d 6b 2e | IF (h1!t=k.|
00000530 72 65 67 20 7c 20 68 31 21 74 3d 6b 2e 73 68 72 |reg | h1!t=k.shr|
00000540 65 67 29 20 26 20 68 33 21 74 3d 72 20 54 48 45 |eg) & h3!t=r THE|
00000550 4e 20 24 28 0a 09 20 53 74 6f 72 65 54 28 74 29 |N $(.. StoreT(t)|
00000560 3b 20 42 52 45 41 4b 20 24 29 3b 0a 20 20 20 46 |; BREAK $);. F|
00000570 6c 75 73 68 50 65 6e 64 69 6e 67 55 73 65 73 4f |lushPendingUsesO|
00000580 66 52 65 67 28 72 29 3b 0a 20 20 20 49 46 20 6c |fReg(r);. IF l|
00000590 20 54 48 45 4e 20 4c 6f 63 6b 28 72 2c 20 6b 2e | THEN Lock(r, k.|
000005a0 72 65 67 29 0a 24 29 0a 0a 41 4e 44 20 4d 6f 76 |reg).$)..AND Mov|
000005b0 65 54 6f 52 28 72 2c 20 78 29 20 42 45 0a 24 28 |eToR(r, x) BE.$(|
000005c0 20 4d 6f 76 65 54 6f 52 53 6f 6d 65 54 69 6d 65 | MoveToRSomeTime|
000005d0 28 72 2c 20 78 29 3b 0a 20 20 20 46 6c 75 73 68 |(r, x);. Flush|
000005e0 50 65 6e 64 69 6e 67 4c 6f 61 64 73 46 6f 72 52 |PendingLoadsForR|
000005f0 65 67 28 72 29 0a 24 29 0a 0a 41 4e 44 20 4c 6f |eg(r).$)..AND Lo|
00000600 61 64 41 72 67 33 54 6f 53 6f 6d 65 43 52 28 29 |adArg3ToSomeCR()|
00000610 20 3d 20 56 41 4c 4f 46 0a 24 28 20 4c 45 54 20 | = VALOF.$( LET |
00000620 61 72 67 33 20 3d 20 61 72 67 32 2d 53 53 53 69 |arg3 = arg2-SSSi|
00000630 7a 65 3b 0a 20 20 20 54 45 53 54 20 61 72 67 33 |ze;. TEST arg3|
00000640 3c 74 65 6d 70 76 20 54 48 45 4e 20 24 28 0a 20 |<tempv THEN $(. |
00000650 20 20 20 20 20 4c 45 54 20 72 20 3d 20 4e 65 78 | LET r = Nex|
00000660 74 52 28 29 3b 0a 20 20 20 20 20 20 4c 45 54 20 |tR();. LET |
00000670 62 2c 20 6e 20 3d 20 28 6c 69 6e 6b 61 67 65 4e |b, n = (linkageN|
00000680 6f 74 53 74 6f 72 65 64 20 2d 3e 20 72 2e 74 73 |otStored -> r.ts|
00000690 2c 20 72 2e 70 29 2c 20 73 73 70 2d 33 3b 0a 20 |, r.p), ssp-3;. |
000006a0 20 20 20 20 20 54 45 53 54 20 75 73 65 73 46 72 | TEST usesFr|
000006b0 61 6d 65 20 54 48 45 4e 0a 09 20 6e 20 3a 3d 20 |ame THEN.. n := |
000006c0 6e 2a 6e 65 78 74 53 74 61 63 6b 57 6f 72 64 0a |n*nextStackWord.|
000006d0 20 20 20 20 20 20 45 4c 53 45 0a 09 20 62 2c 20 | ELSE.. b, |
000006e0 6e 20 3a 3d 20 72 2e 74 73 2c 20 6e 65 78 74 53 |n := r.ts, nextS|
000006f0 74 61 63 6b 57 6f 72 64 2a 28 6e 2d 73 61 76 65 |tackWord*(n-save|
00000700 53 70 61 63 65 53 69 7a 65 29 3b 0a 20 20 20 20 |SpaceSize);. |
00000710 20 20 47 65 6e 46 32 28 66 2e 6c 64 72 2c 20 72 | GenF2(f.ldr, r|
00000720 2c 20 62 2c 20 30 2c 20 6e 29 3b 0a 20 20 20 20 |, b, 0, n);. |
00000730 20 20 52 45 53 55 4c 54 49 53 20 72 20 24 29 0a | RESULTIS r $).|
00000740 0a 20 20 20 45 4c 53 45 0a 20 20 20 20 20 20 52 |. ELSE. R|
00000750 45 53 55 4c 54 49 53 20 4d 6f 76 65 54 6f 41 6e |ESULTIS MoveToAn|
00000760 79 43 52 28 61 72 67 33 29 0a 24 29 0a 0a 41 4e |yCR(arg3).$)..AN|
00000770 44 20 4d 6f 76 65 54 6f 52 53 6f 6d 65 54 69 6d |D MoveToRSomeTim|
00000780 65 28 72 2c 20 78 29 20 42 45 0a 24 28 20 52 65 |e(r, x) BE.$( Re|
00000790 6d 6f 76 65 46 61 6c 73 65 49 6e 64 69 72 65 63 |moveFalseIndirec|
000007a0 74 69 6f 6e 28 78 29 3b 0a 20 20 20 24 28 20 4c |tion(x);. $( L|
000007b0 45 54 20 74 2c 20 69 6e 64 2c 20 6e 2c 20 6b 20 |ET t, ind, n, k |
000007c0 3d 20 68 31 21 78 2c 20 68 32 21 78 2c 20 68 33 |= h1!x, h2!x, h3|
000007d0 21 78 2c 20 68 34 21 78 0a 20 20 20 20 20 20 41 |!x, h4!x. A|
000007e0 4e 44 20 62 2c 20 6d 20 3d 20 30 2c 20 30 3b 0a |ND b, m = 0, 0;.|
000007f0 20 20 20 20 20 20 4c 45 54 20 6e 78 34 2c 20 6b | LET nx4, k|
00000800 78 34 20 3d 20 6e 2a 34 2c 20 6b 2a 34 3b 0a 0a |x4 = n*4, k*4;..|
00000810 20 20 20 20 20 20 49 46 20 69 6e 64 3c 30 20 54 | IF ind<0 T|
00000820 48 45 4e 20 24 28 0a 09 20 4c 45 54 20 72 20 3d |HEN $(.. LET r =|
00000830 20 4c 6f 6f 6b 46 6f 72 28 78 2c 20 4e 6f 74 41 | LookFor(x, NotA|
00000840 64 64 72 29 3b 0a 09 20 49 46 20 72 3e 3d 30 20 |ddr);.. IF r>=0 |
00000850 54 48 45 4e 20 74 2c 20 6e 20 3a 3d 20 6b 2e 72 |THEN t, n := k.r|
00000860 65 67 2c 20 72 20 24 29 3b 0a 0a 20 20 20 20 20 |eg, r $);.. |
00000870 20 49 46 20 72 3e 30 20 54 48 45 4e 0a 09 20 55 | IF r>0 THEN.. U|
00000880 4e 4c 45 53 53 20 28 74 3d 6b 2e 72 65 67 20 7c |NLESS (t=k.reg ||
00000890 20 74 3d 6b 2e 73 68 72 65 67 29 20 26 20 6e 3d | t=k.shreg) & n=|
000008a0 72 20 54 48 45 4e 20 46 72 65 65 57 69 74 68 6f |r THEN FreeWitho|
000008b0 75 74 55 6e 6c 6f 63 6b 69 6e 67 28 72 29 3b 0a |utUnlocking(r);.|
000008c0 0a 20 20 20 20 20 20 49 46 20 69 6e 64 3e 3d 30 |. IF ind>=0|
000008d0 20 54 48 45 4e 20 24 28 0a 09 20 72 20 3a 3d 20 | THEN $(.. r := |
000008e0 43 6f 6d 70 69 6c 65 44 53 28 66 2e 6c 64 72 2c |CompileDS(f.ldr,|
000008f0 20 72 2c 20 72 2c 20 78 29 3b 0a 09 20 47 4f 54 | r, r, x);.. GOT|
00000900 4f 20 6c 20 24 29 3b 0a 0a 20 20 20 20 20 20 49 |O l $);.. I|
00000910 46 20 72 3c 30 20 54 48 45 4e 20 72 20 3a 3d 20 |F r<0 THEN r := |
00000920 4e 65 78 74 52 28 29 3b 0a 0a 20 20 20 20 20 20 |NextR();.. |
00000930 49 46 20 74 7e 3d 6b 2e 72 65 67 20 7c 20 6b 7e |IF t~=k.reg | k~|
00000940 3d 30 20 54 48 45 4e 0a 09 20 46 6c 75 73 68 50 |=0 THEN.. FlushP|
00000950 65 6e 64 69 6e 67 55 73 65 73 4f 66 52 65 67 28 |endingUsesOfReg(|
00000960 72 29 3b 0a 0a 20 20 20 20 20 20 53 57 49 54 43 |r);.. SWITC|
00000970 48 4f 4e 20 74 20 49 4e 54 4f 0a 20 20 20 20 20 |HON t INTO. |
00000980 20 24 28 20 43 41 53 45 20 6b 2e 72 65 67 3a 0a | $( CASE k.reg:.|
00000990 09 20 20 20 20 49 46 20 72 7e 3d 6e 20 26 20 52 |. IF r~=n & R|
000009a0 65 67 49 6e 50 65 6e 64 69 6e 67 4c 69 73 74 28 |egInPendingList(|
000009b0 70 65 6e 64 69 6e 67 4c 6f 61 64 73 2c 20 6e 29 |pendingLoads, n)|
000009c0 7e 3d 4e 75 6c 6c 0a 09 20 20 20 20 20 20 20 54 |~=Null.. T|
000009d0 48 45 4e 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 |HEN FlushPending|
000009e0 4c 6f 61 64 73 46 6f 72 52 65 67 28 6e 29 3b 0a |LoadsForReg(n);.|
000009f0 0a 09 20 20 20 20 54 45 53 54 20 6b 7e 3d 30 20 |.. TEST k~=0 |
00000a00 54 48 45 4e 0a 09 20 20 20 20 20 20 20 53 65 74 |THEN.. Set|
00000a10 52 74 6f 52 70 6c 75 73 4b 28 72 2c 20 6e 2c 20 |RtoRplusK(r, n, |
00000a20 6b 29 0a 09 20 20 20 20 45 4c 53 45 20 24 28 0a |k).. ELSE $(.|
00000a30 09 20 20 20 20 20 20 20 49 46 20 6e 7e 3d 72 20 |. IF n~=r |
00000a40 54 48 45 4e 20 24 28 0a 09 09 20 20 44 69 73 63 |THEN $(... Disc|
00000a50 61 72 64 52 65 67 28 72 2c 20 6b 2e 72 65 67 29 |ardReg(r, k.reg)|
00000a60 3b 0a 09 09 20 20 47 65 6e 52 52 28 66 2e 6d 6f |;... GenRR(f.mo|
00000a70 76 2c 20 72 2c 20 30 2c 20 6e 29 3b 0a 09 09 20 |v, r, 0, n);... |
00000a80 20 4d 6f 76 65 52 54 6f 52 28 6b 2e 72 65 67 2c | MoveRToR(k.reg,|
00000a90 20 6e 2c 20 6b 2e 72 65 67 2c 20 72 29 20 24 29 | n, k.reg, r) $)|
00000aa0 3b 0a 09 20 20 20 20 20 20 20 47 4f 54 4f 20 6c |;.. GOTO l|
00000ab0 78 20 24 29 3b 0a 09 20 20 20 20 45 4e 44 43 41 |x $);.. ENDCA|
00000ac0 53 45 0a 0a 09 20 43 41 53 45 20 6b 2e 73 68 72 |SE... CASE k.shr|
00000ad0 65 67 3a 0a 09 20 20 20 20 53 68 69 66 74 52 65 |eg:.. ShiftRe|
00000ae0 67 69 73 74 65 72 44 53 28 72 2c 20 6e 2c 20 6b |gisterDS(r, n, k|
00000af0 2f 33 32 2c 20 6b 20 52 45 4d 20 33 32 29 3b 0a |/32, k REM 32);.|
00000b00 09 20 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 |. ENDCASE... |
00000b10 43 41 53 45 20 6b 2e 66 72 65 67 3a 0a 09 20 20 |CASE k.freg:.. |
00000b20 20 20 49 46 20 7e 6c 6f 61 64 52 65 67 46 72 6f | IF ~loadRegFro|
00000b30 6d 46 52 65 67 4f 4b 20 54 48 45 4e 0a 09 20 20 |mFRegOK THEN.. |
00000b40 20 20 20 20 20 43 47 45 72 72 6f 72 28 4f 6e 6c | CGError(Onl|
00000b50 79 57 61 72 6e 69 6e 67 2c 20 22 46 6c 6f 61 74 |yWarning, "Float|
00000b60 69 6e 67 20 70 6f 69 6e 74 20 6f 70 65 72 61 6e |ing point operan|
00000b70 64 20 74 6f 20 69 6e 74 65 67 65 72 20 6f 70 65 |d to integer ope|
00000b80 72 61 74 69 6f 6e 22 29 3b 0a 09 20 20 20 20 44 |ration");.. D|
00000b90 69 73 63 61 72 64 52 65 67 28 72 2c 20 6b 2e 72 |iscardReg(r, k.r|
00000ba0 65 67 29 3b 0a 09 20 20 20 20 4d 6f 76 65 46 52 |eg);.. MoveFR|
00000bb0 54 6f 52 28 6e 2c 20 72 2c 20 78 29 3b 0a 09 20 |ToR(n, r, x);.. |
00000bc0 20 20 20 49 46 20 6b 7e 3d 30 20 54 48 45 4e 20 | IF k~=0 THEN |
00000bd0 53 65 74 52 54 6f 52 70 6c 75 73 4b 28 72 2c 20 |SetRToRplusK(r, |
00000be0 72 2c 20 6b 29 3b 0a 09 20 20 20 20 45 4e 44 43 |r, k);.. ENDC|
00000bf0 41 53 45 3b 0a 0a 09 20 43 41 53 45 20 6b 2e 6e |ASE;... CASE k.n|
00000c00 75 6d 62 65 72 3a 0a 09 20 20 20 20 53 65 74 52 |umber:.. SetR|
00000c10 74 6f 4b 28 72 2c 20 6e 2b 6b 29 3b 0a 09 20 20 |toK(r, n+k);.. |
00000c20 20 20 4d 6f 76 65 53 74 6f 52 28 6b 2e 72 65 67 | MoveStoR(k.reg|
00000c30 2c 20 72 2c 20 6b 2e 6e 75 6d 62 65 72 2c 20 6e |, r, k.number, n|
00000c40 2b 6b 29 3b 0a 09 20 20 20 20 47 4f 54 4f 20 6c |+k);.. GOTO l|
00000c50 78 0a 0a 09 20 43 41 53 45 20 6b 2e 6c 61 62 3a |x... CASE k.lab:|
00000c60 0a 09 20 20 20 20 6d 2c 20 6e 78 34 20 3a 3d 20 |.. m, nx4 := |
00000c70 6e 2c 20 30 3b 0a 09 20 20 20 20 62 20 3a 3d 20 |n, 0;.. b := |
00000c80 43 68 65 63 6b 52 4c 4c 6f 61 64 65 64 28 29 3b |CheckRLLoaded();|
00000c90 0a 09 20 20 20 20 47 4f 54 4f 20 6c 61 0a 0a 09 |.. GOTO la...|
00000ca0 20 43 41 53 45 20 6b 2e 67 6c 6f 62 3a 0a 09 20 | CASE k.glob:.. |
00000cb0 20 20 20 62 20 3a 3d 20 72 2e 67 3b 0a 09 20 20 | b := r.g;.. |
00000cc0 20 20 47 4f 54 4f 20 6c 61 3b 0a 0a 09 20 43 41 | GOTO la;... CA|
00000cd0 53 45 20 6b 2e 73 74 61 74 69 63 3a 0a 09 20 20 |SE k.static:.. |
00000ce0 20 20 62 20 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f | b := CheckRLLo|
00000cf0 61 64 65 64 28 29 3b 0a 09 20 20 20 20 47 4f 54 |aded();.. GOT|
00000d00 4f 20 6c 61 3b 0a 0a 09 20 43 41 53 45 20 6b 2e |O la;... CASE k.|
00000d10 6c 6f 63 3a 0a 09 20 20 20 20 54 45 53 54 20 75 |loc:.. TEST u|
00000d20 73 65 73 46 72 61 6d 65 0a 09 20 20 20 20 20 20 |sesFrame.. |
00000d30 20 54 48 45 4e 20 62 2c 20 6e 78 34 20 3a 3d 20 | THEN b, nx4 := |
00000d40 72 2e 70 2c 20 6e 65 78 74 53 74 61 63 6b 57 6f |r.p, nextStackWo|
00000d50 72 64 2a 6e 0a 09 20 20 20 20 20 20 20 45 4c 53 |rd*n.. ELS|
00000d60 45 20 62 2c 20 6e 78 34 20 3a 3d 20 72 2e 74 73 |E b, nx4 := r.ts|
00000d70 2c 20 6e 65 78 74 53 74 61 63 6b 57 6f 72 64 2a |, nextStackWord*|
00000d80 28 6e 2d 73 61 76 65 53 70 61 63 65 53 69 7a 65 |(n-saveSpaceSize|
00000d90 29 3b 0a 09 6c 61 3a 20 44 69 73 63 61 72 64 52 |);..la: DiscardR|
00000da0 65 67 28 72 2c 20 6b 2e 72 65 67 29 3b 0a 09 20 |eg(r, k.reg);.. |
00000db0 20 20 20 54 45 53 54 20 74 3d 6b 2e 6c 61 62 20 | TEST t=k.lab |
00000dc0 7c 20 62 3d 72 2e 30 20 54 48 45 4e 0a 09 20 20 || b=r.0 THEN.. |
00000dd0 20 20 20 20 20 47 65 6e 46 32 28 66 2e 6c 64 72 | GenF2(f.ldr|
00000de0 2c 20 72 2c 20 62 2c 20 6d 2c 20 6e 78 34 29 0a |, r, b, m, nx4).|
00000df0 09 20 20 20 20 45 4c 53 45 20 7b 0a 09 20 20 20 |. ELSE {.. |
00000e00 20 20 20 20 41 64 64 54 6f 50 65 6e 64 69 6e 67 | AddToPending|
00000e10 4c 6f 61 64 73 28 72 2c 20 74 2c 20 6e 2c 20 30 |Loads(r, t, n, 0|
00000e20 29 3b 0a 09 20 20 20 20 20 20 20 49 46 20 6b 7e |);.. IF k~|
00000e30 3d 30 20 54 48 45 4e 20 46 6c 75 73 68 50 65 6e |=0 THEN FlushPen|
00000e40 64 69 6e 67 4c 6f 61 64 73 46 6f 72 52 65 67 28 |dingLoadsForReg(|
00000e50 72 29 0a 09 20 20 20 20 7d 3b 0a 0a 09 20 20 20 |r).. };... |
00000e60 20 54 45 53 54 20 6b 3d 30 20 54 48 45 4e 20 24 | TEST k=0 THEN $|
00000e70 28 0a 09 20 20 20 20 20 20 20 4d 6f 76 65 53 74 |(.. MoveSt|
00000e80 6f 52 28 6b 2e 72 65 67 2c 20 72 2c 20 74 2c 20 |oR(k.reg, r, t, |
00000e90 28 74 3d 6b 2e 6c 61 62 20 2d 3e 20 6d 2c 20 6e |(t=k.lab -> m, n|
00000ea0 29 29 3b 0a 09 20 20 20 20 20 20 20 47 4f 54 4f |));.. GOTO|
00000eb0 20 6c 78 20 24 29 0a 09 20 20 20 20 45 4c 53 45 | lx $).. ELSE|
00000ec0 0a 09 20 20 20 20 20 20 20 53 65 74 52 74 6f 52 |.. SetRtoR|
00000ed0 70 6c 75 73 4b 28 72 2c 20 72 2c 20 6b 29 3b 0a |plusK(r, r, k);.|
00000ee0 09 20 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 |. ENDCASE... |
00000ef0 43 41 53 45 20 6b 2e 6c 76 73 6c 6f 63 3a 20 20 |CASE k.lvsloc: |
00000f00 2f 2f 20 63 61 6e 27 74 20 68 61 70 70 65 6e 20 |// can't happen |
00000f10 77 69 74 68 20 6e 6f 20 66 72 61 6d 65 0a 09 20 |with no frame.. |
00000f20 20 20 20 6e 78 34 20 3a 3d 20 6e 65 78 74 53 74 | nx4 := nextSt|
00000f30 61 63 6b 57 6f 72 64 2a 6e 3b 0a 09 20 20 20 20 |ackWord*n;.. |
00000f40 62 20 3a 3d 20 6c 69 6e 6b 61 67 65 4e 6f 74 53 |b := linkageNotS|
00000f50 74 6f 72 65 64 20 2d 3e 20 72 2e 74 73 2c 20 72 |tored -> r.ts, r|
00000f60 2e 70 3b 0a 09 20 20 20 20 53 65 74 52 74 6f 52 |.p;.. SetRtoR|
00000f70 70 6c 75 73 4b 28 72 2c 20 62 2c 20 6e 78 34 2b |plusK(r, b, nx4+|
00000f80 6b 29 3b 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 |k); ENDCASE... C|
00000f90 41 53 45 20 6b 2e 6c 76 73 67 6c 6f 62 3a 0a 09 |ASE k.lvsglob:..|
00000fa0 20 20 20 20 53 65 74 52 74 6f 52 70 6c 75 73 4b | SetRtoRplusK|
00000fb0 28 72 2c 20 72 2e 67 2c 20 6e 78 34 2b 6b 29 3b |(r, r.g, nx4+k);|
00000fc0 20 45 4e 44 43 41 53 45 0a 0a 09 20 43 41 53 45 | ENDCASE... CASE|
00000fd0 20 6b 2e 6c 76 73 73 74 61 74 69 63 3a 0a 09 20 | k.lvsstatic:.. |
00000fe0 20 20 20 62 20 3a 3d 20 43 68 65 63 6b 52 4c 4c | b := CheckRLL|
00000ff0 6f 61 64 65 64 28 29 3b 0a 09 20 20 20 20 53 65 |oaded();.. Se|
00001000 74 52 74 6f 52 70 6c 75 73 4b 28 72 2c 20 62 2c |tRtoRplusK(r, b,|
00001010 20 6e 78 34 2b 6b 29 3b 20 45 4e 44 43 41 53 45 | nx4+k); ENDCASE|
00001020 0a 0a 09 20 43 41 53 45 20 6b 2e 6c 76 73 6c 61 |... CASE k.lvsla|
00001030 62 3a 0a 09 20 20 20 20 62 20 3a 3d 20 43 68 65 |b:.. b := Che|
00001040 63 6b 52 4c 4c 6f 61 64 65 64 28 29 3b 0a 09 20 |ckRLLoaded();.. |
00001050 20 20 20 53 65 74 52 74 6f 52 70 6c 75 73 4c 70 | SetRtoRplusLp|
00001060 6c 75 73 4b 28 72 2c 20 62 2c 20 6e 2c 20 6b 29 |lusK(r, b, n, k)|
00001070 0a 09 20 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 |.. ENDCASE...|
00001080 20 43 41 53 45 20 6b 2e 6c 76 6c 6f 63 3a 09 20 | CASE k.lvloc:. |
00001090 2f 2f 20 61 6c 73 6f 20 6d 75 73 74 20 68 61 76 |// also must hav|
000010a0 65 20 61 20 66 72 61 6d 65 0a 09 20 20 20 20 2f |e a frame.. /|
000010b0 2a 20 49 46 20 7e 6c 69 6e 6b 61 67 65 4e 6f 74 |* IF ~linkageNot|
000010c0 53 74 6f 72 65 64 20 26 20 28 6e 2b 6b 29 3d 54 |Stored & (n+k)=T|
000010d0 4f 53 6f 66 66 73 65 74 20 54 48 45 4e 20 24 28 |OSoffset THEN $(|
000010e0 0a 09 09 20 20 53 68 69 66 74 52 65 67 69 73 74 |... ShiftRegist|
000010f0 65 72 44 53 28 72 2c 20 72 2e 74 73 2c 20 73 68 |erDS(r, r.ts, sh|
00001100 2e 6c 73 72 2c 20 32 29 3b 0a 09 09 20 20 47 4f |.lsr, 2);... GO|
00001110 54 4f 20 6c 20 24 29 3b 0a 09 20 20 20 20 20 20 |TO l $);.. |
00001120 20 2f 2f 20 74 68 61 74 20 6e 65 65 64 73 20 73 | // that needs s|
00001130 6f 6d 65 20 65 78 74 72 61 20 77 6f 72 6b 20 64 |ome extra work d|
00001140 6f 69 6e 67 20 74 6f 20 65 6e 73 75 72 65 0a 09 |oing to ensure..|
00001150 20 20 20 20 20 20 20 2f 2f 20 74 68 61 74 20 54 | // that T|
00001160 4f 53 6f 66 66 73 65 74 20 69 73 20 63 6f 72 72 |OSoffset is corr|
00001170 65 63 74 3a 20 69 65 20 6e 6f 20 70 65 6e 64 69 |ect: ie no pendi|
00001180 6e 67 20 6c 6f 61 64 73 0a 09 20 20 20 20 20 20 |ng loads.. |
00001190 20 2f 2f 20 77 68 69 63 68 20 77 69 6c 6c 20 61 | // which will a|
000011a0 66 66 65 63 74 20 69 74 0a 09 20 20 20 20 2a 2f |ffect it.. */|
000011b0 0a 09 20 20 20 20 6e 78 34 20 3a 3d 20 6e 65 78 |.. nx4 := nex|
000011c0 74 53 74 61 63 6b 57 6f 72 64 2a 6e 3b 0a 09 20 |tStackWord*n;.. |
000011d0 20 20 20 62 20 3a 3d 20 6c 69 6e 6b 61 67 65 4e | b := linkageN|
000011e0 6f 74 53 74 6f 72 65 64 20 2d 3e 20 72 2e 74 73 |otStored -> r.ts|
000011f0 2c 20 72 2e 70 3b 0a 09 20 20 20 20 47 4f 54 4f |, r.p;.. GOTO|
00001200 20 6c 6f 61 64 69 74 0a 0a 09 20 43 41 53 45 20 | loadit... CASE |
00001210 6b 2e 6c 76 73 74 61 74 69 63 3a 0a 09 20 20 20 |k.lvstatic:.. |
00001220 20 62 20 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f 61 | b := CheckRLLoa|
00001230 64 65 64 28 29 3b 0a 09 20 20 20 20 47 4f 54 4f |ded();.. GOTO|
00001240 20 6c 6f 61 64 69 74 0a 0a 09 20 43 41 53 45 20 | loadit... CASE |
00001250 6b 2e 6c 76 67 6c 6f 62 3a 0a 09 20 20 20 20 62 |k.lvglob:.. b|
00001260 20 3a 3d 20 72 2e 67 3b 0a 20 20 20 20 6c 6f 61 | := r.g;. loa|
00001270 64 69 74 3a 20 6b 20 3a 3d 20 6b 2b 6e 3b 20 6e |dit: k := k+n; n|
00001280 20 3a 3d 20 6b 3b 0a 09 20 20 20 20 6d 20 3a 3d | := k;.. m :=|
00001290 20 4c 6f 6f 6b 46 6f 72 52 65 67 43 6f 6e 74 61 | LookForRegConta|
000012a0 69 6e 69 6e 67 54 79 70 65 28 74 29 3b 0a 09 20 |iningType(t);.. |
000012b0 20 20 20 54 45 53 54 20 6d 3d 4e 75 6c 6c 20 54 | TEST m=Null T|
000012c0 48 45 4e 20 24 28 0a 09 20 20 20 20 20 20 20 53 |HEN $(.. S|
000012d0 68 69 66 74 52 65 67 69 73 74 65 72 44 53 28 72 |hiftRegisterDS(r|
000012e0 2c 20 62 2c 20 73 68 2e 6c 73 72 2c 20 32 29 3b |, b, sh.lsr, 2);|
000012f0 0a 09 20 20 20 20 20 20 20 6d 20 3a 3d 20 72 20 |.. m := r |
00001300 24 29 0a 09 20 20 20 20 45 4c 53 45 0a 09 20 20 |$).. ELSE.. |
00001310 20 20 20 20 20 6e 20 3a 3d 20 6e 2d 4c 6f 63 49 | n := n-LocI|
00001320 6e 52 65 67 69 73 74 65 72 28 6d 29 3b 0a 09 20 |nRegister(m);.. |
00001330 20 20 20 53 65 74 52 74 6f 52 70 6c 75 73 4b 28 | SetRtoRplusK(|
00001340 72 2c 20 6d 2c 20 6e 29 3b 0a 09 20 20 20 20 4d |r, m, n);.. M|
00001350 6f 76 65 53 74 6f 52 28 6b 2e 72 65 67 2c 20 72 |oveStoR(k.reg, r|
00001360 2c 20 74 2c 20 6b 29 3b 0a 09 20 20 20 20 47 4f |, t, k);.. GO|
00001370 54 4f 20 6c 78 0a 0a 09 20 43 41 53 45 20 6b 2e |TO lx... CASE k.|
00001380 6c 76 6c 61 62 3a 0a 09 20 20 20 20 24 28 20 4c |lvlab:.. $( L|
00001390 45 54 20 6b 31 20 3d 20 6b 26 23 78 65 30 30 30 |ET k1 = k|
000013a0 30 30 30 30 3b 0a 09 20 20 20 20 20 20 20 62 20 |0000;.. b |
000013b0 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f 61 64 65 64 |:= CheckRLLoaded|
000013c0 28 29 3b 0a 09 20 20 20 20 20 20 20 53 65 74 52 |();.. SetR|
000013d0 74 6f 52 70 6c 75 73 4c 70 6c 75 73 4b 28 72 2c |toRplusLplusK(r,|
000013e0 20 62 2c 20 6e 2c 20 6b 78 34 29 3b 0a 09 20 20 | b, n, kx4);.. |
000013f0 20 20 20 20 20 53 68 69 66 74 52 65 67 69 73 74 | ShiftRegist|
00001400 65 72 28 72 2c 20 73 68 2e 6c 73 72 2c 20 32 29 |er(r, sh.lsr, 2)|
00001410 3b 0a 09 20 20 20 20 20 20 20 49 46 20 6b 31 7e |;.. IF k1~|
00001420 3d 30 20 26 20 6b 31 7e 3d 23 78 65 30 30 30 30 |=0 & k1~=#xe0000|
00001430 30 30 30 20 54 48 45 4e 0a 09 09 20 20 53 65 74 |000 THEN... Set|
00001440 52 74 6f 52 70 6c 75 73 4b 28 72 2c 20 72 2c 20 |RtoRplusK(r, r, |
00001450 6b 26 23 78 63 30 30 30 30 30 30 30 29 20 24 29 |k�) $)|
00001460 0a 20 20 20 20 20 20 24 29 3b 0a 0a 20 20 20 6c |. $);.. l|
00001470 3a 20 44 69 73 63 61 72 64 52 65 67 28 72 2c 20 |: DiscardReg(r, |
00001480 6b 2e 72 65 67 29 3b 0a 20 20 20 6c 78 3a 68 31 |k.reg);. lx:h1|
00001490 21 78 2c 20 68 32 21 78 2c 20 68 33 21 78 2c 20 |!x, h2!x, h3!x, |
000014a0 68 34 21 78 20 3a 3d 20 6b 2e 72 65 67 2c 20 2d |h4!x := k.reg, -|
000014b0 31 2c 20 72 2c 20 30 20 24 29 0a 24 29 0a 0a 41 |1, r, 0 $).$)..A|
000014c0 4e 44 20 54 79 70 65 6f 66 46 69 65 6c 64 28 73 |ND TypeofField(s|
000014d0 69 7a 65 2c 20 73 68 69 66 74 29 20 3d 0a 20 20 |ize, shift) =. |
000014e0 20 73 69 7a 65 3d 38 20 26 20 28 73 68 69 66 74 | size=8 & (shift|
000014f0 20 52 45 4d 20 38 29 3d 30 20 2d 3e 20 62 79 74 | REM 8)=0 -> byt|
00001500 65 66 69 65 6c 64 2c 0a 20 20 20 73 69 7a 65 3c |efield,. size<|
00001510 38 20 26 20 5b 28 73 69 7a 65 2b 73 68 69 66 74 |8 & [(size+shift|
00001520 29 20 52 45 4d 20 38 5d 3d 30 20 2d 3e 20 6c 62 |) REM 8]=0 -> lb|
00001530 79 74 65 66 69 65 6c 64 2c 0a 09 09 09 20 20 20 |ytefield,.... |
00001540 20 20 20 20 67 65 6e 66 69 65 6c 64 0a 0a 41 4e | genfield..AN|
00001550 44 20 47 65 6e 4f 70 54 6f 53 74 6f 72 65 28 66 |D GenOpToStore(f|
00001560 2c 20 72 2c 20 62 2c 20 6d 2c 20 61 29 20 42 45 |, r, b, m, a) BE|
00001570 0a 20 20 20 47 65 6e 4f 70 54 6f 53 74 6f 72 65 |. GenOpToStore|
00001580 44 53 28 66 2c 20 72 2c 20 72 2c 20 62 2c 20 6d |DS(f, r, r, b, m|
00001590 2c 20 61 29 0a 0a 41 4e 44 20 47 65 6e 4f 70 54 |, a)..AND GenOpT|
000015a0 6f 53 74 6f 72 65 44 53 28 66 2c 20 72 2c 20 73 |oStoreDS(f, r, s|
000015b0 2c 20 62 2c 20 6d 2c 20 61 29 20 42 45 0a 20 20 |, b, m, a) BE. |
000015c0 20 54 45 53 54 20 66 3d 66 2e 73 74 72 20 54 48 | TEST f=f.str TH|
000015d0 45 4e 0a 20 20 20 20 20 20 47 65 6e 46 32 28 66 |EN. GenF2(f|
000015e0 2c 20 72 2c 20 62 2c 20 6d 2c 20 61 29 0a 20 20 |, r, b, m, a). |
000015f0 20 45 4c 53 45 20 24 28 0a 20 20 20 20 20 20 4c | ELSE $(. L|
00001600 45 54 20 72 32 20 3d 20 72 3b 0a 20 20 20 20 20 |ET r2 = r;. |
00001610 20 4c 45 54 20 74 2c 20 6e 2c 20 6f 20 3d 20 4e | LET t, n, o = N|
00001620 75 6c 6c 2c 20 30 2c 20 30 3b 0a 20 20 20 20 20 |ull, 0, 0;. |
00001630 20 49 46 20 66 7e 3d 66 2e 6c 64 72 20 54 48 45 | IF f~=f.ldr THE|
00001640 4e 20 24 28 0a 09 20 4c 6f 63 6b 28 72 2c 20 6b |N $(.. Lock(r, k|
00001650 2e 72 65 67 29 3b 20 4c 6f 63 6b 28 73 2c 20 6b |.reg); Lock(s, k|
00001660 2e 72 65 67 29 3b 0a 09 20 72 32 20 3a 3d 20 4e |.reg);.. r2 := N|
00001670 65 78 74 52 28 29 20 24 29 3b 0a 0a 20 20 20 20 |extR() $);.. |
00001680 20 20 54 45 53 54 20 62 3d 72 2e 70 20 54 48 45 | TEST b=r.p THE|
00001690 4e 0a 09 20 74 2c 20 6e 20 3a 3d 20 6b 2e 6c 6f |N.. t, n := k.lo|
000016a0 63 2c 20 61 2f 6e 65 78 74 53 74 61 63 6b 57 6f |c, a/nextStackWo|
000016b0 72 64 0a 20 20 20 20 20 20 45 4c 53 45 20 54 45 |rd. ELSE TE|
000016c0 53 54 20 62 3d 72 2e 67 20 54 48 45 4e 0a 09 20 |ST b=r.g THEN.. |
000016d0 74 2c 20 6e 20 3a 3d 20 6b 2e 67 6c 6f 62 2c 20 |t, n := k.glob, |
000016e0 61 2f 34 0a 20 20 20 20 20 20 45 4c 53 45 20 54 |a/4. ELSE T|
000016f0 45 53 54 20 62 3d 72 2e 6c 20 54 48 45 4e 0a 09 |EST b=r.l THEN..|
00001700 20 49 46 20 6d 3d 30 20 54 48 45 4e 0a 09 20 20 | IF m=0 THEN.. |
00001710 20 20 74 2c 20 6e 20 3a 3d 20 6b 2e 73 74 61 74 | t, n := k.stat|
00001720 69 63 2c 20 61 2f 34 0a 20 20 20 20 20 20 45 4c |ic, a/4. EL|
00001730 53 45 0a 09 20 74 2c 20 6e 2c 20 6f 20 3a 3d 20 |SE.. t, n, o := |
00001740 6b 2e 69 72 65 67 2c 20 62 2c 20 61 2f 34 3b 0a |k.ireg, b, a/4;.|
00001750 0a 20 20 20 20 20 20 54 45 53 54 20 74 7e 3d 4e |. TEST t~=N|
00001760 75 6c 6c 20 54 48 45 4e 20 24 28 0a 09 20 41 64 |ull THEN $(.. Ad|
00001770 64 54 6f 50 65 6e 64 69 6e 67 4c 6f 61 64 73 28 |dToPendingLoads(|
00001780 72 32 2c 20 74 2c 20 6e 2c 20 6f 29 3b 0a 09 20 |r2, t, n, o);.. |
00001790 49 46 20 74 7e 3d 6b 2e 69 72 65 67 20 54 48 45 |IF t~=k.ireg THE|
000017a0 4e 20 4d 6f 76 65 53 74 6f 52 28 6b 2e 72 65 67 |N MoveStoR(k.reg|
000017b0 2c 20 72 32 2c 20 74 2c 20 6e 29 20 24 29 0a 20 |, r2, t, n) $). |
000017c0 20 20 20 20 20 45 4c 53 45 0a 09 20 47 65 6e 46 | ELSE.. GenF|
000017d0 32 28 66 2e 6c 64 72 2c 20 72 32 2c 20 62 2c 20 |2(f.ldr, r2, b, |
000017e0 6d 2c 20 61 29 3b 0a 0a 20 20 20 20 20 20 49 46 |m, a);.. IF|
000017f0 20 66 7e 3d 66 2e 6c 64 72 20 54 48 45 4e 20 24 | f~=f.ldr THEN $|
00001800 28 0a 09 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 |(.. FlushPending|
00001810 4c 6f 61 64 73 46 6f 72 52 65 67 28 72 32 29 3b |LoadsForReg(r2);|
00001820 0a 09 20 47 65 6e 52 52 28 66 2c 20 72 2c 20 73 |.. GenRR(f, r, s|
00001830 2c 20 72 32 29 3b 0a 09 20 55 6e 4c 6f 63 6b 28 |, r2);.. UnLock(|
00001840 72 2c 20 6b 2e 72 65 67 29 3b 20 55 6e 4c 6f 63 |r, k.reg); UnLoc|
00001850 6b 28 73 2c 20 6b 2e 72 65 67 29 20 24 29 20 24 |k(s, k.reg) $) $|
00001860 29 0a 0a 41 4e 44 20 43 6f 6d 70 69 6c 65 44 53 |)..AND CompileDS|
00001870 28 66 2c 20 72 2c 20 73 2c 20 78 29 20 3d 20 56 |(f, r, s, x) = V|
00001880 41 4c 4f 46 0a 24 28 20 4c 45 54 20 74 2c 20 69 |ALOF.$( LET t, i|
00001890 6e 64 2c 20 6e 2c 20 6b 20 3d 20 68 31 21 78 2c |nd, n, k = h1!x,|
000018a0 20 68 32 21 78 2c 20 68 33 21 78 2c 20 68 34 21 | h2!x, h3!x, h4!|
000018b0 78 3b 0a 20 20 20 4c 45 54 20 6d 2c 20 61 20 3d |x;. LET m, a =|
000018c0 20 3f 2c 20 3f 3b 0a 20 20 20 4c 45 54 20 72 31 | ?, ?;. LET r1|
000018d0 20 3d 20 4e 75 6c 6c 3b 0a 0a 20 20 20 49 46 20 | = Null;.. IF |
000018e0 69 6e 64 3e 3d 30 20 54 48 45 4e 20 24 28 0a 20 |ind>=0 THEN $(. |
000018f0 20 20 20 20 20 4c 45 54 20 62 20 3d 20 3f 3b 0a | LET b = ?;.|
00001900 20 20 20 20 20 20 49 46 20 69 6e 64 3e 3d 43 61 | IF ind>=Ca|
00001910 72 6d 61 72 6b 20 54 48 45 4e 20 24 28 0a 09 20 |rmark THEN $(.. |
00001920 68 32 21 78 2c 20 68 34 21 78 20 3a 3d 20 2d 31 |h2!x, h4!x := -1|
00001930 2c 20 30 3b 0a 09 20 62 20 3a 3d 20 28 69 6e 64 |, 0;.. b := (ind|
00001940 3d 56 41 43 61 72 4d 61 72 6b 20 2d 3e 20 4d 6f |=VACarMark -> Mo|
00001950 76 65 54 6f 41 6e 79 43 52 28 78 29 2c 0a 09 09 |veToAnyCR(x),...|
00001960 09 09 4c 6f 61 64 43 61 72 41 64 64 28 78 29 29 |..LoadCarAdd(x))|
00001970 3b 0a 09 20 4c 6f 63 6b 28 62 2c 20 6b 2e 72 65 |;.. Lock(b, k.re|
00001980 67 29 3b 0a 09 20 49 46 20 72 3c 30 20 54 48 45 |g);.. IF r<0 THE|
00001990 4e 20 72 20 3a 3d 20 4e 65 78 74 52 28 29 3b 20 |N r := NextR(); |
000019a0 20 2f 2f 20 6d 75 73 74 20 62 65 20 73 6f 6d 65 | // must be some|
000019b0 20 73 6f 72 74 20 6f 66 20 6c 6f 61 64 0a 09 20 | sort of load.. |
000019c0 49 46 20 73 3c 30 20 54 48 45 4e 20 73 20 3a 3d |IF s<0 THEN s :=|
000019d0 20 72 3b 0a 09 20 54 45 53 54 20 66 3d 66 2e 6c | r;.. TEST f=f.l|
000019e0 64 20 54 48 45 4e 0a 09 20 20 20 20 47 65 6e 43 |d THEN.. GenC|
000019f0 50 44 54 28 66 2c 20 72 2c 20 62 2c 20 30 2c 20 |PDT(f, r, b, 0, |
00001a00 6b 2f 42 79 74 65 73 50 65 72 57 6f 72 64 29 0a |k/BytesPerWord).|
00001a10 09 20 45 4c 53 45 0a 09 20 20 20 20 47 65 6e 4f |. ELSE.. GenO|
00001a20 70 54 6f 53 74 6f 72 65 44 53 28 66 2c 20 72 2c |pToStoreDS(f, r,|
00001a30 20 73 2c 20 62 2c 20 30 2c 20 6b 29 3b 0a 09 20 | s, b, 0, k);.. |
00001a40 55 6e 4c 6f 63 6b 28 62 2c 20 6b 2e 72 65 67 29 |UnLock(b, k.reg)|
00001a50 3b 0a 09 20 52 45 53 55 4c 54 49 53 20 72 20 24 |;.. RESULTIS r $|
00001a60 29 3b 0a 0a 20 20 20 20 20 20 6d 2c 20 61 20 3a |);.. m, a :|
00001a70 3d 20 30 2c 20 34 2a 6b 3b 0a 20 20 20 20 20 20 |= 0, 4*k;. |
00001a80 53 57 49 54 43 48 4f 4e 20 74 20 49 4e 54 4f 0a |SWITCHON t INTO.|
00001a90 20 20 20 20 20 20 24 28 20 43 41 53 45 20 6b 2e | $( CASE k.|
00001aa0 6c 76 6c 61 62 3a 0a 09 20 20 20 20 62 2c 20 6d |lvlab:.. b, m|
00001ab0 20 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f 61 64 65 | := CheckRLLoade|
00001ac0 64 28 29 2c 20 6e 3b 0a 09 20 20 20 20 45 4e 44 |d(), n;.. END|
00001ad0 43 41 53 45 0a 0a 09 20 43 41 53 45 20 6b 2e 6c |CASE... CASE k.l|
00001ae0 76 6c 6f 63 3a 0a 09 20 20 20 20 24 28 20 4c 45 |vloc:.. $( LE|
00001af0 54 20 76 20 3d 20 56 45 43 20 73 73 73 69 7a 65 |T v = VEC sssize|
00001b00 3b 0a 09 20 20 20 20 20 20 20 68 31 21 76 2c 20 |;.. h1!v, |
00001b10 68 32 21 76 2c 20 68 33 21 76 2c 20 68 34 21 76 |h2!v, h3!v, h4!v|
00001b20 20 3a 3d 20 6b 2e 6c 6f 63 2c 20 2d 31 2c 20 6b | := k.loc, -1, k|
00001b30 2b 6e 2c 20 30 3b 0a 09 20 20 20 20 20 20 20 72 |+n, 0;.. r|
00001b40 31 20 3a 3d 20 49 73 49 6e 41 52 65 67 69 73 74 |1 := IsInARegist|
00001b50 65 72 28 76 29 20 24 29 3b 0a 09 20 20 20 20 61 |er(v) $);.. a|
00001b60 20 3a 3d 20 61 2b 6e 65 78 74 53 74 61 63 6b 57 | := a+nextStackW|
00001b70 6f 72 64 2a 6e 3b 0a 09 20 20 20 20 62 20 3a 3d |ord*n;.. b :=|
00001b80 20 6c 69 6e 6b 61 67 65 4e 6f 74 53 74 6f 72 65 | linkageNotStore|
00001b90 64 20 2d 3e 20 72 2e 74 73 2c 20 72 2e 70 3b 0a |d -> r.ts, r.p;.|
00001ba0 09 20 20 20 20 45 4e 44 43 41 53 45 0a 0a 09 20 |. ENDCASE... |
00001bb0 43 41 53 45 20 6b 2e 6c 76 73 74 61 74 69 63 3a |CASE k.lvstatic:|
00001bc0 0a 09 20 43 41 53 45 20 6b 2e 6c 76 67 6c 6f 62 |.. CASE k.lvglob|
00001bd0 3a 0a 09 20 20 20 20 24 28 20 4c 45 54 20 76 20 |:.. $( LET v |
00001be0 3d 20 56 45 43 20 73 73 73 69 7a 65 3b 0a 09 20 |= VEC sssize;.. |
00001bf0 20 20 20 20 20 20 68 31 21 76 2c 20 68 32 21 76 | h1!v, h2!v|
00001c00 2c 20 68 33 21 76 2c 20 68 34 21 76 20 3a 3d 20 |, h3!v, h4!v := |
00001c10 74 2b 6b 2e 67 6c 6f 62 2d 6b 2e 6c 76 67 6c 6f |t+k.glob-k.lvglo|
00001c20 62 2c 20 2d 31 2c 20 6b 2b 6e 2c 20 30 3b 0a 09 |b, -1, k+n, 0;..|
00001c30 20 20 20 20 20 20 20 72 31 20 3a 3d 20 49 73 49 | r1 := IsI|
00001c40 6e 41 52 65 67 69 73 74 65 72 28 76 29 20 24 29 |nARegister(v) $)|
00001c50 3b 0a 09 20 20 20 20 61 20 3a 3d 20 61 2b 34 2a |;.. a := a+4*|
00001c60 6e 3b 20 62 20 3a 3d 20 74 3d 6b 2e 6c 76 67 6c |n; b := t=k.lvgl|
00001c70 6f 62 20 2d 3e 20 72 2e 67 2c 20 43 68 65 63 6b |ob -> r.g, Check|
00001c80 52 4c 4c 6f 61 64 65 64 28 29 3b 0a 09 20 20 20 |RLLoaded();.. |
00001c90 20 45 4e 44 43 41 53 45 0a 0a 09 20 44 45 46 41 | ENDCASE... DEFA|
00001ca0 55 4c 54 3a 0a 09 20 20 20 20 68 32 21 78 2c 20 |ULT:.. h2!x, |
00001cb0 68 34 21 78 20 3a 3d 20 2d 31 2c 20 30 3b 0a 09 |h4!x := -1, 0;..|
00001cc0 20 20 20 20 62 20 3a 3d 20 4c 6f 61 64 41 64 64 | b := LoadAdd|
00001cd0 72 65 73 73 28 78 29 3b 0a 09 20 20 20 20 54 45 |ress(x);.. TE|
00001ce0 53 54 20 6c 6f 63 61 6c 73 53 61 66 65 0a 09 20 |ST localsSafe.. |
00001cf0 20 20 20 20 20 20 54 48 45 4e 20 46 6c 75 73 68 | THEN Flush|
00001d00 50 65 6e 64 69 6e 67 53 74 6f 72 65 73 45 78 63 |PendingStoresExc|
00001d10 65 70 74 4c 6f 63 61 6c 73 41 6e 64 49 72 65 67 |eptLocalsAndIreg|
00001d20 73 28 29 0a 09 20 20 20 20 20 20 20 45 4c 53 45 |s().. ELSE|
00001d30 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 74 6f | FlushPendingSto|
00001d40 72 65 73 28 29 0a 09 20 20 20 20 2f 2f 20 4c 6f |res().. // Lo|
00001d50 63 6b 28 62 2c 20 6b 2e 72 65 67 29 0a 20 20 20 |ck(b, k.reg). |
00001d60 20 20 20 24 29 3b 0a 0a 20 20 20 20 20 20 49 46 | $);.. IF|
00001d70 20 72 3c 30 20 54 48 45 4e 20 72 20 3a 3d 20 4e | r<0 THEN r := N|
00001d80 65 78 74 52 28 29 3b 0a 20 20 20 20 20 20 49 46 |extR();. IF|
00001d90 20 73 3c 30 20 54 48 45 4e 20 73 20 3a 3d 20 72 | s<0 THEN s := r|
00001da0 3b 0a 20 20 20 20 20 20 54 45 53 54 20 69 6e 64 |;. TEST ind|
00001db0 3d 30 20 54 48 45 4e 0a 09 20 54 45 53 54 20 66 |=0 THEN.. TEST f|
00001dc0 3d 66 2e 6c 64 20 54 48 45 4e 0a 09 20 20 20 20 |=f.ld THEN.. |
00001dd0 47 65 6e 43 50 44 54 28 66 2c 20 72 2c 20 62 2c |GenCPDT(f, r, b,|
00001de0 20 6d 2c 20 61 2f 42 79 74 65 73 50 65 72 57 6f | m, a/BytesPerWo|
00001df0 72 64 29 0a 09 20 45 4c 53 45 0a 09 20 20 20 20 |rd).. ELSE.. |
00001e00 47 65 6e 4f 70 54 6f 53 74 6f 72 65 44 53 28 66 |GenOpToStoreDS(f|
00001e10 2c 20 72 2c 20 73 2c 20 62 2c 20 6d 2c 20 61 29 |, r, s, b, m, a)|
00001e20 0a 20 20 20 20 20 20 45 4c 53 45 20 24 28 0a 09 |. ELSE $(..|
00001e30 20 4c 45 54 20 73 69 7a 65 20 3d 20 69 6e 64 2f | LET size = ind/|
00001e40 33 32 3b 0a 09 20 4c 45 54 20 73 68 69 66 74 20 |32;.. LET shift |
00001e50 3d 20 69 6e 64 20 52 45 4d 20 33 32 3b 0a 09 20 |= ind REM 32;.. |
00001e60 4c 45 54 20 72 32 20 3d 20 72 3b 0a 09 20 4c 45 |LET r2 = r;.. LE|
00001e70 54 20 63 6c 61 73 73 4f 66 53 65 6c 20 3d 20 54 |T classOfSel = T|
00001e80 79 70 65 4f 66 46 69 65 6c 64 28 73 69 7a 65 2c |ypeOfField(size,|
00001e90 20 73 68 69 66 74 29 3b 0a 0a 09 20 49 46 20 66 | shift);... IF f|
00001ea0 7e 3d 66 2e 6c 64 72 20 54 48 45 4e 20 72 32 20 |~=f.ldr THEN r2 |
00001eb0 3a 3d 20 4e 65 78 74 52 28 29 3b 0a 0a 09 20 54 |:= NextR();... T|
00001ec0 45 53 54 20 72 31 3d 4e 75 6c 6c 20 26 20 28 63 |EST r1=Null & (c|
00001ed0 6c 61 73 73 4f 66 53 65 6c 3d 62 79 74 65 66 69 |lassOfSel=bytefi|
00001ee0 65 6c 64 20 7c 20 63 6c 61 73 73 4f 66 53 65 6c |eld | classOfSel|
00001ef0 3d 6c 62 79 74 65 66 69 65 6c 64 29 20 54 48 45 |=lbytefield) THE|
00001f00 4e 0a 09 20 24 28 20 47 65 6e 46 32 28 66 2e 6c |N.. $( GenF2(f.l|
00001f10 64 72 62 2c 20 72 32 2c 20 62 2c 20 6d 2c 20 61 |drb, r2, b, m, a|
00001f20 2b 73 68 69 66 74 2f 38 29 3b 0a 09 20 20 20 20 |+shift/8);.. |
00001f30 49 46 20 63 6c 61 73 73 4f 66 53 65 6c 7e 3d 62 |IF classOfSel~=b|
00001f40 79 74 65 66 69 65 6c 64 20 54 48 45 4e 0a 09 20 |ytefield THEN.. |
00001f50 20 20 20 24 28 20 73 68 69 66 74 20 3a 3d 20 73 | $( shift := s|
00001f60 68 69 66 74 20 52 45 4d 20 38 3b 0a 09 20 20 20 |hift REM 8;.. |
00001f70 20 20 20 20 49 46 20 73 68 69 66 74 7e 3d 30 20 | IF shift~=0 |
00001f80 54 48 45 4e 20 53 68 69 66 74 52 65 67 69 73 74 |THEN ShiftRegist|
00001f90 65 72 28 72 32 2c 20 73 68 2e 6c 73 72 2c 20 73 |er(r2, sh.lsr, s|
00001fa0 68 69 66 74 29 20 24 29 20 24 29 0a 09 20 45 4c |hift) $) $).. EL|
00001fb0 53 45 20 24 28 0a 09 20 20 20 20 4c 45 54 20 6c |SE $(.. LET l|
00001fc0 65 66 74 20 3d 20 54 61 72 67 65 74 57 6f 72 64 |eft = TargetWord|
00001fd0 53 69 7a 65 2d 73 69 7a 65 3b 0a 09 20 20 20 20 |Size-size;.. |
00001fe0 54 45 53 54 20 72 31 3d 4e 75 6c 6c 20 54 48 45 |TEST r1=Null THE|
00001ff0 4e 20 24 28 0a 09 20 20 20 20 20 20 20 47 65 6e |N $(.. Gen|
00002000 46 32 28 66 2e 6c 64 72 2c 20 72 32 2c 20 62 2c |F2(f.ldr, r2, b,|
00002010 20 6d 2c 20 61 29 3b 0a 09 20 20 20 20 20 20 20 | m, a);.. |
00002020 72 31 20 3a 3d 20 72 32 20 24 29 0a 09 20 20 20 |r1 := r2 $).. |
00002030 20 45 4c 53 45 0a 09 20 20 20 20 20 20 20 46 6c | ELSE.. Fl|
00002040 75 73 68 50 65 6e 64 69 6e 67 4c 6f 61 64 73 46 |ushPendingLoadsF|
00002050 6f 72 52 65 67 28 72 31 29 3b 0a 0a 09 20 20 20 |orReg(r1);... |
00002060 20 54 45 53 54 20 73 68 69 66 74 7e 3d 30 20 7c | TEST shift~=0 ||
00002070 20 28 6c 65 66 74 3e 38 20 26 20 6c 65 66 74 3c | (left>8 & left<|
00002080 32 34 29 20 54 48 45 4e 20 24 28 0a 09 20 20 20 |24) THEN $(.. |
00002090 20 20 20 20 4c 45 54 20 6e 20 3d 20 54 61 72 67 | LET n = Targ|
000020a0 65 74 57 6f 72 64 53 69 7a 65 2d 73 69 7a 65 2d |etWordSize-size-|
000020b0 73 68 69 66 74 3b 0a 09 20 20 20 20 20 20 20 49 |shift;.. I|
000020c0 46 20 6e 7e 3d 30 20 54 48 45 4e 0a 09 20 20 20 |F n~=0 THEN.. |
000020d0 20 20 20 20 24 28 20 53 68 69 66 74 52 65 67 69 | $( ShiftRegi|
000020e0 73 74 65 72 44 53 28 72 32 2c 20 72 31 2c 20 73 |sterDS(r2, r1, s|
000020f0 68 2e 61 73 6c 2c 20 6e 29 3b 0a 09 09 20 20 72 |h.asl, n);... r|
00002100 31 20 3a 3d 20 72 32 20 24 29 3b 0a 09 20 20 20 |1 := r2 $);.. |
00002110 20 20 20 20 53 68 69 66 74 52 65 67 69 73 74 65 | ShiftRegiste|
00002120 72 44 53 28 72 32 2c 20 72 31 2c 20 73 68 2e 6c |rDS(r2, r1, sh.l|
00002130 73 72 2c 20 6c 65 66 74 29 20 24 29 0a 0a 09 20 |sr, left) $)... |
00002140 20 20 20 45 4c 53 45 20 54 45 53 54 20 6c 65 66 | ELSE TEST lef|
00002150 74 3c 3d 31 36 20 54 48 45 4e 0a 09 20 20 20 20 |t<=16 THEN.. |
00002160 20 20 20 47 65 6e 46 31 4b 28 66 2e 62 69 63 2c | GenF1K(f.bic,|
00002170 20 72 32 2c 20 72 31 2c 20 7e 5b 28 2d 31 29 3e | r2, r1, ~[(-1)>|
00002180 3e 6c 65 66 74 5d 29 0a 09 20 20 20 20 45 4c 53 |>left]).. ELS|
00002190 45 0a 09 20 20 20 20 20 20 20 47 65 6e 46 31 4b |E.. GenF1K|
000021a0 28 66 2e 61 6e 64 2c 20 72 32 2c 20 72 31 2c 20 |(f.and, r2, r1, |
000021b0 28 2d 31 29 3e 3e 6c 65 66 74 29 20 24 29 3b 0a |(-1)>>left) $);.|
000021c0 0a 09 20 54 45 53 54 20 66 3d 66 2e 6c 64 20 54 |.. TEST f=f.ld T|
000021d0 48 45 4e 0a 09 20 20 20 20 4d 6f 76 65 52 74 6f |HEN.. MoveRto|
000021e0 46 52 28 72 32 2c 20 72 2c 20 78 29 0a 09 20 45 |FR(r2, r, x).. E|
000021f0 4c 53 45 20 49 46 20 66 7e 3d 66 2e 6c 64 72 20 |LSE IF f~=f.ldr |
00002200 54 48 45 4e 20 24 28 0a 09 20 20 20 20 47 65 6e |THEN $(.. Gen|
00002210 52 52 28 66 2c 20 72 2c 20 73 2c 20 72 32 29 3b |RR(f, r, s, r2);|
00002220 0a 09 20 20 20 20 44 69 73 63 61 72 64 52 65 67 |.. DiscardReg|
00002230 28 72 2c 20 6b 2e 72 65 67 29 20 24 29 3b 0a 09 |(r, k.reg) $);..|
00002240 20 44 69 73 63 61 72 64 52 65 67 28 72 32 2c 20 | DiscardReg(r2, |
00002250 6b 2e 72 65 67 29 20 24 29 3b 0a 0a 20 20 20 20 |k.reg) $);.. |
00002260 20 20 55 6e 4c 6f 63 6b 28 62 2c 20 6b 2e 72 65 | UnLock(b, k.re|
00002270 67 29 3b 0a 20 20 20 20 20 20 52 45 53 55 4c 54 |g);. RESULT|
00002280 49 53 20 72 0a 20 20 20 24 29 3b 0a 0a 20 20 20 |IS r. $);.. |
00002290 49 46 20 6b 3d 30 20 54 48 45 4e 20 53 57 49 54 |IF k=0 THEN SWIT|
000022a0 43 48 4f 4e 20 74 20 49 4e 54 4f 0a 20 20 20 24 |CHON t INTO. $|
000022b0 28 20 43 41 53 45 20 6b 2e 6c 6f 63 3a 20 20 6b |( CASE k.loc: k|
000022c0 2c 20 6d 20 3a 3d 20 6c 69 6e 6b 61 67 65 4e 6f |, m := linkageNo|
000022d0 74 53 74 6f 72 65 64 20 2d 3e 20 72 2e 74 73 2c |tStored -> r.ts,|
000022e0 20 72 2e 70 2c 20 30 3b 0a 09 09 20 20 20 61 20 | r.p, 0;... a |
000022f0 3a 3d 20 6e 65 78 74 53 74 61 63 6b 57 6f 72 64 |:= nextStackWord|
00002300 2a 6e 3b 20 47 4f 54 4f 20 6c 6c 0a 20 20 20 20 |*n; GOTO ll. |
00002310 20 20 43 41 53 45 20 6b 2e 6c 61 62 3a 20 20 6b | CASE k.lab: k|
00002320 2c 20 6d 2c 20 61 20 3a 3d 20 43 68 65 63 6b 52 |, m, a := CheckR|
00002330 4c 4c 6f 61 64 65 64 28 29 2c 20 6e 2c 20 30 3b |LLoaded(), n, 0;|
00002340 20 47 4f 54 4f 20 6c 6c 0a 20 20 20 20 20 20 43 | GOTO ll. C|
00002350 41 53 45 20 6b 2e 73 74 61 74 69 63 3a 6b 2c 20 |ASE k.static:k, |
00002360 6d 2c 20 61 20 3a 3d 20 43 68 65 63 6b 52 4c 4c |m, a := CheckRLL|
00002370 6f 61 64 65 64 28 29 2c 20 30 2c 20 34 2a 6e 3b |oaded(), 0, 4*n;|
00002380 20 47 4f 54 4f 20 6c 6c 0a 20 20 20 20 20 20 43 | GOTO ll. C|
00002390 41 53 45 20 6b 2e 67 6c 6f 62 3a 20 6b 2c 20 6d |ASE k.glob: k, m|
000023a0 20 3a 3d 20 72 2e 67 2c 20 30 3b 20 61 20 3a 3d | := r.g, 0; a :=|
000023b0 20 34 2a 6e 3b 0a 09 20 20 20 20 20 20 20 6c 6c | 4*n;.. ll|
000023c0 3a 20 47 65 6e 4f 70 54 6f 53 74 6f 72 65 44 53 |: GenOpToStoreDS|
000023d0 28 66 2c 20 72 2c 20 73 2c 20 6b 2c 20 6d 2c 20 |(f, r, s, k, m, |
000023e0 61 29 3b 0a 09 20 20 20 20 20 20 20 6c 6d 3a 20 |a);.. lm: |
000023f0 49 46 20 66 7e 3d 66 2e 63 6d 70 73 20 54 48 45 |IF f~=f.cmps THE|
00002400 4e 0a 09 09 20 20 20 20 20 20 54 45 53 54 20 66 |N... TEST f|
00002410 3d 66 2e 6c 64 72 20 54 48 45 4e 0a 09 09 09 20 |=f.ldr THEN.... |
00002420 4d 6f 76 65 53 74 6f 52 28 6b 2e 72 65 67 2c 20 |MoveStoR(k.reg, |
00002430 72 2c 20 74 2c 20 6e 29 0a 09 09 20 20 20 20 20 |r, t, n)... |
00002440 20 45 4c 53 45 0a 09 09 09 20 44 69 73 63 61 72 | ELSE.... Discar|
00002450 64 52 65 67 28 72 2c 20 6b 2e 72 65 67 29 3b 0a |dReg(r, k.reg);.|
00002460 09 09 20 20 20 52 45 53 55 4c 54 49 53 20 72 0a |.. RESULTIS r.|
00002470 0a 20 20 20 20 20 20 44 45 46 41 55 4c 54 3a 0a |. DEFAULT:.|
00002480 20 20 20 24 29 3b 0a 0a 20 20 20 54 45 53 54 20 | $);.. TEST |
00002490 74 3d 6b 2e 6e 75 6d 62 65 72 20 54 48 45 4e 0a |t=k.number THEN.|
000024a0 20 20 20 20 20 20 54 45 53 54 20 66 3d 66 2e 6c | TEST f=f.l|
000024b0 64 72 20 54 48 45 4e 0a 09 20 53 65 74 52 74 6f |dr THEN.. SetRto|
000024c0 4b 28 72 2c 20 6e 2b 6b 29 0a 20 20 20 20 20 20 |K(r, n+k). |
000024d0 45 4c 53 45 20 54 45 53 54 20 45 69 67 68 74 42 |ELSE TEST EightB|
000024e0 69 74 73 4f 72 46 65 77 65 72 28 6e 2b 6b 29 20 |itsOrFewer(n+k) |
000024f0 54 48 45 4e 0a 09 20 46 31 49 6e 73 74 28 66 2c |THEN.. F1Inst(f,|
00002500 20 72 2c 20 73 2c 20 4e 75 6c 6c 2c 20 6b 2b 6e | r, s, Null, k+n|
00002510 2c 20 4e 75 6c 6c 2c 20 30 2c 20 6d 2e 61 6c 77 |, Null, 0, m.alw|
00002520 61 79 73 29 0a 20 20 20 20 20 20 45 4c 53 45 20 |ays). ELSE |
00002530 24 28 0a 09 20 4c 45 54 20 72 32 20 3d 20 3f 3b |$(.. LET r2 = ?;|
00002540 0a 09 20 4c 6f 63 6b 28 72 2c 20 6b 2e 72 65 67 |.. Lock(r, k.reg|
00002550 29 3b 20 4c 6f 63 6b 28 73 2c 20 6b 2e 72 65 67 |); Lock(s, k.reg|
00002560 29 3b 0a 09 20 72 32 20 3a 3d 20 4e 65 78 74 52 |);.. r2 := NextR|
00002570 28 29 3b 0a 09 20 53 65 74 52 74 6f 4b 28 72 32 |();.. SetRtoK(r2|
00002580 2c 20 6b 2b 6e 29 3b 0a 09 20 47 65 6e 52 52 28 |, k+n);.. GenRR(|
00002590 66 2c 20 72 2c 20 73 2c 20 72 32 29 3b 0a 09 20 |f, r, s, r2);.. |
000025a0 55 6e 4c 6f 63 6b 28 72 2c 20 6b 2e 72 65 67 29 |UnLock(r, k.reg)|
000025b0 3b 20 55 6e 6c 6f 63 6b 28 73 2c 20 6b 2e 72 65 |; Unlock(s, k.re|
000025c0 67 29 20 24 29 0a 0a 20 20 20 45 4c 53 45 20 24 |g) $).. ELSE $|
000025d0 28 0a 20 20 20 20 20 20 4c 45 54 20 62 2c 20 6e |(. LET b, n|
000025e0 20 3d 20 72 2e 70 2c 20 68 35 21 78 3b 0a 20 20 | = r.p, h5!x;. |
000025f0 20 20 20 20 53 74 6f 72 65 54 28 78 29 3b 0a 20 | StoreT(x);. |
00002600 20 20 20 20 20 49 46 20 7e 75 73 65 73 46 72 61 | IF ~usesFra|
00002610 6d 65 20 54 48 45 4e 20 62 2c 20 6e 20 3a 3d 20 |me THEN b, n := |
00002620 72 2e 74 73 2c 20 6e 2d 73 61 76 65 53 70 61 63 |r.ts, n-saveSpac|
00002630 65 53 69 7a 65 3b 0a 20 20 20 20 20 20 6e 20 3a |eSize;. n :|
00002640 3d 20 6e 2a 6e 65 78 74 53 74 61 63 6b 57 6f 72 |= n*nextStackWor|
00002650 64 0a 20 20 20 20 20 20 47 65 6e 4f 70 54 6f 53 |d. GenOpToS|
00002660 74 6f 72 65 44 53 28 66 2c 20 72 2c 20 73 2c 20 |toreDS(f, r, s, |
00002670 62 2c 20 30 2c 20 6e 29 20 24 29 3b 0a 0a 20 20 |b, 0, n) $);.. |
00002680 20 52 45 53 55 4c 54 49 53 20 72 0a 24 29 0a 0a | RESULTIS r.$)..|
00002690 41 4e 44 20 43 47 56 65 63 53 74 28 29 20 42 45 |AND CGVecSt() BE|
000026a0 0a 24 28 20 4c 45 54 20 72 20 3d 20 3f 3b 0a 20 |.$( LET r = ?;. |
000026b0 20 20 6c 6f 61 64 52 65 67 46 72 6f 6d 46 52 65 | loadRegFromFRe|
000026c0 67 4f 4b 20 3a 3d 20 54 52 55 45 3b 0a 20 20 20 |gOK := TRUE;. |
000026d0 72 20 3a 3d 20 4c 6f 61 64 41 72 67 33 54 6f 53 |r := LoadArg3ToS|
000026e0 6f 6d 65 43 52 28 29 3b 0a 20 20 20 6c 6f 61 64 |omeCR();. load|
000026f0 52 65 67 46 72 6f 6d 46 52 65 67 4f 4b 20 3a 3d |RegFromFRegOK :=|
00002700 20 46 41 4c 53 45 3b 0a 20 20 20 52 65 61 64 4f | FALSE;. ReadO|
00002710 70 28 29 3b 0a 20 20 20 43 47 56 65 63 61 70 4f |p();. CGVecapO|
00002720 72 53 74 28 66 2e 73 74 72 2c 20 72 29 3b 0a 20 |rSt(f.str, r);. |
00002730 20 20 54 45 53 54 20 6c 6f 63 61 6c 73 53 61 66 | TEST localsSaf|
00002740 65 20 54 48 45 4e 0a 20 20 20 20 20 20 44 69 73 |e THEN. Dis|
00002750 63 61 72 64 4e 6f 6e 4c 6f 63 61 6c 52 65 67 73 |cardNonLocalRegs|
00002760 28 29 0a 20 20 20 45 4c 53 45 0a 20 20 20 20 20 |(). ELSE. |
00002770 20 44 69 73 63 61 72 64 4e 6f 6e 43 6f 6e 73 74 | DiscardNonConst|
00002780 52 65 67 73 28 29 3b 0a 20 20 20 53 74 61 63 6b |Regs();. Stack|
00002790 28 73 73 70 2d 32 29 0a 24 29 0a 0a 41 4e 44 20 |(ssp-2).$)..AND |
000027a0 43 47 56 65 63 61 70 28 29 20 42 45 0a 24 28 20 |CGVecap() BE.$( |
000027b0 4c 45 54 20 6f 70 20 3d 20 3f 3b 0a 20 20 20 52 |LET op = ?;. R|
000027c0 65 61 64 4f 70 28 29 3b 0a 20 20 20 6f 70 20 3a |eadOp();. op :|
000027d0 3d 20 50 65 65 6b 4e 28 29 3b 0a 20 20 20 54 45 |= PeekN();. TE|
000027e0 53 54 20 6f 70 3d 73 2e 73 70 20 7c 20 6f 70 3d |ST op=s.sp | op=|
000027f0 73 2e 73 67 20 7c 20 6f 70 3d 73 2e 73 6c 20 54 |s.sg | op=s.sl T|
00002800 48 45 4e 20 24 28 0a 20 20 20 20 20 20 4c 45 54 |HEN $(. LET|
00002810 20 74 20 3d 20 6f 70 3d 73 2e 73 70 20 2d 3e 20 | t = op=s.sp -> |
00002820 6b 2e 6c 6f 63 2c 0a 09 20 20 20 20 20 20 6f 70 |k.loc,.. op|
00002830 3d 73 2e 73 67 20 2d 3e 20 6b 2e 67 6c 6f 62 2c |=s.sg -> k.glob,|
00002840 0a 09 09 09 20 6b 2e 6c 61 62 3b 0a 20 20 20 20 |.... k.lab;. |
00002850 20 20 4c 45 54 20 6e 20 3d 3f 3b 0a 20 20 20 20 | LET n =?;. |
00002860 20 20 52 65 61 64 4f 70 28 29 3b 0a 20 20 20 20 | ReadOp();. |
00002870 20 20 6e 20 3a 3d 20 52 65 61 64 4e 28 29 3b 0a | n := ReadN();.|
00002880 20 20 20 20 20 20 49 46 20 74 3d 6b 2e 6c 61 62 | IF t=k.lab|
00002890 20 54 48 45 4e 20 24 28 0a 09 20 4c 45 54 20 6b | THEN $(.. LET k|
000028a0 20 3d 20 4f 66 66 73 65 74 4f 66 53 74 61 74 69 | = OffsetOfStati|
000028b0 63 28 6e 29 3b 0a 09 20 49 46 20 6b 7e 3d 4e 75 |c(n);.. IF k~=Nu|
000028c0 6c 6c 20 54 48 45 4e 20 74 2c 20 6e 20 3a 3d 20 |ll THEN t, n := |
000028d0 6b 2e 73 74 61 74 69 63 2c 20 6b 20 24 29 3b 0a |k.static, k $);.|
000028e0 20 20 20 20 20 20 43 47 56 65 63 61 70 4f 72 53 | CGVecapOrS|
000028f0 74 28 66 2e 6c 64 72 2c 20 4c 6f 6f 6b 46 6f 72 |t(f.ldr, LookFor|
00002900 53 6c 6f 63 28 4e 6f 74 41 64 64 72 2c 20 74 2c |Sloc(NotAddr, t,|
00002910 20 6e 29 29 3b 0a 20 20 20 20 20 20 47 65 6e 53 | n));. GenS|
00002920 74 6f 72 65 28 74 2c 20 6e 29 20 24 29 0a 20 20 |tore(t, n) $). |
00002930 20 45 4c 53 45 0a 20 20 20 20 20 20 43 47 56 65 | ELSE. CGVe|
00002940 63 61 70 4f 72 53 74 28 66 2e 6c 64 72 2c 20 2d |capOrSt(f.ldr, -|
00002950 31 29 0a 24 29 0a 0a 41 4e 44 20 43 47 56 65 63 |1).$)..AND CGVec|
00002960 61 70 4f 72 53 74 28 66 6e 2c 20 72 29 20 42 45 |apOrSt(fn, r) BE|
00002970 0a 24 28 20 2f 2f 20 62 6f 74 68 20 73 69 64 65 |.$( // both side|
00002980 73 20 73 68 6f 75 6c 64 20 62 65 20 72 65 61 73 |s should be reas|
00002990 6f 6e 61 62 6c 79 20 63 6f 6d 70 6c 69 63 61 74 |onably complicat|
000029a0 65 64 0a 20 20 20 2f 2f 20 28 61 74 20 6c 65 61 |ed. // (at lea|
000029b0 73 74 2c 20 6e 6f 74 20 61 20 63 6f 6e 73 74 61 |st, not a consta|
000029c0 6e 74 29 0a 20 20 20 4c 45 54 20 78 2c 20 79 20 |nt). LET x, y |
000029d0 3d 20 61 72 67 31 2c 20 61 72 67 32 3b 0a 20 20 |= arg1, arg2;. |
000029e0 20 4c 45 54 20 66 20 3d 20 4c 6f 61 64 41 64 64 | LET f = LoadAdd|
000029f0 72 65 73 73 3b 0a 20 20 20 4c 45 54 20 62 2c 20 |ress;. LET b, |
00002a00 69 78 20 3d 20 3f 2c 20 3f 3b 0a 20 20 20 4c 45 |ix = ?, ?;. LE|
00002a10 54 20 73 68 69 66 74 62 79 20 3d 20 32 3b 0a 20 |T shiftby = 2;. |
00002a20 20 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 74 | FlushPendingSt|
00002a30 6f 72 65 73 28 29 3b 0a 20 20 20 49 46 20 68 32 |ores();. IF h2|
00002a40 21 61 72 67 31 3e 3d 30 20 54 48 45 4e 20 4d 6f |!arg1>=0 THEN Mo|
00002a50 76 65 54 6f 41 6e 79 52 28 61 72 67 31 29 3b 0a |veToAnyR(arg1);.|
00002a60 20 20 20 49 46 20 68 32 21 61 72 67 32 3e 3d 30 | IF h2!arg2>=0|
00002a70 20 54 48 45 4e 20 4d 6f 76 65 54 6f 41 6e 79 52 | THEN MoveToAnyR|
00002a80 28 61 72 67 32 29 3b 0a 0a 20 20 20 54 45 53 54 |(arg2);.. TEST|
00002a90 20 6b 2e 6c 76 6c 6f 63 3c 3d 68 31 21 61 72 67 | k.lvloc<=h1!arg|
00002aa0 31 3c 3d 6b 2e 6c 76 6c 61 62 20 54 48 45 4e 20 |1<=k.lvlab THEN |
00002ab0 24 28 0a 20 20 20 20 20 20 66 2c 20 68 31 21 61 |$(. f, h1!a|
00002ac0 72 67 31 20 3a 3d 20 4d 6f 76 65 54 6f 41 6e 79 |rg1 := MoveToAny|
00002ad0 43 52 2c 20 68 31 21 61 72 67 31 2b 6b 2e 6c 76 |CR, h1!arg1+k.lv|
00002ae0 73 3b 0a 20 20 20 20 20 20 68 34 21 61 72 67 31 |s;. h4!arg1|
00002af0 20 3a 3d 20 68 34 21 61 72 67 31 2a 34 20 24 29 | := h4!arg1*4 $)|
00002b00 0a 0a 20 20 20 45 4c 53 45 20 54 45 53 54 20 6b |.. ELSE TEST k|
00002b10 2e 6c 76 6c 6f 63 3c 3d 68 31 21 61 72 67 32 3c |.lvloc<=h1!arg2<|
00002b20 3d 6b 2e 6c 76 6c 61 62 20 54 48 45 4e 20 24 28 |=k.lvlab THEN $(|
00002b30 0a 20 20 20 20 20 20 78 2c 20 79 20 3a 3d 20 61 |. x, y := a|
00002b40 72 67 32 2c 20 61 72 67 31 3b 0a 20 20 20 20 20 |rg2, arg1;. |
00002b50 20 66 2c 20 68 31 21 61 72 67 32 20 3a 3d 20 4d | f, h1!arg2 := M|
00002b60 6f 76 65 54 6f 41 6e 79 43 52 2c 20 68 31 21 61 |oveToAnyCR, h1!a|
00002b70 72 67 32 2b 6b 2e 6c 76 73 3b 0a 20 20 20 20 20 |rg2+k.lvs;. |
00002b80 20 68 34 21 61 72 67 32 20 3a 3d 20 68 34 21 61 | h4!arg2 := h4!a|
00002b90 72 67 32 2a 34 20 24 29 0a 0a 20 20 20 45 4c 53 |rg2*4 $).. ELS|
00002ba0 45 20 49 46 20 4c 6f 6f 6b 46 6f 72 28 61 72 67 |E IF LookFor(arg|
00002bb0 32 2c 20 53 68 69 66 74 65 64 55 70 29 3e 3d 30 |2, ShiftedUp)>=0|
00002bc0 20 54 48 45 4e 20 24 28 0a 20 20 20 20 20 20 78 | THEN $(. x|
00002bd0 2c 20 79 20 3a 3d 20 61 72 67 32 2c 20 61 72 67 |, y := arg2, arg|
00002be0 31 3b 0a 20 20 20 20 20 20 49 46 20 68 31 21 79 |1;. IF h1!y|
00002bf0 7e 3d 6b 2e 73 68 72 65 67 20 54 48 45 4e 20 24 |~=k.shreg THEN $|
00002c00 28 0a 09 20 68 34 21 79 20 3a 3d 20 68 34 21 78 |(.. h4!y := h4!x|
00002c10 2b 68 34 21 79 3b 0a 09 20 68 34 21 78 20 3a 3d |+h4!y;.. h4!x :=|
00002c20 20 30 20 24 29 20 24 29 3b 0a 0a 20 20 20 62 20 | 0 $) $);.. b |
00002c30 3a 3d 20 66 28 78 29 3b 0a 20 20 20 4c 6f 63 6b |:= f(x);. Lock|
00002c40 28 62 2c 20 6b 2e 72 65 67 29 3b 0a 20 20 20 54 |(b, k.reg);. T|
00002c50 45 53 54 20 68 31 21 79 3d 6b 2e 73 68 72 65 67 |EST h1!y=k.shreg|
00002c60 20 26 20 28 68 34 21 79 29 2f 33 32 3d 73 68 2e | & (h4!y)/32=sh.|
00002c70 61 73 6c 20 54 48 45 4e 0a 20 20 20 20 20 20 69 |asl THEN. i|
00002c80 78 2c 20 73 68 69 66 74 62 79 20 3a 3d 20 68 33 |x, shiftby := h3|
00002c90 21 79 2c 20 73 68 69 66 74 62 79 2b 5b 28 68 34 |!y, shiftby+[(h4|
00002ca0 21 79 29 20 52 45 4d 20 33 32 5d 0a 20 20 20 45 |!y) REM 32]. E|
00002cb0 4c 53 45 0a 20 20 20 20 20 20 69 78 20 3a 3d 20 |LSE. ix := |
00002cc0 4d 6f 76 65 54 6f 41 6e 79 43 52 28 79 29 3b 0a |MoveToAnyCR(y);.|
00002cd0 20 20 20 4c 6f 63 6b 28 69 78 2c 20 6b 2e 72 65 | Lock(ix, k.re|
00002ce0 67 29 3b 0a 20 20 20 49 46 20 72 3c 30 20 54 48 |g);. IF r<0 TH|
00002cf0 45 4e 20 72 20 3a 3d 20 4e 65 78 74 52 28 29 3b |EN r := NextR();|
00002d00 0a 20 20 20 54 45 53 54 20 6c 6f 63 61 6c 73 53 |. TEST localsS|
00002d10 61 66 65 20 54 48 45 4e 20 24 28 0a 20 20 20 20 |afe THEN $(. |
00002d20 20 20 49 46 20 66 6e 3d 66 2e 73 74 72 20 54 48 | IF fn=f.str TH|
00002d30 45 4e 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 4c |EN FlushPendingL|
00002d40 6f 61 64 73 45 78 63 65 70 74 4c 6f 63 61 6c 73 |oadsExceptLocals|
00002d50 28 29 3b 0a 20 20 20 20 20 20 46 6c 75 73 68 50 |();. FlushP|
00002d60 65 6e 64 69 6e 67 53 74 6f 72 65 73 45 78 63 65 |endingStoresExce|
00002d70 70 74 4c 6f 63 61 6c 73 41 6e 64 49 72 65 67 73 |ptLocalsAndIregs|
00002d80 28 29 20 24 29 0a 20 20 20 45 4c 53 45 20 24 28 |() $). ELSE $(|
00002d90 0a 20 20 20 20 20 20 49 46 20 66 6e 3d 66 2e 73 |. IF fn=f.s|
00002da0 74 72 20 54 48 45 4e 20 46 6c 75 73 68 50 65 6e |tr THEN FlushPen|
00002db0 64 69 6e 67 4c 6f 61 64 73 28 29 3b 0a 20 20 20 |dingLoads();. |
00002dc0 20 20 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 | FlushPendingS|
00002dd0 74 6f 72 65 73 28 29 20 24 29 3b 0a 0a 20 20 20 |tores() $);.. |
00002de0 46 32 49 6e 73 74 28 66 6e 2c 20 72 2c 20 62 2c |F2Inst(fn, r, b,|
00002df0 20 30 2c 20 69 78 2c 20 66 2e 70 72 65 75 70 2c | 0, ix, f.preup,|
00002e00 20 73 68 2e 61 73 6c 2c 20 73 68 69 66 74 62 79 | sh.asl, shiftby|
00002e10 2c 20 6d 2e 61 6c 77 61 79 73 29 3b 0a 20 20 20 |, m.always);. |
00002e20 55 6e 4c 6f 63 6b 28 62 2c 20 6b 2e 72 65 67 29 |UnLock(b, k.reg)|
00002e30 3b 20 55 6e 4c 6f 63 6b 28 69 78 2c 20 6b 2e 72 |; UnLock(ix, k.r|
00002e40 65 67 29 3b 0a 20 20 20 54 45 53 54 20 66 6e 3d |eg);. TEST fn=|
00002e50 66 2e 6c 64 72 20 54 48 45 4e 0a 20 20 20 20 20 |f.ldr THEN. |
00002e60 20 4c 6f 73 65 28 72 2c 20 6b 2e 72 65 67 29 0a | Lose(r, k.reg).|
00002e70 20 20 20 45 4c 53 45 0a 20 20 20 20 20 20 53 74 | ELSE. St|
00002e80 61 63 6b 28 73 73 70 2d 31 29 0a 24 29 0a |ack(ssp-1).$).|
00002e8e 
.