Home » Archimedes archive » Zipped Apps » BCPL » BCPL/b/cgk
BCPL/b/cgk
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/cgk |
| Read OK: | ✔ |
| File size: | 1E04 bytes |
| Load address: | 0000 |
| Exec address: | 0000 |
File contents
SECTION "CGK"
GET "b.CgHeader"
GET "b.Fp2Ops"
STATIC {
/* Floating point operations for ARM CG
Version of 11 Sep 87 13:40:51
*/
dummy = VersionMark;
version = 1*256+5 }
LET CGFloat() BE {
LET fr = NextFR();
LET r = MoveToAnyCR(arg1);
GenCPRT(ff.flt, fr, r, 0)
h1!arg1, h3!arg1 := k.freg, fr }
AND CGFix() BE {
LET fr = MoveToAnyCFR(arg1);
LET r = NextR();
GenCPRT(ff.fix, 0, r, fr);
h1!arg1, h3!arg1 := k.reg, r }
AND CGFop(op) BE {
LET reversed = FALSE;
LET r1, r2, a, b = ?, ?, ?, ?;
TEST IsConst(arg2) & SmallFloatingConstant(h3!arg2)~=Null THEN
reversed, a, b := TRUE, arg1, arg2
ELSE
a, b := arg2, arg1
r1 := MoveToAnyFR(a);
r2 := IsConst(b) -> SmallFloatingConstant(h3!b), Null;
op := VALOF SWITCHON op INTO {
CASE s.fmult: RESULTIS ff.mlf
CASE s.fdiv: RESULTIS reversed -> ff.rdf, ff.dvf
CASE s.fplus: RESULTIS ff.adf
CASE s.fminus:RESULTIS reversed -> ff.rsf, ff.sbf };
TEST r2~=Null THEN
GenCPDO(op, r1, r1, ff.const, r2)
ELSE {
Lock(r1, k.freg);
r2 := MoveToAnyCFR(b);
GenCPDO(op, r1, r1, 0, r2);
Unlock(r1, k.freg) };
Lose(r1, k.freg) }
AND CGFUnop(op) BE
TEST IsConst(arg1) THEN {
LET n = h3!arg1;
TEST op=s.abs
THEN h3!arg1 := n & ~fps.sign
ELSE IF n~=0 THEN h3!arg1 := n NEQV fps.sign }
ELSE {
LET fr = MoveToAnyFR(arg1);
op := op=s.fabs -> ff.abs, ff.mnf;
GenCPDO(op, fr, 0, 0, fr) }
AND CGFCompare(a, b) BE {
LET r1 = MoveToAnyCFR(a);
LET r2 = IsConst(b) -> SmallFloatingConstant(h3!b), Null;
TEST r2~=Null THEN
GenCPRT(ff.cmf+ff.const, r1, r.pc, r2)
ELSE
GenCPRT(ff.cmf, r1, r.pc, MoveToAnyCFR(b)) }
AND UsingFR(fr) = VALOF {
FOR t = tempv TO arg1 BY sssize DO
IF h1!t=k.freg & h3!t=fr
THEN RESULTIS t;
RESULTIS 0 }
AND MoveToAnyCFR(x) = MoveFAux(x, (~IsConst(x) & h4!x~=0) | h2!x>=0)
AND MoveToAnyFR(x) = MoveFAux(x, TRUE)
AND MoveFAux(x, copyLocked) = VALOF {
LET t, n, loc = ?, ?, ?;
RemoveFalseIndirection(x);
t, n, loc := h1!x, -1, h3!x;
TEST t=k.freg THEN
IF ~[copyLocked & Locked(loc, k.freg)] THEN
n := loc
ELSE IF h2!x<0 THEN {
n := LookForFR(t, loc);
IF n>=0 & ~([copyLocked | h4!x~=0] & Locked(n, k.freg)) THEN
h1!x, h3!x := k.freg, n };
IF n=-1 THEN n := NextFR();
MoveToFR(n, x);
RESULTIS h3!x }
AND NextFR() = VALOF {
STATIC { possible = 0 };
LET IsItFree(fr) = VALOF {
IF UsingFR(fr) | Locked(fr, k.freg) THEN RESULTIS FALSE;
IF possible<0 THEN possible := fr;
IF HasSlavedLoc(fr, k.freg) THEN RESULTIS FALSE;
RESULTIS TRUE };
possible := -1;
IF IsItFree(fr.0) THEN RESULTIS fr.0;
IF IsItFree(fr.1) THEN RESULTIS fr.1;
IF IsItFree(fr.2) THEN RESULTIS fr.2;
IF IsItFree(fr.3) THEN RESULTIS fr.3;
IF IsItFree(fr.4) THEN RESULTIS fr.4;
IF IsItFree(fr.5) THEN RESULTIS fr.5;
IF IsItFree(fr.6) THEN RESULTIS fr.6;
IF IsItFree(fr.7) THEN RESULTIS fr.7;
IF possible>=0 THEN {
DiscardReg(possible, k.freg);
RESULTIS possible };
FOR t = tempv TO arg1 BY sssize DO
IF h1!t=k.freg THEN {
LET fr = h3!t; StoreT(t); DiscardReg(fr, k.freg); RESULTIS fr };
BackTrace();
PrintSimulatedStack();
CGError(FALSE, "No free register found in NextFR");
RESULTIS 0 }
AND FreeFR(r) BE
FOR t = tempv TO arg1 BY sssize DO
IF h1!t=k.freg & h3!t=r
THEN { StoreT(t); RETURN }
AND CheckFPConstant(n) BE
IF n<fps.mantissa | n LGR (fps.sign+fps.expt) THEN
CGError(OnlyWarning, "Integer constant %n used as floating point operand", n)
AND MoveToFR(fr, x) BE {
LET t, ind, n, k = h1!x, h2!x, h3!x, h4!x;
LET loc = n
AND b, m = 0, 0;
IF ind>=0 THEN {
IF fr<0 THEN fr := NextFR();
fr := CompileDS(f.ld, fr, fr, x);
GOTO l };
TEST k~=0 & t~=k.number THEN {
LET r = MoveToAnyCR(x);
t, n := k.reg, r }
ELSE {
LET r = LookForFR(t, n);
TEST r>=0 THEN
t, n := k.freg, r
ELSE IF t=k.loc THEN {
r := RegisterDedicatedToLoc(n);
IF r~=Null THEN t, n := k.reg, r } };
SWITCHON t INTO {
CASE k.number:
loc := n+k;
{ LET sc = SmallFloatingConstant(loc);
IF sc~=Null THEN {
GenCPDO(ff.mvf, fr, 0, ff.const, sc);
ENDCASE }
CheckFPConstant(loc)
TEST usesRL THEN {
CheckRLLoaded();
b, m, n := r.l, 0, staticDataSize+Fdata(loc) }
ELSE
b, m, n := r.pc, LocalConstLab, Fdata(loc);
n := n/BytesPerWord;
GOTO lb }
DEFAULT:
n := MoveToAnyCR(x);
CASE k.reg:
IF RegInPendingList(pendingLoads, n)~=Null THEN
FlushPendingLoadsForReg(n);
MoveRtoFR(n, fr, x);
MoveRToR(k.reg, n, k.freg, fr);
ENDCASE
CASE k.freg:
IF fr~=n THEN {
GenCPDO(ff.mvf, fr, 0, 0, n);
MoveRToR(k.freg, n, k.freg, fr) };
ENDCASE
CASE k.lab:
m := n; 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 := linkageNotStored=r.b -> r.p,
linkageNotStored -> r.ts, r.p
ELSE
b, n := r.ts, n-saveSpaceSize;
n := (nextStackWord/BytesPerWord)*n;
la: FlushPendingStoresForSLoc(t, n);
lb: GenCPDT(f.ld, fr, b, m, n);
MoveSToR(k.freg, fr, t, loc);
ENDCASE };
l:
h1!x, h2!x, h3!x, h4!x := k.freg, -1, fr, 0 }
AND SmallFloatingConstant(n) =
n=0 -> 0,
n=1.0 -> 1,
n=2.0 -> 2,
n=3.0 -> 3,
n=4.0 -> 4,
n=5.0 -> 5,
n=0.5 -> 6,
n=10.0 -> 7,
Null
AND StoreFR(fr, base, prepost, n) BE {
TEST n<0 THEN
prepost, n := prepost+f.down, -n
ELSE
prepost := prepost+f.up;
IF (prepost&f.pre)=f.post THEN prepost := prepost | f.wb;
F4Inst(f.st+ff.cpdt, base, fr<<12, ff.cpno+prepost+n) }
AND MoveRtoFR(r, fr, x) BE {
GenF2(f.str, r, r.g, 0, -4);
GenCPDT(f.ld, fr, r.g, 0, -1) }
AND MoveFRtoR(fr, r, x) BE {
GenCPDT(f.st, fr, r.g, 0, -1);
GenF2(f.ldr, r, r.g, 0, -4) }
AND GenCPRT(op, fr, r, fr2) BE
F4Inst(op, fr, r<<12, ff.cprt+ff.cpno+fr2)
AND GenCPDO(op, frdest, fr1, isconst, fr2) BE
F4Inst(op, fr1, frdest<<12, ff.cpdo+ff.cpno+isconst+fr2)
AND GenCPDT(op, fr, b, lab, offset) BE
GenF2(op+ff.cpdt+ff.cpno, fr, b, lab, offset)
AND PackFPNum(mantissa, exponent, sign) = VALOF {
// Construction of floating point constants.
// Exponent is decimal.
// The construction avoids use of floating point operations
// (the easy way out) in order to run on a machine without support
// for them. Maybe this wants reviewing later.
LET x = #x96;
LET op = PeekN();
IF op=s.neg THEN
CGError(OnlyWarning, "Integer negation of floating point constant");
IF mantissa=0 THEN RESULTIS 0; // The easy case
sign := sign<0 -> #x80000000, 0;
TEST exponent>0 THEN
WHILE exponent~=0 DO {
TEST (mantissa�)=0 THEN
mantissa := mantissa*10
ELSE {
mantissa := MulDiv(mantissa, 10, 16);
IF result2>=8 THEN mantissa := mantissa+1;
x := x+4 };
exponent := exponent-1 }
ELSE IF exponent<0 THEN {
WHILE (mantissa�)~=0 DO mantissa, x := mantissa>>1, x+1;
WHILE (mantissa�)=0 DO mantissa, x := mantissa<<1, x-1;
WHILE exponent~=0 DO {
mantissa := MulDiv(mantissa, 16, 10);
x := x-4;
WHILE (mantissa�)~=0 DO
mantissa, x := (mantissa>>1), x+1;
exponent := exponent+1 } };
WHILE (mantissa�)~=0 DO {
IF (mantissa&1)~=0 THEN mantissa := mantissa+2;
mantissa, x := mantissa>>1, x+1 };
WHILE (mantissa�)=0 DO mantissa, x := mantissa<<1, x-1;
RESULTIS sign | (mantissa&fps.mantissa) | (x<<fps.exptshift) }
00000000 53 45 43 54 49 4f 4e 20 22 43 47 4b 22 0a 0a 47 |SECTION "CGK"..G|
00000010 45 54 20 22 62 2e 43 67 48 65 61 64 65 72 22 0a |ET "b.CgHeader".|
00000020 47 45 54 20 22 62 2e 46 70 32 4f 70 73 22 0a 0a |GET "b.Fp2Ops"..|
00000030 53 54 41 54 49 43 20 7b 0a 2f 2a 20 46 6c 6f 61 |STATIC {./* Floa|
00000040 74 69 6e 67 20 70 6f 69 6e 74 20 6f 70 65 72 61 |ting point opera|
00000050 74 69 6f 6e 73 20 66 6f 72 20 41 52 4d 20 43 47 |tions for ARM CG|
00000060 0a 20 20 20 56 65 72 73 69 6f 6e 20 6f 66 20 20 |. Version of |
00000070 31 31 20 53 65 70 20 38 37 20 31 33 3a 34 30 3a |11 Sep 87 13:40:|
00000080 35 31 0a 2a 2f 0a 20 20 20 64 75 6d 6d 79 20 3d |51.*/. dummy =|
00000090 20 56 65 72 73 69 6f 6e 4d 61 72 6b 3b 0a 20 20 | VersionMark;. |
000000a0 20 76 65 72 73 69 6f 6e 20 3d 20 31 2a 32 35 36 | version = 1*256|
000000b0 2b 35 20 7d 0a 0a 4c 45 54 20 43 47 46 6c 6f 61 |+5 }..LET CGFloa|
000000c0 74 28 29 20 42 45 20 7b 0a 20 20 20 4c 45 54 20 |t() BE {. LET |
000000d0 66 72 20 3d 20 4e 65 78 74 46 52 28 29 3b 0a 20 |fr = NextFR();. |
000000e0 20 20 4c 45 54 20 72 20 3d 20 4d 6f 76 65 54 6f | LET r = MoveTo|
000000f0 41 6e 79 43 52 28 61 72 67 31 29 3b 0a 20 20 20 |AnyCR(arg1);. |
00000100 47 65 6e 43 50 52 54 28 66 66 2e 66 6c 74 2c 20 |GenCPRT(ff.flt, |
00000110 66 72 2c 20 72 2c 20 30 29 0a 20 20 20 68 31 21 |fr, r, 0). h1!|
00000120 61 72 67 31 2c 20 68 33 21 61 72 67 31 20 3a 3d |arg1, h3!arg1 :=|
00000130 20 6b 2e 66 72 65 67 2c 20 66 72 20 7d 0a 0a 41 | k.freg, fr }..A|
00000140 4e 44 20 43 47 46 69 78 28 29 20 42 45 20 7b 0a |ND CGFix() BE {.|
00000150 20 20 20 4c 45 54 20 66 72 20 3d 20 4d 6f 76 65 | LET fr = Move|
00000160 54 6f 41 6e 79 43 46 52 28 61 72 67 31 29 3b 0a |ToAnyCFR(arg1);.|
00000170 20 20 20 4c 45 54 20 72 20 3d 20 4e 65 78 74 52 | LET r = NextR|
00000180 28 29 3b 0a 20 20 20 47 65 6e 43 50 52 54 28 66 |();. GenCPRT(f|
00000190 66 2e 66 69 78 2c 20 30 2c 20 72 2c 20 66 72 29 |f.fix, 0, r, fr)|
000001a0 3b 0a 20 20 20 68 31 21 61 72 67 31 2c 20 68 33 |;. h1!arg1, h3|
000001b0 21 61 72 67 31 20 3a 3d 20 6b 2e 72 65 67 2c 20 |!arg1 := k.reg, |
000001c0 72 20 7d 0a 0a 41 4e 44 20 43 47 46 6f 70 28 6f |r }..AND CGFop(o|
000001d0 70 29 20 42 45 20 7b 0a 20 20 20 4c 45 54 20 72 |p) BE {. LET r|
000001e0 65 76 65 72 73 65 64 20 3d 20 46 41 4c 53 45 3b |eversed = FALSE;|
000001f0 0a 20 20 20 4c 45 54 20 72 31 2c 20 72 32 2c 20 |. LET r1, r2, |
00000200 61 2c 20 62 20 3d 20 3f 2c 20 3f 2c 20 3f 2c 20 |a, b = ?, ?, ?, |
00000210 3f 3b 0a 0a 20 20 20 54 45 53 54 20 49 73 43 6f |?;.. TEST IsCo|
00000220 6e 73 74 28 61 72 67 32 29 20 26 20 53 6d 61 6c |nst(arg2) & Smal|
00000230 6c 46 6c 6f 61 74 69 6e 67 43 6f 6e 73 74 61 6e |lFloatingConstan|
00000240 74 28 68 33 21 61 72 67 32 29 7e 3d 4e 75 6c 6c |t(h3!arg2)~=Null|
00000250 20 54 48 45 4e 0a 20 20 20 20 20 20 72 65 76 65 | THEN. reve|
00000260 72 73 65 64 2c 20 61 2c 20 62 20 3a 3d 20 54 52 |rsed, a, b := TR|
00000270 55 45 2c 20 61 72 67 31 2c 20 61 72 67 32 0a 20 |UE, arg1, arg2. |
00000280 20 20 45 4c 53 45 0a 20 20 20 20 20 20 61 2c 20 | ELSE. a, |
00000290 62 20 3a 3d 20 61 72 67 32 2c 20 61 72 67 31 0a |b := arg2, arg1.|
000002a0 0a 20 20 20 72 31 20 3a 3d 20 4d 6f 76 65 54 6f |. r1 := MoveTo|
000002b0 41 6e 79 46 52 28 61 29 3b 0a 20 20 20 72 32 20 |AnyFR(a);. r2 |
000002c0 3a 3d 20 49 73 43 6f 6e 73 74 28 62 29 20 2d 3e |:= IsConst(b) ->|
000002d0 20 53 6d 61 6c 6c 46 6c 6f 61 74 69 6e 67 43 6f | SmallFloatingCo|
000002e0 6e 73 74 61 6e 74 28 68 33 21 62 29 2c 20 4e 75 |nstant(h3!b), Nu|
000002f0 6c 6c 3b 0a 20 20 20 6f 70 20 3a 3d 20 56 41 4c |ll;. op := VAL|
00000300 4f 46 20 53 57 49 54 43 48 4f 4e 20 6f 70 20 49 |OF SWITCHON op I|
00000310 4e 54 4f 20 7b 0a 20 20 20 20 20 20 43 41 53 45 |NTO {. CASE|
00000320 20 73 2e 66 6d 75 6c 74 3a 20 52 45 53 55 4c 54 | s.fmult: RESULT|
00000330 49 53 20 66 66 2e 6d 6c 66 0a 20 20 20 20 20 20 |IS ff.mlf. |
00000340 43 41 53 45 20 73 2e 66 64 69 76 3a 20 20 52 45 |CASE s.fdiv: RE|
00000350 53 55 4c 54 49 53 20 72 65 76 65 72 73 65 64 20 |SULTIS reversed |
00000360 2d 3e 20 66 66 2e 72 64 66 2c 20 66 66 2e 64 76 |-> ff.rdf, ff.dv|
00000370 66 0a 20 20 20 20 20 20 43 41 53 45 20 73 2e 66 |f. CASE s.f|
00000380 70 6c 75 73 3a 20 52 45 53 55 4c 54 49 53 20 66 |plus: RESULTIS f|
00000390 66 2e 61 64 66 0a 20 20 20 20 20 20 43 41 53 45 |f.adf. CASE|
000003a0 20 73 2e 66 6d 69 6e 75 73 3a 52 45 53 55 4c 54 | s.fminus:RESULT|
000003b0 49 53 20 72 65 76 65 72 73 65 64 20 2d 3e 20 66 |IS reversed -> f|
000003c0 66 2e 72 73 66 2c 20 66 66 2e 73 62 66 20 7d 3b |f.rsf, ff.sbf };|
000003d0 0a 20 20 20 54 45 53 54 20 72 32 7e 3d 4e 75 6c |. TEST r2~=Nul|
000003e0 6c 20 54 48 45 4e 0a 20 20 20 20 20 20 47 65 6e |l THEN. Gen|
000003f0 43 50 44 4f 28 6f 70 2c 20 72 31 2c 20 72 31 2c |CPDO(op, r1, r1,|
00000400 20 66 66 2e 63 6f 6e 73 74 2c 20 72 32 29 0a 20 | ff.const, r2). |
00000410 20 20 45 4c 53 45 20 7b 0a 20 20 20 20 20 20 4c | ELSE {. L|
00000420 6f 63 6b 28 72 31 2c 20 6b 2e 66 72 65 67 29 3b |ock(r1, k.freg);|
00000430 0a 20 20 20 20 20 20 72 32 20 3a 3d 20 4d 6f 76 |. r2 := Mov|
00000440 65 54 6f 41 6e 79 43 46 52 28 62 29 3b 0a 20 20 |eToAnyCFR(b);. |
00000450 20 20 20 20 47 65 6e 43 50 44 4f 28 6f 70 2c 20 | GenCPDO(op, |
00000460 72 31 2c 20 72 31 2c 20 30 2c 20 72 32 29 3b 0a |r1, r1, 0, r2);.|
00000470 20 20 20 20 20 20 55 6e 6c 6f 63 6b 28 72 31 2c | Unlock(r1,|
00000480 20 6b 2e 66 72 65 67 29 20 7d 3b 0a 20 20 20 4c | k.freg) };. L|
00000490 6f 73 65 28 72 31 2c 20 6b 2e 66 72 65 67 29 20 |ose(r1, k.freg) |
000004a0 7d 0a 0a 41 4e 44 20 43 47 46 55 6e 6f 70 28 6f |}..AND CGFUnop(o|
000004b0 70 29 20 42 45 0a 20 20 20 54 45 53 54 20 49 73 |p) BE. TEST Is|
000004c0 43 6f 6e 73 74 28 61 72 67 31 29 20 54 48 45 4e |Const(arg1) THEN|
000004d0 20 7b 0a 20 20 20 20 20 20 4c 45 54 20 6e 20 3d | {. LET n =|
000004e0 20 68 33 21 61 72 67 31 3b 0a 20 20 20 20 20 20 | h3!arg1;. |
000004f0 54 45 53 54 20 6f 70 3d 73 2e 61 62 73 0a 09 20 |TEST op=s.abs.. |
00000500 54 48 45 4e 20 68 33 21 61 72 67 31 20 3a 3d 20 |THEN h3!arg1 := |
00000510 6e 20 26 20 7e 66 70 73 2e 73 69 67 6e 0a 09 20 |n & ~fps.sign.. |
00000520 45 4c 53 45 20 49 46 20 6e 7e 3d 30 20 54 48 45 |ELSE IF n~=0 THE|
00000530 4e 20 68 33 21 61 72 67 31 20 3a 3d 20 6e 20 4e |N h3!arg1 := n N|
00000540 45 51 56 20 66 70 73 2e 73 69 67 6e 20 7d 0a 20 |EQV fps.sign }. |
00000550 20 20 45 4c 53 45 20 7b 0a 20 20 20 20 20 20 4c | ELSE {. L|
00000560 45 54 20 66 72 20 3d 20 4d 6f 76 65 54 6f 41 6e |ET fr = MoveToAn|
00000570 79 46 52 28 61 72 67 31 29 3b 0a 20 20 20 20 20 |yFR(arg1);. |
00000580 20 6f 70 20 3a 3d 20 6f 70 3d 73 2e 66 61 62 73 | op := op=s.fabs|
00000590 20 2d 3e 20 66 66 2e 61 62 73 2c 20 66 66 2e 6d | -> ff.abs, ff.m|
000005a0 6e 66 3b 0a 20 20 20 20 20 20 47 65 6e 43 50 44 |nf;. GenCPD|
000005b0 4f 28 6f 70 2c 20 66 72 2c 20 30 2c 20 30 2c 20 |O(op, fr, 0, 0, |
000005c0 66 72 29 20 7d 0a 0a 41 4e 44 20 43 47 46 43 6f |fr) }..AND CGFCo|
000005d0 6d 70 61 72 65 28 61 2c 20 62 29 20 42 45 20 7b |mpare(a, b) BE {|
000005e0 0a 20 20 20 4c 45 54 20 72 31 20 3d 20 4d 6f 76 |. LET r1 = Mov|
000005f0 65 54 6f 41 6e 79 43 46 52 28 61 29 3b 0a 20 20 |eToAnyCFR(a);. |
00000600 20 4c 45 54 20 72 32 20 3d 20 49 73 43 6f 6e 73 | LET r2 = IsCons|
00000610 74 28 62 29 20 2d 3e 20 53 6d 61 6c 6c 46 6c 6f |t(b) -> SmallFlo|
00000620 61 74 69 6e 67 43 6f 6e 73 74 61 6e 74 28 68 33 |atingConstant(h3|
00000630 21 62 29 2c 20 4e 75 6c 6c 3b 0a 20 20 20 54 45 |!b), Null;. TE|
00000640 53 54 20 72 32 7e 3d 4e 75 6c 6c 20 54 48 45 4e |ST r2~=Null THEN|
00000650 0a 20 20 20 20 20 20 47 65 6e 43 50 52 54 28 66 |. GenCPRT(f|
00000660 66 2e 63 6d 66 2b 66 66 2e 63 6f 6e 73 74 2c 20 |f.cmf+ff.const, |
00000670 72 31 2c 20 72 2e 70 63 2c 20 72 32 29 0a 20 20 |r1, r.pc, r2). |
00000680 20 45 4c 53 45 0a 20 20 20 20 20 20 47 65 6e 43 | ELSE. GenC|
00000690 50 52 54 28 66 66 2e 63 6d 66 2c 20 72 31 2c 20 |PRT(ff.cmf, r1, |
000006a0 72 2e 70 63 2c 20 4d 6f 76 65 54 6f 41 6e 79 43 |r.pc, MoveToAnyC|
000006b0 46 52 28 62 29 29 20 7d 0a 0a 41 4e 44 20 55 73 |FR(b)) }..AND Us|
000006c0 69 6e 67 46 52 28 66 72 29 20 3d 20 56 41 4c 4f |ingFR(fr) = VALO|
000006d0 46 20 7b 0a 20 20 20 46 4f 52 20 74 20 3d 20 74 |F {. FOR t = t|
000006e0 65 6d 70 76 20 54 4f 20 61 72 67 31 20 42 59 20 |empv TO arg1 BY |
000006f0 73 73 73 69 7a 65 20 44 4f 0a 20 20 20 20 20 20 |sssize DO. |
00000700 49 46 20 68 31 21 74 3d 6b 2e 66 72 65 67 20 26 |IF h1!t=k.freg &|
00000710 20 68 33 21 74 3d 66 72 0a 09 20 54 48 45 4e 20 | h3!t=fr.. THEN |
00000720 52 45 53 55 4c 54 49 53 20 74 3b 0a 0a 20 20 20 |RESULTIS t;.. |
00000730 52 45 53 55 4c 54 49 53 20 30 20 7d 0a 0a 41 4e |RESULTIS 0 }..AN|
00000740 44 20 4d 6f 76 65 54 6f 41 6e 79 43 46 52 28 78 |D MoveToAnyCFR(x|
00000750 29 20 3d 20 4d 6f 76 65 46 41 75 78 28 78 2c 20 |) = MoveFAux(x, |
00000760 28 7e 49 73 43 6f 6e 73 74 28 78 29 20 26 20 68 |(~IsConst(x) & h|
00000770 34 21 78 7e 3d 30 29 20 7c 20 68 32 21 78 3e 3d |4!x~=0) | h2!x>=|
00000780 30 29 0a 0a 41 4e 44 20 4d 6f 76 65 54 6f 41 6e |0)..AND MoveToAn|
00000790 79 46 52 28 78 29 20 3d 20 4d 6f 76 65 46 41 75 |yFR(x) = MoveFAu|
000007a0 78 28 78 2c 20 54 52 55 45 29 0a 0a 41 4e 44 20 |x(x, TRUE)..AND |
000007b0 4d 6f 76 65 46 41 75 78 28 78 2c 20 63 6f 70 79 |MoveFAux(x, copy|
000007c0 4c 6f 63 6b 65 64 29 20 3d 20 56 41 4c 4f 46 20 |Locked) = VALOF |
000007d0 7b 0a 20 20 20 4c 45 54 20 74 2c 20 6e 2c 20 6c |{. LET t, n, l|
000007e0 6f 63 20 3d 20 3f 2c 20 3f 2c 20 3f 3b 0a 20 20 |oc = ?, ?, ?;. |
000007f0 20 52 65 6d 6f 76 65 46 61 6c 73 65 49 6e 64 69 | RemoveFalseIndi|
00000800 72 65 63 74 69 6f 6e 28 78 29 3b 0a 20 20 20 74 |rection(x);. t|
00000810 2c 20 6e 2c 20 6c 6f 63 20 3a 3d 20 68 31 21 78 |, n, loc := h1!x|
00000820 2c 20 2d 31 2c 20 68 33 21 78 3b 0a 0a 20 20 20 |, -1, h3!x;.. |
00000830 54 45 53 54 20 74 3d 6b 2e 66 72 65 67 20 54 48 |TEST t=k.freg TH|
00000840 45 4e 0a 20 20 20 20 20 20 49 46 20 7e 5b 63 6f |EN. IF ~[co|
00000850 70 79 4c 6f 63 6b 65 64 20 26 20 4c 6f 63 6b 65 |pyLocked & Locke|
00000860 64 28 6c 6f 63 2c 20 6b 2e 66 72 65 67 29 5d 20 |d(loc, k.freg)] |
00000870 54 48 45 4e 0a 09 20 6e 20 3a 3d 20 6c 6f 63 0a |THEN.. n := loc.|
00000880 0a 20 20 20 45 4c 53 45 20 49 46 20 68 32 21 78 |. ELSE IF h2!x|
00000890 3c 30 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 20 |<0 THEN {. |
000008a0 6e 20 3a 3d 20 4c 6f 6f 6b 46 6f 72 46 52 28 74 |n := LookForFR(t|
000008b0 2c 20 6c 6f 63 29 3b 0a 20 20 20 20 20 20 49 46 |, loc);. IF|
000008c0 20 6e 3e 3d 30 20 26 20 7e 28 5b 63 6f 70 79 4c | n>=0 & ~([copyL|
000008d0 6f 63 6b 65 64 20 7c 20 68 34 21 78 7e 3d 30 5d |ocked | h4!x~=0]|
000008e0 20 26 20 4c 6f 63 6b 65 64 28 6e 2c 20 6b 2e 66 | & Locked(n, k.f|
000008f0 72 65 67 29 29 20 54 48 45 4e 0a 09 20 68 31 21 |reg)) THEN.. h1!|
00000900 78 2c 20 68 33 21 78 20 3a 3d 20 6b 2e 66 72 65 |x, h3!x := k.fre|
00000910 67 2c 20 6e 20 7d 3b 0a 0a 20 20 20 49 46 20 6e |g, n };.. IF n|
00000920 3d 2d 31 20 54 48 45 4e 20 6e 20 3a 3d 20 4e 65 |=-1 THEN n := Ne|
00000930 78 74 46 52 28 29 3b 0a 20 20 20 4d 6f 76 65 54 |xtFR();. MoveT|
00000940 6f 46 52 28 6e 2c 20 78 29 3b 0a 20 20 20 52 45 |oFR(n, x);. RE|
00000950 53 55 4c 54 49 53 20 68 33 21 78 20 7d 0a 0a 41 |SULTIS h3!x }..A|
00000960 4e 44 20 4e 65 78 74 46 52 28 29 20 3d 20 56 41 |ND NextFR() = VA|
00000970 4c 4f 46 20 7b 0a 20 20 20 53 54 41 54 49 43 20 |LOF {. STATIC |
00000980 7b 20 70 6f 73 73 69 62 6c 65 20 3d 20 30 20 7d |{ possible = 0 }|
00000990 3b 0a 0a 20 20 20 4c 45 54 20 49 73 49 74 46 72 |;.. LET IsItFr|
000009a0 65 65 28 66 72 29 20 3d 20 56 41 4c 4f 46 20 7b |ee(fr) = VALOF {|
000009b0 0a 20 20 20 20 20 20 49 46 20 55 73 69 6e 67 46 |. IF UsingF|
000009c0 52 28 66 72 29 20 7c 20 4c 6f 63 6b 65 64 28 66 |R(fr) | Locked(f|
000009d0 72 2c 20 6b 2e 66 72 65 67 29 20 54 48 45 4e 20 |r, k.freg) THEN |
000009e0 52 45 53 55 4c 54 49 53 20 46 41 4c 53 45 3b 0a |RESULTIS FALSE;.|
000009f0 20 20 20 20 20 20 49 46 20 70 6f 73 73 69 62 6c | IF possibl|
00000a00 65 3c 30 20 54 48 45 4e 20 70 6f 73 73 69 62 6c |e<0 THEN possibl|
00000a10 65 20 3a 3d 20 66 72 3b 0a 20 20 20 20 20 20 49 |e := fr;. I|
00000a20 46 20 48 61 73 53 6c 61 76 65 64 4c 6f 63 28 66 |F HasSlavedLoc(f|
00000a30 72 2c 20 6b 2e 66 72 65 67 29 20 54 48 45 4e 20 |r, k.freg) THEN |
00000a40 52 45 53 55 4c 54 49 53 20 46 41 4c 53 45 3b 0a |RESULTIS FALSE;.|
00000a50 20 20 20 20 20 20 52 45 53 55 4c 54 49 53 20 54 | RESULTIS T|
00000a60 52 55 45 20 7d 3b 0a 0a 20 20 20 70 6f 73 73 69 |RUE };.. possi|
00000a70 62 6c 65 20 3a 3d 20 2d 31 3b 0a 20 20 20 49 46 |ble := -1;. IF|
00000a80 20 49 73 49 74 46 72 65 65 28 66 72 2e 30 29 20 | IsItFree(fr.0) |
00000a90 54 48 45 4e 20 52 45 53 55 4c 54 49 53 20 66 72 |THEN RESULTIS fr|
00000aa0 2e 30 3b 0a 20 20 20 49 46 20 49 73 49 74 46 72 |.0;. IF IsItFr|
00000ab0 65 65 28 66 72 2e 31 29 20 54 48 45 4e 20 52 45 |ee(fr.1) THEN RE|
00000ac0 53 55 4c 54 49 53 20 66 72 2e 31 3b 0a 20 20 20 |SULTIS fr.1;. |
00000ad0 49 46 20 49 73 49 74 46 72 65 65 28 66 72 2e 32 |IF IsItFree(fr.2|
00000ae0 29 20 54 48 45 4e 20 52 45 53 55 4c 54 49 53 20 |) THEN RESULTIS |
00000af0 66 72 2e 32 3b 0a 20 20 20 49 46 20 49 73 49 74 |fr.2;. IF IsIt|
00000b00 46 72 65 65 28 66 72 2e 33 29 20 54 48 45 4e 20 |Free(fr.3) THEN |
00000b10 52 45 53 55 4c 54 49 53 20 66 72 2e 33 3b 0a 20 |RESULTIS fr.3;. |
00000b20 20 20 49 46 20 49 73 49 74 46 72 65 65 28 66 72 | IF IsItFree(fr|
00000b30 2e 34 29 20 54 48 45 4e 20 52 45 53 55 4c 54 49 |.4) THEN RESULTI|
00000b40 53 20 66 72 2e 34 3b 0a 20 20 20 49 46 20 49 73 |S fr.4;. IF Is|
00000b50 49 74 46 72 65 65 28 66 72 2e 35 29 20 54 48 45 |ItFree(fr.5) THE|
00000b60 4e 20 52 45 53 55 4c 54 49 53 20 66 72 2e 35 3b |N RESULTIS fr.5;|
00000b70 0a 20 20 20 49 46 20 49 73 49 74 46 72 65 65 28 |. IF IsItFree(|
00000b80 66 72 2e 36 29 20 54 48 45 4e 20 52 45 53 55 4c |fr.6) THEN RESUL|
00000b90 54 49 53 20 66 72 2e 36 3b 0a 20 20 20 49 46 20 |TIS fr.6;. IF |
00000ba0 49 73 49 74 46 72 65 65 28 66 72 2e 37 29 20 54 |IsItFree(fr.7) T|
00000bb0 48 45 4e 20 52 45 53 55 4c 54 49 53 20 66 72 2e |HEN RESULTIS fr.|
00000bc0 37 3b 0a 0a 20 20 20 49 46 20 70 6f 73 73 69 62 |7;.. IF possib|
00000bd0 6c 65 3e 3d 30 20 54 48 45 4e 20 7b 0a 20 20 20 |le>=0 THEN {. |
00000be0 20 20 20 44 69 73 63 61 72 64 52 65 67 28 70 6f | DiscardReg(po|
00000bf0 73 73 69 62 6c 65 2c 20 6b 2e 66 72 65 67 29 3b |ssible, k.freg);|
00000c00 0a 20 20 20 20 20 20 52 45 53 55 4c 54 49 53 20 |. RESULTIS |
00000c10 70 6f 73 73 69 62 6c 65 20 7d 3b 0a 0a 20 20 20 |possible };.. |
00000c20 46 4f 52 20 74 20 3d 20 74 65 6d 70 76 20 54 4f |FOR t = tempv TO|
00000c30 20 61 72 67 31 20 42 59 20 73 73 73 69 7a 65 20 | arg1 BY sssize |
00000c40 44 4f 0a 20 20 20 20 20 20 49 46 20 68 31 21 74 |DO. IF h1!t|
00000c50 3d 6b 2e 66 72 65 67 20 54 48 45 4e 20 7b 0a 09 |=k.freg THEN {..|
00000c60 20 4c 45 54 20 66 72 20 3d 20 68 33 21 74 3b 20 | LET fr = h3!t; |
00000c70 53 74 6f 72 65 54 28 74 29 3b 20 44 69 73 63 61 |StoreT(t); Disca|
00000c80 72 64 52 65 67 28 66 72 2c 20 6b 2e 66 72 65 67 |rdReg(fr, k.freg|
00000c90 29 3b 20 52 45 53 55 4c 54 49 53 20 66 72 20 7d |); RESULTIS fr }|
00000ca0 3b 0a 0a 20 20 20 42 61 63 6b 54 72 61 63 65 28 |;.. BackTrace(|
00000cb0 29 3b 0a 20 20 20 50 72 69 6e 74 53 69 6d 75 6c |);. PrintSimul|
00000cc0 61 74 65 64 53 74 61 63 6b 28 29 3b 0a 20 20 20 |atedStack();. |
00000cd0 43 47 45 72 72 6f 72 28 46 41 4c 53 45 2c 20 22 |CGError(FALSE, "|
00000ce0 4e 6f 20 66 72 65 65 20 72 65 67 69 73 74 65 72 |No free register|
00000cf0 20 66 6f 75 6e 64 20 69 6e 20 4e 65 78 74 46 52 | found in NextFR|
00000d00 22 29 3b 0a 20 20 20 52 45 53 55 4c 54 49 53 20 |");. RESULTIS |
00000d10 30 20 7d 0a 0a 41 4e 44 20 46 72 65 65 46 52 28 |0 }..AND FreeFR(|
00000d20 72 29 20 42 45 0a 20 20 20 46 4f 52 20 74 20 3d |r) BE. FOR t =|
00000d30 20 74 65 6d 70 76 20 54 4f 20 61 72 67 31 20 42 | tempv TO arg1 B|
00000d40 59 20 73 73 73 69 7a 65 20 44 4f 0a 20 20 20 20 |Y sssize DO. |
00000d50 20 20 49 46 20 68 31 21 74 3d 6b 2e 66 72 65 67 | IF h1!t=k.freg|
00000d60 20 26 20 68 33 21 74 3d 72 0a 09 20 54 48 45 4e | & h3!t=r.. THEN|
00000d70 20 7b 20 53 74 6f 72 65 54 28 74 29 3b 20 52 45 | { StoreT(t); RE|
00000d80 54 55 52 4e 20 7d 0a 0a 41 4e 44 20 43 68 65 63 |TURN }..AND Chec|
00000d90 6b 46 50 43 6f 6e 73 74 61 6e 74 28 6e 29 20 42 |kFPConstant(n) B|
00000da0 45 0a 20 20 20 49 46 20 6e 3c 66 70 73 2e 6d 61 |E. IF n<fps.ma|
00000db0 6e 74 69 73 73 61 20 7c 20 6e 20 4c 47 52 20 28 |ntissa | n LGR (|
00000dc0 66 70 73 2e 73 69 67 6e 2b 66 70 73 2e 65 78 70 |fps.sign+fps.exp|
00000dd0 74 29 20 54 48 45 4e 0a 20 20 20 20 20 20 43 47 |t) THEN. CG|
00000de0 45 72 72 6f 72 28 4f 6e 6c 79 57 61 72 6e 69 6e |Error(OnlyWarnin|
00000df0 67 2c 20 22 49 6e 74 65 67 65 72 20 63 6f 6e 73 |g, "Integer cons|
00000e00 74 61 6e 74 20 25 6e 20 75 73 65 64 20 61 73 20 |tant %n used as |
00000e10 66 6c 6f 61 74 69 6e 67 20 70 6f 69 6e 74 20 6f |floating point o|
00000e20 70 65 72 61 6e 64 22 2c 20 6e 29 0a 0a 41 4e 44 |perand", n)..AND|
00000e30 20 4d 6f 76 65 54 6f 46 52 28 66 72 2c 20 78 29 | MoveToFR(fr, x)|
00000e40 20 42 45 20 7b 0a 20 20 20 4c 45 54 20 74 2c 20 | BE {. LET t, |
00000e50 69 6e 64 2c 20 6e 2c 20 6b 20 3d 20 68 31 21 78 |ind, n, k = h1!x|
00000e60 2c 20 68 32 21 78 2c 20 68 33 21 78 2c 20 68 34 |, h2!x, h3!x, h4|
00000e70 21 78 3b 0a 20 20 20 4c 45 54 20 6c 6f 63 20 3d |!x;. LET loc =|
00000e80 20 6e 0a 20 20 20 41 4e 44 20 62 2c 20 6d 20 3d | n. AND b, m =|
00000e90 20 30 2c 20 30 3b 0a 20 20 20 49 46 20 69 6e 64 | 0, 0;. IF ind|
00000ea0 3e 3d 30 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 |>=0 THEN {. |
00000eb0 20 49 46 20 66 72 3c 30 20 54 48 45 4e 20 66 72 | IF fr<0 THEN fr|
00000ec0 20 3a 3d 20 4e 65 78 74 46 52 28 29 3b 0a 20 20 | := NextFR();. |
00000ed0 20 20 20 20 66 72 20 3a 3d 20 43 6f 6d 70 69 6c | fr := Compil|
00000ee0 65 44 53 28 66 2e 6c 64 2c 20 66 72 2c 20 66 72 |eDS(f.ld, fr, fr|
00000ef0 2c 20 78 29 3b 0a 20 20 20 20 20 20 47 4f 54 4f |, x);. GOTO|
00000f00 20 6c 20 7d 3b 0a 0a 20 20 20 54 45 53 54 20 6b | l };.. TEST k|
00000f10 7e 3d 30 20 26 20 74 7e 3d 6b 2e 6e 75 6d 62 65 |~=0 & t~=k.numbe|
00000f20 72 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 20 4c |r THEN {. L|
00000f30 45 54 20 72 20 3d 20 4d 6f 76 65 54 6f 41 6e 79 |ET r = MoveToAny|
00000f40 43 52 28 78 29 3b 0a 20 20 20 20 20 20 74 2c 20 |CR(x);. t, |
00000f50 6e 20 3a 3d 20 6b 2e 72 65 67 2c 20 72 20 7d 0a |n := k.reg, r }.|
00000f60 0a 20 20 20 45 4c 53 45 20 7b 0a 20 20 20 20 20 |. ELSE {. |
00000f70 20 4c 45 54 20 72 20 3d 20 4c 6f 6f 6b 46 6f 72 | LET r = LookFor|
00000f80 46 52 28 74 2c 20 6e 29 3b 0a 20 20 20 20 20 20 |FR(t, n);. |
00000f90 54 45 53 54 20 72 3e 3d 30 20 54 48 45 4e 0a 09 |TEST r>=0 THEN..|
00000fa0 20 74 2c 20 6e 20 3a 3d 20 6b 2e 66 72 65 67 2c | t, n := k.freg,|
00000fb0 20 72 0a 20 20 20 20 20 20 45 4c 53 45 20 49 46 | r. ELSE IF|
00000fc0 20 74 3d 6b 2e 6c 6f 63 20 54 48 45 4e 20 7b 0a | t=k.loc THEN {.|
00000fd0 09 20 72 20 3a 3d 20 52 65 67 69 73 74 65 72 44 |. r := RegisterD|
00000fe0 65 64 69 63 61 74 65 64 54 6f 4c 6f 63 28 6e 29 |edicatedToLoc(n)|
00000ff0 3b 0a 09 20 49 46 20 72 7e 3d 4e 75 6c 6c 20 54 |;.. IF r~=Null T|
00001000 48 45 4e 20 74 2c 20 6e 20 3a 3d 20 6b 2e 72 65 |HEN t, n := k.re|
00001010 67 2c 20 72 20 7d 20 7d 3b 0a 0a 20 20 20 53 57 |g, r } };.. SW|
00001020 49 54 43 48 4f 4e 20 74 20 49 4e 54 4f 20 7b 0a |ITCHON t INTO {.|
00001030 20 20 20 20 20 20 43 41 53 45 20 6b 2e 6e 75 6d | CASE k.num|
00001040 62 65 72 3a 0a 09 20 6c 6f 63 20 3a 3d 20 6e 2b |ber:.. loc := n+|
00001050 6b 3b 0a 20 20 20 20 20 20 7b 20 20 4c 45 54 20 |k;. { LET |
00001060 73 63 20 3d 20 53 6d 61 6c 6c 46 6c 6f 61 74 69 |sc = SmallFloati|
00001070 6e 67 43 6f 6e 73 74 61 6e 74 28 6c 6f 63 29 3b |ngConstant(loc);|
00001080 0a 09 20 49 46 20 73 63 7e 3d 4e 75 6c 6c 20 54 |.. IF sc~=Null T|
00001090 48 45 4e 20 7b 0a 09 20 20 20 20 47 65 6e 43 50 |HEN {.. GenCP|
000010a0 44 4f 28 66 66 2e 6d 76 66 2c 20 66 72 2c 20 30 |DO(ff.mvf, fr, 0|
000010b0 2c 20 66 66 2e 63 6f 6e 73 74 2c 20 73 63 29 3b |, ff.const, sc);|
000010c0 0a 09 20 20 20 20 45 4e 44 43 41 53 45 20 7d 0a |.. ENDCASE }.|
000010d0 09 20 43 68 65 63 6b 46 50 43 6f 6e 73 74 61 6e |. CheckFPConstan|
000010e0 74 28 6c 6f 63 29 0a 09 20 54 45 53 54 20 75 73 |t(loc).. TEST us|
000010f0 65 73 52 4c 20 54 48 45 4e 20 7b 0a 09 20 20 20 |esRL THEN {.. |
00001100 20 43 68 65 63 6b 52 4c 4c 6f 61 64 65 64 28 29 | CheckRLLoaded()|
00001110 3b 0a 09 20 20 20 20 62 2c 20 6d 2c 20 6e 20 3a |;.. b, m, n :|
00001120 3d 20 72 2e 6c 2c 20 30 2c 20 73 74 61 74 69 63 |= r.l, 0, static|
00001130 44 61 74 61 53 69 7a 65 2b 46 64 61 74 61 28 6c |DataSize+Fdata(l|
00001140 6f 63 29 20 7d 0a 09 20 45 4c 53 45 0a 09 20 20 |oc) }.. ELSE.. |
00001150 20 20 62 2c 20 6d 2c 20 6e 20 3a 3d 20 72 2e 70 | b, m, n := r.p|
00001160 63 2c 20 4c 6f 63 61 6c 43 6f 6e 73 74 4c 61 62 |c, LocalConstLab|
00001170 2c 20 46 64 61 74 61 28 6c 6f 63 29 3b 0a 09 20 |, Fdata(loc);.. |
00001180 6e 20 3a 3d 20 6e 2f 42 79 74 65 73 50 65 72 57 |n := n/BytesPerW|
00001190 6f 72 64 3b 0a 09 20 47 4f 54 4f 20 6c 62 20 7d |ord;.. GOTO lb }|
000011a0 0a 0a 20 20 20 20 20 20 44 45 46 41 55 4c 54 3a |.. DEFAULT:|
000011b0 0a 09 20 6e 20 3a 3d 20 4d 6f 76 65 54 6f 41 6e |.. n := MoveToAn|
000011c0 79 43 52 28 78 29 3b 0a 20 20 20 20 20 20 43 41 |yCR(x);. CA|
000011d0 53 45 20 6b 2e 72 65 67 3a 0a 09 20 49 46 20 52 |SE k.reg:.. IF R|
000011e0 65 67 49 6e 50 65 6e 64 69 6e 67 4c 69 73 74 28 |egInPendingList(|
000011f0 70 65 6e 64 69 6e 67 4c 6f 61 64 73 2c 20 6e 29 |pendingLoads, n)|
00001200 7e 3d 4e 75 6c 6c 20 54 48 45 4e 0a 09 20 20 20 |~=Null THEN.. |
00001210 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 4c 6f 61 | FlushPendingLoa|
00001220 64 73 46 6f 72 52 65 67 28 6e 29 3b 0a 09 20 4d |dsForReg(n);.. M|
00001230 6f 76 65 52 74 6f 46 52 28 6e 2c 20 66 72 2c 20 |oveRtoFR(n, fr, |
00001240 78 29 3b 0a 09 20 4d 6f 76 65 52 54 6f 52 28 6b |x);.. MoveRToR(k|
00001250 2e 72 65 67 2c 20 6e 2c 20 6b 2e 66 72 65 67 2c |.reg, n, k.freg,|
00001260 20 66 72 29 3b 0a 09 20 45 4e 44 43 41 53 45 0a | fr);.. ENDCASE.|
00001270 0a 20 20 20 20 20 20 43 41 53 45 20 6b 2e 66 72 |. CASE k.fr|
00001280 65 67 3a 0a 09 20 49 46 20 66 72 7e 3d 6e 20 54 |eg:.. IF fr~=n T|
00001290 48 45 4e 20 7b 0a 09 20 20 20 20 47 65 6e 43 50 |HEN {.. GenCP|
000012a0 44 4f 28 66 66 2e 6d 76 66 2c 20 66 72 2c 20 30 |DO(ff.mvf, fr, 0|
000012b0 2c 20 30 2c 20 6e 29 3b 0a 09 20 20 20 20 4d 6f |, 0, n);.. Mo|
000012c0 76 65 52 54 6f 52 28 6b 2e 66 72 65 67 2c 20 6e |veRToR(k.freg, n|
000012d0 2c 20 6b 2e 66 72 65 67 2c 20 66 72 29 20 7d 3b |, k.freg, fr) };|
000012e0 0a 09 20 45 4e 44 43 41 53 45 0a 0a 20 20 20 20 |.. ENDCASE.. |
000012f0 20 20 43 41 53 45 20 6b 2e 6c 61 62 3a 0a 09 20 | CASE k.lab:.. |
00001300 6d 20 3a 3d 20 6e 3b 20 6e 20 3a 3d 20 30 3b 0a |m := n; n := 0;.|
00001310 09 20 62 20 3a 3d 20 43 68 65 63 6b 52 4c 4c 6f |. b := CheckRLLo|
00001320 61 64 65 64 28 29 3b 0a 09 20 47 4f 54 4f 20 6c |aded();.. GOTO l|
00001330 61 0a 0a 20 20 20 20 20 20 43 41 53 45 20 6b 2e |a.. CASE k.|
00001340 67 6c 6f 62 3a 0a 09 20 62 20 3a 3d 20 72 2e 67 |glob:.. b := r.g|
00001350 3b 0a 09 20 47 4f 54 4f 20 6c 61 3b 0a 0a 20 20 |;.. GOTO la;.. |
00001360 20 20 20 20 43 41 53 45 20 6b 2e 73 74 61 74 69 | CASE k.stati|
00001370 63 3a 0a 09 20 62 20 3a 3d 20 43 68 65 63 6b 52 |c:.. b := CheckR|
00001380 4c 4c 6f 61 64 65 64 28 29 3b 0a 09 20 47 4f 54 |LLoaded();.. GOT|
00001390 4f 20 6c 61 3b 0a 0a 20 20 20 20 20 20 43 41 53 |O la;.. CAS|
000013a0 45 20 6b 2e 6c 6f 63 3a 0a 09 20 54 45 53 54 20 |E k.loc:.. TEST |
000013b0 75 73 65 73 46 72 61 6d 65 20 54 48 45 4e 0a 09 |usesFrame THEN..|
000013c0 20 20 20 20 62 20 3a 3d 20 6c 69 6e 6b 61 67 65 | b := linkage|
000013d0 4e 6f 74 53 74 6f 72 65 64 3d 72 2e 62 20 2d 3e |NotStored=r.b ->|
000013e0 20 72 2e 70 2c 0a 09 09 20 6c 69 6e 6b 61 67 65 | r.p,... linkage|
000013f0 4e 6f 74 53 74 6f 72 65 64 20 2d 3e 20 72 2e 74 |NotStored -> r.t|
00001400 73 2c 20 72 2e 70 0a 09 20 45 4c 53 45 0a 09 20 |s, r.p.. ELSE.. |
00001410 20 20 20 62 2c 20 6e 20 3a 3d 20 72 2e 74 73 2c | b, n := r.ts,|
00001420 20 6e 2d 73 61 76 65 53 70 61 63 65 53 69 7a 65 | n-saveSpaceSize|
00001430 3b 0a 09 20 6e 20 3a 3d 20 28 6e 65 78 74 53 74 |;.. n := (nextSt|
00001440 61 63 6b 57 6f 72 64 2f 42 79 74 65 73 50 65 72 |ackWord/BytesPer|
00001450 57 6f 72 64 29 2a 6e 3b 0a 0a 20 20 20 20 20 6c |Word)*n;.. l|
00001460 61 3a 20 46 6c 75 73 68 50 65 6e 64 69 6e 67 53 |a: FlushPendingS|
00001470 74 6f 72 65 73 46 6f 72 53 4c 6f 63 28 74 2c 20 |toresForSLoc(t, |
00001480 6e 29 3b 0a 20 20 20 20 20 6c 62 3a 20 47 65 6e |n);. lb: Gen|
00001490 43 50 44 54 28 66 2e 6c 64 2c 20 66 72 2c 20 62 |CPDT(f.ld, fr, b|
000014a0 2c 20 6d 2c 20 6e 29 3b 0a 09 20 4d 6f 76 65 53 |, m, n);.. MoveS|
000014b0 54 6f 52 28 6b 2e 66 72 65 67 2c 20 66 72 2c 20 |ToR(k.freg, fr, |
000014c0 74 2c 20 6c 6f 63 29 3b 0a 09 20 45 4e 44 43 41 |t, loc);.. ENDCA|
000014d0 53 45 20 7d 3b 0a 6c 3a 0a 20 20 20 68 31 21 78 |SE };.l:. h1!x|
000014e0 2c 20 68 32 21 78 2c 20 68 33 21 78 2c 20 68 34 |, h2!x, h3!x, h4|
000014f0 21 78 20 3a 3d 20 6b 2e 66 72 65 67 2c 20 2d 31 |!x := k.freg, -1|
00001500 2c 20 66 72 2c 20 30 20 7d 0a 0a 41 4e 44 20 53 |, fr, 0 }..AND S|
00001510 6d 61 6c 6c 46 6c 6f 61 74 69 6e 67 43 6f 6e 73 |mallFloatingCons|
00001520 74 61 6e 74 28 6e 29 20 3d 0a 20 20 20 6e 3d 30 |tant(n) =. n=0|
00001530 20 2d 3e 20 30 2c 0a 20 20 20 6e 3d 31 2e 30 20 | -> 0,. n=1.0 |
00001540 2d 3e 20 31 2c 0a 20 20 20 6e 3d 32 2e 30 20 2d |-> 1,. n=2.0 -|
00001550 3e 20 32 2c 0a 20 20 20 6e 3d 33 2e 30 20 2d 3e |> 2,. n=3.0 ->|
00001560 20 33 2c 0a 20 20 20 6e 3d 34 2e 30 20 2d 3e 20 | 3,. n=4.0 -> |
00001570 34 2c 0a 20 20 20 6e 3d 35 2e 30 20 2d 3e 20 35 |4,. n=5.0 -> 5|
00001580 2c 0a 20 20 20 6e 3d 30 2e 35 20 2d 3e 20 36 2c |,. n=0.5 -> 6,|
00001590 0a 20 20 20 6e 3d 31 30 2e 30 20 2d 3e 20 37 2c |. n=10.0 -> 7,|
000015a0 0a 09 20 20 20 20 4e 75 6c 6c 0a 0a 41 4e 44 20 |.. Null..AND |
000015b0 53 74 6f 72 65 46 52 28 66 72 2c 20 62 61 73 65 |StoreFR(fr, base|
000015c0 2c 20 70 72 65 70 6f 73 74 2c 20 6e 29 20 42 45 |, prepost, n) BE|
000015d0 20 7b 0a 20 20 20 54 45 53 54 20 6e 3c 30 20 54 | {. TEST n<0 T|
000015e0 48 45 4e 0a 20 20 20 20 20 20 70 72 65 70 6f 73 |HEN. prepos|
000015f0 74 2c 20 6e 20 3a 3d 20 70 72 65 70 6f 73 74 2b |t, n := prepost+|
00001600 66 2e 64 6f 77 6e 2c 20 2d 6e 0a 20 20 20 45 4c |f.down, -n. EL|
00001610 53 45 0a 20 20 20 20 20 20 70 72 65 70 6f 73 74 |SE. prepost|
00001620 20 3a 3d 20 70 72 65 70 6f 73 74 2b 66 2e 75 70 | := prepost+f.up|
00001630 3b 0a 20 20 20 49 46 20 28 70 72 65 70 6f 73 74 |;. IF (prepost|
00001640 26 66 2e 70 72 65 29 3d 66 2e 70 6f 73 74 20 54 |&f.pre)=f.post T|
00001650 48 45 4e 20 70 72 65 70 6f 73 74 20 3a 3d 20 70 |HEN prepost := p|
00001660 72 65 70 6f 73 74 20 7c 20 66 2e 77 62 3b 0a 20 |repost | f.wb;. |
00001670 20 20 46 34 49 6e 73 74 28 66 2e 73 74 2b 66 66 | F4Inst(f.st+ff|
00001680 2e 63 70 64 74 2c 20 62 61 73 65 2c 20 66 72 3c |.cpdt, base, fr<|
00001690 3c 31 32 2c 20 66 66 2e 63 70 6e 6f 2b 70 72 65 |<12, ff.cpno+pre|
000016a0 70 6f 73 74 2b 6e 29 20 7d 0a 0a 41 4e 44 20 4d |post+n) }..AND M|
000016b0 6f 76 65 52 74 6f 46 52 28 72 2c 20 66 72 2c 20 |oveRtoFR(r, fr, |
000016c0 78 29 20 42 45 20 7b 0a 20 20 20 47 65 6e 46 32 |x) BE {. GenF2|
000016d0 28 66 2e 73 74 72 2c 20 72 2c 20 72 2e 67 2c 20 |(f.str, r, r.g, |
000016e0 30 2c 20 2d 34 29 3b 0a 20 20 20 47 65 6e 43 50 |0, -4);. GenCP|
000016f0 44 54 28 66 2e 6c 64 2c 20 66 72 2c 20 72 2e 67 |DT(f.ld, fr, r.g|
00001700 2c 20 30 2c 20 2d 31 29 20 7d 0a 0a 41 4e 44 20 |, 0, -1) }..AND |
00001710 4d 6f 76 65 46 52 74 6f 52 28 66 72 2c 20 72 2c |MoveFRtoR(fr, r,|
00001720 20 78 29 20 42 45 20 7b 0a 20 20 20 47 65 6e 43 | x) BE {. GenC|
00001730 50 44 54 28 66 2e 73 74 2c 20 66 72 2c 20 72 2e |PDT(f.st, fr, r.|
00001740 67 2c 20 30 2c 20 2d 31 29 3b 0a 20 20 20 47 65 |g, 0, -1);. Ge|
00001750 6e 46 32 28 66 2e 6c 64 72 2c 20 72 2c 20 72 2e |nF2(f.ldr, r, r.|
00001760 67 2c 20 30 2c 20 2d 34 29 20 7d 0a 0a 41 4e 44 |g, 0, -4) }..AND|
00001770 20 47 65 6e 43 50 52 54 28 6f 70 2c 20 66 72 2c | GenCPRT(op, fr,|
00001780 20 72 2c 20 66 72 32 29 20 42 45 0a 20 20 20 20 | r, fr2) BE. |
00001790 46 34 49 6e 73 74 28 6f 70 2c 20 66 72 2c 20 72 |F4Inst(op, fr, r|
000017a0 3c 3c 31 32 2c 20 66 66 2e 63 70 72 74 2b 66 66 |<<12, ff.cprt+ff|
000017b0 2e 63 70 6e 6f 2b 66 72 32 29 0a 0a 41 4e 44 20 |.cpno+fr2)..AND |
000017c0 47 65 6e 43 50 44 4f 28 6f 70 2c 20 66 72 64 65 |GenCPDO(op, frde|
000017d0 73 74 2c 20 66 72 31 2c 20 69 73 63 6f 6e 73 74 |st, fr1, isconst|
000017e0 2c 20 66 72 32 29 20 42 45 0a 20 20 20 20 46 34 |, fr2) BE. F4|
000017f0 49 6e 73 74 28 6f 70 2c 20 66 72 31 2c 20 66 72 |Inst(op, fr1, fr|
00001800 64 65 73 74 3c 3c 31 32 2c 20 66 66 2e 63 70 64 |dest<<12, ff.cpd|
00001810 6f 2b 66 66 2e 63 70 6e 6f 2b 69 73 63 6f 6e 73 |o+ff.cpno+iscons|
00001820 74 2b 66 72 32 29 0a 0a 41 4e 44 20 47 65 6e 43 |t+fr2)..AND GenC|
00001830 50 44 54 28 6f 70 2c 20 66 72 2c 20 62 2c 20 6c |PDT(op, fr, b, l|
00001840 61 62 2c 20 6f 66 66 73 65 74 29 20 42 45 0a 20 |ab, offset) BE. |
00001850 20 20 20 47 65 6e 46 32 28 6f 70 2b 66 66 2e 63 | GenF2(op+ff.c|
00001860 70 64 74 2b 66 66 2e 63 70 6e 6f 2c 20 66 72 2c |pdt+ff.cpno, fr,|
00001870 20 62 2c 20 6c 61 62 2c 20 6f 66 66 73 65 74 29 | b, lab, offset)|
00001880 0a 0a 41 4e 44 20 50 61 63 6b 46 50 4e 75 6d 28 |..AND PackFPNum(|
00001890 6d 61 6e 74 69 73 73 61 2c 20 65 78 70 6f 6e 65 |mantissa, expone|
000018a0 6e 74 2c 20 73 69 67 6e 29 20 3d 20 56 41 4c 4f |nt, sign) = VALO|
000018b0 46 20 7b 0a 2f 2f 20 43 6f 6e 73 74 72 75 63 74 |F {.// Construct|
000018c0 69 6f 6e 20 6f 66 20 66 6c 6f 61 74 69 6e 67 20 |ion of floating |
000018d0 70 6f 69 6e 74 20 63 6f 6e 73 74 61 6e 74 73 2e |point constants.|
000018e0 0a 2f 2f 20 45 78 70 6f 6e 65 6e 74 20 69 73 20 |.// Exponent is |
000018f0 64 65 63 69 6d 61 6c 2e 0a 2f 2f 20 54 68 65 20 |decimal..// The |
00001900 63 6f 6e 73 74 72 75 63 74 69 6f 6e 20 61 76 6f |construction avo|
00001910 69 64 73 20 75 73 65 20 6f 66 20 66 6c 6f 61 74 |ids use of float|
00001920 69 6e 67 20 70 6f 69 6e 74 20 6f 70 65 72 61 74 |ing point operat|
00001930 69 6f 6e 73 0a 2f 2f 20 28 74 68 65 20 65 61 73 |ions.// (the eas|
00001940 79 20 77 61 79 20 6f 75 74 29 20 69 6e 20 6f 72 |y way out) in or|
00001950 64 65 72 20 74 6f 20 72 75 6e 20 6f 6e 20 61 20 |der to run on a |
00001960 6d 61 63 68 69 6e 65 20 77 69 74 68 6f 75 74 20 |machine without |
00001970 73 75 70 70 6f 72 74 0a 2f 2f 20 66 6f 72 20 74 |support.// for t|
00001980 68 65 6d 2e 20 20 4d 61 79 62 65 20 74 68 69 73 |hem. Maybe this|
00001990 20 77 61 6e 74 73 20 72 65 76 69 65 77 69 6e 67 | wants reviewing|
000019a0 20 6c 61 74 65 72 2e 0a 20 20 20 4c 45 54 20 78 | later.. LET x|
000019b0 20 3d 20 23 78 39 36 3b 0a 20 20 20 4c 45 54 20 | = #x96;. LET |
000019c0 6f 70 20 3d 20 50 65 65 6b 4e 28 29 3b 0a 20 20 |op = PeekN();. |
000019d0 20 49 46 20 6f 70 3d 73 2e 6e 65 67 20 54 48 45 | IF op=s.neg THE|
000019e0 4e 0a 20 20 20 20 20 20 43 47 45 72 72 6f 72 28 |N. CGError(|
000019f0 4f 6e 6c 79 57 61 72 6e 69 6e 67 2c 20 22 49 6e |OnlyWarning, "In|
00001a00 74 65 67 65 72 20 6e 65 67 61 74 69 6f 6e 20 6f |teger negation o|
00001a10 66 20 66 6c 6f 61 74 69 6e 67 20 70 6f 69 6e 74 |f floating point|
00001a20 20 63 6f 6e 73 74 61 6e 74 22 29 3b 0a 20 20 20 | constant");. |
00001a30 49 46 20 6d 61 6e 74 69 73 73 61 3d 30 20 54 48 |IF mantissa=0 TH|
00001a40 45 4e 20 52 45 53 55 4c 54 49 53 20 30 3b 20 20 |EN RESULTIS 0; |
00001a50 2f 2f 20 54 68 65 20 65 61 73 79 20 63 61 73 65 |// The easy case|
00001a60 0a 20 20 20 73 69 67 6e 20 3a 3d 20 73 69 67 6e |. sign := sign|
00001a70 3c 30 20 2d 3e 20 23 78 38 30 30 30 30 30 30 30 |<0 -> #x80000000|
00001a80 2c 20 30 3b 0a 20 20 20 54 45 53 54 20 65 78 70 |, 0;. TEST exp|
00001a90 6f 6e 65 6e 74 3e 30 20 54 48 45 4e 0a 20 20 20 |onent>0 THEN. |
00001aa0 20 20 20 57 48 49 4c 45 20 65 78 70 6f 6e 65 6e | WHILE exponen|
00001ab0 74 7e 3d 30 20 44 4f 20 7b 0a 09 20 54 45 53 54 |t~=0 DO {.. TEST|
00001ac0 20 28 6d 61 6e 74 69 73 73 61 26 23 78 66 38 30 | (mantissaྀ|
00001ad0 30 30 30 30 30 29 3d 30 20 54 48 45 4e 0a 09 20 |00000)=0 THEN.. |
00001ae0 20 20 20 6d 61 6e 74 69 73 73 61 20 3a 3d 20 6d | mantissa := m|
00001af0 61 6e 74 69 73 73 61 2a 31 30 0a 09 20 45 4c 53 |antissa*10.. ELS|
00001b00 45 20 7b 0a 09 20 20 20 20 6d 61 6e 74 69 73 73 |E {.. mantiss|
00001b10 61 20 3a 3d 20 4d 75 6c 44 69 76 28 6d 61 6e 74 |a := MulDiv(mant|
00001b20 69 73 73 61 2c 20 31 30 2c 20 31 36 29 3b 0a 09 |issa, 10, 16);..|
00001b30 20 20 20 20 49 46 20 72 65 73 75 6c 74 32 3e 3d | IF result2>=|
00001b40 38 20 54 48 45 4e 20 6d 61 6e 74 69 73 73 61 20 |8 THEN mantissa |
00001b50 3a 3d 20 6d 61 6e 74 69 73 73 61 2b 31 3b 0a 09 |:= mantissa+1;..|
00001b60 20 20 20 20 78 20 3a 3d 20 78 2b 34 20 7d 3b 0a | x := x+4 };.|
00001b70 09 20 65 78 70 6f 6e 65 6e 74 20 3a 3d 20 65 78 |. exponent := ex|
00001b80 70 6f 6e 65 6e 74 2d 31 20 7d 0a 0a 20 20 20 45 |ponent-1 }.. E|
00001b90 4c 53 45 20 49 46 20 65 78 70 6f 6e 65 6e 74 3c |LSE IF exponent<|
00001ba0 30 20 54 48 45 4e 20 7b 0a 20 20 20 20 20 20 57 |0 THEN {. W|
00001bb0 48 49 4c 45 20 28 6d 61 6e 74 69 73 73 61 26 23 |HILE (mantissa&#|
00001bc0 78 66 38 30 30 30 30 30 30 29 7e 3d 30 20 44 4f |xf8000000)~=0 DO|
00001bd0 20 6d 61 6e 74 69 73 73 61 2c 20 78 20 3a 3d 20 | mantissa, x := |
00001be0 6d 61 6e 74 69 73 73 61 3e 3e 31 2c 20 78 2b 31 |mantissa>>1, x+1|
00001bf0 3b 0a 20 20 20 20 20 20 57 48 49 4c 45 20 28 6d |;. WHILE (m|
00001c00 61 6e 74 69 73 73 61 26 23 78 30 34 30 30 30 30 |antissa񀀀|
00001c10 30 30 29 3d 30 20 44 4f 20 6d 61 6e 74 69 73 73 |00)=0 DO mantiss|
00001c20 61 2c 20 78 20 3a 3d 20 6d 61 6e 74 69 73 73 61 |a, x := mantissa|
00001c30 3c 3c 31 2c 20 78 2d 31 3b 0a 20 20 20 20 20 20 |<<1, x-1;. |
00001c40 57 48 49 4c 45 20 65 78 70 6f 6e 65 6e 74 7e 3d |WHILE exponent~=|
00001c50 30 20 44 4f 20 7b 0a 09 20 6d 61 6e 74 69 73 73 |0 DO {.. mantiss|
00001c60 61 20 3a 3d 20 4d 75 6c 44 69 76 28 6d 61 6e 74 |a := MulDiv(mant|
00001c70 69 73 73 61 2c 20 31 36 2c 20 31 30 29 3b 0a 09 |issa, 16, 10);..|
00001c80 20 78 20 3a 3d 20 78 2d 34 3b 0a 09 20 57 48 49 | x := x-4;.. WHI|
00001c90 4c 45 20 28 6d 61 6e 74 69 73 73 61 26 23 78 66 |LE (mantissa|
00001ca0 38 30 30 30 30 30 30 29 7e 3d 30 20 44 4f 0a 09 |8000000)~=0 DO..|
00001cb0 20 20 20 20 6d 61 6e 74 69 73 73 61 2c 20 78 20 | mantissa, x |
00001cc0 3a 3d 20 28 6d 61 6e 74 69 73 73 61 3e 3e 31 29 |:= (mantissa>>1)|
00001cd0 2c 20 78 2b 31 3b 0a 09 20 65 78 70 6f 6e 65 6e |, x+1;.. exponen|
00001ce0 74 20 3a 3d 20 65 78 70 6f 6e 65 6e 74 2b 31 20 |t := exponent+1 |
00001cf0 7d 20 7d 3b 0a 0a 20 20 20 57 48 49 4c 45 20 28 |} };.. WHILE (|
00001d00 6d 61 6e 74 69 73 73 61 26 23 78 66 66 30 30 30 |mantissa󿀀|
00001d10 30 30 30 29 7e 3d 30 20 44 4f 20 7b 0a 20 20 20 |000)~=0 DO {. |
00001d20 20 20 20 49 46 20 28 6d 61 6e 74 69 73 73 61 26 | IF (mantissa&|
00001d30 31 29 7e 3d 30 20 54 48 45 4e 20 6d 61 6e 74 69 |1)~=0 THEN manti|
00001d40 73 73 61 20 3a 3d 20 6d 61 6e 74 69 73 73 61 2b |ssa := mantissa+|
00001d50 32 3b 0a 20 20 20 20 20 20 6d 61 6e 74 69 73 73 |2;. mantiss|
00001d60 61 2c 20 78 20 3a 3d 20 6d 61 6e 74 69 73 73 61 |a, x := mantissa|
00001d70 3e 3e 31 2c 20 78 2b 31 20 7d 3b 0a 0a 20 20 20 |>>1, x+1 };.. |
00001d80 57 48 49 4c 45 20 28 6d 61 6e 74 69 73 73 61 26 |WHILE (mantissa&|
00001d90 23 78 30 30 38 30 30 30 30 30 29 3d 30 20 44 4f |#x00800000)=0 DO|
00001da0 20 6d 61 6e 74 69 73 73 61 2c 20 78 20 3a 3d 20 | mantissa, x := |
00001db0 6d 61 6e 74 69 73 73 61 3c 3c 31 2c 20 78 2d 31 |mantissa<<1, x-1|
00001dc0 3b 0a 20 20 20 52 45 53 55 4c 54 49 53 20 73 69 |;. RESULTIS si|
00001dd0 67 6e 20 7c 20 28 6d 61 6e 74 69 73 73 61 26 66 |gn | (mantissa&f|
00001de0 70 73 2e 6d 61 6e 74 69 73 73 61 29 20 7c 20 28 |ps.mantissa) | (|
00001df0 78 3c 3c 66 70 73 2e 65 78 70 74 73 68 69 66 74 |x<<fps.exptshift|
00001e00 29 20 7d 0a |) }.|
00001e04 
.