BCPL/b/cgj

Home » Archimedes archive » Zipped Apps » BCPL » BCPL/b/cgj

BCPL/b/cgj

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/cgj
Read OK:	✔
File size:	3C26 bytes
Load address:	0000
Exec address:	0000

SECTION "CGJ"

GET "b.CGheader"

STATIC {
   // Version of 14 Apr 86 14:02:05
   dummy = VersionMark;
   version = 1*256+6 };

/* 1.4	06 Feb 86 23:20:53
      Bug fix: selective deletion of pending stores marked as to TOS
      should cause all later ones to lose such marking (also, the
      current belief about the TOS to be revised).  Is this right yet?
    1.5  07 Mar 86 21:40:02
      k.static
    1.6  14 Apr 86 14:00:45
      FlushPendingLoadsFor{Store,SLoc} need only flush loads related to
      the one concerned (not all up to it)
*/

LET ReverseInPlace(p) = VALOF
{  LET q = 0;
   IF p=0 THEN RESULTIS p;
   {  LET r = !p;
      !p := q
      IF r=0 THEN RESULTIS p;
      q := p; p := r
   } REPEAT
}

AND LastInList(l) = VALOF
{  LET last = 0;
   WHILE l~=0 DO {
      last := l;
      l := !l };
   RESULTIS last
}

AND DeleteFromList(p, x, n) = VALOF
{  LET CopyOfP = p;
   LET q = @CopyOfP;
   WHILE p~=x & p~=0 DO {  q := p; p := !p };

   IF p~=0 THEN !q := FreeBlk(p, n);
   RESULTIS CopyOfP
}

AND DeleteList(p, n) BE
   WHILE p~=0 DO
      p := FreeBlk(p, n)

AND CopyOfList(p, n) = VALOF
{  LET q = 0;
   WHILE p~=0 & p~=Null DO {
      LET r = GetBlk(n);
      !r := q; q := r;
      FOR i  = 1 TO n-1 DO i!r := i!p;
      p := !p };
   RESULTIS q
}

AND LengthOfList(l) = VALOF
{  LET len = 0;
   WHILE l~=0 DO {  l := !l; len := len+1 };
   RESULTIS len
}

AND Assoc(x, n, p) = VALOF
{  WHILE p~=0 DO {
      IF n!p=x THEN RESULTIS p;
      p := !p };
   RESULTIS Null
}

AND Nth(n, p) = VALOF
{  FOR i = 1 TO n DO {
      IF p=0 THEN RESULTIS Null;
      p := !p };
   RESULTIS p
}

AND InsertInListBefore(p, x, el) = VALOF
{  LET copyOfP = p;
   LET pp = @copyOfP;
   WHILE p~=0 DO {
      IF p=el THEN BREAK;
      pp := p;
      p := !p };
   !pp := x;
   !x := p;
   RESULTIS copyOfP
}


AND PrintList(p, n, s1, s2, s3) BE
{  WriteS(s1);
   WHILE p~=0 DO {
      WriteS(s2);
      FOR i = 1 TO n DO {
	 LET x = i!p;
	 LET t = x&#xfff00000;
	 Wrch(' ');
	 TEST t=0 | t=#xfff00000 THEN
	    WriteN(x)
	 ELSE
	    WriteHex(x, 8) };
      p := !p };
   WriteS(s3)
}

MANIFEST {
   dr.Reg = 1; dr.Loc = 2;
   dr.size = 3 };

LET TraceIt(s, a, b, c, d) BE
{  IF (CGDebugMode&db.traceps)~=0 THEN {
      FOR i = 0 TO ps.tracedepth-1 DO WrCh('*s');
      WriteF(s, a, b, c, d) };
   ps.tracedepth := ps.tracedepth+2 }

AND ExitTrace(s) BE
{  IF s~=0 & (CGDebugMode&db.traceps)~=0 THEN {
      FOR i = 0 TO ps.tracedepth-1 DO WrCh('*s');
      WriteS(s) };
   ps.tracedepth := ps.tracedepth-2 }

LET ClearAssignedRegisters() BE
{  LET p = dedicatedRegisters;
   dedicatedRegisters := 0;

   WHILE p~=0 DO {
      LET r = dr.Reg!p;
      LET q = !p;
      DiscardReg(r, k.reg);
      FreeBlk(p, dr.Size);
      p := q }
}

AND DedicateRegisterToLoc(r, n) BE
{  dedicatedRegisters := FillBlk(dr.Size, dedicatedRegisters, r, n);
   Lock(r, k.reg)
}

AND RegisterDedicatedToLoc(n) = VALOF
{  LET p = Assoc(n, dr.Loc, dedicatedRegisters);
   TEST p=Null THEN
      RESULTIS p
   ELSE
      RESULTIS dr.Reg!p
}

AND LocHeldInRegister(r) = VALOF
{  LET p = Assoc(r, dr.Reg, dedicatedRegisters);
   TEST p=Null THEN
      RESULTIS p
   ELSE
      RESULTIS dr.Loc!p
}

AND AddToPendingStores(r, t, n, istos, offset) BE
{  TraceIt("AddToPS %n %n %n %n*n", r, t, n, offset);

   IF t=k.ireg THEN
   {  FlushPendingStoresForIregExcept(n, offset)
      FlushPendingLoadsForIreg() };

   pendingStores := FillBlk(ps.size, pendingStores, t, n, r, offset, istos);
   ExitTrace(0)
}

AND DelSLocFromPendingList(q, t, n) = VALOF
{  LET p = !q;
   LET wastos = FALSE;
   TraceIt("DelSloc %n %n*n", t, n);
   WHILE p~=0 DO {
      TEST sl.type!p=t & sl.loc!p=n THEN {
	 IF ps.istos!p THEN wastos := TRUE;
	 !q := FreeBlk(p, ps.size) }
      ELSE
	 q := p;
      p := !q };
   ExitTrace(0);
   RESULTIS wastos
}

AND DelRegFromPendingList(q, r) BE
{  LET p = !q;
   TraceIt("DelReg %n*n", r);
   WHILE p~=0 DO {
      TEST ps.reg!p=r THEN
	 !q := FreeBlk(p, ps.size)
      ELSE
	 q := p;
      p := !q };
   ExitTrace(0)
}

AND SlocInList(p, t, n) = VALOF
{  WHILE p~=0 DO {
      IF sl.type!p=t & sl.loc!p=n THEN RESULTIS p;
      p := !p };
   RESULTIS Null
}

AND OffsetInList(p, t, n, o) = VALOF
{  WHILE p~=0 DO {
      IF sl.type!p=t & sl.loc!p=n & pl.offset!p=o THEN
	 RESULTIS p;
      p := !p };
   RESULTIS Null
}

AND RegInPendingList(p, r) = Assoc(r, ps.reg, p)

AND PrintPendingList(p) BE
   PrintList(p, ps.size-1, "", "*n", "")

AND DelLocsAbove(n, adjusttos) BE
{  TraceIt("DelLocsAbove %n*n", n);

   DeleteLocalsAbove(n, adjusttos, @pendingStores);

   IF (CGDebugMode&db.TracePS)~=0 THEN {
      ExitTrace("Exit DelLocsAbove: pendingStores ");
      PrintPendingList(pendingStores);
      NewLine() }
}

AND DeleteLocalsAbove(n, adjusttos, q) BE
{  LET p = !q;
   WHILE p~=0 DO {
      TEST sl.type!p=k.loc & sl.loc!p>=n THEN {
	 IF ps.istos!p & adjusttos THEN TOSOffset := TOSOffset-1;
	 !q := FreeBlk(p, ps.size) }
      ELSE
	 q := p;
      p := !q }
}

AND CopyOfLocalsIn(q, andIregs) = VALOF
{  LET p = 0;
   WHILE q~=0 DO {
      IF sl.type!q=k.loc | (andIregs & sl.type!q=k.ireg) THEN
	 p := FillBlk(ps.size, p, sl.type!q, sl.loc!q, ps.reg!q,
				  pl.offset!q, ps.istos!q);
      q := !q };
   RESULTIS ReverseInPlace(p)
}

AND FlushPendingStoresExceptLocalsAndIregs() BE
{  LET p = CopyOfLocalsIn(pendingStores, TRUE);

   TraceIt("FlushPendingStoresExceptLocalsAndIregs*n");

   DelLocsAbove(0, FALSE);
   {  LET q = @pendingStores;
      LET p = pendingStores;
      WHILE p~=0 DO {
	 TEST sl.type!p=k.ireg
	    THEN !q := FreeBlk(p, ps.size)
	    ELSE q := p;
	 p := !q } };
   FlushPendingStoresUpTo(0);
   // Not FlushPendingStores to avoid disturbing dedicated registers
   pendingStores := p;
   ExitTrace(0)
}

AND FlushPendingStoresExceptLocals() BE
{  LET p = CopyOfLocalsIn(pendingStores, FALSE);
   TraceIt("FlushPendingStoresExceptLocals*n");

   DelLocsAbove(0, FALSE);
   FlushPendingStores();
   pendingStores := p;
   ExitTrace(0)
}

AND DelLocsExcept(rl) BE
{  LET p = pendingStores;
   LET q = @pendingStores;

   IF (CGDebugMode&db.TracePS)~=0 THEN {
      TraceIt("DelLocsExcept:");
      PrintList(rl, 1, "", "", "*n") };
   WHILE p~=0 DO {
      TEST sl.type!p=k.loc & Assoc(sl.loc!p, 1, rl)=Null THEN {
	 IF ps.istos!p THEN {
	    LET pp = pendingStores;
	    WHILE pp~=p DO {
	       IF ps.istos!pp THEN {
		  ps.istos!pp := FALSE;
		  TOSOffset := TOSOffset-1 };
	       pp := !pp };
	    TOSOffset := TOSOffset-1 };
	 !q := FreeBlk(p, ps.size) }
      ELSE
	 q := p;
      p := !q };
   IF (CGDebugMode&db.TracePS)~=0 THEN {
      ExitTrace("DelLocsExcept: ps ");
      PrintPendingList(pendingStores);
      NewLine() }
}

AND FlushPendingStoresForIregExcept(n, offset) BE
{  TraceIt("FlushPendingStoresForIregExcept %n (%n)*n", n, offset);
   FOR r = r.0 TO r.14 DO {
      LET p = r~=n -> SlocInList(pendingStores, k.ireg, r),
		      OffsetInList(pendingStores, k.reg, r, offset)
      IF p~=Null THEN FlushPendingStoresUpTo(p) };

   ExitTrace(0)
}

AND FlushPendingStoresForSloc(t, n) BE
{  LET p = SlocInList(pendingStores, t, n);
   TraceIt("FlushPendingStoresForSloc %n %n*N", t, n);
   IF p~=Null THEN FlushPendingStoresUpTo(p);
   ExitTrace(0)
}

AND FlushPendingUsesOfReg(r) BE
{  LET p = RegInPendingList(pendingStores, r);
   TraceIt("FlushPendingUsesOfReg %n*N", r);
   IF p~=Null THEN FlushPendingStoresUpTo(p);
   FlushPendingStoresForSloc(k.ireg, r);
   FlushPendingLoadsForSloc(k.ireg, r);
   ExitTrace(0)
}

AND FlushPendingStores() BE
{  LET p = dedicatedRegisters;
   TraceIt("FlushPendingStores*n");
   WHILE p~=0 DO {
      FlushPendingLoadsForReg(dr.Reg!p);
      p := !p };
   FlushPendingStoresUpTo(0);
   ExitTrace(0)
}


AND F4RegOrder(r, q, t) = VALOF
{  LET s = ps.reg!q;
   IF s=r THEN RESULTIS 0;
   TEST t=k.loc & usesFrame & reversedStack
      THEN RESULTIS s>r -> -1, 1
      ELSE RESULTIS s>r -> 1, -1
}

AND FlushPendingStoresUpTo(target) BE
{  LET p = ReverseInPlace(pendingStores);
   {  // We may have managed to get stores to the top of stack
      // in the wrong order (if there have been deletions).
      // If so, sort them out again.
      LET q = p;
      WHILE q~=0 DO {
	 IF sl.type!q=k.loc & ps.istos!q THEN {
	    LET r = !q;
	    LET n = sl.loc!q
	    LET r1 = Null;
	    WHILE r~=0 DO {
	       IF sl.type!r=k.loc & ps.istos!r & sl.loc!r<n THEN {
		  r1 := ps.reg!q;
		  sl.loc!q, ps.reg!q := sl.loc!r, ps.reg!r;
		  sl.loc!r, ps.reg!r := n, r1
		  BREAK };
	       r := !r };
	    IF r1~=Null THEN LOOP };
	 q := !q } };

   WHILE p~=0 DO {
      LET t, n, r, offset = sl.type!p, sl.loc!p, ps.reg!p, pl.offset!p;
      LET istos = ps.istos!p;
      LET q = p;
      TraceIt(":- %n %n %n %n %n*n", t, n, r, offset, istos);
      ps.tracedepth := ps.tracedepth-2;
      p := FreeBlk(p, ps.size);
      IF t~=k.ireg THEN offset := n;
      IF t~=0 THEN {
	 LET r1 = r;
	 LET r2 = r;
	 LET count = 1;
	 LET reglist = 1<<r;
	 LET n1 = offset+1;

	 LET base = t=k.loc -> r.p,
		    t=k.glob -> r.g,
		    t=k.static -> r.l,
		    t=k.ireg -> n,
				CGError(FALSE, "bad type %n in pending store",
					       t);

	 FlushPendingLoadsForReg(r);
	 {  LET q = t=k.ireg -> OffsetInList(p, t, n, n1),
				SlocInList(p, t, n1);
	    IF q=Null | F4RegOrder(r1, q, t)<=0 | ps.istos!q~=istos
	       THEN BREAK;
	    r1 := ps.reg!q; reglist := reglist+(1<<r1);
	    count := count+1;
	    FlushPendingLoadsForReg(r1);
	    n1 := n1+1;
	    sl.type!q := 0
	 } REPEAT;

	 {  LET q = t=k.ireg -> OffsetInList(p, t, n, offset-1),
				SlocInList(p, t, offset-1);
	    IF q=Null | F4RegOrder(r2, q, t)>=0 | ps.istos!q~=istos
	       THEN BREAK;
	    r2 := ps.reg!q; reglist := reglist+(1<<r2);
	    FlushPendingLoadsForReg(r2);
	    offset := offset-1;
	    count := count+1;
	    sl.type!q := 0
	 } REPEAT;

	 TraceIt("%n %n %n %n*n", reglist, r, r1, offset);
	 ps.tracedepth := ps.tracedepth-2;

	 IF base=r.p & ~UsesFrame THEN {
	    base := r.ts;
	    offset := offset-saveSpaceSize };

	 TEST base=r.p & istos & UsesFrame THEN {
	    IF linkageNotStored=r.b & offset=0 THEN
	       SetRtoRplusK(r.b, r.pc, ValueOfLabel(baseLab)-8-locCtr);
	    F4Inst(f.stm, r.ts, reglist, f.wb+upStack) }
	 ELSE TEST r2=r1 & (offset~=R0Offset | base~=r.p) THEN {
	    TEST base=r.p | base=r.ts THEN
	       offset := nextStackWord*offset
	    ELSE
	       offset := 4*offset;
	    GenF2(f.str, r, base, 0, offset) }
	 ELSE {
	    LET type = f.postup;
	    TEST base=r.p THEN {
	       type := f.wb+upStack;
	       IF offset~=R0Offset THEN
		  SetRtoRplusK(r.0, r.p, nextStackWord*offset);
	       R0Offset := n1
	       base := r.0 }
	    ELSE TEST offset=1 THEN
	       type := f.preup
	    ELSE IF offset~=0 THEN {
	       offset := base=r.ts -> nextStackWord*offset, 4*offset;
	       SetRtoRplusK(r.0, base, offset);
	       base := r.0;
	       R0Offset := Null };

	    F4Inst(f.stm, base, reglist, type) };

	 IF base=r.p & linkageNotStored & offset=0 THEN {
	    SetRToRPlusK(r.p, r.ts, -count*nextStackWord);
	    IF usesRL THEN {
	       RLLoadList := FillBlk(2, RLLoadList, locCtr);
	       GenF2(f.ldr, r.l, r.pc, 0,
		     ValueOfLabel(baseLab)-12-locCtr-(procNames -> 12, 0)) };
	    linkageNotStored := FALSE } };
      IF q=target THEN BREAK
   };

   pendingStores := ReverseInPlace(p);
   IF (CGDebugMode&db.TracePS)~=0 THEN {
      WriteS("Exit FlushPS*N");
      PrintPendingList(pendingStores);
      NewLine() }
}

AND AddToPendingLoads(r, t, n, offset) BE
{  IF t=k.ireg THEN FlushPendingStoresForIregExcept(n, offset);
   pendingLoads := FillBlk(ps.size, pendingLoads, t, n, r, offset, Null);
   IF (CGDebugMode&db.TracePS)~=0
      THEN WriteF("addtopl %n %n %n %n*n", r, t, n, offset)
}

AND FlushPendingLoadsForIreg() BE
{  TraceIt("FlushPendingLoadsForIreg*n");
   FOR r = r.0 TO r.14 DO {
      LET p = SlocInList(pendingLoads, k.ireg, r);
      IF p~=Null THEN FlushPendingLoadsUpTo(p) };
   ExitTrace(0)
}

AND FlushPendingLoadsForReg(r) BE
{  LET p = RegInPendingList(pendingLoads, r);
   TraceIt("FlushPendingLoadsForReg %n*N", r);
   IF p~=Null THEN FlushPendingLoadsRelatedTo(p, pendingLoads);
   FlushPendingLoadsForSloc(k.ireg, r);
   ExitTrace(0)
}

AND FlushPendingLoadsForSloc(t, n) BE
{  /* A given sloc may be in pending loads many times, wherefore the loop */
   TraceIt("FlushPLForSloc %n %n*n", t, n);
   {  LET p = SlocInList(pendingLoads, t, n);
      IF p=Null THEN BREAK;
      FlushPendingLoadsRelatedTo(p, pendingLoads) } REPEAT;
   ExitTrace(0) }

AND FlushPendingLoadsExceptLocals() BE
{  LET p = CopyOfLocalsIn(pendingLoads, FALSE);
   TraceIt("FlushPendingLoadsExceptLocals*N");
   DeleteLocalsAbove(0, FALSE, @pendingLoads);
   FlushPendingLoads();
   pendingLoads := p;
   ExitTrace(0)
}

AND FlushPendingLoads() BE
{  TraceIt("FlushPendingLoads*n");
   FlushPendingLoadsUpTo(0);
   ExitTrace(0)
}

AND FlushPendingLoadsRelatedTo(p, pl) BE
{  LET t, n, r, offset = sl.type!p, sl.loc!p, ps.reg!p, pl.offset!p;
   sl.type!p := 0;
   TraceIt(":- %n %n %n %n*n", t, n, r, offset);
   ps.tracedepth := ps.tracedepth-2;
   IF t~=k.ireg THEN offset := n;
   IF t~=0 THEN {
      LET r1 = r;
      LET r2 = r;
      LET reglist = 1<<r;
      LET n1 = offset+1;

      LET base = t=k.loc -> r.p,
		 t=k.glob -> r.g,
		 t=k.static -> r.l,
		 t=k.ireg -> n,
			     CGError(FALSE, "bad type %n in pending load",
					    t);

      {  LET q = t=k.ireg -> OffsetInList(pl, t, n, n1),
			     SlocInList(pl, t, n1);
	 IF q=Null | F4RegOrder(r1, q, t)<=0 THEN BREAK;
	 r1 := ps.reg!q; reglist := reglist+(1<<r1);
	 n1 := n1+1;
	 sl.type!q := 0
      } REPEAT;

      {  LET q = t=k.ireg -> OffsetInList(pl, t, n, offset-1),
			     SlocInList(pl, t, offset-1);
	 IF q=Null | F4RegOrder(r2, q, t)>=0 THEN BREAK;
	 r2 := ps.reg!q; reglist := reglist+(1<<r2);
	 offset := offset-1;
	 sl.type!q := 0
      } REPEAT;

      TraceIt("%n %n %n %n*n", reglist, r, r1, offset);
      ps.tracedepth := ps.tracedepth-2;

      IF base=r.p THEN
	 TEST ~UsesFrame THEN {
	    base := r.ts;
	    offset := offset-saveSpaceSize }
	 ELSE IF linkageNotStored THEN
	    base := r.ts;

      TEST base=r.p & n1=TOSOffset THEN
	 F4Inst(f.ldm, r.ts, reglist, reversedStack -> f.preup,
							  f.predown)
      ELSE TEST r2=r1 & (n~=R0Offset | base~=r.p) THEN {
	 TEST base=r.p | base=r.ts THEN
	    offset := nextStackWord*offset
	 ELSE
	    offset := 4*offset;
	 GenF2(f.ldr, r, base, 0, offset) }
      ELSE {
	 LET type = f.postup;
	 TEST base=r.p THEN {
	    type := f.wb+upStack;
	    TEST n1-1=R0Offset THEN
	       type := upStack NEQV f.up
	    ELSE TEST n1=R0Offset THEN
	       type := upStack NEQV f.preup
	    ELSE {
	       IF offset~=R0Offset THEN
		  SetRtoRplusK(r.0, r.p, nextStackWord*offset);
	       R0Offset := n1 };
	    base := r.0 }
	 ELSE TEST offset=1 THEN
	    type := f.preup
	 ELSE IF offset~=0 THEN {
	    offset := base=r.ts -> nextStackWord*offset, 4*offset;
	    SetRtoRplusK(r.0, base, offset);
	    base := r.0;
	    R0Offset := Null };

	 F4Inst(f.ldm, base, reglist, type) } } }


AND FlushPendingLoadsUpTo(target) BE
{  LET p = ReverseInPlace(pendingLoads);
   WHILE p~=0 DO {
      LET q = p;
      FlushPendingLoadsRelatedTo(p, !p);
      p := FreeBlk(p, ps.size);
      IF q=target THEN BREAK };

   pendingLoads := ReverseInPlace(p);
   IF (CGDebugMode&db.TracePS)~=0 THEN {
      WriteS("Exit FlushPL*N");
      PrintPendingList(pendingLoads) }
}

00000000  53 45 43 54 49 4f 4e 20  22 43 47 4a 22 0a 0a 47  |SECTION "CGJ"..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  7b 0a 20 20 20 2f 2f 20  |.STATIC {.   // |
00000030  56 65 72 73 69 6f 6e 20  6f 66 20 31 34 20 41 70  |Version of 14 Ap|
00000040  72 20 38 36 20 31 34 3a  30 32 3a 30 35 0a 20 20  |r 86 14:02:05.  |
00000050  20 64 75 6d 6d 79 20 3d  20 56 65 72 73 69 6f 6e  | dummy = Version|
00000060  4d 61 72 6b 3b 0a 20 20  20 76 65 72 73 69 6f 6e  |Mark;.   version|
00000070  20 3d 20 31 2a 32 35 36  2b 36 20 7d 3b 0a 0a 2f  | = 1*256+6 };../|
00000080  2a 20 31 2e 34 09 30 36  20 46 65 62 20 38 36 20  |* 1.4.06 Feb 86 |
00000090  32 33 3a 32 30 3a 35 33  0a 20 20 20 20 20 20 42  |23:20:53.      B|
000000a0  75 67 20 66 69 78 3a 20  73 65 6c 65 63 74 69 76  |ug fix: selectiv|
000000b0  65 20 64 65 6c 65 74 69  6f 6e 20 6f 66 20 70 65  |e deletion of pe|
000000c0  6e 64 69 6e 67 20 73 74  6f 72 65 73 20 6d 61 72  |nding stores mar|
000000d0  6b 65 64 20 61 73 20 74  6f 20 54 4f 53 0a 20 20  |ked as to TOS.  |
000000e0  20 20 20 20 73 68 6f 75  6c 64 20 63 61 75 73 65  |    should cause|
000000f0  20 61 6c 6c 20 6c 61 74  65 72 20 6f 6e 65 73 20  | all later ones |
00000100  74 6f 20 6c 6f 73 65 20  73 75 63 68 20 6d 61 72  |to lose such mar|
00000110  6b 69 6e 67 20 28 61 6c  73 6f 2c 20 74 68 65 0a  |king (also, the.|
00000120  20 20 20 20 20 20 63 75  72 72 65 6e 74 20 62 65  |      current be|
00000130  6c 69 65 66 20 61 62 6f  75 74 20 74 68 65 20 54  |lief about the T|
00000140  4f 53 20 74 6f 20 62 65  20 72 65 76 69 73 65 64  |OS to be revised|
00000150  29 2e 20 20 49 73 20 74  68 69 73 20 72 69 67 68  |).  Is this righ|
00000160  74 20 79 65 74 3f 0a 20  20 20 20 31 2e 35 20 20  |t yet?.    1.5  |
00000170  30 37 20 4d 61 72 20 38  36 20 32 31 3a 34 30 3a  |07 Mar 86 21:40:|
00000180  30 32 0a 20 20 20 20 20  20 6b 2e 73 74 61 74 69  |02.      k.stati|
00000190  63 0a 20 20 20 20 31 2e  36 20 20 31 34 20 41 70  |c.    1.6  14 Ap|
000001a0  72 20 38 36 20 31 34 3a  30 30 3a 34 35 0a 20 20  |r 86 14:00:45.  |
000001b0  20 20 20 20 46 6c 75 73  68 50 65 6e 64 69 6e 67  |    FlushPending|
000001c0  4c 6f 61 64 73 46 6f 72  7b 53 74 6f 72 65 2c 53  |LoadsFor{Store,S|
000001d0  4c 6f 63 7d 20 6e 65 65  64 20 6f 6e 6c 79 20 66  |Loc} need only f|
000001e0  6c 75 73 68 20 6c 6f 61  64 73 20 72 65 6c 61 74  |lush loads relat|
000001f0  65 64 20 74 6f 0a 20 20  20 20 20 20 74 68 65 20  |ed to.      the |
00000200  6f 6e 65 20 63 6f 6e 63  65 72 6e 65 64 20 28 6e  |one concerned (n|
00000210  6f 74 20 61 6c 6c 20 75  70 20 74 6f 20 69 74 29  |ot all up to it)|
00000220  0a 2a 2f 0a 0a 4c 45 54  20 52 65 76 65 72 73 65  |.*/..LET Reverse|
00000230  49 6e 50 6c 61 63 65 28  70 29 20 3d 20 56 41 4c  |InPlace(p) = VAL|
00000240  4f 46 0a 7b 20 20 4c 45  54 20 71 20 3d 20 30 3b  |OF.{  LET q = 0;|
00000250  0a 20 20 20 49 46 20 70  3d 30 20 54 48 45 4e 20  |.   IF p=0 THEN |
00000260  52 45 53 55 4c 54 49 53  20 70 3b 0a 20 20 20 7b  |RESULTIS p;.   {|
00000270  20 20 4c 45 54 20 72 20  3d 20 21 70 3b 0a 20 20  |  LET r = !p;.  |
00000280  20 20 20 20 21 70 20 3a  3d 20 71 0a 20 20 20 20  |    !p := q.    |
00000290  20 20 49 46 20 72 3d 30  20 54 48 45 4e 20 52 45  |  IF r=0 THEN RE|
000002a0  53 55 4c 54 49 53 20 70  3b 0a 20 20 20 20 20 20  |SULTIS p;.      |
000002b0  71 20 3a 3d 20 70 3b 20  70 20 3a 3d 20 72 0a 20  |q := p; p := r. |
000002c0  20 20 7d 20 52 45 50 45  41 54 0a 7d 0a 0a 41 4e  |  } REPEAT.}..AN|
000002d0  44 20 4c 61 73 74 49 6e  4c 69 73 74 28 6c 29 20  |D LastInList(l) |
000002e0  3d 20 56 41 4c 4f 46 0a  7b 20 20 4c 45 54 20 6c  |= VALOF.{  LET l|
000002f0  61 73 74 20 3d 20 30 3b  0a 20 20 20 57 48 49 4c  |ast = 0;.   WHIL|
00000300  45 20 6c 7e 3d 30 20 44  4f 20 7b 0a 20 20 20 20  |E l~=0 DO {.    |
00000310  20 20 6c 61 73 74 20 3a  3d 20 6c 3b 0a 20 20 20  |  last := l;.   |
00000320  20 20 20 6c 20 3a 3d 20  21 6c 20 7d 3b 0a 20 20  |   l := !l };.  |
00000330  20 52 45 53 55 4c 54 49  53 20 6c 61 73 74 0a 7d  | RESULTIS last.}|
00000340  0a 0a 41 4e 44 20 44 65  6c 65 74 65 46 72 6f 6d  |..AND DeleteFrom|
00000350  4c 69 73 74 28 70 2c 20  78 2c 20 6e 29 20 3d 20  |List(p, x, n) = |
00000360  56 41 4c 4f 46 0a 7b 20  20 4c 45 54 20 43 6f 70  |VALOF.{  LET Cop|
00000370  79 4f 66 50 20 3d 20 70  3b 0a 20 20 20 4c 45 54  |yOfP = p;.   LET|
00000380  20 71 20 3d 20 40 43 6f  70 79 4f 66 50 3b 0a 20  | q = @CopyOfP;. |
00000390  20 20 57 48 49 4c 45 20  70 7e 3d 78 20 26 20 70  |  WHILE p~=x & p|
000003a0  7e 3d 30 20 44 4f 20 7b  20 20 71 20 3a 3d 20 70  |~=0 DO {  q := p|
000003b0  3b 20 70 20 3a 3d 20 21  70 20 7d 3b 0a 0a 20 20  |; p := !p };..  |
000003c0  20 49 46 20 70 7e 3d 30  20 54 48 45 4e 20 21 71  | IF p~=0 THEN !q|
000003d0  20 3a 3d 20 46 72 65 65  42 6c 6b 28 70 2c 20 6e  | := FreeBlk(p, n|
000003e0  29 3b 0a 20 20 20 52 45  53 55 4c 54 49 53 20 43  |);.   RESULTIS C|
000003f0  6f 70 79 4f 66 50 0a 7d  0a 0a 41 4e 44 20 44 65  |opyOfP.}..AND De|
00000400  6c 65 74 65 4c 69 73 74  28 70 2c 20 6e 29 20 42  |leteList(p, n) B|
00000410  45 0a 20 20 20 57 48 49  4c 45 20 70 7e 3d 30 20  |E.   WHILE p~=0 |
00000420  44 4f 0a 20 20 20 20 20  20 70 20 3a 3d 20 46 72  |DO.      p := Fr|
00000430  65 65 42 6c 6b 28 70 2c  20 6e 29 0a 0a 41 4e 44  |eeBlk(p, n)..AND|
00000440  20 43 6f 70 79 4f 66 4c  69 73 74 28 70 2c 20 6e  | CopyOfList(p, n|
00000450  29 20 3d 20 56 41 4c 4f  46 0a 7b 20 20 4c 45 54  |) = VALOF.{  LET|
00000460  20 71 20 3d 20 30 3b 0a  20 20 20 57 48 49 4c 45  | q = 0;.   WHILE|
00000470  20 70 7e 3d 30 20 26 20  70 7e 3d 4e 75 6c 6c 20  | p~=0 & p~=Null |
00000480  44 4f 20 7b 0a 20 20 20  20 20 20 4c 45 54 20 72  |DO {.      LET r|
00000490  20 3d 20 47 65 74 42 6c  6b 28 6e 29 3b 0a 20 20  | = GetBlk(n);.  |
000004a0  20 20 20 20 21 72 20 3a  3d 20 71 3b 20 71 20 3a  |    !r := q; q :|
000004b0  3d 20 72 3b 0a 20 20 20  20 20 20 46 4f 52 20 69  |= r;.      FOR i|
000004c0  20 20 3d 20 31 20 54 4f  20 6e 2d 31 20 44 4f 20  |  = 1 TO n-1 DO |
000004d0  69 21 72 20 3a 3d 20 69  21 70 3b 0a 20 20 20 20  |i!r := i!p;.    |
000004e0  20 20 70 20 3a 3d 20 21  70 20 7d 3b 0a 20 20 20  |  p := !p };.   |
000004f0  52 45 53 55 4c 54 49 53  20 71 0a 7d 0a 0a 41 4e  |RESULTIS q.}..AN|
00000500  44 20 4c 65 6e 67 74 68  4f 66 4c 69 73 74 28 6c  |D LengthOfList(l|
00000510  29 20 3d 20 56 41 4c 4f  46 0a 7b 20 20 4c 45 54  |) = VALOF.{  LET|
00000520  20 6c 65 6e 20 3d 20 30  3b 0a 20 20 20 57 48 49  | len = 0;.   WHI|
00000530  4c 45 20 6c 7e 3d 30 20  44 4f 20 7b 20 20 6c 20  |LE l~=0 DO {  l |
00000540  3a 3d 20 21 6c 3b 20 6c  65 6e 20 3a 3d 20 6c 65  |:= !l; len := le|
00000550  6e 2b 31 20 7d 3b 0a 20  20 20 52 45 53 55 4c 54  |n+1 };.   RESULT|
00000560  49 53 20 6c 65 6e 0a 7d  0a 0a 41 4e 44 20 41 73  |IS len.}..AND As|
00000570  73 6f 63 28 78 2c 20 6e  2c 20 70 29 20 3d 20 56  |soc(x, n, p) = V|
00000580  41 4c 4f 46 0a 7b 20 20  57 48 49 4c 45 20 70 7e  |ALOF.{  WHILE p~|
00000590  3d 30 20 44 4f 20 7b 0a  20 20 20 20 20 20 49 46  |=0 DO {.      IF|
000005a0  20 6e 21 70 3d 78 20 54  48 45 4e 20 52 45 53 55  | n!p=x THEN RESU|
000005b0  4c 54 49 53 20 70 3b 0a  20 20 20 20 20 20 70 20  |LTIS p;.      p |
000005c0  3a 3d 20 21 70 20 7d 3b  0a 20 20 20 52 45 53 55  |:= !p };.   RESU|
000005d0  4c 54 49 53 20 4e 75 6c  6c 0a 7d 0a 0a 41 4e 44  |LTIS Null.}..AND|
000005e0  20 4e 74 68 28 6e 2c 20  70 29 20 3d 20 56 41 4c  | Nth(n, p) = VAL|
000005f0  4f 46 0a 7b 20 20 46 4f  52 20 69 20 3d 20 31 20  |OF.{  FOR i = 1 |
00000600  54 4f 20 6e 20 44 4f 20  7b 0a 20 20 20 20 20 20  |TO n DO {.      |
00000610  49 46 20 70 3d 30 20 54  48 45 4e 20 52 45 53 55  |IF p=0 THEN RESU|
00000620  4c 54 49 53 20 4e 75 6c  6c 3b 0a 20 20 20 20 20  |LTIS Null;.     |
00000630  20 70 20 3a 3d 20 21 70  20 7d 3b 0a 20 20 20 52  | p := !p };.   R|
00000640  45 53 55 4c 54 49 53 20  70 0a 7d 0a 0a 41 4e 44  |ESULTIS p.}..AND|
00000650  20 49 6e 73 65 72 74 49  6e 4c 69 73 74 42 65 66  | InsertInListBef|
00000660  6f 72 65 28 70 2c 20 78  2c 20 65 6c 29 20 3d 20  |ore(p, x, el) = |
00000670  56 41 4c 4f 46 0a 7b 20  20 4c 45 54 20 63 6f 70  |VALOF.{  LET cop|
00000680  79 4f 66 50 20 3d 20 70  3b 0a 20 20 20 4c 45 54  |yOfP = p;.   LET|
00000690  20 70 70 20 3d 20 40 63  6f 70 79 4f 66 50 3b 0a  | pp = @copyOfP;.|
000006a0  20 20 20 57 48 49 4c 45  20 70 7e 3d 30 20 44 4f  |   WHILE p~=0 DO|
000006b0  20 7b 0a 20 20 20 20 20  20 49 46 20 70 3d 65 6c  | {.      IF p=el|
000006c0  20 54 48 45 4e 20 42 52  45 41 4b 3b 0a 20 20 20  | THEN BREAK;.   |
000006d0  20 20 20 70 70 20 3a 3d  20 70 3b 0a 20 20 20 20  |   pp := p;.    |
000006e0  20 20 70 20 3a 3d 20 21  70 20 7d 3b 0a 20 20 20  |  p := !p };.   |
000006f0  21 70 70 20 3a 3d 20 78  3b 0a 20 20 20 21 78 20  |!pp := x;.   !x |
00000700  3a 3d 20 70 3b 0a 20 20  20 52 45 53 55 4c 54 49  |:= p;.   RESULTI|
00000710  53 20 63 6f 70 79 4f 66  50 0a 7d 0a 0a 0a 41 4e  |S copyOfP.}...AN|
00000720  44 20 50 72 69 6e 74 4c  69 73 74 28 70 2c 20 6e  |D PrintList(p, n|
00000730  2c 20 73 31 2c 20 73 32  2c 20 73 33 29 20 42 45  |, s1, s2, s3) BE|
00000740  0a 7b 20 20 57 72 69 74  65 53 28 73 31 29 3b 0a  |.{  WriteS(s1);.|
00000750  20 20 20 57 48 49 4c 45  20 70 7e 3d 30 20 44 4f  |   WHILE p~=0 DO|
00000760  20 7b 0a 20 20 20 20 20  20 57 72 69 74 65 53 28  | {.      WriteS(|
00000770  73 32 29 3b 0a 20 20 20  20 20 20 46 4f 52 20 69  |s2);.      FOR i|
00000780  20 3d 20 31 20 54 4f 20  6e 20 44 4f 20 7b 0a 09  | = 1 TO n DO {..|
00000790  20 4c 45 54 20 78 20 3d  20 69 21 70 3b 0a 09 20  | LET x = i!p;.. |
000007a0  4c 45 54 20 74 20 3d 20  78 26 23 78 66 66 66 30  |LET t = x&#xfff0|
000007b0  30 30 30 30 3b 0a 09 20  57 72 63 68 28 27 20 27  |0000;.. Wrch(' '|
000007c0  29 3b 0a 09 20 54 45 53  54 20 74 3d 30 20 7c 20  |);.. TEST t=0 | |
000007d0  74 3d 23 78 66 66 66 30  30 30 30 30 20 54 48 45  |t=#xfff00000 THE|
000007e0  4e 0a 09 20 20 20 20 57  72 69 74 65 4e 28 78 29  |N..    WriteN(x)|
000007f0  0a 09 20 45 4c 53 45 0a  09 20 20 20 20 57 72 69  |.. ELSE..    Wri|
00000800  74 65 48 65 78 28 78 2c  20 38 29 20 7d 3b 0a 20  |teHex(x, 8) };. |
00000810  20 20 20 20 20 70 20 3a  3d 20 21 70 20 7d 3b 0a  |     p := !p };.|
00000820  20 20 20 57 72 69 74 65  53 28 73 33 29 0a 7d 0a  |   WriteS(s3).}.|
00000830  0a 4d 41 4e 49 46 45 53  54 20 7b 0a 20 20 20 64  |.MANIFEST {.   d|
00000840  72 2e 52 65 67 20 3d 20  31 3b 20 64 72 2e 4c 6f  |r.Reg = 1; dr.Lo|
00000850  63 20 3d 20 32 3b 0a 20  20 20 64 72 2e 73 69 7a  |c = 2;.   dr.siz|
00000860  65 20 3d 20 33 20 7d 3b  0a 0a 4c 45 54 20 54 72  |e = 3 };..LET Tr|
00000870  61 63 65 49 74 28 73 2c  20 61 2c 20 62 2c 20 63  |aceIt(s, a, b, c|
00000880  2c 20 64 29 20 42 45 0a  7b 20 20 49 46 20 28 43  |, d) BE.{  IF (C|
00000890  47 44 65 62 75 67 4d 6f  64 65 26 64 62 2e 74 72  |GDebugMode&db.tr|
000008a0  61 63 65 70 73 29 7e 3d  30 20 54 48 45 4e 20 7b  |aceps)~=0 THEN {|
000008b0  0a 20 20 20 20 20 20 46  4f 52 20 69 20 3d 20 30  |.      FOR i = 0|
000008c0  20 54 4f 20 70 73 2e 74  72 61 63 65 64 65 70 74  | TO ps.tracedept|
000008d0  68 2d 31 20 44 4f 20 57  72 43 68 28 27 2a 73 27  |h-1 DO WrCh('*s'|
000008e0  29 3b 0a 20 20 20 20 20  20 57 72 69 74 65 46 28  |);.      WriteF(|
000008f0  73 2c 20 61 2c 20 62 2c  20 63 2c 20 64 29 20 7d  |s, a, b, c, d) }|
00000900  3b 0a 20 20 20 70 73 2e  74 72 61 63 65 64 65 70  |;.   ps.tracedep|
00000910  74 68 20 3a 3d 20 70 73  2e 74 72 61 63 65 64 65  |th := ps.tracede|
00000920  70 74 68 2b 32 20 7d 0a  0a 41 4e 44 20 45 78 69  |pth+2 }..AND Exi|
00000930  74 54 72 61 63 65 28 73  29 20 42 45 0a 7b 20 20  |tTrace(s) BE.{  |
00000940  49 46 20 73 7e 3d 30 20  26 20 28 43 47 44 65 62  |IF s~=0 & (CGDeb|
00000950  75 67 4d 6f 64 65 26 64  62 2e 74 72 61 63 65 70  |ugMode&db.tracep|
00000960  73 29 7e 3d 30 20 54 48  45 4e 20 7b 0a 20 20 20  |s)~=0 THEN {.   |
00000970  20 20 20 46 4f 52 20 69  20 3d 20 30 20 54 4f 20  |   FOR i = 0 TO |
00000980  70 73 2e 74 72 61 63 65  64 65 70 74 68 2d 31 20  |ps.tracedepth-1 |
00000990  44 4f 20 57 72 43 68 28  27 2a 73 27 29 3b 0a 20  |DO WrCh('*s');. |
000009a0  20 20 20 20 20 57 72 69  74 65 53 28 73 29 20 7d  |     WriteS(s) }|
000009b0  3b 0a 20 20 20 70 73 2e  74 72 61 63 65 64 65 70  |;.   ps.tracedep|
000009c0  74 68 20 3a 3d 20 70 73  2e 74 72 61 63 65 64 65  |th := ps.tracede|
000009d0  70 74 68 2d 32 20 7d 0a  0a 4c 45 54 20 43 6c 65  |pth-2 }..LET Cle|
000009e0  61 72 41 73 73 69 67 6e  65 64 52 65 67 69 73 74  |arAssignedRegist|
000009f0  65 72 73 28 29 20 42 45  0a 7b 20 20 4c 45 54 20  |ers() BE.{  LET |
00000a00  70 20 3d 20 64 65 64 69  63 61 74 65 64 52 65 67  |p = dedicatedReg|
00000a10  69 73 74 65 72 73 3b 0a  20 20 20 64 65 64 69 63  |isters;.   dedic|
00000a20  61 74 65 64 52 65 67 69  73 74 65 72 73 20 3a 3d  |atedRegisters :=|
00000a30  20 30 3b 0a 0a 20 20 20  57 48 49 4c 45 20 70 7e  | 0;..   WHILE p~|
00000a40  3d 30 20 44 4f 20 7b 0a  20 20 20 20 20 20 4c 45  |=0 DO {.      LE|
00000a50  54 20 72 20 3d 20 64 72  2e 52 65 67 21 70 3b 0a  |T r = dr.Reg!p;.|
00000a60  20 20 20 20 20 20 4c 45  54 20 71 20 3d 20 21 70  |      LET q = !p|
00000a70  3b 0a 20 20 20 20 20 20  44 69 73 63 61 72 64 52  |;.      DiscardR|
00000a80  65 67 28 72 2c 20 6b 2e  72 65 67 29 3b 0a 20 20  |eg(r, k.reg);.  |
00000a90  20 20 20 20 46 72 65 65  42 6c 6b 28 70 2c 20 64  |    FreeBlk(p, d|
00000aa0  72 2e 53 69 7a 65 29 3b  0a 20 20 20 20 20 20 70  |r.Size);.      p|
00000ab0  20 3a 3d 20 71 20 7d 0a  7d 0a 0a 41 4e 44 20 44  | := q }.}..AND D|
00000ac0  65 64 69 63 61 74 65 52  65 67 69 73 74 65 72 54  |edicateRegisterT|
00000ad0  6f 4c 6f 63 28 72 2c 20  6e 29 20 42 45 0a 7b 20  |oLoc(r, n) BE.{ |
00000ae0  20 64 65 64 69 63 61 74  65 64 52 65 67 69 73 74  | dedicatedRegist|
00000af0  65 72 73 20 3a 3d 20 46  69 6c 6c 42 6c 6b 28 64  |ers := FillBlk(d|
00000b00  72 2e 53 69 7a 65 2c 20  64 65 64 69 63 61 74 65  |r.Size, dedicate|
00000b10  64 52 65 67 69 73 74 65  72 73 2c 20 72 2c 20 6e  |dRegisters, r, n|
00000b20  29 3b 0a 20 20 20 4c 6f  63 6b 28 72 2c 20 6b 2e  |);.   Lock(r, k.|
00000b30  72 65 67 29 0a 7d 0a 0a  41 4e 44 20 52 65 67 69  |reg).}..AND Regi|
00000b40  73 74 65 72 44 65 64 69  63 61 74 65 64 54 6f 4c  |sterDedicatedToL|
00000b50  6f 63 28 6e 29 20 3d 20  56 41 4c 4f 46 0a 7b 20  |oc(n) = VALOF.{ |
00000b60  20 4c 45 54 20 70 20 3d  20 41 73 73 6f 63 28 6e  | LET p = Assoc(n|
00000b70  2c 20 64 72 2e 4c 6f 63  2c 20 64 65 64 69 63 61  |, dr.Loc, dedica|
00000b80  74 65 64 52 65 67 69 73  74 65 72 73 29 3b 0a 20  |tedRegisters);. |
00000b90  20 20 54 45 53 54 20 70  3d 4e 75 6c 6c 20 54 48  |  TEST p=Null TH|
00000ba0  45 4e 0a 20 20 20 20 20  20 52 45 53 55 4c 54 49  |EN.      RESULTI|
00000bb0  53 20 70 0a 20 20 20 45  4c 53 45 0a 20 20 20 20  |S p.   ELSE.    |
00000bc0  20 20 52 45 53 55 4c 54  49 53 20 64 72 2e 52 65  |  RESULTIS dr.Re|
00000bd0  67 21 70 0a 7d 0a 0a 41  4e 44 20 4c 6f 63 48 65  |g!p.}..AND LocHe|
00000be0  6c 64 49 6e 52 65 67 69  73 74 65 72 28 72 29 20  |ldInRegister(r) |
00000bf0  3d 20 56 41 4c 4f 46 0a  7b 20 20 4c 45 54 20 70  |= VALOF.{  LET p|
00000c00  20 3d 20 41 73 73 6f 63  28 72 2c 20 64 72 2e 52  | = Assoc(r, dr.R|
00000c10  65 67 2c 20 64 65 64 69  63 61 74 65 64 52 65 67  |eg, dedicatedReg|
00000c20  69 73 74 65 72 73 29 3b  0a 20 20 20 54 45 53 54  |isters);.   TEST|
00000c30  20 70 3d 4e 75 6c 6c 20  54 48 45 4e 0a 20 20 20  | p=Null THEN.   |
00000c40  20 20 20 52 45 53 55 4c  54 49 53 20 70 0a 20 20  |   RESULTIS p.  |
00000c50  20 45 4c 53 45 0a 20 20  20 20 20 20 52 45 53 55  | ELSE.      RESU|
00000c60  4c 54 49 53 20 64 72 2e  4c 6f 63 21 70 0a 7d 0a  |LTIS dr.Loc!p.}.|
00000c70  0a 41 4e 44 20 41 64 64  54 6f 50 65 6e 64 69 6e  |.AND AddToPendin|
00000c80  67 53 74 6f 72 65 73 28  72 2c 20 74 2c 20 6e 2c  |gStores(r, t, n,|
00000c90  20 69 73 74 6f 73 2c 20  6f 66 66 73 65 74 29 20  | istos, offset) |
00000ca0  42 45 0a 7b 20 20 54 72  61 63 65 49 74 28 22 41  |BE.{  TraceIt("A|
00000cb0  64 64 54 6f 50 53 20 25  6e 20 25 6e 20 25 6e 20  |ddToPS %n %n %n |
00000cc0  25 6e 2a 6e 22 2c 20 72  2c 20 74 2c 20 6e 2c 20  |%n*n", r, t, n, |
00000cd0  6f 66 66 73 65 74 29 3b  0a 0a 20 20 20 49 46 20  |offset);..   IF |
00000ce0  74 3d 6b 2e 69 72 65 67  20 54 48 45 4e 0a 20 20  |t=k.ireg THEN.  |
00000cf0  20 7b 20 20 46 6c 75 73  68 50 65 6e 64 69 6e 67  | {  FlushPending|
00000d00  53 74 6f 72 65 73 46 6f  72 49 72 65 67 45 78 63  |StoresForIregExc|
00000d10  65 70 74 28 6e 2c 20 6f  66 66 73 65 74 29 0a 20  |ept(n, offset). |
00000d20  20 20 20 20 20 46 6c 75  73 68 50 65 6e 64 69 6e  |     FlushPendin|
00000d30  67 4c 6f 61 64 73 46 6f  72 49 72 65 67 28 29 20  |gLoadsForIreg() |
00000d40  7d 3b 0a 0a 20 20 20 70  65 6e 64 69 6e 67 53 74  |};..   pendingSt|
00000d50  6f 72 65 73 20 3a 3d 20  46 69 6c 6c 42 6c 6b 28  |ores := FillBlk(|
00000d60  70 73 2e 73 69 7a 65 2c  20 70 65 6e 64 69 6e 67  |ps.size, pending|
00000d70  53 74 6f 72 65 73 2c 20  74 2c 20 6e 2c 20 72 2c  |Stores, t, n, r,|
00000d80  20 6f 66 66 73 65 74 2c  20 69 73 74 6f 73 29 3b  | offset, istos);|
00000d90  0a 20 20 20 45 78 69 74  54 72 61 63 65 28 30 29  |.   ExitTrace(0)|
00000da0  0a 7d 0a 0a 41 4e 44 20  44 65 6c 53 4c 6f 63 46  |.}..AND DelSLocF|
00000db0  72 6f 6d 50 65 6e 64 69  6e 67 4c 69 73 74 28 71  |romPendingList(q|
00000dc0  2c 20 74 2c 20 6e 29 20  3d 20 56 41 4c 4f 46 0a  |, t, n) = VALOF.|
00000dd0  7b 20 20 4c 45 54 20 70  20 3d 20 21 71 3b 0a 20  |{  LET p = !q;. |
00000de0  20 20 4c 45 54 20 77 61  73 74 6f 73 20 3d 20 46  |  LET wastos = F|
00000df0  41 4c 53 45 3b 0a 20 20  20 54 72 61 63 65 49 74  |ALSE;.   TraceIt|
00000e00  28 22 44 65 6c 53 6c 6f  63 20 25 6e 20 25 6e 2a  |("DelSloc %n %n*|
00000e10  6e 22 2c 20 74 2c 20 6e  29 3b 0a 20 20 20 57 48  |n", t, n);.   WH|
00000e20  49 4c 45 20 70 7e 3d 30  20 44 4f 20 7b 0a 20 20  |ILE p~=0 DO {.  |
00000e30  20 20 20 20 54 45 53 54  20 73 6c 2e 74 79 70 65  |    TEST sl.type|
00000e40  21 70 3d 74 20 26 20 73  6c 2e 6c 6f 63 21 70 3d  |!p=t & sl.loc!p=|
00000e50  6e 20 54 48 45 4e 20 7b  0a 09 20 49 46 20 70 73  |n THEN {.. IF ps|
00000e60  2e 69 73 74 6f 73 21 70  20 54 48 45 4e 20 77 61  |.istos!p THEN wa|
00000e70  73 74 6f 73 20 3a 3d 20  54 52 55 45 3b 0a 09 20  |stos := TRUE;.. |
00000e80  21 71 20 3a 3d 20 46 72  65 65 42 6c 6b 28 70 2c  |!q := FreeBlk(p,|
00000e90  20 70 73 2e 73 69 7a 65  29 20 7d 0a 20 20 20 20  | ps.size) }.    |
00000ea0  20 20 45 4c 53 45 0a 09  20 71 20 3a 3d 20 70 3b  |  ELSE.. q := p;|
00000eb0  0a 20 20 20 20 20 20 70  20 3a 3d 20 21 71 20 7d  |.      p := !q }|
00000ec0  3b 0a 20 20 20 45 78 69  74 54 72 61 63 65 28 30  |;.   ExitTrace(0|
00000ed0  29 3b 0a 20 20 20 52 45  53 55 4c 54 49 53 20 77  |);.   RESULTIS w|
00000ee0  61 73 74 6f 73 0a 7d 0a  0a 41 4e 44 20 44 65 6c  |astos.}..AND Del|
00000ef0  52 65 67 46 72 6f 6d 50  65 6e 64 69 6e 67 4c 69  |RegFromPendingLi|
00000f00  73 74 28 71 2c 20 72 29  20 42 45 0a 7b 20 20 4c  |st(q, r) BE.{  L|
00000f10  45 54 20 70 20 3d 20 21  71 3b 0a 20 20 20 54 72  |ET p = !q;.   Tr|
00000f20  61 63 65 49 74 28 22 44  65 6c 52 65 67 20 25 6e  |aceIt("DelReg %n|
00000f30  2a 6e 22 2c 20 72 29 3b  0a 20 20 20 57 48 49 4c  |*n", r);.   WHIL|
00000f40  45 20 70 7e 3d 30 20 44  4f 20 7b 0a 20 20 20 20  |E p~=0 DO {.    |
00000f50  20 20 54 45 53 54 20 70  73 2e 72 65 67 21 70 3d  |  TEST ps.reg!p=|
00000f60  72 20 54 48 45 4e 0a 09  20 21 71 20 3a 3d 20 46  |r THEN.. !q := F|
00000f70  72 65 65 42 6c 6b 28 70  2c 20 70 73 2e 73 69 7a  |reeBlk(p, ps.siz|
00000f80  65 29 0a 20 20 20 20 20  20 45 4c 53 45 0a 09 20  |e).      ELSE.. |
00000f90  71 20 3a 3d 20 70 3b 0a  20 20 20 20 20 20 70 20  |q := p;.      p |
00000fa0  3a 3d 20 21 71 20 7d 3b  0a 20 20 20 45 78 69 74  |:= !q };.   Exit|
00000fb0  54 72 61 63 65 28 30 29  0a 7d 0a 0a 41 4e 44 20  |Trace(0).}..AND |
00000fc0  53 6c 6f 63 49 6e 4c 69  73 74 28 70 2c 20 74 2c  |SlocInList(p, t,|
00000fd0  20 6e 29 20 3d 20 56 41  4c 4f 46 0a 7b 20 20 57  | n) = VALOF.{  W|
00000fe0  48 49 4c 45 20 70 7e 3d  30 20 44 4f 20 7b 0a 20  |HILE p~=0 DO {. |
00000ff0  20 20 20 20 20 49 46 20  73 6c 2e 74 79 70 65 21  |     IF sl.type!|
00001000  70 3d 74 20 26 20 73 6c  2e 6c 6f 63 21 70 3d 6e  |p=t & sl.loc!p=n|
00001010  20 54 48 45 4e 20 52 45  53 55 4c 54 49 53 20 70  | THEN RESULTIS p|
00001020  3b 0a 20 20 20 20 20 20  70 20 3a 3d 20 21 70 20  |;.      p := !p |
00001030  7d 3b 0a 20 20 20 52 45  53 55 4c 54 49 53 20 4e  |};.   RESULTIS N|
00001040  75 6c 6c 0a 7d 0a 0a 41  4e 44 20 4f 66 66 73 65  |ull.}..AND Offse|
00001050  74 49 6e 4c 69 73 74 28  70 2c 20 74 2c 20 6e 2c  |tInList(p, t, n,|
00001060  20 6f 29 20 3d 20 56 41  4c 4f 46 0a 7b 20 20 57  | o) = VALOF.{  W|
00001070  48 49 4c 45 20 70 7e 3d  30 20 44 4f 20 7b 0a 20  |HILE p~=0 DO {. |
00001080  20 20 20 20 20 49 46 20  73 6c 2e 74 79 70 65 21  |     IF sl.type!|
00001090  70 3d 74 20 26 20 73 6c  2e 6c 6f 63 21 70 3d 6e  |p=t & sl.loc!p=n|
000010a0  20 26 20 70 6c 2e 6f 66  66 73 65 74 21 70 3d 6f  | & pl.offset!p=o|
000010b0  20 54 48 45 4e 0a 09 20  52 45 53 55 4c 54 49 53  | THEN.. RESULTIS|
000010c0  20 70 3b 0a 20 20 20 20  20 20 70 20 3a 3d 20 21  | p;.      p := !|
000010d0  70 20 7d 3b 0a 20 20 20  52 45 53 55 4c 54 49 53  |p };.   RESULTIS|
000010e0  20 4e 75 6c 6c 0a 7d 0a  0a 41 4e 44 20 52 65 67  | Null.}..AND Reg|
000010f0  49 6e 50 65 6e 64 69 6e  67 4c 69 73 74 28 70 2c  |InPendingList(p,|
00001100  20 72 29 20 3d 20 41 73  73 6f 63 28 72 2c 20 70  | r) = Assoc(r, p|
00001110  73 2e 72 65 67 2c 20 70  29 0a 0a 41 4e 44 20 50  |s.reg, p)..AND P|
00001120  72 69 6e 74 50 65 6e 64  69 6e 67 4c 69 73 74 28  |rintPendingList(|
00001130  70 29 20 42 45 0a 20 20  20 50 72 69 6e 74 4c 69  |p) BE.   PrintLi|
00001140  73 74 28 70 2c 20 70 73  2e 73 69 7a 65 2d 31 2c  |st(p, ps.size-1,|
00001150  20 22 22 2c 20 22 2a 6e  22 2c 20 22 22 29 0a 0a  | "", "*n", "")..|
00001160  41 4e 44 20 44 65 6c 4c  6f 63 73 41 62 6f 76 65  |AND DelLocsAbove|
00001170  28 6e 2c 20 61 64 6a 75  73 74 74 6f 73 29 20 42  |(n, adjusttos) B|
00001180  45 0a 7b 20 20 54 72 61  63 65 49 74 28 22 44 65  |E.{  TraceIt("De|
00001190  6c 4c 6f 63 73 41 62 6f  76 65 20 25 6e 2a 6e 22  |lLocsAbove %n*n"|
000011a0  2c 20 6e 29 3b 0a 0a 20  20 20 44 65 6c 65 74 65  |, n);..   Delete|
000011b0  4c 6f 63 61 6c 73 41 62  6f 76 65 28 6e 2c 20 61  |LocalsAbove(n, a|
000011c0  64 6a 75 73 74 74 6f 73  2c 20 40 70 65 6e 64 69  |djusttos, @pendi|
000011d0  6e 67 53 74 6f 72 65 73  29 3b 0a 0a 20 20 20 49  |ngStores);..   I|
000011e0  46 20 28 43 47 44 65 62  75 67 4d 6f 64 65 26 64  |F (CGDebugMode&d|
000011f0  62 2e 54 72 61 63 65 50  53 29 7e 3d 30 20 54 48  |b.TracePS)~=0 TH|
00001200  45 4e 20 7b 0a 20 20 20  20 20 20 45 78 69 74 54  |EN {.      ExitT|
00001210  72 61 63 65 28 22 45 78  69 74 20 44 65 6c 4c 6f  |race("Exit DelLo|
00001220  63 73 41 62 6f 76 65 3a  20 70 65 6e 64 69 6e 67  |csAbove: pending|
00001230  53 74 6f 72 65 73 20 22  29 3b 0a 20 20 20 20 20  |Stores ");.     |
00001240  20 50 72 69 6e 74 50 65  6e 64 69 6e 67 4c 69 73  | PrintPendingLis|
00001250  74 28 70 65 6e 64 69 6e  67 53 74 6f 72 65 73 29  |t(pendingStores)|
00001260  3b 0a 20 20 20 20 20 20  4e 65 77 4c 69 6e 65 28  |;.      NewLine(|
00001270  29 20 7d 0a 7d 0a 0a 41  4e 44 20 44 65 6c 65 74  |) }.}..AND Delet|
00001280  65 4c 6f 63 61 6c 73 41  62 6f 76 65 28 6e 2c 20  |eLocalsAbove(n, |
00001290  61 64 6a 75 73 74 74 6f  73 2c 20 71 29 20 42 45  |adjusttos, q) BE|
000012a0  0a 7b 20 20 4c 45 54 20  70 20 3d 20 21 71 3b 0a  |.{  LET p = !q;.|
000012b0  20 20 20 57 48 49 4c 45  20 70 7e 3d 30 20 44 4f  |   WHILE p~=0 DO|
000012c0  20 7b 0a 20 20 20 20 20  20 54 45 53 54 20 73 6c  | {.      TEST sl|
000012d0  2e 74 79 70 65 21 70 3d  6b 2e 6c 6f 63 20 26 20  |.type!p=k.loc & |
000012e0  73 6c 2e 6c 6f 63 21 70  3e 3d 6e 20 54 48 45 4e  |sl.loc!p>=n THEN|
000012f0  20 7b 0a 09 20 49 46 20  70 73 2e 69 73 74 6f 73  | {.. IF ps.istos|
00001300  21 70 20 26 20 61 64 6a  75 73 74 74 6f 73 20 54  |!p & adjusttos T|
00001310  48 45 4e 20 54 4f 53 4f  66 66 73 65 74 20 3a 3d  |HEN TOSOffset :=|
00001320  20 54 4f 53 4f 66 66 73  65 74 2d 31 3b 0a 09 20  | TOSOffset-1;.. |
00001330  21 71 20 3a 3d 20 46 72  65 65 42 6c 6b 28 70 2c  |!q := FreeBlk(p,|
00001340  20 70 73 2e 73 69 7a 65  29 20 7d 0a 20 20 20 20  | ps.size) }.    |
00001350  20 20 45 4c 53 45 0a 09  20 71 20 3a 3d 20 70 3b  |  ELSE.. q := p;|
00001360  0a 20 20 20 20 20 20 70  20 3a 3d 20 21 71 20 7d  |.      p := !q }|
00001370  0a 7d 0a 0a 41 4e 44 20  43 6f 70 79 4f 66 4c 6f  |.}..AND CopyOfLo|
00001380  63 61 6c 73 49 6e 28 71  2c 20 61 6e 64 49 72 65  |calsIn(q, andIre|
00001390  67 73 29 20 3d 20 56 41  4c 4f 46 0a 7b 20 20 4c  |gs) = VALOF.{  L|
000013a0  45 54 20 70 20 3d 20 30  3b 0a 20 20 20 57 48 49  |ET p = 0;.   WHI|
000013b0  4c 45 20 71 7e 3d 30 20  44 4f 20 7b 0a 20 20 20  |LE q~=0 DO {.   |
000013c0  20 20 20 49 46 20 73 6c  2e 74 79 70 65 21 71 3d  |   IF sl.type!q=|
000013d0  6b 2e 6c 6f 63 20 7c 20  28 61 6e 64 49 72 65 67  |k.loc | (andIreg|
000013e0  73 20 26 20 73 6c 2e 74  79 70 65 21 71 3d 6b 2e  |s & sl.type!q=k.|
000013f0  69 72 65 67 29 20 54 48  45 4e 0a 09 20 70 20 3a  |ireg) THEN.. p :|
00001400  3d 20 46 69 6c 6c 42 6c  6b 28 70 73 2e 73 69 7a  |= FillBlk(ps.siz|
00001410  65 2c 20 70 2c 20 73 6c  2e 74 79 70 65 21 71 2c  |e, p, sl.type!q,|
00001420  20 73 6c 2e 6c 6f 63 21  71 2c 20 70 73 2e 72 65  | sl.loc!q, ps.re|
00001430  67 21 71 2c 0a 09 09 09  09 20 20 70 6c 2e 6f 66  |g!q,.....  pl.of|
00001440  66 73 65 74 21 71 2c 20  70 73 2e 69 73 74 6f 73  |fset!q, ps.istos|
00001450  21 71 29 3b 0a 20 20 20  20 20 20 71 20 3a 3d 20  |!q);.      q := |
00001460  21 71 20 7d 3b 0a 20 20  20 52 45 53 55 4c 54 49  |!q };.   RESULTI|
00001470  53 20 52 65 76 65 72 73  65 49 6e 50 6c 61 63 65  |S ReverseInPlace|
00001480  28 70 29 0a 7d 0a 0a 41  4e 44 20 46 6c 75 73 68  |(p).}..AND Flush|
00001490  50 65 6e 64 69 6e 67 53  74 6f 72 65 73 45 78 63  |PendingStoresExc|
000014a0  65 70 74 4c 6f 63 61 6c  73 41 6e 64 49 72 65 67  |eptLocalsAndIreg|
000014b0  73 28 29 20 42 45 0a 7b  20 20 4c 45 54 20 70 20  |s() BE.{  LET p |
000014c0  3d 20 43 6f 70 79 4f 66  4c 6f 63 61 6c 73 49 6e  |= CopyOfLocalsIn|
000014d0  28 70 65 6e 64 69 6e 67  53 74 6f 72 65 73 2c 20  |(pendingStores, |
000014e0  54 52 55 45 29 3b 0a 0a  20 20 20 54 72 61 63 65  |TRUE);..   Trace|
000014f0  49 74 28 22 46 6c 75 73  68 50 65 6e 64 69 6e 67  |It("FlushPending|
00001500  53 74 6f 72 65 73 45 78  63 65 70 74 4c 6f 63 61  |StoresExceptLoca|
00001510  6c 73 41 6e 64 49 72 65  67 73 2a 6e 22 29 3b 0a  |lsAndIregs*n");.|
00001520  0a 20 20 20 44 65 6c 4c  6f 63 73 41 62 6f 76 65  |.   DelLocsAbove|
00001530  28 30 2c 20 46 41 4c 53  45 29 3b 0a 20 20 20 7b  |(0, FALSE);.   {|
00001540  20 20 4c 45 54 20 71 20  3d 20 40 70 65 6e 64 69  |  LET q = @pendi|
00001550  6e 67 53 74 6f 72 65 73  3b 0a 20 20 20 20 20 20  |ngStores;.      |
00001560  4c 45 54 20 70 20 3d 20  70 65 6e 64 69 6e 67 53  |LET p = pendingS|
00001570  74 6f 72 65 73 3b 0a 20  20 20 20 20 20 57 48 49  |tores;.      WHI|
00001580  4c 45 20 70 7e 3d 30 20  44 4f 20 7b 0a 09 20 54  |LE p~=0 DO {.. T|
00001590  45 53 54 20 73 6c 2e 74  79 70 65 21 70 3d 6b 2e  |EST sl.type!p=k.|
000015a0  69 72 65 67 0a 09 20 20  20 20 54 48 45 4e 20 21  |ireg..    THEN !|
000015b0  71 20 3a 3d 20 46 72 65  65 42 6c 6b 28 70 2c 20  |q := FreeBlk(p, |
000015c0  70 73 2e 73 69 7a 65 29  0a 09 20 20 20 20 45 4c  |ps.size)..    EL|
000015d0  53 45 20 71 20 3a 3d 20  70 3b 0a 09 20 70 20 3a  |SE q := p;.. p :|
000015e0  3d 20 21 71 20 7d 20 7d  3b 0a 20 20 20 46 6c 75  |= !q } };.   Flu|
000015f0  73 68 50 65 6e 64 69 6e  67 53 74 6f 72 65 73 55  |shPendingStoresU|
00001600  70 54 6f 28 30 29 3b 0a  20 20 20 2f 2f 20 4e 6f  |pTo(0);.   // No|
00001610  74 20 46 6c 75 73 68 50  65 6e 64 69 6e 67 53 74  |t FlushPendingSt|
00001620  6f 72 65 73 20 74 6f 20  61 76 6f 69 64 20 64 69  |ores to avoid di|
00001630  73 74 75 72 62 69 6e 67  20 64 65 64 69 63 61 74  |sturbing dedicat|
00001640  65 64 20 72 65 67 69 73  74 65 72 73 0a 20 20 20  |ed registers.   |
00001650  70 65 6e 64 69 6e 67 53  74 6f 72 65 73 20 3a 3d  |pendingStores :=|
00001660  20 70 3b 0a 20 20 20 45  78 69 74 54 72 61 63 65  | p;.   ExitTrace|
00001670  28 30 29 0a 7d 0a 0a 41  4e 44 20 46 6c 75 73 68  |(0).}..AND Flush|
00001680  50 65 6e 64 69 6e 67 53  74 6f 72 65 73 45 78 63  |PendingStoresExc|
00001690  65 70 74 4c 6f 63 61 6c  73 28 29 20 42 45 0a 7b  |eptLocals() BE.{|
000016a0  20 20 4c 45 54 20 70 20  3d 20 43 6f 70 79 4f 66  |  LET p = CopyOf|
000016b0  4c 6f 63 61 6c 73 49 6e  28 70 65 6e 64 69 6e 67  |LocalsIn(pending|
000016c0  53 74 6f 72 65 73 2c 20  46 41 4c 53 45 29 3b 0a  |Stores, FALSE);.|
000016d0  20 20 20 54 72 61 63 65  49 74 28 22 46 6c 75 73  |   TraceIt("Flus|
000016e0  68 50 65 6e 64 69 6e 67  53 74 6f 72 65 73 45 78  |hPendingStoresEx|
000016f0  63 65 70 74 4c 6f 63 61  6c 73 2a 6e 22 29 3b 0a  |ceptLocals*n");.|
00001700  0a 20 20 20 44 65 6c 4c  6f 63 73 41 62 6f 76 65  |.   DelLocsAbove|
00001710  28 30 2c 20 46 41 4c 53  45 29 3b 0a 20 20 20 46  |(0, FALSE);.   F|
00001720  6c 75 73 68 50 65 6e 64  69 6e 67 53 74 6f 72 65  |lushPendingStore|
00001730  73 28 29 3b 0a 20 20 20  70 65 6e 64 69 6e 67 53  |s();.   pendingS|
00001740  74 6f 72 65 73 20 3a 3d  20 70 3b 0a 20 20 20 45  |tores := p;.   E|
00001750  78 69 74 54 72 61 63 65  28 30 29 0a 7d 0a 0a 41  |xitTrace(0).}..A|
00001760  4e 44 20 44 65 6c 4c 6f  63 73 45 78 63 65 70 74  |ND DelLocsExcept|
00001770  28 72 6c 29 20 42 45 0a  7b 20 20 4c 45 54 20 70  |(rl) BE.{  LET p|
00001780  20 3d 20 70 65 6e 64 69  6e 67 53 74 6f 72 65 73  | = pendingStores|
00001790  3b 0a 20 20 20 4c 45 54  20 71 20 3d 20 40 70 65  |;.   LET q = @pe|
000017a0  6e 64 69 6e 67 53 74 6f  72 65 73 3b 0a 0a 20 20  |ndingStores;..  |
000017b0  20 49 46 20 28 43 47 44  65 62 75 67 4d 6f 64 65  | IF (CGDebugMode|
000017c0  26 64 62 2e 54 72 61 63  65 50 53 29 7e 3d 30 20  |&db.TracePS)~=0 |
000017d0  54 48 45 4e 20 7b 0a 20  20 20 20 20 20 54 72 61  |THEN {.      Tra|
000017e0  63 65 49 74 28 22 44 65  6c 4c 6f 63 73 45 78 63  |ceIt("DelLocsExc|
000017f0  65 70 74 3a 22 29 3b 0a  20 20 20 20 20 20 50 72  |ept:");.      Pr|
00001800  69 6e 74 4c 69 73 74 28  72 6c 2c 20 31 2c 20 22  |intList(rl, 1, "|
00001810  22 2c 20 22 22 2c 20 22  2a 6e 22 29 20 7d 3b 0a  |", "", "*n") };.|
00001820  20 20 20 57 48 49 4c 45  20 70 7e 3d 30 20 44 4f  |   WHILE p~=0 DO|
00001830  20 7b 0a 20 20 20 20 20  20 54 45 53 54 20 73 6c  | {.      TEST sl|
00001840  2e 74 79 70 65 21 70 3d  6b 2e 6c 6f 63 20 26 20  |.type!p=k.loc & |
00001850  41 73 73 6f 63 28 73 6c  2e 6c 6f 63 21 70 2c 20  |Assoc(sl.loc!p, |
00001860  31 2c 20 72 6c 29 3d 4e  75 6c 6c 20 54 48 45 4e  |1, rl)=Null THEN|
00001870  20 7b 0a 09 20 49 46 20  70 73 2e 69 73 74 6f 73  | {.. IF ps.istos|
00001880  21 70 20 54 48 45 4e 20  7b 0a 09 20 20 20 20 4c  |!p THEN {..    L|
00001890  45 54 20 70 70 20 3d 20  70 65 6e 64 69 6e 67 53  |ET pp = pendingS|
000018a0  74 6f 72 65 73 3b 0a 09  20 20 20 20 57 48 49 4c  |tores;..    WHIL|
000018b0  45 20 70 70 7e 3d 70 20  44 4f 20 7b 0a 09 20 20  |E pp~=p DO {..  |
000018c0  20 20 20 20 20 49 46 20  70 73 2e 69 73 74 6f 73  |     IF ps.istos|
000018d0  21 70 70 20 54 48 45 4e  20 7b 0a 09 09 20 20 70  |!pp THEN {...  p|
000018e0  73 2e 69 73 74 6f 73 21  70 70 20 3a 3d 20 46 41  |s.istos!pp := FA|
000018f0  4c 53 45 3b 0a 09 09 20  20 54 4f 53 4f 66 66 73  |LSE;...  TOSOffs|
00001900  65 74 20 3a 3d 20 54 4f  53 4f 66 66 73 65 74 2d  |et := TOSOffset-|
00001910  31 20 7d 3b 0a 09 20 20  20 20 20 20 20 70 70 20  |1 };..       pp |
00001920  3a 3d 20 21 70 70 20 7d  3b 0a 09 20 20 20 20 54  |:= !pp };..    T|
00001930  4f 53 4f 66 66 73 65 74  20 3a 3d 20 54 4f 53 4f  |OSOffset := TOSO|
00001940  66 66 73 65 74 2d 31 20  7d 3b 0a 09 20 21 71 20  |ffset-1 };.. !q |
00001950  3a 3d 20 46 72 65 65 42  6c 6b 28 70 2c 20 70 73  |:= FreeBlk(p, ps|
00001960  2e 73 69 7a 65 29 20 7d  0a 20 20 20 20 20 20 45  |.size) }.      E|
00001970  4c 53 45 0a 09 20 71 20  3a 3d 20 70 3b 0a 20 20  |LSE.. q := p;.  |
00001980  20 20 20 20 70 20 3a 3d  20 21 71 20 7d 3b 0a 20  |    p := !q };. |
00001990  20 20 49 46 20 28 43 47  44 65 62 75 67 4d 6f 64  |  IF (CGDebugMod|
000019a0  65 26 64 62 2e 54 72 61  63 65 50 53 29 7e 3d 30  |e&db.TracePS)~=0|
000019b0  20 54 48 45 4e 20 7b 0a  20 20 20 20 20 20 45 78  | THEN {.      Ex|
000019c0  69 74 54 72 61 63 65 28  22 44 65 6c 4c 6f 63 73  |itTrace("DelLocs|
000019d0  45 78 63 65 70 74 3a 20  70 73 20 22 29 3b 0a 20  |Except: ps ");. |
000019e0  20 20 20 20 20 50 72 69  6e 74 50 65 6e 64 69 6e  |     PrintPendin|
000019f0  67 4c 69 73 74 28 70 65  6e 64 69 6e 67 53 74 6f  |gList(pendingSto|
00001a00  72 65 73 29 3b 0a 20 20  20 20 20 20 4e 65 77 4c  |res);.      NewL|
00001a10  69 6e 65 28 29 20 7d 0a  7d 0a 0a 41 4e 44 20 46  |ine() }.}..AND F|
00001a20  6c 75 73 68 50 65 6e 64  69 6e 67 53 74 6f 72 65  |lushPendingStore|
00001a30  73 46 6f 72 49 72 65 67  45 78 63 65 70 74 28 6e  |sForIregExcept(n|
00001a40  2c 20 6f 66 66 73 65 74  29 20 42 45 0a 7b 20 20  |, offset) BE.{  |
00001a50  54 72 61 63 65 49 74 28  22 46 6c 75 73 68 50 65  |TraceIt("FlushPe|
00001a60  6e 64 69 6e 67 53 74 6f  72 65 73 46 6f 72 49 72  |ndingStoresForIr|
00001a70  65 67 45 78 63 65 70 74  20 25 6e 20 28 25 6e 29  |egExcept %n (%n)|
00001a80  2a 6e 22 2c 20 6e 2c 20  6f 66 66 73 65 74 29 3b  |*n", n, offset);|
00001a90  0a 20 20 20 46 4f 52 20  72 20 3d 20 72 2e 30 20  |.   FOR r = r.0 |
00001aa0  54 4f 20 72 2e 31 34 20  44 4f 20 7b 0a 20 20 20  |TO r.14 DO {.   |
00001ab0  20 20 20 4c 45 54 20 70  20 3d 20 72 7e 3d 6e 20  |   LET p = r~=n |
00001ac0  2d 3e 20 53 6c 6f 63 49  6e 4c 69 73 74 28 70 65  |-> SlocInList(pe|
00001ad0  6e 64 69 6e 67 53 74 6f  72 65 73 2c 20 6b 2e 69  |ndingStores, k.i|
00001ae0  72 65 67 2c 20 72 29 2c  0a 09 09 20 20 20 20 20  |reg, r),...     |
00001af0  20 4f 66 66 73 65 74 49  6e 4c 69 73 74 28 70 65  | OffsetInList(pe|
00001b00  6e 64 69 6e 67 53 74 6f  72 65 73 2c 20 6b 2e 72  |ndingStores, k.r|
00001b10  65 67 2c 20 72 2c 20 6f  66 66 73 65 74 29 0a 20  |eg, r, offset). |
00001b20  20 20 20 20 20 49 46 20  70 7e 3d 4e 75 6c 6c 20  |     IF p~=Null |
00001b30  54 48 45 4e 20 46 6c 75  73 68 50 65 6e 64 69 6e  |THEN FlushPendin|
00001b40  67 53 74 6f 72 65 73 55  70 54 6f 28 70 29 20 7d  |gStoresUpTo(p) }|
00001b50  3b 0a 0a 20 20 20 45 78  69 74 54 72 61 63 65 28  |;..   ExitTrace(|
00001b60  30 29 0a 7d 0a 0a 41 4e  44 20 46 6c 75 73 68 50  |0).}..AND FlushP|
00001b70  65 6e 64 69 6e 67 53 74  6f 72 65 73 46 6f 72 53  |endingStoresForS|
00001b80  6c 6f 63 28 74 2c 20 6e  29 20 42 45 0a 7b 20 20  |loc(t, n) BE.{  |
00001b90  4c 45 54 20 70 20 3d 20  53 6c 6f 63 49 6e 4c 69  |LET p = SlocInLi|
00001ba0  73 74 28 70 65 6e 64 69  6e 67 53 74 6f 72 65 73  |st(pendingStores|
00001bb0  2c 20 74 2c 20 6e 29 3b  0a 20 20 20 54 72 61 63  |, t, n);.   Trac|
00001bc0  65 49 74 28 22 46 6c 75  73 68 50 65 6e 64 69 6e  |eIt("FlushPendin|
00001bd0  67 53 74 6f 72 65 73 46  6f 72 53 6c 6f 63 20 25  |gStoresForSloc %|
00001be0  6e 20 25 6e 2a 4e 22 2c  20 74 2c 20 6e 29 3b 0a  |n %n*N", t, n);.|
00001bf0  20 20 20 49 46 20 70 7e  3d 4e 75 6c 6c 20 54 48  |   IF p~=Null TH|
00001c00  45 4e 20 46 6c 75 73 68  50 65 6e 64 69 6e 67 53  |EN FlushPendingS|
00001c10  74 6f 72 65 73 55 70 54  6f 28 70 29 3b 0a 20 20  |toresUpTo(p);.  |
00001c20  20 45 78 69 74 54 72 61  63 65 28 30 29 0a 7d 0a  | ExitTrace(0).}.|
00001c30  0a 41 4e 44 20 46 6c 75  73 68 50 65 6e 64 69 6e  |.AND FlushPendin|
00001c40  67 55 73 65 73 4f 66 52  65 67 28 72 29 20 42 45  |gUsesOfReg(r) BE|
00001c50  0a 7b 20 20 4c 45 54 20  70 20 3d 20 52 65 67 49  |.{  LET p = RegI|
00001c60  6e 50 65 6e 64 69 6e 67  4c 69 73 74 28 70 65 6e  |nPendingList(pen|
00001c70  64 69 6e 67 53 74 6f 72  65 73 2c 20 72 29 3b 0a  |dingStores, r);.|
00001c80  20 20 20 54 72 61 63 65  49 74 28 22 46 6c 75 73  |   TraceIt("Flus|
00001c90  68 50 65 6e 64 69 6e 67  55 73 65 73 4f 66 52 65  |hPendingUsesOfRe|
00001ca0  67 20 25 6e 2a 4e 22 2c  20 72 29 3b 0a 20 20 20  |g %n*N", r);.   |
00001cb0  49 46 20 70 7e 3d 4e 75  6c 6c 20 54 48 45 4e 20  |IF p~=Null THEN |
00001cc0  46 6c 75 73 68 50 65 6e  64 69 6e 67 53 74 6f 72  |FlushPendingStor|
00001cd0  65 73 55 70 54 6f 28 70  29 3b 0a 20 20 20 46 6c  |esUpTo(p);.   Fl|
00001ce0  75 73 68 50 65 6e 64 69  6e 67 53 74 6f 72 65 73  |ushPendingStores|
00001cf0  46 6f 72 53 6c 6f 63 28  6b 2e 69 72 65 67 2c 20  |ForSloc(k.ireg, |
00001d00  72 29 3b 0a 20 20 20 46  6c 75 73 68 50 65 6e 64  |r);.   FlushPend|
00001d10  69 6e 67 4c 6f 61 64 73  46 6f 72 53 6c 6f 63 28  |ingLoadsForSloc(|
00001d20  6b 2e 69 72 65 67 2c 20  72 29 3b 0a 20 20 20 45  |k.ireg, r);.   E|
00001d30  78 69 74 54 72 61 63 65  28 30 29 0a 7d 0a 0a 41  |xitTrace(0).}..A|
00001d40  4e 44 20 46 6c 75 73 68  50 65 6e 64 69 6e 67 53  |ND FlushPendingS|
00001d50  74 6f 72 65 73 28 29 20  42 45 0a 7b 20 20 4c 45  |tores() BE.{  LE|
00001d60  54 20 70 20 3d 20 64 65  64 69 63 61 74 65 64 52  |T p = dedicatedR|
00001d70  65 67 69 73 74 65 72 73  3b 0a 20 20 20 54 72 61  |egisters;.   Tra|
00001d80  63 65 49 74 28 22 46 6c  75 73 68 50 65 6e 64 69  |ceIt("FlushPendi|
00001d90  6e 67 53 74 6f 72 65 73  2a 6e 22 29 3b 0a 20 20  |ngStores*n");.  |
00001da0  20 57 48 49 4c 45 20 70  7e 3d 30 20 44 4f 20 7b  | WHILE p~=0 DO {|
00001db0  0a 20 20 20 20 20 20 46  6c 75 73 68 50 65 6e 64  |.      FlushPend|
00001dc0  69 6e 67 4c 6f 61 64 73  46 6f 72 52 65 67 28 64  |ingLoadsForReg(d|
00001dd0  72 2e 52 65 67 21 70 29  3b 0a 20 20 20 20 20 20  |r.Reg!p);.      |
00001de0  70 20 3a 3d 20 21 70 20  7d 3b 0a 20 20 20 46 6c  |p := !p };.   Fl|
00001df0  75 73 68 50 65 6e 64 69  6e 67 53 74 6f 72 65 73  |ushPendingStores|
00001e00  55 70 54 6f 28 30 29 3b  0a 20 20 20 45 78 69 74  |UpTo(0);.   Exit|
00001e10  54 72 61 63 65 28 30 29  0a 7d 0a 0a 0a 41 4e 44  |Trace(0).}...AND|
00001e20  20 46 34 52 65 67 4f 72  64 65 72 28 72 2c 20 71  | F4RegOrder(r, q|
00001e30  2c 20 74 29 20 3d 20 56  41 4c 4f 46 0a 7b 20 20  |, t) = VALOF.{  |
00001e40  4c 45 54 20 73 20 3d 20  70 73 2e 72 65 67 21 71  |LET s = ps.reg!q|
00001e50  3b 0a 20 20 20 49 46 20  73 3d 72 20 54 48 45 4e  |;.   IF s=r THEN|
00001e60  20 52 45 53 55 4c 54 49  53 20 30 3b 0a 20 20 20  | RESULTIS 0;.   |
00001e70  54 45 53 54 20 74 3d 6b  2e 6c 6f 63 20 26 20 75  |TEST t=k.loc & u|
00001e80  73 65 73 46 72 61 6d 65  20 26 20 72 65 76 65 72  |sesFrame & rever|
00001e90  73 65 64 53 74 61 63 6b  0a 20 20 20 20 20 20 54  |sedStack.      T|
00001ea0  48 45 4e 20 52 45 53 55  4c 54 49 53 20 73 3e 72  |HEN RESULTIS s>r|
00001eb0  20 2d 3e 20 2d 31 2c 20  31 0a 20 20 20 20 20 20  | -> -1, 1.      |
00001ec0  45 4c 53 45 20 52 45 53  55 4c 54 49 53 20 73 3e  |ELSE RESULTIS s>|
00001ed0  72 20 2d 3e 20 31 2c 20  2d 31 0a 7d 0a 0a 41 4e  |r -> 1, -1.}..AN|
00001ee0  44 20 46 6c 75 73 68 50  65 6e 64 69 6e 67 53 74  |D FlushPendingSt|
00001ef0  6f 72 65 73 55 70 54 6f  28 74 61 72 67 65 74 29  |oresUpTo(target)|
00001f00  20 42 45 0a 7b 20 20 4c  45 54 20 70 20 3d 20 52  | BE.{  LET p = R|
00001f10  65 76 65 72 73 65 49 6e  50 6c 61 63 65 28 70 65  |everseInPlace(pe|
00001f20  6e 64 69 6e 67 53 74 6f  72 65 73 29 3b 0a 20 20  |ndingStores);.  |
00001f30  20 7b 20 20 2f 2f 20 57  65 20 6d 61 79 20 68 61  | {  // We may ha|
00001f40  76 65 20 6d 61 6e 61 67  65 64 20 74 6f 20 67 65  |ve managed to ge|
00001f50  74 20 73 74 6f 72 65 73  20 74 6f 20 74 68 65 20  |t stores to the |
00001f60  74 6f 70 20 6f 66 20 73  74 61 63 6b 0a 20 20 20  |top of stack.   |
00001f70  20 20 20 2f 2f 20 69 6e  20 74 68 65 20 77 72 6f  |   // in the wro|
00001f80  6e 67 20 6f 72 64 65 72  20 28 69 66 20 74 68 65  |ng order (if the|
00001f90  72 65 20 68 61 76 65 20  62 65 65 6e 20 64 65 6c  |re have been del|
00001fa0  65 74 69 6f 6e 73 29 2e  0a 20 20 20 20 20 20 2f  |etions)..      /|
00001fb0  2f 20 49 66 20 73 6f 2c  20 73 6f 72 74 20 74 68  |/ If so, sort th|
00001fc0  65 6d 20 6f 75 74 20 61  67 61 69 6e 2e 0a 20 20  |em out again..  |
00001fd0  20 20 20 20 4c 45 54 20  71 20 3d 20 70 3b 0a 20  |    LET q = p;. |
00001fe0  20 20 20 20 20 57 48 49  4c 45 20 71 7e 3d 30 20  |     WHILE q~=0 |
00001ff0  44 4f 20 7b 0a 09 20 49  46 20 73 6c 2e 74 79 70  |DO {.. IF sl.typ|
00002000  65 21 71 3d 6b 2e 6c 6f  63 20 26 20 70 73 2e 69  |e!q=k.loc & ps.i|
00002010  73 74 6f 73 21 71 20 54  48 45 4e 20 7b 0a 09 20  |stos!q THEN {.. |
00002020  20 20 20 4c 45 54 20 72  20 3d 20 21 71 3b 0a 09  |   LET r = !q;..|
00002030  20 20 20 20 4c 45 54 20  6e 20 3d 20 73 6c 2e 6c  |    LET n = sl.l|
00002040  6f 63 21 71 0a 09 20 20  20 20 4c 45 54 20 72 31  |oc!q..    LET r1|
00002050  20 3d 20 4e 75 6c 6c 3b  0a 09 20 20 20 20 57 48  | = Null;..    WH|
00002060  49 4c 45 20 72 7e 3d 30  20 44 4f 20 7b 0a 09 20  |ILE r~=0 DO {.. |
00002070  20 20 20 20 20 20 49 46  20 73 6c 2e 74 79 70 65  |      IF sl.type|
00002080  21 72 3d 6b 2e 6c 6f 63  20 26 20 70 73 2e 69 73  |!r=k.loc & ps.is|
00002090  74 6f 73 21 72 20 26 20  73 6c 2e 6c 6f 63 21 72  |tos!r & sl.loc!r|
000020a0  3c 6e 20 54 48 45 4e 20  7b 0a 09 09 20 20 72 31  |<n THEN {...  r1|
000020b0  20 3a 3d 20 70 73 2e 72  65 67 21 71 3b 0a 09 09  | := ps.reg!q;...|
000020c0  20 20 73 6c 2e 6c 6f 63  21 71 2c 20 70 73 2e 72  |  sl.loc!q, ps.r|
000020d0  65 67 21 71 20 3a 3d 20  73 6c 2e 6c 6f 63 21 72  |eg!q := sl.loc!r|
000020e0  2c 20 70 73 2e 72 65 67  21 72 3b 0a 09 09 20 20  |, ps.reg!r;...  |
000020f0  73 6c 2e 6c 6f 63 21 72  2c 20 70 73 2e 72 65 67  |sl.loc!r, ps.reg|
00002100  21 72 20 3a 3d 20 6e 2c  20 72 31 0a 09 09 20 20  |!r := n, r1...  |
00002110  42 52 45 41 4b 20 7d 3b  0a 09 20 20 20 20 20 20  |BREAK };..      |
00002120  20 72 20 3a 3d 20 21 72  20 7d 3b 0a 09 20 20 20  | r := !r };..   |
00002130  20 49 46 20 72 31 7e 3d  4e 75 6c 6c 20 54 48 45  | IF r1~=Null THE|
00002140  4e 20 4c 4f 4f 50 20 7d  3b 0a 09 20 71 20 3a 3d  |N LOOP };.. q :=|
00002150  20 21 71 20 7d 20 7d 3b  0a 0a 20 20 20 57 48 49  | !q } };..   WHI|
00002160  4c 45 20 70 7e 3d 30 20  44 4f 20 7b 0a 20 20 20  |LE p~=0 DO {.   |
00002170  20 20 20 4c 45 54 20 74  2c 20 6e 2c 20 72 2c 20  |   LET t, n, r, |
00002180  6f 66 66 73 65 74 20 3d  20 73 6c 2e 74 79 70 65  |offset = sl.type|
00002190  21 70 2c 20 73 6c 2e 6c  6f 63 21 70 2c 20 70 73  |!p, sl.loc!p, ps|
000021a0  2e 72 65 67 21 70 2c 20  70 6c 2e 6f 66 66 73 65  |.reg!p, pl.offse|
000021b0  74 21 70 3b 0a 20 20 20  20 20 20 4c 45 54 20 69  |t!p;.      LET i|
000021c0  73 74 6f 73 20 3d 20 70  73 2e 69 73 74 6f 73 21  |stos = ps.istos!|
000021d0  70 3b 0a 20 20 20 20 20  20 4c 45 54 20 71 20 3d  |p;.      LET q =|
000021e0  20 70 3b 0a 20 20 20 20  20 20 54 72 61 63 65 49  | p;.      TraceI|
000021f0  74 28 22 3a 2d 20 25 6e  20 25 6e 20 25 6e 20 25  |t(":- %n %n %n %|
00002200  6e 20 25 6e 2a 6e 22 2c  20 74 2c 20 6e 2c 20 72  |n %n*n", t, n, r|
00002210  2c 20 6f 66 66 73 65 74  2c 20 69 73 74 6f 73 29  |, offset, istos)|
00002220  3b 0a 20 20 20 20 20 20  70 73 2e 74 72 61 63 65  |;.      ps.trace|
00002230  64 65 70 74 68 20 3a 3d  20 70 73 2e 74 72 61 63  |depth := ps.trac|
00002240  65 64 65 70 74 68 2d 32  3b 0a 20 20 20 20 20 20  |edepth-2;.      |
00002250  70 20 3a 3d 20 46 72 65  65 42 6c 6b 28 70 2c 20  |p := FreeBlk(p, |
00002260  70 73 2e 73 69 7a 65 29  3b 0a 20 20 20 20 20 20  |ps.size);.      |
00002270  49 46 20 74 7e 3d 6b 2e  69 72 65 67 20 54 48 45  |IF t~=k.ireg THE|
00002280  4e 20 6f 66 66 73 65 74  20 3a 3d 20 6e 3b 0a 20  |N offset := n;. |
00002290  20 20 20 20 20 49 46 20  74 7e 3d 30 20 54 48 45  |     IF t~=0 THE|
000022a0  4e 20 7b 0a 09 20 4c 45  54 20 72 31 20 3d 20 72  |N {.. LET r1 = r|
000022b0  3b 0a 09 20 4c 45 54 20  72 32 20 3d 20 72 3b 0a  |;.. LET r2 = r;.|
000022c0  09 20 4c 45 54 20 63 6f  75 6e 74 20 3d 20 31 3b  |. LET count = 1;|
000022d0  0a 09 20 4c 45 54 20 72  65 67 6c 69 73 74 20 3d  |.. LET reglist =|
000022e0  20 31 3c 3c 72 3b 0a 09  20 4c 45 54 20 6e 31 20  | 1<<r;.. LET n1 |
000022f0  3d 20 6f 66 66 73 65 74  2b 31 3b 0a 0a 09 20 4c  |= offset+1;... L|
00002300  45 54 20 62 61 73 65 20  3d 20 74 3d 6b 2e 6c 6f  |ET base = t=k.lo|
00002310  63 20 2d 3e 20 72 2e 70  2c 0a 09 09 20 20 20 20  |c -> r.p,...    |
00002320  74 3d 6b 2e 67 6c 6f 62  20 2d 3e 20 72 2e 67 2c  |t=k.glob -> r.g,|
00002330  0a 09 09 20 20 20 20 74  3d 6b 2e 73 74 61 74 69  |...    t=k.stati|
00002340  63 20 2d 3e 20 72 2e 6c  2c 0a 09 09 20 20 20 20  |c -> r.l,...    |
00002350  74 3d 6b 2e 69 72 65 67  20 2d 3e 20 6e 2c 0a 09  |t=k.ireg -> n,..|
00002360  09 09 09 43 47 45 72 72  6f 72 28 46 41 4c 53 45  |...CGError(FALSE|
00002370  2c 20 22 62 61 64 20 74  79 70 65 20 25 6e 20 69  |, "bad type %n i|
00002380  6e 20 70 65 6e 64 69 6e  67 20 73 74 6f 72 65 22  |n pending store"|
00002390  2c 0a 09 09 09 09 09 20  20 20 20 20 20 20 74 29  |,......       t)|
000023a0  3b 0a 0a 09 20 46 6c 75  73 68 50 65 6e 64 69 6e  |;... FlushPendin|
000023b0  67 4c 6f 61 64 73 46 6f  72 52 65 67 28 72 29 3b  |gLoadsForReg(r);|
000023c0  0a 09 20 7b 20 20 4c 45  54 20 71 20 3d 20 74 3d  |.. {  LET q = t=|
000023d0  6b 2e 69 72 65 67 20 2d  3e 20 4f 66 66 73 65 74  |k.ireg -> Offset|
000023e0  49 6e 4c 69 73 74 28 70  2c 20 74 2c 20 6e 2c 20  |InList(p, t, n, |
000023f0  6e 31 29 2c 0a 09 09 09  09 53 6c 6f 63 49 6e 4c  |n1),.....SlocInL|
00002400  69 73 74 28 70 2c 20 74  2c 20 6e 31 29 3b 0a 09  |ist(p, t, n1);..|
00002410  20 20 20 20 49 46 20 71  3d 4e 75 6c 6c 20 7c 20  |    IF q=Null | |
00002420  46 34 52 65 67 4f 72 64  65 72 28 72 31 2c 20 71  |F4RegOrder(r1, q|
00002430  2c 20 74 29 3c 3d 30 20  7c 20 70 73 2e 69 73 74  |, t)<=0 | ps.ist|
00002440  6f 73 21 71 7e 3d 69 73  74 6f 73 0a 09 20 20 20  |os!q~=istos..   |
00002450  20 20 20 20 54 48 45 4e  20 42 52 45 41 4b 3b 0a  |    THEN BREAK;.|
00002460  09 20 20 20 20 72 31 20  3a 3d 20 70 73 2e 72 65  |.    r1 := ps.re|
00002470  67 21 71 3b 20 72 65 67  6c 69 73 74 20 3a 3d 20  |g!q; reglist := |
00002480  72 65 67 6c 69 73 74 2b  28 31 3c 3c 72 31 29 3b  |reglist+(1<<r1);|
00002490  0a 09 20 20 20 20 63 6f  75 6e 74 20 3a 3d 20 63  |..    count := c|
000024a0  6f 75 6e 74 2b 31 3b 0a  09 20 20 20 20 46 6c 75  |ount+1;..    Flu|
000024b0  73 68 50 65 6e 64 69 6e  67 4c 6f 61 64 73 46 6f  |shPendingLoadsFo|
000024c0  72 52 65 67 28 72 31 29  3b 0a 09 20 20 20 20 6e  |rReg(r1);..    n|
000024d0  31 20 3a 3d 20 6e 31 2b  31 3b 0a 09 20 20 20 20  |1 := n1+1;..    |
000024e0  73 6c 2e 74 79 70 65 21  71 20 3a 3d 20 30 0a 09  |sl.type!q := 0..|
000024f0  20 7d 20 52 45 50 45 41  54 3b 0a 0a 09 20 7b 20  | } REPEAT;... { |
00002500  20 4c 45 54 20 71 20 3d  20 74 3d 6b 2e 69 72 65  | LET q = t=k.ire|
00002510  67 20 2d 3e 20 4f 66 66  73 65 74 49 6e 4c 69 73  |g -> OffsetInLis|
00002520  74 28 70 2c 20 74 2c 20  6e 2c 20 6f 66 66 73 65  |t(p, t, n, offse|
00002530  74 2d 31 29 2c 0a 09 09  09 09 53 6c 6f 63 49 6e  |t-1),.....SlocIn|
00002540  4c 69 73 74 28 70 2c 20  74 2c 20 6f 66 66 73 65  |List(p, t, offse|
00002550  74 2d 31 29 3b 0a 09 20  20 20 20 49 46 20 71 3d  |t-1);..    IF q=|
00002560  4e 75 6c 6c 20 7c 20 46  34 52 65 67 4f 72 64 65  |Null | F4RegOrde|
00002570  72 28 72 32 2c 20 71 2c  20 74 29 3e 3d 30 20 7c  |r(r2, q, t)>=0 ||
00002580  20 70 73 2e 69 73 74 6f  73 21 71 7e 3d 69 73 74  | ps.istos!q~=ist|
00002590  6f 73 0a 09 20 20 20 20  20 20 20 54 48 45 4e 20  |os..       THEN |
000025a0  42 52 45 41 4b 3b 0a 09  20 20 20 20 72 32 20 3a  |BREAK;..    r2 :|
000025b0  3d 20 70 73 2e 72 65 67  21 71 3b 20 72 65 67 6c  |= ps.reg!q; regl|
000025c0  69 73 74 20 3a 3d 20 72  65 67 6c 69 73 74 2b 28  |ist := reglist+(|
000025d0  31 3c 3c 72 32 29 3b 0a  09 20 20 20 20 46 6c 75  |1<<r2);..    Flu|
000025e0  73 68 50 65 6e 64 69 6e  67 4c 6f 61 64 73 46 6f  |shPendingLoadsFo|
000025f0  72 52 65 67 28 72 32 29  3b 0a 09 20 20 20 20 6f  |rReg(r2);..    o|
00002600  66 66 73 65 74 20 3a 3d  20 6f 66 66 73 65 74 2d  |ffset := offset-|
00002610  31 3b 0a 09 20 20 20 20  63 6f 75 6e 74 20 3a 3d  |1;..    count :=|
00002620  20 63 6f 75 6e 74 2b 31  3b 0a 09 20 20 20 20 73  | count+1;..    s|
00002630  6c 2e 74 79 70 65 21 71  20 3a 3d 20 30 0a 09 20  |l.type!q := 0.. |
00002640  7d 20 52 45 50 45 41 54  3b 0a 0a 09 20 54 72 61  |} REPEAT;... Tra|
00002650  63 65 49 74 28 22 25 6e  20 25 6e 20 25 6e 20 25  |ceIt("%n %n %n %|
00002660  6e 2a 6e 22 2c 20 72 65  67 6c 69 73 74 2c 20 72  |n*n", reglist, r|
00002670  2c 20 72 31 2c 20 6f 66  66 73 65 74 29 3b 0a 09  |, r1, offset);..|
00002680  20 70 73 2e 74 72 61 63  65 64 65 70 74 68 20 3a  | ps.tracedepth :|
00002690  3d 20 70 73 2e 74 72 61  63 65 64 65 70 74 68 2d  |= ps.tracedepth-|
000026a0  32 3b 0a 0a 09 20 49 46  20 62 61 73 65 3d 72 2e  |2;... IF base=r.|
000026b0  70 20 26 20 7e 55 73 65  73 46 72 61 6d 65 20 54  |p & ~UsesFrame T|
000026c0  48 45 4e 20 7b 0a 09 20  20 20 20 62 61 73 65 20  |HEN {..    base |
000026d0  3a 3d 20 72 2e 74 73 3b  0a 09 20 20 20 20 6f 66  |:= r.ts;..    of|
000026e0  66 73 65 74 20 3a 3d 20  6f 66 66 73 65 74 2d 73  |fset := offset-s|
000026f0  61 76 65 53 70 61 63 65  53 69 7a 65 20 7d 3b 0a  |aveSpaceSize };.|
00002700  0a 09 20 54 45 53 54 20  62 61 73 65 3d 72 2e 70  |.. TEST base=r.p|
00002710  20 26 20 69 73 74 6f 73  20 26 20 55 73 65 73 46  | & istos & UsesF|
00002720  72 61 6d 65 20 54 48 45  4e 20 7b 0a 09 20 20 20  |rame THEN {..   |
00002730  20 49 46 20 6c 69 6e 6b  61 67 65 4e 6f 74 53 74  | IF linkageNotSt|
00002740  6f 72 65 64 3d 72 2e 62  20 26 20 6f 66 66 73 65  |ored=r.b & offse|
00002750  74 3d 30 20 54 48 45 4e  0a 09 20 20 20 20 20 20  |t=0 THEN..      |
00002760  20 53 65 74 52 74 6f 52  70 6c 75 73 4b 28 72 2e  | SetRtoRplusK(r.|
00002770  62 2c 20 72 2e 70 63 2c  20 56 61 6c 75 65 4f 66  |b, r.pc, ValueOf|
00002780  4c 61 62 65 6c 28 62 61  73 65 4c 61 62 29 2d 38  |Label(baseLab)-8|
00002790  2d 6c 6f 63 43 74 72 29  3b 0a 09 20 20 20 20 46  |-locCtr);..    F|
000027a0  34 49 6e 73 74 28 66 2e  73 74 6d 2c 20 72 2e 74  |4Inst(f.stm, r.t|
000027b0  73 2c 20 72 65 67 6c 69  73 74 2c 20 66 2e 77 62  |s, reglist, f.wb|
000027c0  2b 75 70 53 74 61 63 6b  29 20 7d 0a 09 20 45 4c  |+upStack) }.. EL|
000027d0  53 45 20 54 45 53 54 20  72 32 3d 72 31 20 26 20  |SE TEST r2=r1 & |
000027e0  28 6f 66 66 73 65 74 7e  3d 52 30 4f 66 66 73 65  |(offset~=R0Offse|
000027f0  74 20 7c 20 62 61 73 65  7e 3d 72 2e 70 29 20 54  |t | base~=r.p) T|
00002800  48 45 4e 20 7b 0a 09 20  20 20 20 54 45 53 54 20  |HEN {..    TEST |
00002810  62 61 73 65 3d 72 2e 70  20 7c 20 62 61 73 65 3d  |base=r.p | base=|
00002820  72 2e 74 73 20 54 48 45  4e 0a 09 20 20 20 20 20  |r.ts THEN..     |
00002830  20 20 6f 66 66 73 65 74  20 3a 3d 20 6e 65 78 74  |  offset := next|
00002840  53 74 61 63 6b 57 6f 72  64 2a 6f 66 66 73 65 74  |StackWord*offset|
00002850  0a 09 20 20 20 20 45 4c  53 45 0a 09 20 20 20 20  |..    ELSE..    |
00002860  20 20 20 6f 66 66 73 65  74 20 3a 3d 20 34 2a 6f  |   offset := 4*o|
00002870  66 66 73 65 74 3b 0a 09  20 20 20 20 47 65 6e 46  |ffset;..    GenF|
00002880  32 28 66 2e 73 74 72 2c  20 72 2c 20 62 61 73 65  |2(f.str, r, base|
00002890  2c 20 30 2c 20 6f 66 66  73 65 74 29 20 7d 0a 09  |, 0, offset) }..|
000028a0  20 45 4c 53 45 20 7b 0a  09 20 20 20 20 4c 45 54  | ELSE {..    LET|
000028b0  20 74 79 70 65 20 3d 20  66 2e 70 6f 73 74 75 70  | type = f.postup|
000028c0  3b 0a 09 20 20 20 20 54  45 53 54 20 62 61 73 65  |;..    TEST base|
000028d0  3d 72 2e 70 20 54 48 45  4e 20 7b 0a 09 20 20 20  |=r.p THEN {..   |
000028e0  20 20 20 20 74 79 70 65  20 3a 3d 20 66 2e 77 62  |    type := f.wb|
000028f0  2b 75 70 53 74 61 63 6b  3b 0a 09 20 20 20 20 20  |+upStack;..     |
00002900  20 20 49 46 20 6f 66 66  73 65 74 7e 3d 52 30 4f  |  IF offset~=R0O|
00002910  66 66 73 65 74 20 54 48  45 4e 0a 09 09 20 20 53  |ffset THEN...  S|
00002920  65 74 52 74 6f 52 70 6c  75 73 4b 28 72 2e 30 2c  |etRtoRplusK(r.0,|
00002930  20 72 2e 70 2c 20 6e 65  78 74 53 74 61 63 6b 57  | r.p, nextStackW|
00002940  6f 72 64 2a 6f 66 66 73  65 74 29 3b 0a 09 20 20  |ord*offset);..  |
00002950  20 20 20 20 20 52 30 4f  66 66 73 65 74 20 3a 3d  |     R0Offset :=|
00002960  20 6e 31 0a 09 20 20 20  20 20 20 20 62 61 73 65  | n1..       base|
00002970  20 3a 3d 20 72 2e 30 20  7d 0a 09 20 20 20 20 45  | := r.0 }..    E|
00002980  4c 53 45 20 54 45 53 54  20 6f 66 66 73 65 74 3d  |LSE TEST offset=|
00002990  31 20 54 48 45 4e 0a 09  20 20 20 20 20 20 20 74  |1 THEN..       t|
000029a0  79 70 65 20 3a 3d 20 66  2e 70 72 65 75 70 0a 09  |ype := f.preup..|
000029b0  20 20 20 20 45 4c 53 45  20 49 46 20 6f 66 66 73  |    ELSE IF offs|
000029c0  65 74 7e 3d 30 20 54 48  45 4e 20 7b 0a 09 20 20  |et~=0 THEN {..  |
000029d0  20 20 20 20 20 6f 66 66  73 65 74 20 3a 3d 20 62  |     offset := b|
000029e0  61 73 65 3d 72 2e 74 73  20 2d 3e 20 6e 65 78 74  |ase=r.ts -> next|
000029f0  53 74 61 63 6b 57 6f 72  64 2a 6f 66 66 73 65 74  |StackWord*offset|
00002a00  2c 20 34 2a 6f 66 66 73  65 74 3b 0a 09 20 20 20  |, 4*offset;..   |
00002a10  20 20 20 20 53 65 74 52  74 6f 52 70 6c 75 73 4b  |    SetRtoRplusK|
00002a20  28 72 2e 30 2c 20 62 61  73 65 2c 20 6f 66 66 73  |(r.0, base, offs|
00002a30  65 74 29 3b 0a 09 20 20  20 20 20 20 20 62 61 73  |et);..       bas|
00002a40  65 20 3a 3d 20 72 2e 30  3b 0a 09 20 20 20 20 20  |e := r.0;..     |
00002a50  20 20 52 30 4f 66 66 73  65 74 20 3a 3d 20 4e 75  |  R0Offset := Nu|
00002a60  6c 6c 20 7d 3b 0a 0a 09  20 20 20 20 46 34 49 6e  |ll };...    F4In|
00002a70  73 74 28 66 2e 73 74 6d  2c 20 62 61 73 65 2c 20  |st(f.stm, base, |
00002a80  72 65 67 6c 69 73 74 2c  20 74 79 70 65 29 20 7d  |reglist, type) }|
00002a90  3b 0a 0a 09 20 49 46 20  62 61 73 65 3d 72 2e 70  |;... IF base=r.p|
00002aa0  20 26 20 6c 69 6e 6b 61  67 65 4e 6f 74 53 74 6f  | & linkageNotSto|
00002ab0  72 65 64 20 26 20 6f 66  66 73 65 74 3d 30 20 54  |red & offset=0 T|
00002ac0  48 45 4e 20 7b 0a 09 20  20 20 20 53 65 74 52 54  |HEN {..    SetRT|
00002ad0  6f 52 50 6c 75 73 4b 28  72 2e 70 2c 20 72 2e 74  |oRPlusK(r.p, r.t|
00002ae0  73 2c 20 2d 63 6f 75 6e  74 2a 6e 65 78 74 53 74  |s, -count*nextSt|
00002af0  61 63 6b 57 6f 72 64 29  3b 0a 09 20 20 20 20 49  |ackWord);..    I|
00002b00  46 20 75 73 65 73 52 4c  20 54 48 45 4e 20 7b 0a  |F usesRL THEN {.|
00002b10  09 20 20 20 20 20 20 20  52 4c 4c 6f 61 64 4c 69  |.       RLLoadLi|
00002b20  73 74 20 3a 3d 20 46 69  6c 6c 42 6c 6b 28 32 2c  |st := FillBlk(2,|
00002b30  20 52 4c 4c 6f 61 64 4c  69 73 74 2c 20 6c 6f 63  | RLLoadList, loc|
00002b40  43 74 72 29 3b 0a 09 20  20 20 20 20 20 20 47 65  |Ctr);..       Ge|
00002b50  6e 46 32 28 66 2e 6c 64  72 2c 20 72 2e 6c 2c 20  |nF2(f.ldr, r.l, |
00002b60  72 2e 70 63 2c 20 30 2c  0a 09 09 20 20 20 20 20  |r.pc, 0,...     |
00002b70  56 61 6c 75 65 4f 66 4c  61 62 65 6c 28 62 61 73  |ValueOfLabel(bas|
00002b80  65 4c 61 62 29 2d 31 32  2d 6c 6f 63 43 74 72 2d  |eLab)-12-locCtr-|
00002b90  28 70 72 6f 63 4e 61 6d  65 73 20 2d 3e 20 31 32  |(procNames -> 12|
00002ba0  2c 20 30 29 29 20 7d 3b  0a 09 20 20 20 20 6c 69  |, 0)) };..    li|
00002bb0  6e 6b 61 67 65 4e 6f 74  53 74 6f 72 65 64 20 3a  |nkageNotStored :|
00002bc0  3d 20 46 41 4c 53 45 20  7d 20 7d 3b 0a 20 20 20  |= FALSE } };.   |
00002bd0  20 20 20 49 46 20 71 3d  74 61 72 67 65 74 20 54  |   IF q=target T|
00002be0  48 45 4e 20 42 52 45 41  4b 0a 20 20 20 7d 3b 0a  |HEN BREAK.   };.|
00002bf0  0a 20 20 20 70 65 6e 64  69 6e 67 53 74 6f 72 65  |.   pendingStore|
00002c00  73 20 3a 3d 20 52 65 76  65 72 73 65 49 6e 50 6c  |s := ReverseInPl|
00002c10  61 63 65 28 70 29 3b 0a  20 20 20 49 46 20 28 43  |ace(p);.   IF (C|
00002c20  47 44 65 62 75 67 4d 6f  64 65 26 64 62 2e 54 72  |GDebugMode&db.Tr|
00002c30  61 63 65 50 53 29 7e 3d  30 20 54 48 45 4e 20 7b  |acePS)~=0 THEN {|
00002c40  0a 20 20 20 20 20 20 57  72 69 74 65 53 28 22 45  |.      WriteS("E|
00002c50  78 69 74 20 46 6c 75 73  68 50 53 2a 4e 22 29 3b  |xit FlushPS*N");|
00002c60  0a 20 20 20 20 20 20 50  72 69 6e 74 50 65 6e 64  |.      PrintPend|
00002c70  69 6e 67 4c 69 73 74 28  70 65 6e 64 69 6e 67 53  |ingList(pendingS|
00002c80  74 6f 72 65 73 29 3b 0a  20 20 20 20 20 20 4e 65  |tores);.      Ne|
00002c90  77 4c 69 6e 65 28 29 20  7d 0a 7d 0a 0a 41 4e 44  |wLine() }.}..AND|
00002ca0  20 41 64 64 54 6f 50 65  6e 64 69 6e 67 4c 6f 61  | AddToPendingLoa|
00002cb0  64 73 28 72 2c 20 74 2c  20 6e 2c 20 6f 66 66 73  |ds(r, t, n, offs|
00002cc0  65 74 29 20 42 45 0a 7b  20 20 49 46 20 74 3d 6b  |et) BE.{  IF t=k|
00002cd0  2e 69 72 65 67 20 54 48  45 4e 20 46 6c 75 73 68  |.ireg THEN Flush|
00002ce0  50 65 6e 64 69 6e 67 53  74 6f 72 65 73 46 6f 72  |PendingStoresFor|
00002cf0  49 72 65 67 45 78 63 65  70 74 28 6e 2c 20 6f 66  |IregExcept(n, of|
00002d00  66 73 65 74 29 3b 0a 20  20 20 70 65 6e 64 69 6e  |fset);.   pendin|
00002d10  67 4c 6f 61 64 73 20 3a  3d 20 46 69 6c 6c 42 6c  |gLoads := FillBl|
00002d20  6b 28 70 73 2e 73 69 7a  65 2c 20 70 65 6e 64 69  |k(ps.size, pendi|
00002d30  6e 67 4c 6f 61 64 73 2c  20 74 2c 20 6e 2c 20 72  |ngLoads, t, n, r|
00002d40  2c 20 6f 66 66 73 65 74  2c 20 4e 75 6c 6c 29 3b  |, offset, Null);|
00002d50  0a 20 20 20 49 46 20 28  43 47 44 65 62 75 67 4d  |.   IF (CGDebugM|
00002d60  6f 64 65 26 64 62 2e 54  72 61 63 65 50 53 29 7e  |ode&db.TracePS)~|
00002d70  3d 30 0a 20 20 20 20 20  20 54 48 45 4e 20 57 72  |=0.      THEN Wr|
00002d80  69 74 65 46 28 22 61 64  64 74 6f 70 6c 20 25 6e  |iteF("addtopl %n|
00002d90  20 25 6e 20 25 6e 20 25  6e 2a 6e 22 2c 20 72 2c  | %n %n %n*n", r,|
00002da0  20 74 2c 20 6e 2c 20 6f  66 66 73 65 74 29 0a 7d  | t, n, offset).}|
00002db0  0a 0a 41 4e 44 20 46 6c  75 73 68 50 65 6e 64 69  |..AND FlushPendi|
00002dc0  6e 67 4c 6f 61 64 73 46  6f 72 49 72 65 67 28 29  |ngLoadsForIreg()|
00002dd0  20 42 45 0a 7b 20 20 54  72 61 63 65 49 74 28 22  | BE.{  TraceIt("|
00002de0  46 6c 75 73 68 50 65 6e  64 69 6e 67 4c 6f 61 64  |FlushPendingLoad|
00002df0  73 46 6f 72 49 72 65 67  2a 6e 22 29 3b 0a 20 20  |sForIreg*n");.  |
00002e00  20 46 4f 52 20 72 20 3d  20 72 2e 30 20 54 4f 20  | FOR r = r.0 TO |
00002e10  72 2e 31 34 20 44 4f 20  7b 0a 20 20 20 20 20 20  |r.14 DO {.      |
00002e20  4c 45 54 20 70 20 3d 20  53 6c 6f 63 49 6e 4c 69  |LET p = SlocInLi|
00002e30  73 74 28 70 65 6e 64 69  6e 67 4c 6f 61 64 73 2c  |st(pendingLoads,|
00002e40  20 6b 2e 69 72 65 67 2c  20 72 29 3b 0a 20 20 20  | k.ireg, r);.   |
00002e50  20 20 20 49 46 20 70 7e  3d 4e 75 6c 6c 20 54 48  |   IF p~=Null TH|
00002e60  45 4e 20 46 6c 75 73 68  50 65 6e 64 69 6e 67 4c  |EN FlushPendingL|
00002e70  6f 61 64 73 55 70 54 6f  28 70 29 20 7d 3b 0a 20  |oadsUpTo(p) };. |
00002e80  20 20 45 78 69 74 54 72  61 63 65 28 30 29 0a 7d  |  ExitTrace(0).}|
00002e90  0a 0a 41 4e 44 20 46 6c  75 73 68 50 65 6e 64 69  |..AND FlushPendi|
00002ea0  6e 67 4c 6f 61 64 73 46  6f 72 52 65 67 28 72 29  |ngLoadsForReg(r)|
00002eb0  20 42 45 0a 7b 20 20 4c  45 54 20 70 20 3d 20 52  | BE.{  LET p = R|
00002ec0  65 67 49 6e 50 65 6e 64  69 6e 67 4c 69 73 74 28  |egInPendingList(|
00002ed0  70 65 6e 64 69 6e 67 4c  6f 61 64 73 2c 20 72 29  |pendingLoads, r)|
00002ee0  3b 0a 20 20 20 54 72 61  63 65 49 74 28 22 46 6c  |;.   TraceIt("Fl|
00002ef0  75 73 68 50 65 6e 64 69  6e 67 4c 6f 61 64 73 46  |ushPendingLoadsF|
00002f00  6f 72 52 65 67 20 25 6e  2a 4e 22 2c 20 72 29 3b  |orReg %n*N", r);|
00002f10  0a 20 20 20 49 46 20 70  7e 3d 4e 75 6c 6c 20 54  |.   IF p~=Null T|
00002f20  48 45 4e 20 46 6c 75 73  68 50 65 6e 64 69 6e 67  |HEN FlushPending|
00002f30  4c 6f 61 64 73 52 65 6c  61 74 65 64 54 6f 28 70  |LoadsRelatedTo(p|
00002f40  2c 20 70 65 6e 64 69 6e  67 4c 6f 61 64 73 29 3b  |, pendingLoads);|
00002f50  0a 20 20 20 46 6c 75 73  68 50 65 6e 64 69 6e 67  |.   FlushPending|
00002f60  4c 6f 61 64 73 46 6f 72  53 6c 6f 63 28 6b 2e 69  |LoadsForSloc(k.i|
00002f70  72 65 67 2c 20 72 29 3b  0a 20 20 20 45 78 69 74  |reg, r);.   Exit|
00002f80  54 72 61 63 65 28 30 29  0a 7d 0a 0a 41 4e 44 20  |Trace(0).}..AND |
00002f90  46 6c 75 73 68 50 65 6e  64 69 6e 67 4c 6f 61 64  |FlushPendingLoad|
00002fa0  73 46 6f 72 53 6c 6f 63  28 74 2c 20 6e 29 20 42  |sForSloc(t, n) B|
00002fb0  45 0a 7b 20 20 2f 2a 20  41 20 67 69 76 65 6e 20  |E.{  /* A given |
00002fc0  73 6c 6f 63 20 6d 61 79  20 62 65 20 69 6e 20 70  |sloc may be in p|
00002fd0  65 6e 64 69 6e 67 20 6c  6f 61 64 73 20 6d 61 6e  |ending loads man|
00002fe0  79 20 74 69 6d 65 73 2c  20 77 68 65 72 65 66 6f  |y times, wherefo|
00002ff0  72 65 20 74 68 65 20 6c  6f 6f 70 20 2a 2f 0a 20  |re the loop */. |
00003000  20 20 54 72 61 63 65 49  74 28 22 46 6c 75 73 68  |  TraceIt("Flush|
00003010  50 4c 46 6f 72 53 6c 6f  63 20 25 6e 20 25 6e 2a  |PLForSloc %n %n*|
00003020  6e 22 2c 20 74 2c 20 6e  29 3b 0a 20 20 20 7b 20  |n", t, n);.   { |
00003030  20 4c 45 54 20 70 20 3d  20 53 6c 6f 63 49 6e 4c  | LET p = SlocInL|
00003040  69 73 74 28 70 65 6e 64  69 6e 67 4c 6f 61 64 73  |ist(pendingLoads|
00003050  2c 20 74 2c 20 6e 29 3b  0a 20 20 20 20 20 20 49  |, t, n);.      I|
00003060  46 20 70 3d 4e 75 6c 6c  20 54 48 45 4e 20 42 52  |F p=Null THEN BR|
00003070  45 41 4b 3b 0a 20 20 20  20 20 20 46 6c 75 73 68  |EAK;.      Flush|
00003080  50 65 6e 64 69 6e 67 4c  6f 61 64 73 52 65 6c 61  |PendingLoadsRela|
00003090  74 65 64 54 6f 28 70 2c  20 70 65 6e 64 69 6e 67  |tedTo(p, pending|
000030a0  4c 6f 61 64 73 29 20 7d  20 52 45 50 45 41 54 3b  |Loads) } REPEAT;|
000030b0  0a 20 20 20 45 78 69 74  54 72 61 63 65 28 30 29  |.   ExitTrace(0)|
000030c0  20 7d 0a 0a 41 4e 44 20  46 6c 75 73 68 50 65 6e  | }..AND FlushPen|
000030d0  64 69 6e 67 4c 6f 61 64  73 45 78 63 65 70 74 4c  |dingLoadsExceptL|
000030e0  6f 63 61 6c 73 28 29 20  42 45 0a 7b 20 20 4c 45  |ocals() BE.{  LE|
000030f0  54 20 70 20 3d 20 43 6f  70 79 4f 66 4c 6f 63 61  |T p = CopyOfLoca|
00003100  6c 73 49 6e 28 70 65 6e  64 69 6e 67 4c 6f 61 64  |lsIn(pendingLoad|
00003110  73 2c 20 46 41 4c 53 45  29 3b 0a 20 20 20 54 72  |s, FALSE);.   Tr|
00003120  61 63 65 49 74 28 22 46  6c 75 73 68 50 65 6e 64  |aceIt("FlushPend|
00003130  69 6e 67 4c 6f 61 64 73  45 78 63 65 70 74 4c 6f  |ingLoadsExceptLo|
00003140  63 61 6c 73 2a 4e 22 29  3b 0a 20 20 20 44 65 6c  |cals*N");.   Del|
00003150  65 74 65 4c 6f 63 61 6c  73 41 62 6f 76 65 28 30  |eteLocalsAbove(0|
00003160  2c 20 46 41 4c 53 45 2c  20 40 70 65 6e 64 69 6e  |, FALSE, @pendin|
00003170  67 4c 6f 61 64 73 29 3b  0a 20 20 20 46 6c 75 73  |gLoads);.   Flus|
00003180  68 50 65 6e 64 69 6e 67  4c 6f 61 64 73 28 29 3b  |hPendingLoads();|
00003190  0a 20 20 20 70 65 6e 64  69 6e 67 4c 6f 61 64 73  |.   pendingLoads|
000031a0  20 3a 3d 20 70 3b 0a 20  20 20 45 78 69 74 54 72  | := p;.   ExitTr|
000031b0  61 63 65 28 30 29 0a 7d  0a 0a 41 4e 44 20 46 6c  |ace(0).}..AND Fl|
000031c0  75 73 68 50 65 6e 64 69  6e 67 4c 6f 61 64 73 28  |ushPendingLoads(|
000031d0  29 20 42 45 0a 7b 20 20  54 72 61 63 65 49 74 28  |) BE.{  TraceIt(|
000031e0  22 46 6c 75 73 68 50 65  6e 64 69 6e 67 4c 6f 61  |"FlushPendingLoa|
000031f0  64 73 2a 6e 22 29 3b 0a  20 20 20 46 6c 75 73 68  |ds*n");.   Flush|
00003200  50 65 6e 64 69 6e 67 4c  6f 61 64 73 55 70 54 6f  |PendingLoadsUpTo|
00003210  28 30 29 3b 0a 20 20 20  45 78 69 74 54 72 61 63  |(0);.   ExitTrac|
00003220  65 28 30 29 0a 7d 0a 0a  41 4e 44 20 46 6c 75 73  |e(0).}..AND Flus|
00003230  68 50 65 6e 64 69 6e 67  4c 6f 61 64 73 52 65 6c  |hPendingLoadsRel|
00003240  61 74 65 64 54 6f 28 70  2c 20 70 6c 29 20 42 45  |atedTo(p, pl) BE|
00003250  0a 7b 20 20 4c 45 54 20  74 2c 20 6e 2c 20 72 2c  |.{  LET t, n, r,|
00003260  20 6f 66 66 73 65 74 20  3d 20 73 6c 2e 74 79 70  | offset = sl.typ|
00003270  65 21 70 2c 20 73 6c 2e  6c 6f 63 21 70 2c 20 70  |e!p, sl.loc!p, p|
00003280  73 2e 72 65 67 21 70 2c  20 70 6c 2e 6f 66 66 73  |s.reg!p, pl.offs|
00003290  65 74 21 70 3b 0a 20 20  20 73 6c 2e 74 79 70 65  |et!p;.   sl.type|
000032a0  21 70 20 3a 3d 20 30 3b  0a 20 20 20 54 72 61 63  |!p := 0;.   Trac|
000032b0  65 49 74 28 22 3a 2d 20  25 6e 20 25 6e 20 25 6e  |eIt(":- %n %n %n|
000032c0  20 25 6e 2a 6e 22 2c 20  74 2c 20 6e 2c 20 72 2c  | %n*n", t, n, r,|
000032d0  20 6f 66 66 73 65 74 29  3b 0a 20 20 20 70 73 2e  | offset);.   ps.|
000032e0  74 72 61 63 65 64 65 70  74 68 20 3a 3d 20 70 73  |tracedepth := ps|
000032f0  2e 74 72 61 63 65 64 65  70 74 68 2d 32 3b 0a 20  |.tracedepth-2;. |
00003300  20 20 49 46 20 74 7e 3d  6b 2e 69 72 65 67 20 54  |  IF t~=k.ireg T|
00003310  48 45 4e 20 6f 66 66 73  65 74 20 3a 3d 20 6e 3b  |HEN offset := n;|
00003320  0a 20 20 20 49 46 20 74  7e 3d 30 20 54 48 45 4e  |.   IF t~=0 THEN|
00003330  20 7b 0a 20 20 20 20 20  20 4c 45 54 20 72 31 20  | {.      LET r1 |
00003340  3d 20 72 3b 0a 20 20 20  20 20 20 4c 45 54 20 72  |= r;.      LET r|
00003350  32 20 3d 20 72 3b 0a 20  20 20 20 20 20 4c 45 54  |2 = r;.      LET|
00003360  20 72 65 67 6c 69 73 74  20 3d 20 31 3c 3c 72 3b  | reglist = 1<<r;|
00003370  0a 20 20 20 20 20 20 4c  45 54 20 6e 31 20 3d 20  |.      LET n1 = |
00003380  6f 66 66 73 65 74 2b 31  3b 0a 0a 20 20 20 20 20  |offset+1;..     |
00003390  20 4c 45 54 20 62 61 73  65 20 3d 20 74 3d 6b 2e  | LET base = t=k.|
000033a0  6c 6f 63 20 2d 3e 20 72  2e 70 2c 0a 09 09 20 74  |loc -> r.p,... t|
000033b0  3d 6b 2e 67 6c 6f 62 20  2d 3e 20 72 2e 67 2c 0a  |=k.glob -> r.g,.|
000033c0  09 09 20 74 3d 6b 2e 73  74 61 74 69 63 20 2d 3e  |.. t=k.static ->|
000033d0  20 72 2e 6c 2c 0a 09 09  20 74 3d 6b 2e 69 72 65  | r.l,... t=k.ire|
000033e0  67 20 2d 3e 20 6e 2c 0a  09 09 09 20 20 20 20 20  |g -> n,....     |
000033f0  43 47 45 72 72 6f 72 28  46 41 4c 53 45 2c 20 22  |CGError(FALSE, "|
00003400  62 61 64 20 74 79 70 65  20 25 6e 20 69 6e 20 70  |bad type %n in p|
00003410  65 6e 64 69 6e 67 20 6c  6f 61 64 22 2c 0a 09 09  |ending load",...|
00003420  09 09 09 20 20 20 20 74  29 3b 0a 0a 20 20 20 20  |...    t);..    |
00003430  20 20 7b 20 20 4c 45 54  20 71 20 3d 20 74 3d 6b  |  {  LET q = t=k|
00003440  2e 69 72 65 67 20 2d 3e  20 4f 66 66 73 65 74 49  |.ireg -> OffsetI|
00003450  6e 4c 69 73 74 28 70 6c  2c 20 74 2c 20 6e 2c 20  |nList(pl, t, n, |
00003460  6e 31 29 2c 0a 09 09 09  20 20 20 20 20 53 6c 6f  |n1),....     Slo|
00003470  63 49 6e 4c 69 73 74 28  70 6c 2c 20 74 2c 20 6e  |cInList(pl, t, n|
00003480  31 29 3b 0a 09 20 49 46  20 71 3d 4e 75 6c 6c 20  |1);.. IF q=Null |
00003490  7c 20 46 34 52 65 67 4f  72 64 65 72 28 72 31 2c  || F4RegOrder(r1,|
000034a0  20 71 2c 20 74 29 3c 3d  30 20 54 48 45 4e 20 42  | q, t)<=0 THEN B|
000034b0  52 45 41 4b 3b 0a 09 20  72 31 20 3a 3d 20 70 73  |REAK;.. r1 := ps|
000034c0  2e 72 65 67 21 71 3b 20  72 65 67 6c 69 73 74 20  |.reg!q; reglist |
000034d0  3a 3d 20 72 65 67 6c 69  73 74 2b 28 31 3c 3c 72  |:= reglist+(1<<r|
000034e0  31 29 3b 0a 09 20 6e 31  20 3a 3d 20 6e 31 2b 31  |1);.. n1 := n1+1|
000034f0  3b 0a 09 20 73 6c 2e 74  79 70 65 21 71 20 3a 3d  |;.. sl.type!q :=|
00003500  20 30 0a 20 20 20 20 20  20 7d 20 52 45 50 45 41  | 0.      } REPEA|
00003510  54 3b 0a 0a 20 20 20 20  20 20 7b 20 20 4c 45 54  |T;..      {  LET|
00003520  20 71 20 3d 20 74 3d 6b  2e 69 72 65 67 20 2d 3e  | q = t=k.ireg ->|
00003530  20 4f 66 66 73 65 74 49  6e 4c 69 73 74 28 70 6c  | OffsetInList(pl|
00003540  2c 20 74 2c 20 6e 2c 20  6f 66 66 73 65 74 2d 31  |, t, n, offset-1|
00003550  29 2c 0a 09 09 09 20 20  20 20 20 53 6c 6f 63 49  |),....     SlocI|
00003560  6e 4c 69 73 74 28 70 6c  2c 20 74 2c 20 6f 66 66  |nList(pl, t, off|
00003570  73 65 74 2d 31 29 3b 0a  09 20 49 46 20 71 3d 4e  |set-1);.. IF q=N|
00003580  75 6c 6c 20 7c 20 46 34  52 65 67 4f 72 64 65 72  |ull | F4RegOrder|
00003590  28 72 32 2c 20 71 2c 20  74 29 3e 3d 30 20 54 48  |(r2, q, t)>=0 TH|
000035a0  45 4e 20 42 52 45 41 4b  3b 0a 09 20 72 32 20 3a  |EN BREAK;.. r2 :|
000035b0  3d 20 70 73 2e 72 65 67  21 71 3b 20 72 65 67 6c  |= ps.reg!q; regl|
000035c0  69 73 74 20 3a 3d 20 72  65 67 6c 69 73 74 2b 28  |ist := reglist+(|
000035d0  31 3c 3c 72 32 29 3b 0a  09 20 6f 66 66 73 65 74  |1<<r2);.. offset|
000035e0  20 3a 3d 20 6f 66 66 73  65 74 2d 31 3b 0a 09 20  | := offset-1;.. |
000035f0  73 6c 2e 74 79 70 65 21  71 20 3a 3d 20 30 0a 20  |sl.type!q := 0. |
00003600  20 20 20 20 20 7d 20 52  45 50 45 41 54 3b 0a 0a  |     } REPEAT;..|
00003610  20 20 20 20 20 20 54 72  61 63 65 49 74 28 22 25  |      TraceIt("%|
00003620  6e 20 25 6e 20 25 6e 20  25 6e 2a 6e 22 2c 20 72  |n %n %n %n*n", r|
00003630  65 67 6c 69 73 74 2c 20  72 2c 20 72 31 2c 20 6f  |eglist, r, r1, o|
00003640  66 66 73 65 74 29 3b 0a  20 20 20 20 20 20 70 73  |ffset);.      ps|
00003650  2e 74 72 61 63 65 64 65  70 74 68 20 3a 3d 20 70  |.tracedepth := p|
00003660  73 2e 74 72 61 63 65 64  65 70 74 68 2d 32 3b 0a  |s.tracedepth-2;.|
00003670  0a 20 20 20 20 20 20 49  46 20 62 61 73 65 3d 72  |.      IF base=r|
00003680  2e 70 20 54 48 45 4e 0a  09 20 54 45 53 54 20 7e  |.p THEN.. TEST ~|
00003690  55 73 65 73 46 72 61 6d  65 20 54 48 45 4e 20 7b  |UsesFrame THEN {|
000036a0  0a 09 20 20 20 20 62 61  73 65 20 3a 3d 20 72 2e  |..    base := r.|
000036b0  74 73 3b 0a 09 20 20 20  20 6f 66 66 73 65 74 20  |ts;..    offset |
000036c0  3a 3d 20 6f 66 66 73 65  74 2d 73 61 76 65 53 70  |:= offset-saveSp|
000036d0  61 63 65 53 69 7a 65 20  7d 0a 09 20 45 4c 53 45  |aceSize }.. ELSE|
000036e0  20 49 46 20 6c 69 6e 6b  61 67 65 4e 6f 74 53 74  | IF linkageNotSt|
000036f0  6f 72 65 64 20 54 48 45  4e 0a 09 20 20 20 20 62  |ored THEN..    b|
00003700  61 73 65 20 3a 3d 20 72  2e 74 73 3b 0a 0a 20 20  |ase := r.ts;..  |
00003710  20 20 20 20 54 45 53 54  20 62 61 73 65 3d 72 2e  |    TEST base=r.|
00003720  70 20 26 20 6e 31 3d 54  4f 53 4f 66 66 73 65 74  |p & n1=TOSOffset|
00003730  20 54 48 45 4e 0a 09 20  46 34 49 6e 73 74 28 66  | THEN.. F4Inst(f|
00003740  2e 6c 64 6d 2c 20 72 2e  74 73 2c 20 72 65 67 6c  |.ldm, r.ts, regl|
00003750  69 73 74 2c 20 72 65 76  65 72 73 65 64 53 74 61  |ist, reversedSta|
00003760  63 6b 20 2d 3e 20 66 2e  70 72 65 75 70 2c 0a 09  |ck -> f.preup,..|
00003770  09 09 09 09 09 09 20 20  66 2e 70 72 65 64 6f 77  |......  f.predow|
00003780  6e 29 0a 20 20 20 20 20  20 45 4c 53 45 20 54 45  |n).      ELSE TE|
00003790  53 54 20 72 32 3d 72 31  20 26 20 28 6e 7e 3d 52  |ST r2=r1 & (n~=R|
000037a0  30 4f 66 66 73 65 74 20  7c 20 62 61 73 65 7e 3d  |0Offset | base~=|
000037b0  72 2e 70 29 20 54 48 45  4e 20 7b 0a 09 20 54 45  |r.p) THEN {.. TE|
000037c0  53 54 20 62 61 73 65 3d  72 2e 70 20 7c 20 62 61  |ST base=r.p | ba|
000037d0  73 65 3d 72 2e 74 73 20  54 48 45 4e 0a 09 20 20  |se=r.ts THEN..  |
000037e0  20 20 6f 66 66 73 65 74  20 3a 3d 20 6e 65 78 74  |  offset := next|
000037f0  53 74 61 63 6b 57 6f 72  64 2a 6f 66 66 73 65 74  |StackWord*offset|
00003800  0a 09 20 45 4c 53 45 0a  09 20 20 20 20 6f 66 66  |.. ELSE..    off|
00003810  73 65 74 20 3a 3d 20 34  2a 6f 66 66 73 65 74 3b  |set := 4*offset;|
00003820  0a 09 20 47 65 6e 46 32  28 66 2e 6c 64 72 2c 20  |.. GenF2(f.ldr, |
00003830  72 2c 20 62 61 73 65 2c  20 30 2c 20 6f 66 66 73  |r, base, 0, offs|
00003840  65 74 29 20 7d 0a 20 20  20 20 20 20 45 4c 53 45  |et) }.      ELSE|
00003850  20 7b 0a 09 20 4c 45 54  20 74 79 70 65 20 3d 20  | {.. LET type = |
00003860  66 2e 70 6f 73 74 75 70  3b 0a 09 20 54 45 53 54  |f.postup;.. TEST|
00003870  20 62 61 73 65 3d 72 2e  70 20 54 48 45 4e 20 7b  | base=r.p THEN {|
00003880  0a 09 20 20 20 20 74 79  70 65 20 3a 3d 20 66 2e  |..    type := f.|
00003890  77 62 2b 75 70 53 74 61  63 6b 3b 0a 09 20 20 20  |wb+upStack;..   |
000038a0  20 54 45 53 54 20 6e 31  2d 31 3d 52 30 4f 66 66  | TEST n1-1=R0Off|
000038b0  73 65 74 20 54 48 45 4e  0a 09 20 20 20 20 20 20  |set THEN..      |
000038c0  20 74 79 70 65 20 3a 3d  20 75 70 53 74 61 63 6b  | type := upStack|
000038d0  20 4e 45 51 56 20 66 2e  75 70 0a 09 20 20 20 20  | NEQV f.up..    |
000038e0  45 4c 53 45 20 54 45 53  54 20 6e 31 3d 52 30 4f  |ELSE TEST n1=R0O|
000038f0  66 66 73 65 74 20 54 48  45 4e 0a 09 20 20 20 20  |ffset THEN..    |
00003900  20 20 20 74 79 70 65 20  3a 3d 20 75 70 53 74 61  |   type := upSta|
00003910  63 6b 20 4e 45 51 56 20  66 2e 70 72 65 75 70 0a  |ck NEQV f.preup.|
00003920  09 20 20 20 20 45 4c 53  45 20 7b 0a 09 20 20 20  |.    ELSE {..   |
00003930  20 20 20 20 49 46 20 6f  66 66 73 65 74 7e 3d 52  |    IF offset~=R|
00003940  30 4f 66 66 73 65 74 20  54 48 45 4e 0a 09 09 20  |0Offset THEN... |
00003950  20 53 65 74 52 74 6f 52  70 6c 75 73 4b 28 72 2e  | SetRtoRplusK(r.|
00003960  30 2c 20 72 2e 70 2c 20  6e 65 78 74 53 74 61 63  |0, r.p, nextStac|
00003970  6b 57 6f 72 64 2a 6f 66  66 73 65 74 29 3b 0a 09  |kWord*offset);..|
00003980  20 20 20 20 20 20 20 52  30 4f 66 66 73 65 74 20  |       R0Offset |
00003990  3a 3d 20 6e 31 20 7d 3b  0a 09 20 20 20 20 62 61  |:= n1 };..    ba|
000039a0  73 65 20 3a 3d 20 72 2e  30 20 7d 0a 09 20 45 4c  |se := r.0 }.. EL|
000039b0  53 45 20 54 45 53 54 20  6f 66 66 73 65 74 3d 31  |SE TEST offset=1|
000039c0  20 54 48 45 4e 0a 09 20  20 20 20 74 79 70 65 20  | THEN..    type |
000039d0  3a 3d 20 66 2e 70 72 65  75 70 0a 09 20 45 4c 53  |:= f.preup.. ELS|
000039e0  45 20 49 46 20 6f 66 66  73 65 74 7e 3d 30 20 54  |E IF offset~=0 T|
000039f0  48 45 4e 20 7b 0a 09 20  20 20 20 6f 66 66 73 65  |HEN {..    offse|
00003a00  74 20 3a 3d 20 62 61 73  65 3d 72 2e 74 73 20 2d  |t := base=r.ts -|
00003a10  3e 20 6e 65 78 74 53 74  61 63 6b 57 6f 72 64 2a  |> nextStackWord*|
00003a20  6f 66 66 73 65 74 2c 20  34 2a 6f 66 66 73 65 74  |offset, 4*offset|
00003a30  3b 0a 09 20 20 20 20 53  65 74 52 74 6f 52 70 6c  |;..    SetRtoRpl|
00003a40  75 73 4b 28 72 2e 30 2c  20 62 61 73 65 2c 20 6f  |usK(r.0, base, o|
00003a50  66 66 73 65 74 29 3b 0a  09 20 20 20 20 62 61 73  |ffset);..    bas|
00003a60  65 20 3a 3d 20 72 2e 30  3b 0a 09 20 20 20 20 52  |e := r.0;..    R|
00003a70  30 4f 66 66 73 65 74 20  3a 3d 20 4e 75 6c 6c 20  |0Offset := Null |
00003a80  7d 3b 0a 0a 09 20 46 34  49 6e 73 74 28 66 2e 6c  |};... F4Inst(f.l|
00003a90  64 6d 2c 20 62 61 73 65  2c 20 72 65 67 6c 69 73  |dm, base, reglis|
00003aa0  74 2c 20 74 79 70 65 29  20 7d 20 7d 20 7d 0a 0a  |t, type) } } }..|
00003ab0  0a 41 4e 44 20 46 6c 75  73 68 50 65 6e 64 69 6e  |.AND FlushPendin|
00003ac0  67 4c 6f 61 64 73 55 70  54 6f 28 74 61 72 67 65  |gLoadsUpTo(targe|
00003ad0  74 29 20 42 45 0a 7b 20  20 4c 45 54 20 70 20 3d  |t) BE.{  LET p =|
00003ae0  20 52 65 76 65 72 73 65  49 6e 50 6c 61 63 65 28  | ReverseInPlace(|
00003af0  70 65 6e 64 69 6e 67 4c  6f 61 64 73 29 3b 0a 20  |pendingLoads);. |
00003b00  20 20 57 48 49 4c 45 20  70 7e 3d 30 20 44 4f 20  |  WHILE p~=0 DO |
00003b10  7b 0a 20 20 20 20 20 20  4c 45 54 20 71 20 3d 20  |{.      LET q = |
00003b20  70 3b 0a 20 20 20 20 20  20 46 6c 75 73 68 50 65  |p;.      FlushPe|
00003b30  6e 64 69 6e 67 4c 6f 61  64 73 52 65 6c 61 74 65  |ndingLoadsRelate|
00003b40  64 54 6f 28 70 2c 20 21  70 29 3b 0a 20 20 20 20  |dTo(p, !p);.    |
00003b50  20 20 70 20 3a 3d 20 46  72 65 65 42 6c 6b 28 70  |  p := FreeBlk(p|
00003b60  2c 20 70 73 2e 73 69 7a  65 29 3b 0a 20 20 20 20  |, ps.size);.    |
00003b70  20 20 49 46 20 71 3d 74  61 72 67 65 74 20 54 48  |  IF q=target TH|
00003b80  45 4e 20 42 52 45 41 4b  20 7d 3b 0a 0a 20 20 20  |EN BREAK };..   |
00003b90  70 65 6e 64 69 6e 67 4c  6f 61 64 73 20 3a 3d 20  |pendingLoads := |
00003ba0  52 65 76 65 72 73 65 49  6e 50 6c 61 63 65 28 70  |ReverseInPlace(p|
00003bb0  29 3b 0a 20 20 20 49 46  20 28 43 47 44 65 62 75  |);.   IF (CGDebu|
00003bc0  67 4d 6f 64 65 26 64 62  2e 54 72 61 63 65 50 53  |gMode&db.TracePS|
00003bd0  29 7e 3d 30 20 54 48 45  4e 20 7b 0a 20 20 20 20  |)~=0 THEN {.    |
00003be0  20 20 57 72 69 74 65 53  28 22 45 78 69 74 20 46  |  WriteS("Exit F|
00003bf0  6c 75 73 68 50 4c 2a 4e  22 29 3b 0a 20 20 20 20  |lushPL*N");.    |
00003c00  20 20 50 72 69 6e 74 50  65 6e 64 69 6e 67 4c 69  |  PrintPendingLi|
00003c10  73 74 28 70 65 6e 64 69  6e 67 4c 6f 61 64 73 29  |st(pendingLoads)|
00003c20  20 7d 0a 7d 0a 0a                                 | }.}..|
00003c26

Our privacy policy is here.
Last updated: 01 May 2025, 21:49 UTC
Website designed by .