WebSVN – Kolibri OS – Diff – /programs/develop/oberon07/source/REG.ob07

 (*
     BSD 2-Clause License
-    Copyright (c) 2018-2020, Anton Krotov
+    Copyright (c) 2018-2021, Anton Krotov
     All rights reserved.
 *)
     R0*  =  0;  R1*  =  1;  R2*  =  2;  R3*  =  3;
     R4*  =  4;  R5*  =  5;  R6*  =  6;  R7*  =  7;
     R8*  =  8;  R9*  =  9;  R10* = 10;  R11* = 11;
     R12* = 12;  R13* = 13;  R14* = 14;  R15* = 15;
-    NVR = 32;
 TYPE
     OP1 = PROCEDURE (arg: INTEGER);
-    OP2 = PROCEDURE (arg1, arg2: INTEGER);
+    OP1 = PROCEDURE (arg: INTEGER);
-    OP3 = PROCEDURE (arg1, arg2, arg3: INTEGER);
+    OP2 = PROCEDURE (arg1, arg2: INTEGER);
     REGS* = RECORD
-        regs*:   SET;
-        stk*:    ARRAY N OF INTEGER;
-        top*:    INTEGER;
         pushed*: INTEGER;
+        regs*:   SET;
-        vregs*:  SET;
-        offs:    ARRAY NVR OF INTEGER;
+        stk*:    ARRAY N OF INTEGER;
-        size:    ARRAY NVR OF INTEGER;
+        top*:    INTEGER;
 END pop;
 PROCEDURE InStk (R: REGS; reg: INTEGER): INTEGER;
 VAR
-    i, n: INTEGER;
+    i: INTEGER;
-BEGIN
-    i := 0;
+BEGIN
-    n := R.top;
-    WHILE (i <= n) & (R.stk[i] # reg) DO
-        INC(i)
-    END;
     i := R.top;
-    IF i > n THEN
+    WHILE (i >= 0) & (R.stk[i] # reg) DO
-        i := -1
+        DEC(i)
 VAR
     n1, n2: INTEGER;
     res: BOOLEAN;
 BEGIN
-    res := FALSE;
+    res := TRUE;
     IF reg1 # reg2 THEN
         n1 := InStk(R, reg1);
         n2 := InStk(R, reg2);
         IF (n1 # -1) & (n2 # -1) THEN
-            R.stk[n1] := reg2;
-            R.stk[n2] := reg1;
+            R.stk[n1] := reg2;
-            R.xch(reg2, reg1);
+            R.stk[n2] := reg1;
-            res := TRUE
+            R.xch(reg2, reg1)
         ELSIF (n1 # -1) & (reg2 IN R.regs) THEN
             R.stk[n1] := reg2;
-            INCL(R.regs, reg1);
-            EXCL(R.regs, reg2);
+            INCL(R.regs, reg1);
-            R.mov(reg2, reg1);
+            EXCL(R.regs, reg2);
-            res := TRUE
+            R.mov(reg2, reg1)
         ELSIF (n2 # -1) & (reg1 IN R.regs) THEN
             R.stk[n2] := reg1;
-            EXCL(R.regs, reg1);
-            INCL(R.regs, reg2);
-            R.mov(reg1, reg2);
+            EXCL(R.regs, reg1);
-            res := TRUE
+            INCL(R.regs, reg2);
+            R.mov(reg1, reg2)
-        END
+        ELSE
-    ELSE
+            res := FALSE
-        res := TRUE
+        END
     IF R.top > 0 THEN
         reg1 := R.stk[R.top - 1];
         reg2 := R.stk[R.top]
     ELSIF R.top = 0 THEN
         reg1 := PopAnyReg(R);
-        reg2 := R.stk[R.top]
+        reg2 := R.stk[1]
-    ELSIF R.top < 0 THEN
+    ELSE (* R.top = -1 *)
         reg2 := PopAnyReg(R);
         reg1 := PopAnyReg(R)
     END
 END BinOp;
         push(R)
     END
 END PushAll_1;
-PROCEDURE Lock* (VAR R: REGS; reg, offs, size: INTEGER);
-BEGIN
-    ASSERT(reg IN R.vregs);
-    ASSERT(offs # 0);
-    ASSERT(size IN {1, 2, 4, 8});
-    R.offs[reg] := offs;
-    R.size[reg] := size
-END Lock;
-PROCEDURE Release* (VAR R: REGS; reg: INTEGER);
-BEGIN
-    ASSERT(reg IN R.vregs);
-    R.offs[reg] := 0
-END Release;
-PROCEDURE Load* (R: REGS; reg: INTEGER);
-VAR
-    offs: INTEGER;
-BEGIN
-    ASSERT(reg IN R.vregs);
-    offs := R.offs[reg];
-    IF offs # 0 THEN
-        R.load(reg, offs, R.size[reg])
-    END
-END Load;
-PROCEDURE Save* (R: REGS; reg: INTEGER);
-VAR
-    offs: INTEGER;
-BEGIN
-    ASSERT(reg IN R.vregs);
-    offs := R.offs[reg];
-    IF offs # 0 THEN
-        R.save(reg, offs, R.size[reg])
-    END
-END Save;
-PROCEDURE Store* (R: REGS);
-VAR
-    i: INTEGER;
-BEGIN
-    FOR i := 0 TO NVR - 1 DO
-        IF i IN R.vregs THEN
-            Save(R, i)
-        END
-    END
-END Store;
-PROCEDURE Restore* (R: REGS);
-VAR
-    i: INTEGER;
-BEGIN
-    FOR i := 0 TO NVR - 1 DO
-        IF i IN R.vregs THEN
-            Load(R, i)
-        END
-    END
-END Restore;
-PROCEDURE Reset* (VAR R: REGS);
-VAR
-    i: INTEGER;
-BEGIN
-    FOR i := 0 TO NVR - 1 DO
-        IF i IN R.vregs THEN
-            R.offs[i] := 0
-        END
-    END
-END Reset;
-PROCEDURE GetVarReg* (R: REGS; offs: INTEGER): INTEGER;
-VAR
-    i, res: INTEGER;
-BEGIN
-    res := -1;
-    i := 0;
-    WHILE i < NVR DO
-        IF (i IN R.vregs) & (R.offs[i] = offs) THEN
-            res := i;
-            i := NVR
-        END;
-        INC(i)
-    END
-    RETURN res
-END GetVarReg;
-PROCEDURE GetAnyVarReg* (R: REGS): INTEGER;
-VAR
-    i, res: INTEGER;
-BEGIN
-    res := -1;
-    i := 0;
-    WHILE i < NVR DO
-        IF (i IN R.vregs) & (R.offs[i] = 0) THEN
-            res := i;
-            i := NVR
-        END;
-        INC(i)
-    END
-    RETURN res
-END GetAnyVarReg;
-PROCEDURE Init* (VAR R: REGS; push, pop: OP1; mov, xch: OP2; load, save: OP3; regs, vregs: SET);
-VAR
     i: INTEGER;
 PROCEDURE Init* (VAR R: REGS; push, pop: OP1; mov, xch: OP2; regs: SET);
 BEGIN
     R.regs := regs;
     R.pushed := 0;
     R.top := -1;
     R.push := push;
-    R.pop  := pop;
-    R.mov  := mov;
-    R.xch  := xch;
-    R.load := load;
-    R.save := save;
-    R.vregs := vregs;
-    FOR i := 0 TO NVR - 1 DO
-        R.offs[i] := 0;
-        R.size[i] := 0
+    R.pop  := pop;
-    END
+    R.mov  := mov;
     R.xch  := xch;

Subversion Repositories Kolibri OS

(root)/programs/develop/oberon07/source/REG.ob07 – Rev 8097 → 8859