/* vax_cpu1.c: VAX complex instructions

   Copyright (c) 1998-2005, Robert M Supnik

   Permission is hereby granted, free of charge, to any person obtaining a
   copy of this software and associated documentation files (the "Software"),
   to deal in the Software without restriction, including without limitation
   the rights to use, copy, modify, merge, publish, distribute, sublicense,
   and/or sell copies of the Software, and to permit persons to whom the
   Software is furnished to do so, subject to the following conditions:

   The above copyright notice and this permission notice shall be included in
   all copies or substantial portions of the Software.

   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
   IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
   FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
   ROBERT M SUPNIK BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
   IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
   CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

   Except as contained in this notice, the name of Robert M Supnik shall not be
   used in advertising or otherwise to promote the sale, use or other dealings
   in this Software without prior written authorization from Robert M Supnik.

   22-Sep-05    RMS     Fixed declarations (from Sterling Garwood)
   30-Sep-04    RMS     Added conditionals for full VAX
                        Moved emulation to vax_cis.c
                        Moved model-specific IPRs to system module
   27-Jan-04    RMS     Added device logging support
                        Fixed EXTxV, INSV double register PC reference fault
   30-Apr-02    RMS     Fixed interrupt/exception handler to clear traps
   17-Apr-02    RMS     Fixed pos > 31 test in bit fields (should be unsigned)
   14-Apr-02    RMS     Fixed prv_mode handling for interrupts (found by Tim Stark)
                        Fixed PROBEx to mask mode to 2b (found by Kevin Handy)

   This module contains the instruction simulators for

   Field instructions:
        - BBS, BBC, BBSSI, BBCCI
        - BBSC, BBCC, BBCS, BBSS
        - EXTV, EXTZV, CMPV, CMPZV
        - FFS, FFC, INSV

   Call/return and push/pop instructions:
        - CALLS, CALLG, RET
        - PUSHR, POPR

   Queue instructions:
        - INSQUE, REMQUE
        - INSQHI, INSQTI, REMQHI, REMQTI

   String instructions:
        - MOVC3, MOVC5, CMPC3, CMPC5
        - LOCC, SKPC, SCANC, SPANC

   Operating system interface instructions:
        - CHMK, CHME, CHMS, CHMU
        - PROBER, PROBEW, REI
        - MTPR, MFPR
        - LDPCTX, SVPCTX
        - (interrupt and exception routine) 
*/

#include "vax_defs.h"

static const uint8 rcnt[128] = {
 0, 4, 4, 8, 4, 8, 8,12, 4, 8, 8,12, 8,12,12,16,        /* 00 - 0F */
 4, 8, 8,12, 8,12,12,16, 8,12,12,16,12,16,16,20,        /* 10 - 1F */
 4, 8, 8,12, 8,12,12,16, 8,12,12,16,12,16,16,20,        /* 20 - 2F */
 8,12,12,16,12,16,16,20,12,16,16,20,16,20,20,24,        /* 30 - 3F */
 4, 8, 8,12, 8,12,12,16, 8,12,12,16,12,16,16,20,        /* 40 - 4F */
 8,12,12,16,12,16,16,20,12,16,16,20,16,20,20,24,        /* 50 - 5F */
 8,12,12,16,12,16,16,20,12,16,16,20,16,20,20,24,        /* 60 - 6F */
12,16,16,20,16,20,20,24,16,20,20,24,20,24,24,28         /* 70 - 7F */
};

int32 last_chm = 0;

extern uint32 *M;
extern const uint32 byte_mask[33];
extern int32 R[16];
extern int32 STK[5];
extern int32 PSL;
extern int32 SCBB, PCBB, SBR, SLR;
extern int32 P0BR, P0LR, P1BR, P1LR;
extern int32 ASTLVL, SISR, mapen;
extern int32 pme;
extern int32 trpirq;
extern int32 p1, p2;
extern int32 fault_PC;
extern int32 pcq[PCQ_SIZE];
extern int32 pcq_p;
extern int32 in_ie;
extern int32 sim_interval;
extern int32 ibcnt, ppc;
extern FILE *sim_deb;
extern DEVICE cpu_dev;

extern int32 Read (uint32 va, int32 lnt, int32 acc);
extern void Write (uint32 va, int32 val, int32 lnt, int32 acc);
extern int32 Test (uint32 va, int32 acc, int32 *status);
extern int32 ReadLP (uint32 pa);
extern void WriteLP (uint32 pa, int32 val);
extern void set_map_reg (void);
extern void zap_tb (int stb);
extern void zap_tb_ent (uint32 va);
extern t_bool chk_tb_ent (uint32 va);
extern int32 ReadIPR (int32 rg);
extern void WriteIPR (int32 rg, int32 val);
extern t_bool BadCmPSL (int32 newpsl);
extern jmp_buf save_env;

/* Branch on bit and no modify
   Branch on bit and modify

        opnd[0] =       position (pos.rl)
        opnd[1] =       register number/memory flag
        opnd[2] =       memory address, if memory
   Returns bit to be tested
*/

int32 op_bb_n (int32 *opnd, int32 acc)
{
int32 pos = opnd[0];
int32 rn = opnd[1];
int32 ea, by;

if (rn >= 0) {                                          /* register? */
    if (((uint32) pos) > 31) RSVD_OPND_FAULT;           /* pos > 31? fault */
    return (R[rn] >> pos) & 1;                          /* get bit */
    }
ea = opnd[2] + (pos >> 3);                              /* base byte addr */
pos = pos & 07;                                         /* pos in byte */
by = Read (ea, L_BYTE, RA);                             /* read byte */
return ((by >> pos) & 1);                               /* get bit */
}

int32 op_bb_x (int32 *opnd, int32 newb, int32 acc)
{
int32 pos = opnd[0];
int32 rn = opnd[1];
int32 ea, by, bit;

if (rn >= 0) {                                          /* register? */
    if (((uint32) pos) > 31) RSVD_OPND_FAULT;           /* pos > 31? fault */
    bit = (R[rn] >> pos) & 1;                           /* get bit */
    R[rn] = newb? (R[rn] | (1u << pos)): (R[rn] & ~(1u << pos));
    return bit;
    }
ea = opnd[2] + (pos >> 3);                              /* base byte addr */
pos = pos & 07;                                         /* pos in byte */
by = Read (ea, L_BYTE, WA);                             /* read byte */
bit = (by >> pos) & 1;                                  /* get bit */
by = newb? (by | (1u << pos)): (by & ~(1u << pos));     /* change bit */
Write (ea, by, L_BYTE, WA);                             /* rewrite byte */
return bit;
}

/* Extract field

        opnd[0] =       position (pos.rl)
        opnd[1] =       size (size.rb)
        opnd[2] =       register number/memory flag
        opnd[3] =       register content/memory address

   If the field is in a register, rn + 1 is in vfldrp1
*/

int32 op_extv (int32 *opnd, int32 vfldrp1, int32 acc)
{
int32 pos = opnd[0];
int32 size = opnd[1];
int32 rn = opnd[2];
uint32 wd = opnd[3];
int32 ba, wd1 = 0;

if (size == 0) return 0;                                /* size 0? field = 0 */
if (size > 32) RSVD_OPND_FAULT;                         /* size > 32? fault */
if (rn >= 0) {                                          /* register? */
    if (((uint32) pos) > 31) RSVD_OPND_FAULT;           /* pos > 31? fault */
    if (((pos + size) > 32) && (rn >= nSP))             /* span 2 reg, PC? */
        RSVD_ADDR_FAULT;                                /* fault */
    if (pos) wd = (wd >> pos) | (((uint32) vfldrp1) << (32 - pos));
    }
else {
    ba = wd + (pos >> 3);                               /* base byte addr */
    pos = (pos & 07) | ((ba & 03) << 3);                /* bit offset */
    ba = ba & ~03;                                      /* lw align base */
    wd = Read (ba, L_LONG, RA);                         /* read field */
    if ((size + pos) > 32) wd1 = Read (ba + 4, L_LONG, RA);
    if (pos) wd = (wd >> pos) | (((uint32) wd1) << (32 - pos));
    }
return wd & byte_mask[size];
}

/* Insert field

        opnd[0] =       field (src.rl)
        opnd[1] =       position (pos.rl)
        opnd[2] =       size (size.rb)
        opnd[3] =       register number/memory flag
        opnd[4] =       register content/memory address

   If the field is in a register, rn + 1 is in vfldrp1
*/

void op_insv (int32 *opnd, int32 vfldrp1, int32 acc)
{
uint32 ins = opnd[0];
int32 pos = opnd[1];
int32 size = opnd[2];
int32 rn = opnd[3];
int32 val, mask, ba, wd, wd1;

if (size == 0) return;                                  /* size = 0? done */
if (size > 32) RSVD_OPND_FAULT;                         /* size > 32? fault */
if (rn >= 0) {                                          /* in registers? */
    if (((uint32) pos) > 31) RSVD_OPND_FAULT;           /* pos > 31? fault */
    if ((pos + size) > 32) {                            /* span two reg? */
        if (rn >= nSP) RSVD_ADDR_FAULT;                 /* if PC, fault */
        mask = byte_mask[pos + size - 32];              /* insert fragment */
        val = ins >> (32 - pos);
        R[rn + 1] = (vfldrp1 & ~mask) | (val & mask);
        }
    mask = byte_mask[size] << pos;                      /* insert field */
    val = ins << pos;
    R[rn] = (R[rn] & ~mask) | (val & mask);
    }
else {
    ba = opnd[4] + (pos >> 3);                          /* base byte addr */
    pos = (pos & 07) | ((ba & 03) << 3);                /* bit offset */
    ba = ba & ~03;                                      /* lw align base */
    wd = Read (ba, L_LONG, WA);                         /* read field */
    if ((size + pos) > 32) {                            /* field span lw? */
        wd1 = Read (ba + 4, L_LONG, WA);                /* read 2nd lw */
        mask = byte_mask[pos + size - 32];              /* insert fragment */
        val = ins >> (32 - pos);
        Write (ba + 4, (wd1 & ~mask) | (val & mask), L_LONG, WA);
        }
    mask = byte_mask[size] << pos;                      /* insert field */
    val = ins << pos;
    Write (ba, (wd & ~mask) | (val & mask), L_LONG, WA);
    }
return;
}

/* Find first */

int32 op_ffs (uint32 wd, int32 size)
{
int32 i;

for (i = 0; wd; i++, wd = wd >> 1) if (wd & 1) return i;
return size;
}

#define CALL_DV         0x8000                          /* DV set */
#define CALL_IV         0x4000                          /* IV set */
#define CALL_MBZ        0x3000                          /* MBZ */
#define CALL_MASK       0x0FFF                          /* mask */
#define CALL_V_SPA      30                              /* SPA */
#define CALL_M_SPA      03
#define CALL_V_S        29                              /* S flag */
#define CALL_S          (1 << CALL_V_S)
#define CALL_V_MASK     16
#define CALL_PUSH(n)    if ((mask >> (n)) & 1) { \
                            tsp = tsp - 4; \
                            Write (tsp, R[n], L_LONG, WA); \
                            }
#define CALL_GETSPA(x)  (((x) >> CALL_V_SPA) & CALL_M_SPA)
#define RET_POP(n)      if ((spamask >> (n + CALL_V_MASK)) & 1) { \
                            R[n] = Read (tsp, L_LONG, RA); \
                            tsp = tsp + 4; \
                            }
#define PUSHR_PUSH(n)   CALL_PUSH(n)
#define POPR_POP(n)     if ((mask >> (n)) & 1) { \
                            R[n] = Read (SP, L_LONG, RA); \
                            SP = SP + 4; \
                            }

/* CALLG, CALLS

        opnd[0]         =       argument (arg.rx)
        opnd[1]         =       procedure address (adr.ab)
        flg             =       CALLG (0), CALLS (1)    
        acc             =       access mask

        These instructions implement a generalized procedure call and return facility.
        The principal data structure involved is the stack frame.
        CALLS and CALLG build a stack frame in the following format:


        +---------------------------------------------------------------+
        |                 condition handler (initially 0)               |
        +---+-+-+-----------------------+--------------------+----------+       
        |SPA|S|0|   entry mask<11:0>    |   saved PSW<15:5>  | 0 0 0 0 0|
        +---+-+-+-----------------------+--------------------+----------+
        |                           saved AP                            |
        +---------------------------------------------------------------+
        |                           saved FP                            |
        +---------------------------------------------------------------+
        |                           saved PC                            |
        +---------------------------------------------------------------+
        |                           saved R0 (...)                      |
        +---------------------------------------------------------------+
                .                                               .       
                .       (according to entry mask<11:0>)         .       
                .                                               .       
        +---------------------------------------------------------------+
        |                           saved R11 (...)                     |
        +---------------+-----------------------------------------------+
        | #args (CALLS) |       (0-3 bytes needed to align stack)       |
        +---------------+-----------------------------------------------+
        |               |       0       0       0       (CALLS)         |
        +---------------+-----------------------------------------------+

        RET expects to find this structure based at the frame pointer (FP).

        For CALLG and CALLS, the entry mask specifies the new settings of
        DV and IV, and also which registers are to be saved on entry:

         15 14 13 12 11                               0
        +--+--+-----+----------------------------------+
        |DV|IV| MBZ |           register mask          |
        +--+--+-----+----------------------------------+

        CALLG/CALLS operation:

                read the procedure entry mask
                make sure that the stack frame will be accessible
                if CALLS, push the number of arguments onto the stack
                align the stack to the next lower longword boundary
                push the registers specified by the procedure entry mask
                push PC, AP, FP, saved SPA/S0/mask/PSW, condition handler
                update PC, SP, FP, AP
                update PSW traps, clear condition codes
*/

int32 op_call (int32 *opnd, t_bool gs, int32 acc)
{
int32 addr = opnd[1];
int32 mask, stklen, tsp, wd;

mask = Read (addr, L_WORD, RA);                         /* get proc mask */
if (mask & CALL_MBZ) RSVD_OPND_FAULT;                   /* test mbz */
stklen = rcnt[mask & 077] + rcnt[(mask >> 6) & 077] + (gs? 24: 20);
Read (SP - stklen, L_BYTE, WA);                         /* wchk stk */
if (gs) {
    Write (SP - 4, opnd[0], L_LONG, WA);                /* if S, push #arg */
    SP = SP - 4;                                        /* stack is valid */
    }
tsp = SP & ~CALL_M_SPA;                                 /* lw align stack */
CALL_PUSH (11);                                         /* check mask bits, */
CALL_PUSH (10);                                         /* push sel reg */
CALL_PUSH (9);
CALL_PUSH (8);
CALL_PUSH (7);
CALL_PUSH (6);
CALL_PUSH (5);
CALL_PUSH (4);
CALL_PUSH (3);
CALL_PUSH (2);
CALL_PUSH (1);
CALL_PUSH (0);
Write (tsp - 4, PC, L_LONG, WA);                        /* push PC */
Write (tsp - 8, FP, L_LONG, WA);                        /* push AP */
Write (tsp - 12, AP, L_LONG, WA);                       /* push FP */
wd = ((SP & CALL_M_SPA) << CALL_V_SPA) | (gs << CALL_V_S) |
    ((mask & CALL_MASK) << CALL_V_MASK) | (PSL & 0xFFE0);
Write (tsp - 16, wd, L_LONG, WA);                       /* push spa/s/mask/psw */
Write (tsp - 20, 0, L_LONG, WA);                        /* push cond hdlr */
if (gs) AP = SP;                                        /* update AP */
else AP = opnd[0];
SP = FP = tsp - 20;                                     /* update FP, SP */
PSL = (PSL & ~(PSW_DV | PSW_FU | PSW_IV)) |             /* update PSW */
    ((mask & CALL_DV)? PSW_DV: 0) |
    ((mask & CALL_IV)? PSW_IV: 0);
JUMP (addr + 2);                                        /* new PC */
return 0;                                               /* new cc's */
}

int32 op_ret (int32 acc)
{
int32 spamask, stklen, newpc, nargs;
int32 tsp = FP;

spamask = Read (tsp + 4, L_LONG, RA);                   /* spa/s/mask/psw */
if (spamask & PSW_MBZ) RSVD_OPND_FAULT;                 /* test mbz */
stklen = rcnt[(spamask >> CALL_V_MASK) & 077] +
    rcnt[(spamask >> (CALL_V_MASK + 6)) & 077] + ((spamask & CALL_S)? 23: 19);
Read (tsp + stklen, L_BYTE, RA);                        /* rchk stk end */
AP = Read (tsp + 8, L_LONG, RA);                        /* restore AP */
FP = Read (tsp + 12, L_LONG, RA);                       /* restore FP */
newpc = Read (tsp + 16, L_LONG, RA);                    /* get new PC */
tsp = tsp + 20;                                         /* update stk ptr */
RET_POP (0);                                            /* chk mask bits, */
RET_POP (1);                                            /* pop sel regs */
RET_POP (2);
RET_POP (3);
RET_POP (4);
RET_POP (5);
RET_POP (6);
RET_POP (7);
RET_POP (8);
RET_POP (9);
RET_POP (10);
RET_POP (11);
SP = tsp + CALL_GETSPA (spamask);                       /* dealign stack */
if (spamask & CALL_S) {                                 /* CALLS? */
    nargs = Read (SP, L_LONG, RA);                      /* read #args */
    SP = SP + 4 + ((nargs & BMASK) << 2);               /* pop arg list */
    }
PSL = (PSL & ~(PSW_DV | PSW_FU | PSW_IV | PSW_T)) |     /* reset PSW */
    (spamask & (PSW_DV | PSW_FU | PSW_IV | PSW_T));
JUMP (newpc);                                           /* set new PC */
return spamask & (CC_MASK);                             /* return cc's */
}

/* PUSHR and POPR */

void op_pushr (int32 *opnd, int32 acc)
{
int32 mask = opnd[0] & 0x7FFF;
int32 stklen, tsp;

if (mask == 0) return;
stklen = rcnt[(mask >> 7) & 0177] + rcnt[mask & 0177] +
    ((mask & 0x4000)? 4: 0);
Read (SP - stklen, L_BYTE, WA);                         /* wchk stk end */
tsp = SP;                                               /* temp stk ptr */
PUSHR_PUSH (14);                                        /* check mask bits, */
PUSHR_PUSH (13);                                        /* push sel reg */
PUSHR_PUSH (12);
PUSHR_PUSH (11);
PUSHR_PUSH (10);
PUSHR_PUSH (9);
PUSHR_PUSH (8);
PUSHR_PUSH (7);
PUSHR_PUSH (6);
PUSHR_PUSH (5);
PUSHR_PUSH (4);
PUSHR_PUSH (3);
PUSHR_PUSH (2);
PUSHR_PUSH (1);
PUSHR_PUSH (0);
SP = tsp;                                               /* update stk ptr */
return;
}

void op_popr (int32 *opnd, int32 acc)
{
int32 mask = opnd[0] & 0x7FFF;
int32 stklen;

if (mask == 0) return;
stklen = rcnt[(mask >> 7) & 0177] + rcnt[mask & 0177] +
    ((mask & 0x4000)? 4: 0);
Read (SP + stklen - 1, L_BYTE, RA);                     /* rchk stk end */
POPR_POP (0);                                           /* check mask bits, */
POPR_POP (1);                                           /* pop sel regs */
POPR_POP (2);
POPR_POP (3);
POPR_POP (4);
POPR_POP (5);
POPR_POP (6);
POPR_POP (7);
POPR_POP (8);
POPR_POP (9);
POPR_POP (10);
POPR_POP (11);
POPR_POP (12);
POPR_POP (13);
if (mask & 0x4000) SP = Read (SP, L_LONG, RA);          /* if pop SP, no inc */
return;
}

/* INSQUE

        opnd[0] =       entry address (ent.ab)
        opnd[1] =       predecessor address (pred.ab)

   Condition codes returned to caller on comparison of (ent):(ent+4).
   All writes must be checked before any writes are done.

   Pictorially:

        BEFORE                  AFTER

        P:      S               P:      E       W
        P+4:    (n/a)           P+4:    (n/a)

        E:      ---             E:      S       W
        E+4:    ---             E+4:    P       W

        S:      (n/a)           S:      (n/a)
        S+4:    P               S+4:    E       W

   s+4 must be tested with a read modify rather than a probe, as it
   might be misaligned.
*/

int32 op_insque (int32 *opnd, int32 acc)
{
int32 p = opnd[1];
int32 e = opnd[0];
int32 s, cc;

s = Read (p, L_LONG, WA);                               /* s <- (p), wchk */
Read (s + 4, L_LONG, WA);                               /* wchk s+4 */
Read (e + 4, L_LONG, WA);                               /* wchk e+4 */
Write (e, s, L_LONG, WA);                               /* (e) <- s */
Write (e + 4, p, L_LONG, WA);                           /* (e+4) <- p */
Write (s + 4, e, L_LONG, WA);                           /* (s+4) <- ent */
Write (p, e, L_LONG, WA);                               /* (p) <- e */
CC_CMP_L (s, p);                                        /* set cc's */
return cc;
}

/* REMQUE

        opnd[0] =       entry address (ent.ab)
        opnd[1:2] =     destination address (dst.wl)

   Condition codes returned to caller based on (ent):(ent+4).
   All writes must be checked before any writes are done.

   Pictorially:

        BEFORE                  AFTER

        P:      E               P:      S       W
        P+4:    (n/a)           P+4:    (n/a)

        E:      S       W       E:      S
        E+4:    P       W       E+4:    P

        S:      (n/a)           S:      (n/a)
        S+4:    E       W       S+4:    P

*/

int32 op_remque (int32 *opnd, int32 acc)
{
int32 e = opnd[0];
int32 s, p, cc;

s = Read (e, L_LONG, RA);                               /* s <- (e) */
p = Read (e + 4, L_LONG, RA);                           /* p <- (e+4) */
CC_CMP_L (s, p);                                        /* set cc's */
if (e != p) {                                           /* queue !empty? */
    Read (s + 4, L_LONG, WA);                           /* wchk (s+4) */
    if (opnd[1] < 0) Read (opnd[2], L_LONG, WA);        /* wchk dest */
    Write (p, s, L_LONG, WA);                           /* (p) <- s */
    Write (s + 4, p, L_LONG, WA);                       /* (s+4) <- p */
    }
else cc = cc | CC_V;                                    /* else set v */
if (opnd[1] >= 0) R[opnd[1]] = e;                       /* store result */
else Write (opnd[2], e, L_LONG, WA);
return cc;
}

/* Interlocked insert instructions

        opnd[0] =       entry (ent.ab)
        opnd[1] =       header (hdr.aq)

        Pictorially:

        BEFORE          AFTER INSQHI            AFTER INSQTI

        H:      A-H     H:      D-H     W       H:      A-H     W for interlock
        H+4:    C-H     H+4:    C-H             H+4:    D-H     W

        A:      B-A     A:      B-A             A:      B-A
        A+4:    H-A     A+4:    D-A     W       A+4:    H-A

        B:      C-B     B:      C-B             B:      C-B
        B+4:    A-B     B+4:    A-B             B+4:    A-B

        C:      H-C     C:      H-C             C:      D-C     W
        C+4:    B-C     C+4:    B-C             C+4:    B-C

        D:      ---     D:      A-D     W       D:      H-D     W
        D+4:    ---     D+4:    H-D     W       D+4:    C-D     W

        Note that the queue header, the entry to be inserted, and all
        the intermediate entries that are "touched" in any way must be
        QUADWORD aligned.  In addition, the header and  the entry must
        not be equal.
*/

int32 op_insqhi (int32 *opnd, int32 acc)
{
int32 h = opnd[1];
int32 d = opnd[0];
int32 a, t;

if ((h == d) || ((h | d) & 07)) RSVD_OPND_FAULT;        /* h, d quad align? */
Read (d, L_BYTE, WA);                                   /* wchk ent */
a = Read (h, L_LONG, WA);                               /* a <- (h), wchk */
if (a & 06) RSVD_OPND_FAULT;                            /* chk quad align */
if (a & 01) return CC_C;                                /* busy, cc = 0001 */
Write (h, a | 1, L_LONG, WA);                           /* get interlock */
a = a + h;                                              /* abs addr of a */
if (Test (a, WA, &t) < 0) Write (h, a - h, L_LONG, WA); /* wtst a, rls if err */
Write (a + 4, d - a, L_LONG, WA);                       /* (a+4) <- d-a, flt ok */
Write (d, a - d, L_LONG, WA);                           /* (d) <- a-d */
Write (d + 4, h - d, L_LONG, WA);                       /* (d+4) <- h-d */
Write (h, d - h, L_LONG, WA);                           /* (h) <- d-h, rls int */
return (a == h)? CC_Z: 0;                               /* Z = 1 if a = h */
}

int32 op_insqti (int32 *opnd, int32 acc)
{
int32 h = opnd[1];
int32 d = opnd[0];
int32 a, c, t;

if ((h == d) || ((h | d) & 07)) RSVD_OPND_FAULT;        /* h, d quad align? */
Read (d, L_BYTE, WA);                                   /* wchk ent */
a = Read (h, L_LONG, WA);                               /* a <- (h), wchk */
if (a == 0) return op_insqhi (opnd, acc);               /* if empty, ins hd */
if (a & 06) RSVD_OPND_FAULT;                            /* chk quad align */
if (a & 01) return CC_C;                                /* busy, cc = 0001 */
Write (h, a | 1, L_LONG, WA);                           /* acquire interlock */
c = Read (h + 4, L_LONG, RA) + h;                       /* c <- (h+4) + h */
if (c & 07) {                                           /* c quad aligned? */
    Write (h, a, L_LONG, WA);                           /* release interlock */
    RSVD_OPND_FAULT;                                    /* fault */
    }
if (Test (c, WA, &t) < 0) Write (h, a, L_LONG, WA);     /* wtst c, rls if err */
Write (c, d - c, L_LONG, WA);                           /* (c) <- d-c, flt ok */
Write (d, h - d, L_LONG, WA);                           /* (d) <- h-d */
Write (d + 4, c - d, L_LONG, WA);                       /* (d+4) <- c-d */
Write (h + 4, d - h, L_LONG, WA);                       /* (h+4) <- d-h */
Write (h, a, L_LONG, WA);                               /* release interlock */
return 0;                                               /* q >= 2 entries */
}

/* Interlocked remove instructions

        opnd[0] =       header (hdr.aq)
        opnd[1:2] =     destination address (dst.al)

        Pictorially:

        BEFORE          AFTER REMQHI            AFTER REMQTI

        H:      A-H     H:      B-H     W       H:      A-H     W for interlock
        H+4:    C-H     H+4:    C-H             H+4:    B-H     W

        A:      B-A     A:      B-A     R       A:      B-A
        A+4:    H-A     A+4:    H-A             A+4:    H-A

        B:      C-B     B:      C-B             B:      H-B     W
        B+4:    A-B     B+4:    H-B     W       B+4:    A-B

        C:      H-C     C:      H-C             C:      H-C
        C+4:    B-C     C+4:    B-C             C+4:    B-C     R

        Note that the queue header and all the  entries that are
        "touched" in any way must be QUADWORD aligned.  In addition,
        the header and the destination must not be equal.
*/

int32 op_remqhi (int32 *opnd, int32 acc)
{
int32 h = opnd[0];
int32 ar, a, b, t;

if (h & 07) RSVD_OPND_FAULT;                            /* h quad aligned? */
if (opnd[1] < 0) {                                      /* mem destination? */
    if (h == opnd[2]) RSVD_OPND_FAULT;                  /* hdr = dst? */
    Read (opnd[2], L_LONG, WA);                         /* wchk dst */
    }
ar = Read (h, L_LONG, WA);                              /* ar <- (h) */
if (ar & 06) RSVD_OPND_FAULT;                           /* a quad aligned? */
if (ar & 01) return CC_V | CC_C;                        /* busy, cc = 0011 */
a = ar + h;                                             /* abs addr of a */
if (ar) {                                               /* queue not empty? */
    Write (h, ar | 1, L_LONG, WA);                      /* acquire interlock */
    if (Test (a, RA, &t) < 0)                           /* read tst a */
         Write (h, ar, L_LONG, WA);                     /* release if error */
    b = Read (a, L_LONG, RA) + a;                       /* b <- (a)+a, flt ok */
    if (b & 07) {                                       /* b quad aligned? */
        Write (h, ar, L_LONG, WA);                      /* release interlock */
        RSVD_OPND_FAULT;                                /* fault */
        }
    if (Test (b, WA, &t) < 0)                           /* write test b */
        Write (h, ar, L_LONG, WA);                      /* release if err */
    Write (b + 4, h - b, L_LONG, WA);                   /* (b+4) <- h-b, flt ok */
    Write (h, b - h, L_LONG, WA);                       /* (h) <- b-h, rls int */
    }
if (opnd[1] >= 0) R[opnd[1]] = a;                       /* store result */
else Write (opnd[2], a, L_LONG, WA);
if (ar == 0) return CC_Z | CC_V;                        /* empty, cc = 0110 */
return (b == h)? CC_Z: 0;                               /* if b = h, q empty */
}

int32 op_remqti (int32 *opnd, int32 acc)
{
int32 h = opnd[0];
int32 ar, b, c, t;

if (h & 07) RSVD_OPND_FAULT;                            /* h quad aligned? */
if (opnd[1] < 0) {                                      /* mem destination? */
    if (h == opnd[2]) RSVD_OPND_FAULT;                  /* hdr = dst? */
    Read (opnd[2], L_LONG, WA);                         /* wchk dst */
    }
ar = Read (h, L_LONG, WA);                              /* a <- (h) */
if (ar & 06) RSVD_OPND_FAULT;                           /* a quad aligned? */
if (ar & 01) return CC_V | CC_C;                        /* busy, cc = 0011 */
if (ar) {                                               /* queue not empty */
    Write (h, ar | 1, L_LONG, WA);                      /* acquire interlock */
    c = Read (h + 4, L_LONG, RA);                       /* c <- (h+4) */
    if (ar == c) {                                      /* single entry? */
        Write (h, ar, L_LONG, WA);                      /* release interlock */
        return op_remqhi (opnd, acc);                   /* treat as remqhi */
        }
    if (c & 07) {                                       /* c quad aligned? */
        Write (h, ar, L_LONG, WA);                      /* release interlock */
        RSVD_OPND_FAULT;                                /* fault */
        }
    c = c + h;                                          /* abs addr of c */
    if (Test (c + 4, RA, &t) < 0)                       /* read test c+4 */
        Write (h, ar, L_LONG, WA);                      /* release if error */
    b = Read (c + 4, L_LONG, RA) + c;                   /* b <- (c+4)+c, flt ok */
    if (b & 07) {                                       /* b quad aligned? */
        Write (h, ar, L_LONG, WA);                      /* release interlock */
        RSVD_OPND_FAULT;                                /* fault */
        }
    if (Test (b, WA, &t) < 0)                           /* write test b */
        Write (h, ar, L_LONG, WA);                      /* release if error */
    Write (b, h - b, L_LONG, WA);                       /* (b) <- h-b */
    Write (h + 4, b - h, L_LONG, WA);                   /* (h+4) <- b-h */
    Write (h, ar, L_LONG, WA);                          /* release interlock */
    }
else c = h;                                             /* empty, result = h */
if (opnd[1] >= 0) R[opnd[1]] = c;                       /* store result */
else Write (opnd[2], c, L_LONG, WA);
if (ar == 0) return CC_Z | CC_V;                        /* empty, cc = 0110 */
return 0;                                               /* q can't be empty */
}

/* String instructions */

#define MVC_FRWD        0                               /* movc state codes */
#define MVC_BACK        1
#define MVC_FILL        3                               /* must be 3 */
#define MVC_M_STATE     3
#define MVC_V_CC        2

/* MOVC3, MOVC5

   if PSL<fpd> = 0 and MOVC3,
        opnd[0] =       length
        opnd[1] =       source address
        opnd[2] =       dest address

   if PSL<fpd> = 0 and MOVC5,
        opnd[0] =       source length
        opnd[1] =       source address
        opnd[2] =       fill
        opnd[3] =       dest length
        opnd[4] =       dest address

   if PSL<fpd> = 1,
        R0      =       delta-PC/fill/initial move length
        R1      =       current source address
        R2      =       current move length
        R3      =       current dest address
        R4      =       dstlen - srclen (loop count if fill state)
        R5      =       cc/state
*/

int32 op_movc (int32 *opnd, int32 movc5, int32 acc)
{
int32 i, cc, fill, wd;
int32 j, lnt, mlnt[3];
static const int32 looplnt[3] = { L_BYTE, L_LONG, L_BYTE };

if (PSL & PSL_FPD) {                                    /* FPD set? */
    SETPC (fault_PC + STR_GETDPC (R[0]));               /* reset PC */
    fill = STR_GETCHR (R[0]);                           /* get fill */
    R[2] = R[2] & STR_LNMASK;                           /* mask lengths */
    if (R[4] > 0) R[4] = R[4] & STR_LNMASK;
    }
else {
    R[1] = opnd[1];                                     /* src addr */
    if (movc5) {                                        /* MOVC5? */
        R[2] = (opnd[0] < opnd[3])? opnd[0]: opnd[3];
        R[3] = opnd[4];                                 /* dst addr */
        R[4] = opnd[3] - opnd[0];                       /* dstlen - srclen */
        fill = opnd[2];                                 /* set fill */
        CC_CMP_W (opnd[0], opnd[3]);                    /* set cc's */
        }
    else {
        R[2] = opnd[0];                                 /* mvlen = srclen */
        R[3] = opnd[2];                                 /* dst addr */
        R[4] = fill = 0;                                /* no fill */
        cc = CC_Z;                                      /* set cc's */
        }
    R[0] = STR_PACK (fill, R[2]);                       /* initial mvlen */
    if (R[2]) {                                         /* any move? */
        if (((uint32) R[1]) < ((uint32) R[3])) {
            R[1] = R[1] + R[2];                         /* backward, adjust */
            R[3] = R[3] + R[2];                         /* addr to end */
            R[5] = MVC_BACK;                            /* set state */
            }
        else R[5] = MVC_FRWD;                           /* fwd, set state */
        }
    else R[5] = MVC_FILL;                               /* fill, set state */
    R[5] = R[5] | (cc << MVC_V_CC);                     /* pack with state */
    PSL = PSL | PSL_FPD;                                /* set FPD */
	}

/* At this point,

        R0      =       delta PC'fill'initial move length
        R1      =       current src addr
        R2      =       current move length
        R3      =       current dst addr
        R4      =       dst length - src length
        R5      =       cc'state
*/

switch (R[5] & MVC_M_STATE) {                           /* case on state */

    case MVC_FRWD:                                      /* move forward */
        mlnt[0] = (4 - R[3]) & 3;                       /* length to align */
        if (mlnt[0] > R[2]) mlnt[0] = R[2];             /* cant exceed total */
        mlnt[1] = (R[2] - mlnt[0]) & ~03;               /* aligned length */
        mlnt[2] = R[2] - mlnt[0] - mlnt[1];             /* tail */
        for (i = 0; i < 3; i++) {                       /* head, align, tail */
            lnt = looplnt[i];                           /* length for loop */
            for (j = 0; j < mlnt[i]; j = j + lnt, sim_interval--) {
                wd = Read (R[1], lnt, RA);              /* read src */
                Write (R[3], wd, lnt, WA);              /* write dst */
                R[1] = R[1] + lnt;                      /* inc src addr */
                R[3] = R[3] + lnt;                      /* inc dst addr */
                R[2] = R[2] - lnt;                      /* dec move lnt */
                }
            }
        goto FILL;                                      /* check for fill */

    case MVC_BACK:                                      /* move backward */
        mlnt[0] = R[3] & 03;                            /* length to align */
        if (mlnt[0] > R[2]) mlnt[0] = R[2];             /* cant exceed total */
        mlnt[1] = (R[2] - mlnt[0]) & ~03;               /* aligned length */
        mlnt[2] = R[2] - mlnt[0] - mlnt[1];             /* tail */
        for (i = 0; i < 3; i++) {                       /* head, align, tail */
            lnt = looplnt[i];                           /* length for loop */
            for (j = 0; j < mlnt[i]; j = j + lnt, sim_interval--) {
                wd = Read (R[1] - lnt, lnt, RA);        /* read src */
                Write (R[3] - lnt, wd, lnt, WA);        /* write dst */
                R[1] = R[1] - lnt;                      /* dec src addr */
                R[3] = R[3] - lnt;                      /* dec dst addr */
                R[2] = R[2] - lnt;                      /* dec move lnt */
                }
            }
        R[1] = R[1] + (R[0] & STR_LNMASK);              /* final src addr */
        R[3] = R[3] + (R[0] & STR_LNMASK);              /* final dst addr */

    case MVC_FILL:                                      /* fill */
    FILL:
        if (R[4] <= 0) break;                           /* any fill? */
        R[5] = R[5] | MVC_FILL;                         /* set state */
        mlnt[0] = (4 - R[3]) & 3;                       /* length to align */
        if (mlnt[0] > R[4]) mlnt[0] = R[4];             /* cant exceed total */
        mlnt[1] = (R[4] - mlnt[0]) & ~03;               /* aligned length */
        mlnt[2] = R[4] - mlnt[0] - mlnt[1];             /* tail */
        for (i = 0; i < 3; i++) {                       /* head, align, tail */
            lnt = looplnt[i];                           /* length for loop */
            fill = fill & BMASK;                        /* fill for loop */
            if (lnt == L_LONG) fill = 
                (((uint32) fill) << 24) | (fill << 16) | (fill << 8) | fill;
            for (j = 0; j < mlnt[i]; j = j + lnt, sim_interval--) {
                Write (R[3], fill, lnt, WA);            /* write fill */
                R[3] = R[3] + lnt;                      /* inc dst addr */
                R[4] = R[4] - lnt;                      /* dec fill lnt */
                }
            }
        break;

    default:                                            /* bad state */
        RSVD_OPND_FAULT;                                /* you lose */
        }

PSL = PSL & ~PSL_FPD;                                   /* clear FPD */
cc = (R[5] >> MVC_V_CC) & CC_MASK;                      /* get cc's */
R[0] = NEG (R[4]);                                      /* set R0 */
R[2] = R[4] = R[5] = 0;                                 /* clear reg */
return cc;
}

/* CMPC3, CMPC5

   if PSL<fpd> = 0 and CMPC3,
        opnd[0] =       length
        opnd[1] =       source1 address
        opnd[2] =       source2 address

   if PSL<fpd> = 0 and CMPC5,
        opnd[0] =       source1 length
        opnd[1] =       source1 address
        opnd[2] =       fill
        opnd[3] =       source2 length
        opnd[4] =       source2 address

   if PSL<fpd> = 1,
        R0      =       delta-PC/fill/source1 length
        R1      =       source1 address
        R2      =       source2 length
        R3      =       source2 address
*/

int32 op_cmpc (int32 *opnd, int32 cmpc5, int32 acc)
{
int32 cc, s1, s2, fill;

if (PSL & PSL_FPD) {                                    /* FPD set? */
    SETPC (fault_PC + STR_GETDPC (R[0]));               /* reset PC */
    fill = STR_GETCHR (R[0]);                           /* get fill */
    }
else {
    R[1] = opnd[1];                                     /* src1len */
    if (cmpc5) {                                        /* CMPC5? */
        R[2] = opnd[3];                                 /* get src2 opnds */
        R[3] = opnd[4];
        fill = opnd[2];
        }
    else {
        R[2] = opnd[0];                                 /* src2len = src1len */
        R[3] = opnd[2];
        fill = 0;
        }
    R[0] = STR_PACK (fill, opnd[0]);                    /* src1len + FPD data */
    PSL = PSL | PSL_FPD;
    }
R[2] = R[2] & STR_LNMASK;                               /* mask src2len */
for (s1 = s2 = 0; ((R[0] | R[2]) & STR_LNMASK) != 0; sim_interval--) {
    if (R[0] & STR_LNMASK) s1 = Read (R[1], L_BYTE, RA);        /* src1? read */
    else s1 = fill;                                     /* no, use fill */
    if (R[2]) s2 = Read (R[3], L_BYTE, RA);             /* src2? read */
    else s2 = fill;                                     /* no, use fill */
    if (s1 != s2) break;                                /* src1 = src2? */
    if (R[0] & STR_LNMASK) {                            /* if src1, decr */
        R[0] = (R[0] & ~STR_LNMASK) | ((R[0] - 1) & STR_LNMASK);
        R[1] = R[1] + 1;
        }
    if (R[2]) {                                         /* if src2, decr */
        R[2] = (R[2] - 1) & STR_LNMASK;
        R[3] = R[3] + 1;
        }
    }
PSL = PSL & ~PSL_FPD;                                   /* clear FPD */
CC_CMP_B (s1, s2);                                      /* set cc's */
R[0] = R[0] & STR_LNMASK;                               /* clear packup */
return cc;
}

/* LOCC, SKPC

   if PSL<fpd> = 0,
        opnd[0] =       match character
        opnd[1] =       source length
        opnd[2] =       source address

   if PSL<fpd> = 1,
        R0      =       delta-PC/match/source length
        R1      =       source address
*/

int32 op_locskp (int32 *opnd, int32 skpc, int32 acc)
{
int32 c, match;

if (PSL & PSL_FPD) {                                    /* FPD set? */
    SETPC (fault_PC + STR_GETDPC (R[0]));               /* reset PC */
    match = STR_GETCHR (R[0]);                          /* get match char */
    }
else {
    match = opnd[0];                                    /* get operands */
    R[0] = STR_PACK (match, opnd[1]);                   /* src len + FPD data */
    R[1] = opnd[2];                                     /* src addr */
    PSL = PSL | PSL_FPD;
    }
for ( ; (R[0] & STR_LNMASK) != 0; sim_interval-- ) {    /* loop thru string */
    c = Read (R[1], L_BYTE, RA);                        /* get src byte */
    if ((c == match) ^ skpc) break;                     /* match & locc? */
    R[0] = (R[0] & ~STR_LNMASK) | ((R[0] - 1) & STR_LNMASK);
    R[1] = R[1] + 1;                                    /* incr src1adr */
    }
PSL = PSL & ~PSL_FPD;                                   /* clear FPD */
R[0] = R[0] & STR_LNMASK;                               /* clear packup */
return (R[0]? 0: CC_Z);                                 /* set cc's */
}

/* SCANC, SPANC

   if PSL<fpd> = 0,
        opnd[0] =       source length
        opnd[1] =       source address
        opnd[2] =       table address
        opnd[3] =       mask

   if PSL<fpd> = 1,
        R0      =       delta-PC/char/source length
        R1      =       source address
        R3      =       table address
*/

int32 op_scnspn (int32 *opnd, int32 spanc, int32 acc)
{
int32 c, t, mask;

if (PSL & PSL_FPD) {                                    /* FPD set? */
    SETPC (fault_PC + STR_GETDPC (R[0]));               /* reset PC */
    mask = STR_GETCHR (R[0]);                           /* get mask */
    }
else {
    R[1] = opnd[1];                                     /* src addr */
    R[3] = opnd[2];                                     /* tblad */
    mask = opnd[3];                                     /* mask */
    R[0] = STR_PACK (mask, opnd[0]);                    /* srclen + FPD data */
    PSL = PSL | PSL_FPD;
    }
for ( ; (R[0] & STR_LNMASK) != 0; sim_interval-- ) {    /* loop thru string */
    c = Read (R[1], L_BYTE, RA);                        /* get byte */
    t = Read (R[3] + c, L_BYTE, RA);                    /* get table ent */
    if (((t & mask) != 0) ^ spanc) break;               /* test vs instr */
    R[0] = (R[0] & ~STR_LNMASK) | ((R[0] - 1) & STR_LNMASK);
    R[1] = R[1] + 1;
    }
PSL = PSL & ~PSL_FPD;
R[0] = R[0] & STR_LNMASK;                               /* clear packup */
R[2] = 0;
return (R[0]? 0: CC_Z);
}

/* Operating system interfaces */

/* Interrupt or exception

        vec     =       SCB vector
        cc      =       condition codes
        ipl     =       new IPL if interrupt
        ei      =       -1: severe exception
                        0:  normal exception
                        1:  interrupt
*/

int32 intexc (int32 vec, int32 cc, int32 ipl, int ei)
{
int32 oldpsl = PSL | cc;
int32 oldcur = PSL_GETCUR (oldpsl);
int32 oldsp = SP;
int32 newpsl;
int32 newpc;
int32 acc;

in_ie = 1;                                              /* flag int/exc */
CLR_TRAPS;                                              /* clear traps */
newpc = ReadLP ((SCBB + vec) & PAMASK);                 /* read new PC */
if (ei < 0) newpc = newpc | 1;                          /* severe? on istk */
if (newpc & 2) ABORT (STOP_ILLVEC);                     /* bad flags? */
if (oldpsl & PSL_IS) newpsl = PSL_IS;                   /* on int stk? */
else {
    STK[oldcur] = SP;                                   /* no, save cur stk */
    if (newpc & 1) {                                    /* to int stk? */
        newpsl = PSL_IS;                                /* flag */
        SP = IS;                                        /* new stack */
        }
    else {
        newpsl = 0;                                     /* to ker stk */
        SP = KSP;                                       /* new stack */
        }
    }
if (ei > 0) PSL = newpsl | (ipl << PSL_V_IPL);          /* if int, new IPL */
else PSL = newpsl | ((newpc & 1)? PSL_IPL1F: (oldpsl & PSL_IPL)) |
    (oldcur << PSL_V_PRV);
if (DEBUG_PRI (cpu_dev, LOG_CPU_I)) fprintf (sim_deb,
    ">>IEX: PC=%08x, PSL=%08x, SP=%08x, VEC=%08x, nPSL=%08x, nSP=%08x\n",
    PC, oldpsl, oldsp, vec, PSL, SP);
acc = ACC_MASK (KERN);                                  /* new mode is kernel */
Write (SP - 4, oldpsl, L_LONG, WA);                     /* push old PSL */
Write (SP - 8, PC, L_LONG, WA);                         /* push old PC */
SP = SP - 8;                                            /* update stk ptr */
JUMP (newpc & ~3);                                      /* change PC */
in_ie = 0;                                              /* out of flows */
return 0;
}

/* CHMK, CHME, CHMS, CHMU

        opnd[0] =       operand
*/

int32 op_chm (int32 *opnd, int32 cc, int32 opc)
{
int32 mode = opc & PSL_M_MODE;
int32 cur = PSL_GETCUR (PSL);
int32 tsp, newpc, acc, sta;

if (PSL & PSL_IS) ABORT (STOP_CHMFI);
newpc = ReadLP ((SCBB + SCB_CHMK + (mode << 2)) & PAMASK);
if (cur < mode) mode = cur;                             /* only inward */
STK[cur] = SP;                                          /* save stack */
tsp = STK[mode];                                        /* get new stk */
acc = ACC_MASK (mode);                                  /* set new mode */
if (Test (p2 = tsp - 1, WA, &sta) < 0) {                /* probe stk */
    p1 = MM_WRITE | (sta & MM_EMASK);
    ABORT ((sta & 4)? ABORT_TNV: ABORT_ACV);
    }
if (Test (p2 = tsp - 12, WA, &sta) < 0) {
    p1 = MM_WRITE | (sta & MM_EMASK);
    ABORT ((sta & 4)? ABORT_TNV: ABORT_ACV);
    }
Write (tsp - 12, SXTW (opnd[0]), L_LONG, WA);           /* push argument */
Write (tsp - 8, PC, L_LONG, WA);                        /* push PC */
Write (tsp - 4, PSL | cc, L_LONG, WA);                  /* push PSL */
SP = tsp - 12;                                          /* set new stk */
PSL = (mode << PSL_V_CUR) | (PSL & PSL_IPL) |           /* set new PSL */
    (cur << PSL_V_PRV);
last_chm = fault_PC;
JUMP (newpc & ~03);                                     /* set new PC */
return 0;                                               /* cc = 0 */
}

/* REI - return from exception or interrupt

The lengthiest part of the REI instruction is the validity checking of the PSL
popped off the stack.  The new PSL is checked against the following eight rules:

let     tmp     =       new PSL popped off the stack
let     PSL     =       current PSL

Rule    SRM formulation                     Comment
----    ---------------                     -------
 1      tmp<25:24> GEQ PSL<25:24>           tmp<cur_mode> GEQ PSL<cur_mode>
 2      tmp<26> LEQ PSL<26>                 tmp<is> LEQ PSL<is>
 3      tmp<26> = 1 => tmp<25:24> = 0       tmp<is> = 1 => tmp<cur_mode> = ker
 4      tmp<26> = 1 => tmp<20:16> > 0       tmp<is> = 1 => tmp<ipl> > 0
 5      tmp<20:16> > 0 => tmp<25:24> = 0    tmp<ipl> > 0 => tmp<cur_mode> = ker
 6      tmp<25:24> LEQ tmp<23:22>           tmp<cur_mode> LEQ tmp<prv_mode>
 7      tmp<20:16> LEQ PSL<20:16>           tmp<ipl> LEQ PSL<ipl>
 8      tmp<31,29:28,21,15:8> = 0           tmp<mbz> = 0
 9      tmp<31> = 1 => tmp<cur_mode> = 3, tmp<prv_mode> = 3>, tmp<fpd,is,ipl> = 0 
*/

int32 op_rei (int32 acc)
{
int32 newpc = Read (SP, L_LONG, RA);
int32 newpsl = Read (SP + 4, L_LONG, RA);
int32 newcur = PSL_GETCUR (newpsl);
int32 oldcur = PSL_GETCUR (PSL);
int32 newipl, i;

if ((newpsl & PSL_MBZ) ||                               /* rule 8 */
    (newcur < oldcur)) RSVD_OPND_FAULT;                 /* rule 1 */
if (newcur) {                                           /* to esu, skip 2,4,7 */
    if ((newpsl & (PSL_IS | PSL_IPL)) ||                /* rules 3,5 */
        (newcur > PSL_GETPRV (newpsl)))                 /* rule 6 */
        RSVD_OPND_FAULT;                                /* end rei to esu */
    }
else {                                                  /* to k, skip 3,5,6 */
    newipl = PSL_GETIPL (newpsl);                       /* get new ipl */
    if ((newpsl & PSL_IS) &&                            /* setting IS? */
       (((PSL & PSL_IS) == 0) || (newipl == 0)))        /* test rules 2,4 */
        RSVD_OPND_FAULT;                                /* else skip 2,4 */
    if (newipl > PSL_GETIPL (PSL)) RSVD_OPND_FAULT;     /* test rule 7 */
    }                                                   /* end if kernel */
if (newpsl & PSL_CM) {                                  /* setting cmode? */
    if (BadCmPSL (newpsl)) RSVD_OPND_FAULT;             /* validate PSL */
    for (i = 0; i < 7; i++) R[i] = R[i] & WMASK;        /* mask R0-R6, PC */
    newpc = newpc & WMASK;
    }
SP = SP + 8;                                            /* pop stack */
if (PSL & PSL_IS) IS = SP;                              /* save stack */
else STK[oldcur] = SP;
if (DEBUG_PRI (cpu_dev, LOG_CPU_R)) fprintf (sim_deb,
    ">>REI: PC=%08x, PSL=%08x, SP=%08x, nPC=%08x, nPSL=%08x, nSP=%08x\n",
    PC, PSL, SP - 8, newpc, newpsl, ((newpsl & IS)? IS: STK[newcur]));
PSL = (PSL & PSL_TP) | (newpsl & ~CC_MASK);             /* set new PSL */
if (PSL & PSL_IS) SP = IS;                              /* set new stack */
else {
    SP = STK[newcur];                                   /* if ~IS, chk AST */
    if (newcur >= ASTLVL) {
        if (DEBUG_PRI (cpu_dev, LOG_CPU_R)) fprintf (sim_deb,
            ">>REI: AST delivered\n");
        SISR = SISR | SISR_2;
        }
    }
JUMP (newpc);                                           /* set new PC */
return newpsl & CC_MASK;                                /* set new cc */
}

/* LDCPTX - load process context */

void op_ldpctx (int32 acc)
{
int32 newpc, newpsl, pcbpa;

if (PSL & PSL_CUR) RSVD_INST_FAULT;                     /* must be kernel */
pcbpa = PCBB & PAMASK;                                  /* phys address */
KSP = ReadLP (pcbpa);                                   /* restore stk ptrs */
ESP = ReadLP (pcbpa + 4);
SSP = ReadLP (pcbpa + 8);
USP = ReadLP (pcbpa + 12);
R[0] = ReadLP (pcbpa + 16);                             /* restore registers */
R[1] = ReadLP (pcbpa + 20);
R[2] = ReadLP (pcbpa + 24);
R[3] = ReadLP (pcbpa + 28);
R[4] = ReadLP (pcbpa + 32);
R[5] = ReadLP (pcbpa + 36);
R[6] = ReadLP (pcbpa + 40);
R[7] = ReadLP (pcbpa + 44);
R[8] = ReadLP (pcbpa + 48);
R[9] = ReadLP (pcbpa + 52);
R[10] = ReadLP (pcbpa + 56);
R[11] = ReadLP (pcbpa + 60);
R[12] = ReadLP (pcbpa + 64);
R[13] = ReadLP (pcbpa + 68);
newpc = ReadLP (pcbpa + 72);                            /* get PC, PSL */
newpsl = ReadLP (pcbpa + 76);
P0BR = ReadLP (pcbpa + 80);                             /* restore mem mgt */
P0LR = ReadLP (pcbpa + 84);
P1BR = ReadLP (pcbpa + 88);
P1LR = ReadLP (pcbpa + 92);
ASTLVL = (P0LR >> 24) & AST_MASK;                       /* restore AST */
pme = (P1LR >> 31) & 1;                                 /* restore PME */
P0BR = P0BR & BR_MASK;
P0LR = P0LR & LR_MASK;
P1BR = P1BR & BR_MASK;
P1LR = P1LR & LR_MASK;
zap_tb (0);                                             /* clear process TB */
set_map_reg ();
if (DEBUG_PRI (cpu_dev, LOG_CPU_P)) fprintf (sim_deb,
    ">>LDP: PC=%08x, PSL=%08x, SP=%08x, nPC=%08x, nPSL=%08x, nSP=%08x\n",
    PC, PSL, SP, newpc, newpsl, KSP);
if (PSL & PSL_IS) IS = SP;                              /* if istk, */
PSL = PSL & ~PSL_IS;                                    /* switch to kstk */
SP = KSP - 8;
Write (SP, newpc, L_LONG, WA);                          /* push PC, PSL */
Write (SP + 4, newpsl, L_LONG, WA);
return;
}

/* SVPCTX - save processor context */

void op_svpctx (int32 acc)
{
int32 savpc, savpsl, pcbpa;

if (PSL & PSL_CUR) RSVD_INST_FAULT;                     /* must be kernel */
savpc = Read (SP, L_LONG, RA);                          /* pop PC, PSL */
savpsl = Read (SP + 4, L_LONG, RA);
if (DEBUG_PRI (cpu_dev, LOG_CPU_P)) fprintf (sim_deb,
    ">>SVP: PC=%08x, PSL=%08x, SP=%08x, oPC=%08x, oPSL=%08x\n",
    PC, PSL, SP, savpc, savpsl);
if (PSL & PSL_IS) SP = SP + 8;                          /* int stack? */
else {
    KSP = SP + 8;                                       /* pop kernel stack */
    SP = IS;                                            /* switch to int stk */
    if ((PSL & PSL_IPL) == 0) PSL = PSL | PSL_IPL1;     /* make IPL > 0 */
    PSL = PSL | PSL_IS;                                 /* set PSL<is> */
    }
pcbpa = PCBB & PAMASK;
WriteLP (pcbpa, KSP);                                   /* save stk ptrs */
WriteLP (pcbpa + 4, ESP);
WriteLP (pcbpa + 8, SSP);
WriteLP (pcbpa + 12, USP);
WriteLP (pcbpa + 16, R[0]);                             /* save registers */
WriteLP (pcbpa + 20, R[1]);
WriteLP (pcbpa + 24, R[2]);
WriteLP (pcbpa + 28, R[3]);
WriteLP (pcbpa + 32, R[4]);
WriteLP (pcbpa + 36, R[5]);
WriteLP (pcbpa + 40, R[6]);
WriteLP (pcbpa + 44, R[7]);
WriteLP (pcbpa + 48, R[8]);
WriteLP (pcbpa + 52, R[9]);
WriteLP (pcbpa + 56, R[10]);
WriteLP (pcbpa + 60, R[11]);
WriteLP (pcbpa + 64, R[12]);
WriteLP (pcbpa + 68, R[13]);
WriteLP (pcbpa + 72, savpc);                            /* save PC, PSL */
WriteLP (pcbpa + 76, savpsl);
return;
}

/* PROBER and PROBEW

        opnd[0] =       mode
        opnd[1] =       length
        opnd[2] =       base address
*/

int32 op_probe (int32 *opnd, int32 rw)
{
int32 mode = opnd[0] & PSL_M_MODE;                      /* mask mode */
int32 length = opnd[1];
int32 ba = opnd[2];
int32 prv = PSL_GETPRV (PSL);
int32 acc, sta, sta1;

if (prv > mode) mode = prv;                             /* maximize mode */
acc = ACC_MASK (mode) << (rw? TLB_V_WACC: 0);           /* set acc mask */
Test (ba, acc, &sta);                                   /* probe */
switch (sta) {                                          /* case on status */

    case PR_PTNV:                                       /* pte TNV */
        p1 = MM_PARAM (rw, PR_PTNV);
        p2 = ba;
        ABORT (ABORT_TNV);                              /* force TNV */

    case PR_TNV: case PR_OK:                            /* TNV or ok */
        break;                                          /* continue */

    default:                                            /* other */
        return CC_Z;                                    /* lose */
        }

Test (ba + length - 1, acc, &sta1);                     /* probe end addr */
switch (sta1) {                                         /* case on status */

    case PR_PTNV:                                       /* pte TNV */
        p1 = MM_PARAM (rw, PR_PTNV);
        p2 = ba + length - 1;
        ABORT (ABORT_TNV);                              /* force TNV */

    case PR_TNV: case PR_OK:                            /* TNV or ok */
        break;                                          /* win */

    default:                                            /* other */
        return CC_Z;                                    /* lose */
        }

return 0;
}

/* MTPR - move to processor register

        opnd[0] =       data
        opnd[1] =       register number
*/

int32 op_mtpr (int32 *opnd)
{
int32 val = opnd[0];
int32 prn = opnd[1];
int32 cc;

if (PSL & PSL_CUR) RSVD_INST_FAULT;                     /* must be kernel */
if (prn > 63) RSVD_OPND_FAULT;                          /* reg# > 63? fault */
CC_IIZZ_L (val);                                        /* set cc's */
switch (prn) {                                          /* case on reg # */

    case MT_KSP:                                        /* KSP */
        if (PSL & PSL_IS) KSP = val;                    /* on IS? store KSP */
        else SP = val;                                  /* else store SP */
        break;

    case MT_ESP: case MT_SSP: case MT_USP:              /* ESP, SSP, USP */
        STK[prn] = val;                                 /* store stack */
        break;

    case MT_IS:                                         /* IS */
        if (PSL & PSL_IS) SP = val;                     /* on IS? store SP */
        else IS = val;                                  /* else store IS */
        break;

    case MT_P0BR:                                       /* P0BR */
        P0BR = val & BR_MASK;                           /* lw aligned */
        zap_tb (0);                                     /* clr proc TLB */
        set_map_reg ();
        break;

    case MT_P0LR:                                       /* P0LR */
        P0LR = val & LR_MASK;
        zap_tb (0);                                     /* clr proc TLB */
        set_map_reg ();
        break;

    case MT_P1BR:                                       /* P1BR */
        P1BR = val & BR_MASK;                           /* lw aligned */
        zap_tb (0);                                     /* clr proc TLB */
        set_map_reg ();
        break;

    case MT_P1LR:                                       /* P1LR */
        P1LR = val & LR_MASK;
        zap_tb (0);                                     /* clr proc TLB */
        set_map_reg ();
        break;

    case MT_SBR:                                        /* SBR */
        SBR = val & BR_MASK;                            /* lw aligned */
        zap_tb (1);                                     /* clr entire TLB */
        set_map_reg ();
        break;

    case MT_SLR:                                        /* SLR */
        SLR = val & LR_MASK;
        zap_tb (1);                                     /* clr entire TLB */
        set_map_reg ();
        break;

    case MT_SCBB:                                       /* SCBB */
        SCBB = val & BR_MASK;                           /* lw aligned */
        break;

    case MT_PCBB:                                       /* PCBB */
        PCBB = val & BR_MASK;                           /* lw aligned */
        break;

    case MT_IPL:                                        /* IPL */
        PSL = (PSL & ~PSL_IPL) | ((val & PSL_M_IPL) << PSL_V_IPL);
        break;

    case MT_ASTLVL:                                     /* ASTLVL */
        if (val > AST_MAX) RSVD_OPND_FAULT;             /* > 4? fault */
        ASTLVL = val;
        break;

    case MT_SIRR:                                       /* SIRR */
        if ((val > 0xF) || (val == 0)) RSVD_OPND_FAULT;
        SISR = SISR | (1 << val);                       /* set bit in SISR */
        break;

    case MT_SISR:                                       /* SISR */
        SISR = val & SISR_MASK;
        break;

    case MT_MAPEN:                                      /* MAPEN */
        mapen = val & 1;
    case MT_TBIA:                                       /* TBIA */
        zap_tb (1);                                     /* clr entire TLB */
        break;

    case MT_TBIS:                                       /* TBIS */
        zap_tb_ent (val);
        break;

    case MT_TBCHK:                                      /* TBCHK */
        if (chk_tb_ent (val)) cc = cc | CC_V;
        break;

    case MT_PME:                                        /* PME */
        pme = val & 1;
        break;

    default:
        WriteIPR (prn, val);                            /* others */
        break;
        }

return cc;
}

int32 op_mfpr (int32 *opnd)
{
int32 prn = opnd[0];
int32 val;

if (PSL & PSL_CUR) RSVD_INST_FAULT;                     /* must be kernel */
if (prn > 63) RSVD_OPND_FAULT;                          /* reg# > 63? fault */
switch (prn) {                                          /* case on reg# */

    case MT_KSP:                                        /* KSP */
        val = (PSL & PSL_IS)? KSP: SP;                  /* return KSP or SP */
        break;

    case MT_ESP: case MT_SSP: case MT_USP:              /* ESP, SSP, USP */
        val = STK[prn];                                 /* return stk ptr */
        break;

    case MT_IS:                                         /* IS */
        val = (PSL & PSL_IS)? SP: IS;                   /* return SP or IS */
        break;

    case MT_P0BR:                                       /* P0BR */
        val = P0BR;
        break;

    case MT_P0LR:                                       /* P0LR */
        val = P0LR;
        break;

    case MT_P1BR:                                       /* P1BR */
        val = P1BR;
        break;

    case MT_P1LR:                                       /* P1LR */
        val = P1LR;
        break;

    case MT_SBR:                                        /* SBR */
        val = SBR;
        break;

    case MT_SLR:                                        /* SLR */
        val = SLR;
        break;

    case MT_SCBB:                                       /* SCBB */
        val = SCBB;
        break;

    case MT_PCBB:                                       /* PCBB */
        val = PCBB;
        break;

    case MT_IPL:                                        /* IPL */
        val = PSL_GETIPL (PSL);
        break;

    case MT_ASTLVL:                                     /* ASTLVL */
        val = ASTLVL;
        break;

    case MT_SISR:                                       /* SISR */
        val = SISR & SISR_MASK;
        break;

    case MT_MAPEN:                                      /* MAPEN */
        val = mapen & 1;
        break;

    case MT_PME:
        val = pme & 1;
        break;

    case MT_SIRR:
    case MT_TBIA:
    case MT_TBIS:
    case MT_TBCHK:
        RSVD_OPND_FAULT;                                /* write only */

    default:                                            /* others */
        val = ReadIPR (prn);                            /* read from SSC */
        break;
        }

return val;
}
