blob: 0a9f78cf00edbb94c6546561ba73242d4b396546 [file] [log] [blame] [raw]
/* hp2100_cpu5.c: HP 1000 RTE-6/VM VMA and RTE-IV EMA instructions
Copyright (c) 2007-2008, Holger Veit
Copyright (c) 2006-2017, J. David Bryan
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
THE AUTHORS 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 the authors shall not be
used in advertising or otherwise to promote the sale, use or other dealings
in this Software without prior written authorization from the authors.
CPU5 RTE-6/VM and RTE-IV firmware option instructions
15-Jul-17 JDB Replaced "vma_resolve" with "resolve"
26-Jun-17 JDB Replaced SEXT with SEXT16
06-Jun-17 HV Fixed bug in cpu_vma_lbp "last suit + 1" handler
31-Jan-17 JDB Revised to use tprintf and TRACE_OPND for debugging
26-Jan-17 JDB Removed debug parameters from cpu_ema_* routines
24-Jan-17 JDB Replaced ReadIO, WriteIO with ReadS/U, WriteS/U
05-Aug-16 JDB Renamed the P register from "PC" to "PR"
24-Dec-14 JDB Added casts for explicit downward conversions
17-Dec-12 JDB Fixed cpu_vma_mapte to return FALSE if not a VMA program
09-May-12 JDB Separated assignments from conditional expressions
23-Mar-12 JDB Added sign extension for dim count in "cpu_ema_resolve"
28-Dec-11 JDB Eliminated unused variable in "cpu_ema_vset"
11-Sep-08 JDB Moved microcode function prototypes to hp2100_cpu1.h
05-Sep-08 JDB Removed option-present tests (now in UIG dispatchers)
30-Jul-08 JDB Redefined ABORT to pass address, moved def to hp2100_cpu.h
26-Jun-08 JDB Rewrote device I/O to model backplane signals
01-May-08 HV Fixed mapping bug in "cpu_ema_emap"
21-Apr-08 JDB Added EMA support from Holger
25-Nov-07 JDB Added TF fix from Holger
07-Nov-07 HV VMACK diagnostic tests 1...32 passed
19-Oct-07 JDB Corrected $LOC operand profile to OP_CCCACC
03-Oct-07 HV Moved RTE-6/VM instrs from hp2100_cpu0.c
26-Sep-06 JDB Created
Primary references:
- HP 1000 M/E/F-Series Computers Technical Reference Handbook
(5955-0282, March 1980)
- HP 1000 M/E/F-Series Computers Engineering and Reference Documentation
(92851-90001, March 1981)
- Macro/1000 Reference Manual
(92059-90001, December 1992)
The RTE-IV and RTE-IVB Extended Memory Array instructions and the RTE-6/VM
Virtual Memory Area instructions were added to accelerate the logical-to-
physical address translations and array subscript calculations of programs
running under the RTE-IV (HP product number 92067A), RTE-IVB (92068A), and
RTE-6/VM (92084A) operating systems. Microcode was available for the E- and
F-Series; the M-Series used software equivalents.
Both EMA and VMA opcodes reside in the range 105240-105257, so only one or
the other could be installed in a given system. This did not present a
difficulty, as VMA was a superset of EMA. The EMA encodings are:
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 0 0 | .EMIO
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| return address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| buffer size address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| last subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: ... :
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| first subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: return location if error : P+n
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
: return location if buffer is mapped : P+n+1
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
The .EMIO instruction maps a buffer of the indicated size and starting at the
indicated array location into memory. It ensures that the buffer is entirely
within the logical address space in preparation for an I/O operation.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 0 1 | MMAP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| return address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| relative page count from EMA start to segment start address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| page count address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The MMAP instruction maps a sequence of physical memory pages into the
mapping segment area of a program's logical address space. The A-register
value on return indicates the success or failure of the request.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 1 0 | emtst
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The emtst instruction is used to determine if the EMA firmware has been
installed. If it is executed in single-step mode, it sets S to 102077 (HLT
77B). It executes as NOP from a running program.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 1 1 1 | .EMAP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| return address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| array address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| last subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: ... :
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| first subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: return location if error : P+n
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
: return location if page is mapped : P+n+1
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
The .EMAP instruction resolves an array access into the memory address of the
referenced element. If the array is in EMA, it also maps the element into
the mapping segment.
The VMA instruction encodings are:
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 0 0 | .PMAP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: return location if error : P+1
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
: return location if page is mapped : P+2
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
The .PMAP instruction maps the memory page whose physical page number is in
the B-register into the map register specified by the A-register.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 0 1 | $LOC
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| logical starting page of node |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| relative page from partition start to node start |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| relative page from partition start to base page |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| current path word address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| leaf node number |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| ordinal number |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The $LOC instruction implements load-on-call for MLS/LOC programs..
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 1 0 | vmtst
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: return location if the firmware is not installed : P+1
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
: return location if the firmware is installed : P+2
+- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -+
The vmtst instruction is used to determine programmatically if the VMA
firmware has been installed. It sets the X-register to the firmware revision
code, sets Y to 1, sets S to 102077 (HLT 77B), and returns to P+2.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 0 1 1 | [.SWP]
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .SWP instruction swaps the A- and B-register values.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 1 0 0 | [.STAS]
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 1 0 1 | [.LDAS]
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
These instructions are not implemented and will cause an unimplemented
instruction stop if enabled.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 0 | 1 1 1 | [.UMPY]
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| multiplier address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .UMPY instruction performs an unsigned multiply-and-add. The A-register
contains the multiplicand, and the B-register contains the augend.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 0 0 0 | .IMAP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| last subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: ... :
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| first subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .IMAP instruction resolves the address of a one-word array element and
maps the element into the last two pages of logical memory.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 0 0 1 | .IMAR
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| address of array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .IMAR instruction resolves the address of a one-word array element. It
does not map the element.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 0 1 0 | .JMAP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| last subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
: ... :
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| first subscript address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .JMAP instruction resolves the address of a two-word array element and
maps the element into the last two pages of logical memory.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 0 1 1 | .JMAR
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| address of array table address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .JMAR instruction resolves the address of a two-word array element. It
does not map the element.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 1 0 0 | .LPXR
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| pointer address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| offset address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .LPXR instruction maps a one-word element addressed by a 32-bit pointer
plus a 32-bit offset into logical memory and returns the logical address of
the element in the B-register.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 1 0 1 | .LPX
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| offset address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .LPX instruction maps a one-word element addressed by a 32-bit pointer
contained in the A- and B-registers plus a 32-bit offset into logical memory
and returns the logical address of the element in the B-register.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 1 0 0 | .LBPR
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| pointer address |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .LBPR instruction maps a one-word element addressed by a 32-bit pointer
into logical memory and returns the logical address of the element in the
B-register.
15 |14 13 12 |11 10 9 | 8 7 6 | 5 4 3 | 2 1 0
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| 1 | 0 0 0 | 1 0 1 | 0 1 0 | 1 0 1 | 1 1 1 | .LBP
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
The .LBP instruction maps a one-word element addressed by a 32-bit pointer
contained in the A- and B-registers into logical memory and returns the
logical address of the element in the B-register and the page ID of the
element in the A-register.
*/
#include <setjmp.h>
#include "hp2100_defs.h"
#include "hp2100_cpu.h"
#include "hp2100_cpu1.h"
/* some addresses in page0 of RTE-6/VM */
static const HP_WORD idx = 0001645u;
static const HP_WORD xmata = 0001646u;
static const HP_WORD xi = 0001647u;
static const HP_WORD xeqt = 0001717u;
static const HP_WORD vswp = 0001776u;
static const HP_WORD umaps = 0003740u;
static const HP_WORD page30 = 0074000u;
static const HP_WORD page31 = 0076000u;
static const HP_WORD ptemiss = 0176000u;
/* frequent constants in paging */
#define SUITMASK 0176000u
#define NILPAGE 0176000u
#define PAGEIDX 0001777u
#define MSEGMASK 0076000u
#define RWPROT 0141777u
/* $LOC
ASSEMBLER CALLING SEQUENCE:
$MTHK NOP RETURN ADDRESS OF CALL (REDONE AFTER THIS ROUTINE)
JSB $LOC
.DTAB OCT LGPG# LOGICAL PAGE # AT WHICH THE NODE TO
* BE MAPPED IN BELONGS (0-31)
OCT RELPG RELATIVE PAGE OFFSET FROM BEGINING
* OF PARTITION OF WHERE THAT NODE RESIDES.
* (0 - 1023)
OCT RELBP RELATIVE PAGE OFFSET FROM BEGINING OF
* PARTITION OF WHERE BASE PAGE RESIDES
* (0 - 1023)
CNODE DEF .CNOD THIS IS THE ADDRESS OF CURRENT PATH # WORD
.ORD OCT XXXXX THIS NODE'S LEAF # (IE PATH #)
.NOD# OCT XXXXX THIS NODE'S ORDINAL #
*/
static t_stat cpu_vma_loc(uint32 IR, OPS op,uint32 intrq)
{
uint32 lstpg,fstpg,rotsz,lgpg,relpg,relbp,matloc,ptnpg,physpg,cnt,pgs,umapr;
HP_WORD eqt,mls,pnod;
eqt = ReadU (xeqt); /* get ID segment */
mls = ReadS (eqt + 33); /* get word33 of alternate map */
if ((mls & 0x8000) == 0) { /* this is not an MLS prog! */
PR = err_PC;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, not an MLS program\n",
PR, IR);
if (mp_control) MP_ABORT (eqt+33); /* allow an MP abort */
return STOP_HALT; /* FATAL error! */
}
pnod = mls & 01777; /* get #pages of mem res nodes */
if (pnod == 0) { /* no pages? FATAL! */
PR = err_PC;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, no memory resident nodes\n",
PR, IR);
if (mp_control) MP_ABORT (eqt+33); /* allow an MP abort */
return STOP_HALT;
}
lstpg = (ReadS (eqt + 29) >> 10) - 1; /* last page# of code */
fstpg = ReadS (eqt + 23) >> 10; /* index to 1st addr + mem nodes */
rotsz = fstpg - (ReadS (eqt + 22) >> 10); /* #pages in root */
lgpg = op[0].word;
/* lets do some consistency checks, CPU halt if they fail */
if (lstpg < lgpg || lgpg < fstpg) { /* assert LSTPG >= LGPG# >= FSTPG */
PR = err_PC;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, failed check LSTPG >= LGPG# >= FSTPG\n",
PR, IR);
if (mp_control) MP_ABORT (eqt+22); /* allow an MP abort */
return STOP_HALT;
}
relpg = op[1].word;
if (pnod < relpg || relpg < (rotsz+1)) { /* assert #PNOD >= RELPG >= ROTSZ+1 */
PR = err_PC;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, failed check #PNOD >= RELPG >= ROTSZ + 1\n",
PR, IR);
if (mp_control) MP_ABORT (eqt+22); /* allow an MP abort */
return STOP_HALT;
}
relbp = op[2].word;
if (relbp != 0) /* assert RELBP == 0 OR */
if (pnod < relbp || relbp < (rotsz+1)) { /* #PNOD >= RELBP >= ROTSZ+1 */
PR = err_PC;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, failed check #PNOD >= RELBP >= ROTSZ + 1\n",
PR, IR);
if (mp_control) MP_ABORT (eqt+22); /* allow an MP abort */
return STOP_HALT;
}
cnt = lstpg - lgpg + 1; /* #pages to map */
pgs = pnod - relpg + 1; /* #pages from start node to end of code */
if (pgs < cnt) cnt = pgs; /* ensure minimum, so not to map into EMA */
matloc = ReadU (xmata); /* get MAT $LOC address */
ptnpg = ReadS (matloc + 3) & 01777; /* index to start phys pg */
physpg = ptnpg + relpg; /* phys pg # of node */
umapr = 32 + lgpg; /* map register to start */
/* do an XMS with AR=umapr,BR=physpg,XR=cnt */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " pages %u, physical page %u, map register %u\n",
PR, IR, cnt, physpg, umapr);
while (cnt != 0) {
dms_wmap (umapr, physpg); /* map pages of new overlay segment */
cnt = (cnt - 1) & DMASK;
umapr = (umapr + 1) & DMASK;
physpg = (physpg + 1) & DMASK;
}
dms_wmap(32,relbp+ptnpg); /* map base page again */
WriteW(op[3].word,op[4].word); /* path# we are going to */
PR = (PR - 8) & DMASK; /* adjust P to return address */
/* word before the $LOC microinstr. */
PR = (ReadW(PR) - 1) & DMASK; /* but the call has to be rerun, */
/* so must skip back to the original call */
/* which will now lead to the real routine */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " path %06o\n",
PR, IR, op[4].word);
return SCPE_OK;
}
/* map pte into last page
return FALSE if page fault, nil flag in PTE or suit mismatch
return TRUE if suit match, physpg = physical page
or page=0 -> last+1 page
*/
static t_bool cpu_vma_ptevl(uint32 pagid,uint32* physpg)
{
uint32 suit;
uint32 pteidx = pagid & 0001777; /* build index */
uint32 reqst = pagid & SUITMASK; /* required suit */
uint32 pteval = ReadW(page31 | pteidx); /* get PTE entry */
*physpg = pteval & 0001777; /* store physical page number */
suit = pteval & SUITMASK; /* suit number seen */
if (pteval == NILPAGE) return FALSE; /* NIL value in PTE */
return suit == reqst || !*physpg; /* good page or last+1 */
}
/* handle page fault */
static t_stat cpu_vma_fault(uint32 IR, uint32 x,uint32 y,int32 mapr,uint32 ptepg,uint32 ptr,uint32 faultpc)
{
uint32 pre = ReadU (xi); /* get program preamble */
uint32 ema = ReadU (pre + 2); /* get address of $EMA$/$VMA$ */
WriteU (ema, faultpc); /* write addr of fault instr */
XR = x; /* X = faulting page */
YR = y; /* Y = faulting address for page */
if (mapr>0)
dms_wmap(mapr+UMAP,ptepg); /* map PTE into specified user dmsmap */
/* do a safety check: first instr of $EMA$/$VMA$ must be a DST instr */
if (ReadU (ema + 1) != 0104400) {
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " fatal error, no EMA/VMA user code present\n",
PR, IR);
if (mp_control) MP_ABORT (ema+1); /* allow an MP abort */
return STOP_HALT; /* FATAL: no EMA/VMA! */
}
PR = (ema+1) & VAMASK; /* restart $EMA$ user code, */
/* will return to fault instruction */
AR = (ptr >> 16) & DMASK; /* restore A, B */
BR = ptr & DMASK;
E = 0; /* enforce E = 0 */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " page fault\n",
PR, IR);
return SCPE_OK;
}
/* map in PTE into last page, return false, if page fault */
static t_bool cpu_vma_mapte(uint32* ptepg)
{
uint32 idext,idext2;
uint32 dispatch = ReadU (vswp) & 01777; /* get fresh dispatch flag */
t_bool swapflag = TRUE;
if (dispatch == 0) { /* not yet set */
idext = ReadU (idx); /* go into ID segment extent */
if (idext == 0) { /* is ema/vma program? */
swapflag = FALSE; /* no, so mark PTE as invalid */
*ptepg = (uint32) -1; /* and return an invalid page number */
}
else { /* is an EMA/VMA program */
dispatch = ReadWA(idext+1) & 01777; /* get 1st ema page: new vswp */
WriteU (vswp, dispatch); /* move into $VSWP */
idext2 = ReadWA(idext+2); /* get swap bit */
swapflag = (idext2 & 020000) != 0; /* bit 13 = swap bit */
}
}
if (dispatch) { /* some page is defined */
dms_wmap(31 + UMAP,dispatch); /* map $VSWP to register 31 */
*ptepg = dispatch; /* return PTEPG# for later */
}
return swapflag; /* true for valid PTE */
}
/* .LBP
ASSEMBLER CALLING SEQUENCE:
DLD PONTR TRANSLATE 32 BIT POINTER TO 15
JSB .LBP BIT POINTER.
<RETURN - B = LOGICAL ADDRESS, A = PAGID>
32 bit pointer:
----------AR------------ -----BR-----
15 14....10 9....4 3...0 15.10 9....0
L<----------------------------------- L=1 local reference bit
XXXXXXXX<------------------------- 5 bit unused
PPPPPP PPPPP PPPPP<------ 16 bit PAGEID
SSSSSS<------------------ SUIT# within PAGEID
PPPPP PPPPP<------ 10 bit PAGEID index into PTE
OOOOOO 10 bit OFFSET
Implementation notes:
1. The comments prededing the .LBP microcode are wrong with regard to the
VSEG map setup when the first mapped page is the last page in the VM
area. They claim, "THE MICROCODE WILL MAP IN PHYSICAL PAGE 1023 MARKING
IT READ/WRITE PROTECTED. ANY ACCESS TO THIS PAGE WILL PRODUCE A DMS
ERROR." Actually, the microcode sets the second map register to point at
the last page (same as the first map register), and the page is not
protected. This means that a spillover access beyond the last VM page
will corrupt the last VM page instead of causing a DM abort as intended.
Ths simulator follows the microcode in reproducing this bug.
*/
static t_stat cpu_vma_lbp(uint32 IR, uint32 ptr,uint32 aoffset,uint32 faultpc,uint32 intrq)
{
uint32 pagid,offset,pgidx,ptepg;
HP_WORD ptrl,p30,p31,suit;
t_stat reason = SCPE_OK;
uint32 faultab = ptr; /* remember A,B for page fault */
ptr += aoffset; /* add the offset e.g. for .LPX */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " virtual address %011o\n",
PR, IR, ptr);
O = 0; /* clear overflow */
if (ptr & 0x80000000) { /* is it a local reference? */
ptrl = (HP_WORD) (ptr & VAMASK);
if (ptr&I_IA) {
reason = resolve (ReadW (ptrl), &ptrl, 0);
if (reason)
return reason; /* yes, resolve indirect ref */
}
BR = ptrl & VAMASK; /* address is local */
AR = (ptr >> 16) & DMASK;
return SCPE_OK;
}
pagid = (ptr >> 10) & DMASK; /* extract page id (16 bit idx, incl suit*/
offset = ptr & 01777; /* and offset */
suit = pagid & SUITMASK; /* suit of page */
pgidx = pagid & PAGEIDX; /* index into PTE */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " suit %u PTE index %u offset %u\n",
PR, IR, suit >> 10, pgidx, offset);
if (!cpu_vma_mapte(&ptepg)) /* map in PTE */
return cpu_vma_fault(IR, 65535,ptemiss,-1,ptepg,faultab,faultpc); /* oops, must init PTE */
/* ok, we have the PTE mapped to page31 */
/* the microcode tries to reads two consecutive data pages into page30 and page31 */
/* read the 1st page value from PTE */
p30 = ReadW(page31 | pgidx) ^ suit;
if (!p30) /* matched suit for 1st page */
return cpu_vma_fault(IR, pagid,page30,30,ptepg,faultab,faultpc);
/* suit switch situation: 1st page is in last idx of PTE, then following page
* must be in idx 0 of PTE */
if (pgidx==01777) { /* suit switch situation */
pgidx = 0; /* select correct idx 0 */
suit = (uint16) (pagid + 1); /* suit needs increment */
if (suit==0) { /* is it page 65536? */
offset += 02000; /* adjust to 2nd page */
suit = NILPAGE;
pgidx = 01777;
}
} else
pgidx++; /* select next page */
p31 = ReadW(page31 | pgidx) ^ suit;
if (!p31) { /* matched suit for 2nd page */
p31 = suit; /* restore the suit number */
dms_wmap(31+UMAP,p30);
if (p30 & SUITMASK)
return cpu_vma_fault(IR, pagid,page30,30,ptepg,faultab,faultpc);
if (!(p31 ^ NILPAGE)) /* suit is 63: fault */
return cpu_vma_fault(IR, pagid+1,page31,31,ptepg,faultab,faultpc);
offset += 02000; /* adjust offset to last user map because */
/* the address requested page 76xxx */
}
else {
dms_wmap(30+UMAP,p30);
if (p30 & SUITMASK)
return cpu_vma_fault(IR, pagid,page30,30,ptepg,faultab,faultpc);
dms_wmap(31+UMAP,p31);
if (p31 & SUITMASK)
return cpu_vma_fault(IR, pagid+1,page31,31,ptepg,faultab,faultpc);
}
AR = (uint16) pagid; /* return pagid in A */
BR = (uint16) (page30 + offset); /* mapped address in B */
return SCPE_OK;
}
/* .PMAP
ASSEMBLER CALLING SEQUENCE:
LDA UMAPR (MSEG - 31)
LDB PAGID (0-65535)
JSB .PMAP GO MAP IT IN
<ERROR RETURN> A-REG = REASON, NOTE 1
<RETURN A=A+1, B=B+1,E=0 >> SEE NOTE 2>
NOTE 1 : IF BIT 15 OF A-REG SET, THEN ALL NORMAL BRANCHES TO THE
$EMA$/$VMA$ CODE WILL BE CHANGED TO P+1 EXIT. THE A-REG
WILL BE THE REASON THE MAPPING WAS NOT SUCCESSFUL IF BIT 15
OF THE A-REG WAS NOT SET.
THIS WAS DONE SO THAT A ROUTINE ($VMA$) CAN DO A MAPPING
WITHOUT THE POSSIBILITY OF BEING RE-CURRED. IT IS USED
BY $VMA$ AND PSTVM IN THE PRIVLEDGED MODE.
NOTE 2: E-REG WILL = 1 IF THE LAST+1 PAGE IS REQUESTED AND
MAPPED READ/WRITE PROTECTED ON A GOOD P+2 RETURN.
*/
static t_stat cpu_vma_pmap(uint32 IR, uint32 umapr, uint32 pagid)
{
uint32 physpg, ptr, pgpte;
uint32 mapnm = umapr & 0x7fff; /* strip off bit 15 */
if (mapnm > 31) { /* check for invalid map register */
AR = 80; /* error: corrupt EMA/VMA system */
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " invalid map register %u\n",
PR, IR, mapnm);
return SCPE_OK; /* return exit P+1 */
}
ptr = (umapr << 16) | (pagid & DMASK); /* build the ptr argument for vma_fault */
if (!cpu_vma_mapte(&pgpte)) { /* map the PTE */
if (umapr & 0x8000) {
XR = 65535;
YR = ptemiss;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " page fault exit\n",
PR, IR);
return SCPE_OK; /* use P+1 error exit */
}
return cpu_vma_fault(IR, 65535,ptemiss,-1,pgpte,ptr,PR-1); /* oops: fix PTE */
}
/* PTE is successfully mapped to page31 and dmsmap[63] */
if (!cpu_vma_ptevl(pagid,&physpg)) {
if (umapr & 0x8000) {
XR = (HP_WORD) pagid;
YR = page31;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " page fault exit\n",
PR, IR);
return SCPE_OK; /* use P+1 error exit*/
}
return cpu_vma_fault(IR, pagid,page31,31,pgpte,ptr,PR-1); /* page not present */
}
E = 1;
if (physpg == 0) /* last+1 page ? */
physpg = RWPROT; /* yes, use page 1023 RW/Protected */
else E = 0; /* normal page to map */
dms_wmap(mapnm+UMAP,physpg); /* map page to user page reg */
if (mapnm != 31) /* unless already unmapped, */
dms_wmap(31+UMAP,RWPROT); /* unmap PTE */
AR = (umapr + 1) & DMASK; /* increment mapr for next call */
BR = (pagid + 1) & DMASK; /* increment pagid for next call */
O = 0; /* clear overflow */
PR = (PR + 1) & VAMASK; /* normal P+2 return */
return SCPE_OK;
}
/* array calc helper for .imar, .jmar, .imap, .jmap
ij=in_s: 16 bit descriptors
ij=in_d: 32 bit descriptors
This helper expects mainly the following arguments:
dtbl: pointer to an array descriptor table
atbl: pointer to the table of actual subscripts
where subscript table is the following:
atbl-> DEF last_subscript,I (point to single or double integer)
...
DEF first subscript,I (point to single or double integer)
where Descriptor_table is the following table:
dtbl-> DEC #dimensions
DEC/DIN next-to-last dimension (single or double integer)
...
DEC/DIN first dimension (single or double integer)
DEC elementsize in words
DEC high,low offset from start of EMA to element(0,0...0)
Note that subscripts are counting from 0
*/
static t_stat cpu_vma_ijmar(uint32 IR, OPSIZE ij,uint32 dtbl,uint32 atbl,uint32* dimret,uint32 intrq)
{
t_stat reason = SCPE_OK;
uint32 ndim,i,j,value,ws;
int32 accu,ax,dx;
HP_WORD MA;
OP din;
uint32 opsz = (ij == in_d ? 2 : 1);
ndim = ReadW(dtbl++); /* get #dimensions itself */
if (TRACING (cpu_dev, TRACE_OPND)) {
hp_trace (&cpu_dev, TRACE_OPND, OPND_FORMAT " dimension count %u, subscript size %d\n",
PR, IR, ndim, opsz);
for (i = ndim; i > 0; i--) { /* subscripts appear in 3, 2, 1 order */
MA = mem_fast_read (atbl + i - 1, dms_ump); /* get the pointer to the subscript */
reason = resolve (MA, &MA, 0); /* resolve indirects */
if (reason != SCPE_OK) /* if resolution failed */
return reason; /* then return the reason */
for (value = j = 0; j < opsz; j++) /* assemble the subscript */
value = value << DV_WIDTH /* which may be 1 or 2 words in size */
| mem_fast_read (MA + j, dms_ump);
hp_trace (&cpu_dev, TRACE_OPND, OPND_FORMAT " subscript %u is %u\n",
PR, IR, ndim - i + 1, value);
}
if (ndim != 0) {
for (i = ndim; i > 1; i--) { /* dimensions appear in 3, 2 order */
for (value = j = 0; j < opsz; j++) /* assemble the element count */
value = value << DV_WIDTH /* which may be 1 or 2 words in size */
| mem_fast_read (dtbl + (i - 2) * opsz + j, dms_ump);
hp_trace (&cpu_dev, TRACE_OPND, OPND_FORMAT " dimension %u element count %u\n",
PR, IR, ndim - i + 1, value);
}
i = dtbl+1+(ndim-1)*opsz;
ws = mem_fast_read (i - 1, dms_ump);
}
else {
i = dtbl;
ws = 1;
}
value = TO_DWORD (mem_fast_read (i, dms_ump),
mem_fast_read (i + 1, dms_ump));
hp_trace (&cpu_dev, TRACE_OPND, OPND_FORMAT " element size %u offset %011o\n",
PR, IR, ws, value);
}
if (dimret) *dimret = ndim; /* return dimensions */
if (ndim == 0) { /* no dimensions: */
AR = ReadW(dtbl++); /* return the array base itself */
BR = ReadW(dtbl);
return SCPE_OK;
}
/* calculate
* (...(An*Dn-1)+An-1)*Dn-2)+An-2....)+A2)*D1)+A1)*#words + Array base
* Depending on ij, Ax and Dx can be 16 or 32 bit
*/
accu = 0;
while (ndim-- > 0) {
MA = ReadW(atbl++); /* get addr of subscript */
reason = resolve (MA, &MA, intrq); /* and resolve it */
if (reason)
return reason;
din = ReadOp(MA,ij); /* get actual subscript value */
ax = ij==in_d ? INT32(din.dword) : INT16(din.word);
accu += ax; /* add to accu */
if (ndim==0) ij = in_s; /* #words is single */
din = ReadOp(dtbl,ij); /* get dimension from descriptor table */
if (ij==in_d) {
dx = INT32(din.dword); /* either get double or single dimension */
dtbl += 2;
} else {
dx = INT16(din.word);
dtbl++;
}
accu *= dx; /* multiply */
}
din = ReadOp(dtbl,in_d); /* add base address */
accu += din.dword;
AR = (accu >> 16) & DMASK; /* transfer to AB */
BR = accu & DMASK;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " virtual address %011o\n",
PR, IR, accu);
return reason;
}
/* RTE-6/VM Virtual Memory Area Instructions
RTE-6/VM (product number 92084A) introduced Virtual Memory Area (VMA)
instructions -- a superset of the RTE-IV EMA instructions. Different
microcode was supplied with the operating system that replaced the microcode
used with RTE-IV. Microcode was limited to the E/F-Series, and the M-Series
used software equivalents.
Option implementation by CPU was as follows:
2114 2115 2116 2100 1000-M 1000-E 1000-F
------ ------ ------ ------ ------ ------ ------
N/A N/A N/A N/A N/A 92084A 92084A
The routines are mapped to instruction codes as follows:
Instr. 1000-E/F Description
------ -------- ----------------------------------------------
.PMAP 105240 Map VMA page into map register
$LOC 105241 Load on call
[test] 105242 [self test]
.SWP 105243 [Swap A and B registers]
.STAS 105244 [STA B; LDA SP]
.LDAS 105245 [LDA SP]
.MYAD 105246 [NOP in microcode]
.UMPY 105247 [Unsigned multiply and add]
.IMAP 105250 Integer element resolve address and map
.IMAR 105251 Integer element resolve address
.JMAP 105252 Double integer element resolve address and map
.JMAR 105253 Double integer element resolve address
.LPXR 105254 Map pointer in P+1 plus offset in P+2
.LPX 105255 Map pointer in A/B plus offset in P+1
.LBPR 105256 Map pointer in P+1
.LBP 105257 Map pointer in A/B registers
Implementation notes:
1. The opcodes 105243-247 are undocumented and do not appear to be used in
any HP software.
2. The opcode list in the CE Handbook incorrectly shows 105246 as ".MYAD -
multiply 2 signed integers." The microcode listing shows that this
instruction was deleted, and the opcode is now a NOP.
3. RTE-IV EMA and RTE-6 VMA instructions shared the same address space, so a
given machine could run one or the other, but not both.
Additional references:
- RTE-6/VM VMA/EMA Microcode Source (92084-18828, revision 3).
- RTE-6/VM Technical Specifications (92084-90015, Apr-1983).
- M/E/F-Series Computer Systems CE Handbook (5950-3767, Jul-1984).
*/
static const OP_PAT op_vma[16] = {
OP_N, OP_CCCACC, OP_N, OP_N, /* .PMAP $LOC [test] .SWAP */
OP_N, OP_N, OP_N, OP_K, /* .STAS .LDAS .MYAD .UMPY */
OP_A, OP_A, OP_A, OP_A, /* .IMAP .IMAR .JMAP .JMAR */
OP_AA, OP_A, OP_A, OP_N /* .LPXR .LPX .LBPR .LBP */
};
t_stat cpu_rte_vma (uint32 IR, uint32 intrq)
{
static const char *const no [2] = { "", "no " };
t_stat reason = SCPE_OK;
OPS op;
OP_PAT pattern;
HP_WORD t16;
uint32 entry,t32,ndim;
uint32 dtbl,atbl; /* descriptor table ptr, actual args ptr */
OP dop0,dop1;
uint32 pcsave = (PR+1) & VAMASK; /* save P to check for redo in imap/jmap */
entry = IR & 017; /* mask to entry point */
pattern = op_vma[entry]; /* get operand pattern */
if (pattern != OP_N) {
reason = cpu_ops (pattern, op, intrq); /* get instruction operands */
if (reason != SCPE_OK) /* evaluation failed? */
return reason; /* return reason for failure */
}
switch (entry) { /* decode IR<3:0> */
case 000: /* .PMAP 105240 (OP_N) */
reason = cpu_vma_pmap (IR, AR, BR); /* map pages */
if (PR - err_PC <= 2)
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " return location is P+%u (%serror)\n",
PR, IR, PR - err_PC, no [PR - err_PC - 1]);
break;
case 001: /* $LOC 105241 (OP_CCCACC) */
reason = cpu_vma_loc(IR, op,intrq); /* handle the coroutine switch */
break;
case 002: /* [test] 105242 (OP_N) */
XR = 3; /* refer to src code 92084-18828 rev 3 */
SR = 0102077; /* HLT 77 instruction */
YR = 1; /* ROMs correctly installed */
PR = (PR+1) & VAMASK; /* skip instr if VMA/EMA ROM installed */
break;
case 003: /* [swap] 105243 (OP_N) */
t16 = AR; /* swap A and B registers */
AR = BR;
BR = t16;
break;
case 004: /* [---] 105244 (OP_N) */
reason = STOP (cpu_ss_unimpl); /* fragment of dead code */
break; /* in microrom */
case 005: /* [---] 105245 (OP_N) */
reason = STOP (cpu_ss_unimpl); /* fragment of dead code */
break; /* in microrom */
case 006: /* [nop] 105246 (OP_N) */
break; /* do nothing */
case 007: /* [umpy] 105247 (OP_K) */
t32 = AR * op[0].word; /* get multiplier */
t32 += BR; /* add B */
AR = (t32 >> 16) & DMASK; /* move result back to AB */
BR = t32 & DMASK;
O = 0; /* instr clears OV */
break;
case 010: /* .IMAP 105250 (OP_A) */
dtbl = op[0].word;
atbl = PR;
reason = cpu_vma_ijmar(IR, in_s,dtbl,atbl,&ndim,intrq); /* calc the virt address to AB */
if (reason)
return reason;
t32 = (AR << 16) | (BR & DMASK);
reason = cpu_vma_lbp(IR, t32,0,PR-2,intrq);
if (reason)
return reason;
if (PR==pcsave)
PR = (PR+ndim) & VAMASK; /* adjust P: skip ndim subscript words */
break;
case 011: /* .IMAR 105251 (OP_A) */
dtbl = ReadW(op[0].word);
atbl = (op[0].word+1) & VAMASK;
reason = cpu_vma_ijmar(IR, in_s,dtbl,atbl,0,intrq); /* calc the virt address to AB */
break;
case 012: /* .JMAP 105252 (OP_A) */
dtbl = op[0].word;
atbl = PR;
reason = cpu_vma_ijmar(IR, in_d,dtbl,atbl,&ndim,intrq); /* calc the virtual address to AB */
if (reason)
return reason;
t32 = (AR << 16) | (BR & DMASK);
reason = cpu_vma_lbp(IR, t32,0,PR-2,intrq);
if (reason)
return reason;
if (PR==pcsave)
PR = (PR + ndim) & VAMASK; /* adjust P: skip ndim subscript dword ptr */
break;
case 013: /* .JMAR 105253 (OP_A) */
dtbl = ReadW(op[0].word);
atbl = (op[0].word+1) & VAMASK;
reason = cpu_vma_ijmar(IR, in_d,dtbl,atbl,0,intrq); /* calc the virt address to AB */
break;
case 014: /* .LPXR 105254 (OP_AA) */
dop0 = ReadOp(op[0].word,in_d); /* get pointer from arg */
dop1 = ReadOp(op[1].word,in_d);
t32 = dop0.dword + dop1.dword; /* add offset to it */
reason = cpu_vma_lbp(IR, t32,0,PR-3,intrq);
break;
case 015: /* .LPX 105255 (OP_A) */
t32 = (AR << 16) | (BR & DMASK); /* pointer in AB */
dop0 = ReadOp(op[0].word,in_d);
reason = cpu_vma_lbp(IR, t32,dop0.dword,PR-2,intrq);
break;
case 016: /* .LBPR 105256 (OP_A) */
dop0 = ReadOp(op[0].word,in_d); /* get the pointer */
reason = cpu_vma_lbp(IR, dop0.dword,0,PR-2,intrq);
break;
case 017: /* .LBP 105257 (OP_N) */
t32 = (AR << 16) | (BR & DMASK);
reason = cpu_vma_lbp(IR, t32,0,PR-1,intrq);
break;
}
return reason;
}
/* calculate the 32 bit EMA subscript for an array */
static t_bool cpu_ema_resolve(uint32 dtbl,uint32 atbl,uint32* sum)
{
int32 sub, sz, ndim;
uint32 base, udim, usz, act, low;
HP_WORD MA;
udim = ReadW(dtbl++); /* # dimensions */
ndim = SEXT16(udim); /* sign extend */
if (ndim < 0) return FALSE; /* invalid? */
*sum = 0; /* accu for index calc */
while (ndim > 0) {
MA = ReadF (atbl++); /* fetch address of A(N) */
resolve (MA, &MA, 0);
act = ReadW(MA); /* A(N) */
low = ReadW(dtbl++); /* -L(N) */
sub = SEXT16(act) + SEXT16(low); /* subscript */
if (sub & 0xffff8000) return FALSE; /* overflow? */
*sum += sub; /* accumulate */
usz = ReadW(dtbl++);
sz = SEXT16(usz);
if (sz < 0) return FALSE;
*sum *= sz;
if (*sum > (512*1024)) return FALSE; /* overflow? */
ndim--;
}
base = (ReadW(dtbl+1)<<16) | (ReadW(dtbl) & 0xffff); /* base of array in EMA */
if (base & 0x8000000) return FALSE;
*sum += base; /* calculate address into EMA */
if (*sum & 0xf8000000) return FALSE; /* overflow? */
return TRUE;
}
/* implementation of VIS RTE-IVB EMA support
* .ERES microcode routine, resolves only EMA addresses
* Call:
* .OCT 101474B
* DEF RTN error return (rtn), good return is rtn+1
* DEF DUMMY dummy argument for compatibility with .EMAP
* DEF TABLE[,I] array declaration (dtbl)
* DEF A(N)[,I] actual subscripts (atbl)
* DEF A(N-1)[,I]
* ...
* DEF A(2)[,I]
* DEF A(1)[,I]
* RTN EQU * error return A="20", B="EM"
* RTN+1 EQU *+1 good return B=logical address
*
* TABLE DEC # # dimensions
* DEC -L(N)
* DEC D(N-1)
* DEC -L(N-1) lower bound (n-1)st dim
* DEC D(N-2) (n-2)st dim
* ...
* DEC D(1) 1st dim
* DEC -L(1) lower bound 1st dim
* DEC # # words/element
* OFFSET 1 EMA Low
* OFFSET 2 EMA High
*/
t_stat cpu_ema_eres(HP_WORD *rtn,uint32 dtbl,uint32 atbl)
{
uint32 sum;
if (cpu_ema_resolve(dtbl,atbl,&sum)) { /* calculate subscript */
AR = sum & 0xffff;
BR = sum >> 16;
if (!(BR & SIGN)) { /* no overflow? */
(*rtn)++; /* return via good exit */
return SCPE_OK;
}
}
AR = 0x3230; /* error condition: */
BR = 0x454d; /* AR = '20', BR = 'EM' */
return SCPE_OK; /* return via unmodified rtn */
}
/* implementation of VIS RTE-IVB EMA support
* .ESEG microcode routine
* Call:
* LDA FIRST first map to set
* LDB N # of maps to set
* .OCT 101475B/105475B
* DEF RTN ptr to return
* DEF TABLE map table
* RTN EQU * error return A="21", B="EM"
* RTN+1 EQU *+1 good return B=logical address
*
* load maps FIRST to FIRST+N from TABLE, with FIRST = FIRST + LOG_START MSEG
* update map table in base page. Set LOG_START MSEG=0 if opcode==105475
*/
t_stat cpu_ema_eseg(HP_WORD* rtn, uint32 IR, uint32 tbl)
{
uint32 xidex,eqt,idext0,idext1;
uint32 msegsz,phys,msegn,last,emasz,pg0,pg1,pg,i,lp;
if ((BR & SIGN) || BR==0) goto em21; /* #maps not positive? */
xidex = ReadU (idx); /* read ID extension */
if (xidex==0) goto em21;
idext0 = ReadWA(xidex+0); /* get 1st word idext */
msegsz = idext0 & 037; /* S7 MSEG size */
WriteS (xidex + 0, idext0 | 0100000); /* enforce nonstd MSEG */
idext1 = ReadWA(xidex+1); /* get 2nd word idext */
phys = idext1 & 01777; /* S5 phys start of EMA */
msegn = (idext1 >> 11) & 037; /* S9 get logical start MSEG# */
if (IR & 04000) { /* opcode == 105475? (.VPRG) */
msegn = 0; /* log start = 0 */
msegsz = 32; /* size = full range */
}
last = AR-1 + BR; /* last page */
if (last > msegsz) goto em21; /* too many? error */
eqt = ReadU (xeqt);
emasz = (ReadWA(eqt+28) & 01777) - 1; /* S6 EMA size in pages */
/* locations 1740...1777 of user base page contain the map entries we need.
* They are normally hidden by BP fence, therefore they have to be accessed by
* another fence-less map register. uCode uses #1 temporarily */
pg0 = dms_rmap(UMAP+0); /* read map #0 */
pg1 = dms_rmap(UMAP+1); /* save map #1 */
dms_wmap(UMAP+1,pg0); /* copy #0 into reg #1 */
lp = AR + msegn; /* first */
for (i=0; i<BR; i++) { /* loop over N entries */
pg = ReadW(tbl++); /* get value from table */
if ((pg & SIGN) || pg > emasz) pg |= 0140000; /* write protect if outside */
pg += phys; /* adjust into EMA page range */
WriteU (umaps + lp + i, pg); /* copy pg to user map */
/* printf("MAP val %oB to reg %d (addr=%oB)\n",pg,lp+i,umaps+lp+i); */
dms_wmap(UMAP+lp+i, pg); /* set DMS reg */
}
dms_wmap(UMAP+1,pg1); /* restore map #1 */
O = 0; /* clear overflow */
(*rtn)++; /* return via good exit */
return SCPE_OK;
em21:
AR = 0x3231; /* error condition: */
BR = 0x454d; /* AR = '21', BR = 'EM' */
return SCPE_OK; /* return via unmodified rtn */
}
/* implementation of VIS RTE-IVB EMA support
* .VSET microcode routine
* Call:
* .OCT 101476B
* DEF RTN return address
* DEF VIN input vector
* DEF VOUT output vector
* DEF MAPS
* OCT #SCALARS
* OCT #VECTORS
* OCT K 1024/(#words/element)
* RTN EQU * error return (B,A) = "VI22"
* RTN+1 EQU *+1 hard return, A = K/IMAX
* RTN+2 EQU *+2 easy return, A = 0, B = 2* #VCTRS
*/
t_stat cpu_ema_vset(HP_WORD* rtn, OPS op)
{
HP_WORD vin = op[0].word; /* S1 */
HP_WORD vout = op[1].word; /* S2 */
HP_WORD maps = op[2].word; /* S3 */
HP_WORD scalars = op[3].word; /* S4 */
HP_WORD vectors = op[4].word; /* S5 */
HP_WORD k = op[5].word; /* S6 */
uint32 imax = 0; /* imax S11*/
uint32 xidex, idext1, mseg, addr, i;
HP_WORD MA;
t_bool negflag = FALSE;
for (i=0; i<scalars; i++) { /* copy scalars */
XR = ReadW(vin++);
WriteW(vout++, XR);
}
xidex = ReadU (idx); /* get ID extension */
if (xidex==0) goto vi22; /* NO EMA? error */
idext1 = ReadWA(xidex+1);
mseg = (idext1 >> 1) & MSEGMASK; /* S9 get logical start MSEG */
for (i=0; i<vectors; i++) { /* copy vector addresses */
MA = ReadW(vin++);
resolve (MA, &MA, 0);
addr = ReadW(MA) & 0177777; /* LSB */
addr |= (ReadW(MA+1)<<16); /* MSB, build address */
WriteW(vout++, mseg + (addr & 01777)); /* build and write log addr of vector */
addr = (addr >> 10) & 0xffff; /* get page */
WriteW(maps++, addr); /* save page# */
WriteW(maps++, addr+1); /* save next page# as well */
MA = ReadW(vin++); /* get index into Y */
resolve(MA, &MA, 0);
YR = ReadW(MA); /* get index value */
WriteW(vout++, MA); /* copy address of index */
if (YR & SIGN) { /* index is negative */
negflag = TRUE; /* mark a negative index (HARD) */
YR = (~YR + 1) & DMASK; /* make index positive */
}
if (imax < YR) imax = YR; /* set maximum index */
mseg += 04000; /* incr mseg address by 2 more pages */
}
MA = ReadW(vin); /* get N index into Y */
resolve(MA, &MA, 0);
YR = ReadW(MA);
WriteW(vout++, MA); vin++; /* copy address of N */
if (imax==0) goto easy; /* easy case */
AR = (uint16) (k / imax); AR++; /* calculate K/IMAX */
if (negflag) goto hard; /* had a negative index? */
if (YR > AR) goto hard;
easy:
(*rtn)++; /* return via exit 2 */
AR = 0;
hard:
(*rtn)++; /* return via exit 1 */
BR = 2 * op[4].word; /* B = 2* vectors */
return SCPE_OK;
vi22: /* error condition */
AR=0x3232; /* AR = '22' */
BR=0x5649; /* BR = 'VI' */
return SCPE_OK; /* return via unmodified e->rtn */
}
typedef struct ema4 {
uint32 mseg; /* logical start of MSEG */
uint32 msegsz; /* size of std mseg in pgs */
uint32 pgoff; /* pg # in EMA containing element */
uint32 offs; /* offset into page of element */
uint32 msoff; /* total offset to element in MSEG */
uint32 emasz; /* size of ema in pgs */
uint32 msegno; /* # of std mseg */
uint32 ipgs; /* # of pgs to start of MSEG */
uint32 npgs; /* # of pgs needed */
uint32 spmseg; /* first phys pg of MSEG */
} EMA4;
static t_bool cpu_ema_emas(uint32 dtbl,uint32 atbl,EMA4* e)
{
uint32 xidex, eqt;
uint32 sum, msegsz,pgoff,offs,emasz,msegno,msoff,ipgs;
if (!cpu_ema_resolve(dtbl,atbl,&sum)) return FALSE; /* calculate 32 bit index */
xidex = ReadU (idx); /* read ID extension */
msegsz = ReadWA(xidex+0) & 037; /* S5 # pgs for std MSEG */
pgoff = sum >> 10; /* S2 page containing element */
offs = sum & 01777; /* S6 offset in page to element */
if (pgoff > 1023) return FALSE; /* overflow? */
eqt = ReadU (xeqt);
emasz = ReadWA(eqt+28) & 01777; /* S EMA size in pages */
if (pgoff > emasz) return FALSE; /* outside EMA? */
msegno = pgoff / msegsz; /* S4 # of MSEG */
msoff = pgoff % msegsz; /* offset within MSEG in pgs */
ipgs = pgoff - msoff; /* S7 # pgs to start of MSEG */
msoff = msoff << 10; /* offset within MSEG in words */
msoff += offs; /* S1 offset to element in words */
e->msegsz = msegsz; /* return calculated data */
e->pgoff = pgoff;
e->offs = offs;
e->emasz = emasz;
e->msegno = msegno;
e->ipgs = ipgs;
e->msoff = msoff;
return TRUE;
}
static t_bool cpu_ema_mmap01(EMA4* e)
{
uint32 xidex,idext0, pg, pg0, pg1, i;
uint32 base = e->mseg >> 10; /* get the # of first MSEG DMS reg */
xidex = ReadU (idx); /* get ID extension */
idext0 = ReadWA(xidex+1);
if (e->npgs==0) return FALSE; /* no pages to map? */
if ((e->npgs+1+e->ipgs) <= e->emasz) e->npgs++; /* actually map npgs+1 pgs */
/* locations 1740...1777 of user base page contain the map entries we need.
* They are normally hidden by BP fence, therefore they have to be accessed by
* another fence-less map register. uCode uses #1, macro code uses $DVCT (==2)
*/
pg0 = dms_rmap(UMAP+0); /* read base page map# */
pg1 = dms_rmap(UMAP+1); /* save map# 1 */
dms_wmap(UMAP+1,pg0); /* map #0 into reg #1 */
for (i=0; (base+i)<32; i++) {
pg = i<e->npgs ? e->spmseg : 0140000; /* write protect if outside */
WriteU (umaps + base + i, pg); /* copy pg to user map */
/* printf("MAP val %d to reg %d (addr=%o)\n",pg,base+i,umaps+base+i); */
dms_wmap(UMAP+base+i, pg); /* set DMS reg */
e->spmseg++;
}
dms_wmap(UMAP+1,pg1); /* restore map #1 */
xidex = ReadU (idx); /* get ID extension */
idext0 = ReadWA(xidex+0);
if (e->msegno == 0xffff) /* non std mseg */
idext0 |= 0x8000; /* set nonstd marker */
else
idext0 = (idext0 & 037) | (e->msegno<<5); /* set new current mseg# */
WriteS (xidex, idext0); /* save back value */
AR = 0; /* was successful */
return TRUE;
}
static t_bool cpu_ema_mmap02(EMA4* e)
{
uint32 xidex, eqt, idext1;
uint32 mseg,phys,spmseg,emasz,msegsz,msegno;
xidex = ReadU (idx); /* get ID extension */
msegsz = ReadWA(xidex+0) & 037; /* P size of std MSEG */
idext1 = ReadWA(xidex+1);
mseg = (idext1 >> 1) & MSEGMASK; /* S9 get logical start MSEG */
phys = idext1 & 01777; /* S phys start of EMA */
spmseg = phys + e->ipgs; /* S7 phys pg# of MSEG */
msegno = e->ipgs / msegsz;
if ((e->ipgs % msegsz) != 0) /* non std MSEG? */
msegno = 0xffff; /* S4 yes, set marker */
if (e->npgs > msegsz) return FALSE; /* map more pages than MSEG sz? */
eqt = ReadU (xeqt);
emasz = ReadWA(eqt+28) & 01777; /* B EMA size in pages */
if ((e->ipgs+e->npgs) > emasz) return FALSE; /* outside EMA? */
if ((e->ipgs+msegsz) > emasz) /* if MSEG overlaps end of EMA */
e->npgs = emasz - e->ipgs; /* only map until end of EMA */
e->emasz = emasz; /* copy arguments */
e->msegsz = msegsz;
e->msegno = msegno;
e->spmseg = spmseg;
e->mseg = mseg;
return cpu_ema_mmap01(e);
}
static t_stat cpu_ema_mmap(uint32 ipage,uint32 npgs)
{
uint32 xidex;
EMA4 ema4, *e = &ema4;
e->ipgs = ipage; /* S6 set the arguments */
e->npgs = npgs; /* S5 */
AR = 0;
xidex = ReadU (idx);
if ((ipage & SIGN) || /* negative page displacement? */
(npgs & SIGN) || /* negative # of pages? */
xidex == 0 || /* no EMA? */
!cpu_ema_mmap02(e)) /* mapping failed? */
AR = 0177777; /* return with error */
return SCPE_OK; /* leave */
}
static t_bool cpu_ema_emat(EMA4* e)
{
uint32 xidex,idext0;
uint32 curmseg,phys,msnum,lastpgs;
xidex = ReadU (idx); /* read ID extension */
idext0 = ReadWA(xidex+0); /* get current segment */
curmseg = idext0 >> 5;
if ((idext0 & 0100000) || /* was nonstd MSEG? */
curmseg != e->msegno) { /* or different MSEG last time? */
phys = ReadWA(xidex+1) & 01777; /* physical start pg of EMA */
e->spmseg = phys + e->ipgs; /* physical start pg of MSEG */
msnum = e->emasz / e->msegsz; /* find last MSEG# */
lastpgs = e->emasz % e->msegsz; /* #pgs in last MSEG */
if (lastpgs==0) msnum--; /* adjust # of last MSEG */
e->npgs = msnum==e->msegno ? lastpgs : e->msegsz; /* for last MSEG, only map available pgs */
if (!cpu_ema_mmap01(e)) return FALSE; /* map npgs pages at ipgs */
}
BR = (uint16) (e->mseg + e->msoff); /* return address of element */
return TRUE; /* and everything done */
}
/* .EMIO microcode routine, resolves element addr for EMA array
* and maps the appropriate map segment
*
* Call:
* OCT 105250B
* DEF RTN error return (rtn), good return is rtn+1
* DEF BUFLEN length of buffer in words (bufl)
* DEF TABLE[,I] array declaration (dtbl)
* DEF A(N)[,I] actual subscripts (atbl)
* DEF A(N-1)[,I]
* ...
* DEF A(2)[,I]
* DEF A(1)[,I]
* RTN EQU * error return A="15", B="EM"
* RTN+1 EQU *+1 good return B=logical address
*
* TABLE DEC # # dimensions
* DEC -L(N)
* DEC D(N-1)
* DEC -L(N-1) lower bound (n-1)st dim
* DEC D(N-2) (n-2)st dim
* ...
* DEC D(1) 1st dim
* DEC -L(1) lower bound 1st dim
* DEC # # words/element
* OFFSET 1 EMA Low
* OFFSET 2 EMA High
*/
static t_stat cpu_ema_emio(uint32* rtn,uint32 bufl,uint32 dtbl,uint32 atbl)
{
uint32 xidex, idext1;
uint32 mseg, bufpgs, npgs;
EMA4 ema4, *e = &ema4;
xidex = ReadU (idx); /* read ID extension */
if (bufl & SIGN || /* buffer length negative? */
xidex==0) goto em16; /* no EMA declared? */
idext1 = ReadWA(xidex+1); /* |logstrt mseg|d|physstrt ema| */
mseg = (idext1 >> 1) & MSEGMASK; /* get logical start MSEG */
if (!cpu_ema_emas(dtbl,atbl,e)) goto em16; /* resolve address */
bufpgs = (bufl + e->offs) >> 10; /* # of pgs reqd for buffer */
if ((bufl + e->offs) & 01777) bufpgs++; /* S11 add 1 if not at pg boundary */
if ((bufpgs + e->pgoff) > e->emasz) goto em16; /* exceeds EMA limit? */
npgs = (e->msoff + bufl) >> 10; /* # of pgs reqd for MSEG */
if ((e->msoff + bufl) & 01777) npgs++; /* add 1 if not at pg boundary */
if (npgs < e->msegsz) {
e->mseg = mseg; /* logical stat of MSEG */
if (!cpu_ema_emat(e)) goto em16; /* do a std mapping */
} else {
BR = (uint16) (mseg + e->offs); /* logical start of buffer */
e->npgs = bufpgs; /* S5 # pgs required */
e->ipgs = e->pgoff; /* S6 page offset to reqd pg */
if (!cpu_ema_mmap02(e)) goto em16; /* do nonstd mapping */
}
(*rtn)++; /* return via good exit */
return SCPE_OK;
em16: /* error condition */
AR=0x3136; /* AR = '16' */
BR=0x454d; /* BR = 'EM' */
return SCPE_OK; /* return via unmodified rtn */
}
/* .EMAP microcode routine, resolves both EMA/non-EMA calls
* Call:
* OCT 105257B
* DEF RTN error return (rtn), good return is rtn+1
* DEF ARRAY[,I] array base (abase)
* DEF TABLE[,I] array declaration (dtbl)
* DEF A(N)[,I] actual subscripts (atbl)
* DEF A(N-1)[,I]
* ...
* DEF A(2)[,I]
* DEF A(1)[,I]
* RTN EQU * error return A="15", B="EM"
* RTN+1 EQU *+1 good return B=logical address
*
* TABLE DEC # # dimensions
* DEC -L(N)
* DEC D(N-1)
* DEC -L(N-1) lower bound (n-1)st dim
* DEC D(N-2) (n-2)st dim
* ...
* DEC D(1) 1st dim
* DEC -L(1) lower bound 1st dim
* DEC # # words/element
* OFFSET 1 EMA Low
* OFFSET 2 EMA High
*/
static t_stat cpu_ema_emap(uint32* rtn,uint32 abase,uint32 dtbl,uint32 atbl)
{
uint32 xidex, eqt, idext0, idext1;
int32 sub, ndim, sz;
uint32 offs, pgoff, emasz, phys, msgn, mseg, sum, pg0, pg1, act, low, usz;
HP_WORD MA;
xidex = ReadU (idx); /* read ID Extension */
if (xidex) { /* is EMA declared? */
idext1 = ReadWA(xidex+1); /* get word 1 of idext */
mseg = (idext1 >> 1) & MSEGMASK; /* get logical start MSEG */
if (abase >= mseg) { /* EMA reference? */
if (!cpu_ema_resolve(dtbl,atbl,&sum)) /* calculate subscript */
goto em15;
offs = sum & 01777; /* address offset within page */
pgoff = sum >> 10; /* ema offset in pages */
if (pgoff > 1023) goto em15; /* overflow? */
eqt = ReadU (xeqt);
emasz = ReadWA(eqt+28) & 01777; /* EMA size in pages */
phys = idext1 & 01777; /* physical start pg of EMA */
if (pgoff > emasz) goto em15; /* outside EMA range? */
msgn = mseg >> 10; /* get # of 1st MSEG reg */
phys += pgoff;
pg0 = dms_rmap(UMAP+0); /* read base page map# */
pg1 = dms_rmap(UMAP+1); /* save map# 1 */
dms_wmap(UMAP+1,pg0); /* map #0 into reg #1 */
WriteU (umaps + msgn, phys); /* store 1st mapped pg in user map */
dms_wmap(UMAP+msgn, phys); /* and set the map register */
phys = (pgoff+1)==emasz ? 0140000 : phys+1; /* protect 2nd map if end of EMA */
WriteU (umaps + msgn + 1, phys); /* store 2nd mapped pg in user map */
dms_wmap(UMAP+msgn+1, phys); /* and set the map register */
dms_wmap(UMAP+1,pg1); /* restore map #1 */
idext0 = ReadWA(xidex+0) | 0100000; /* set NS flag in id extension */
WriteS (xidex + 0, idext0); /* save back value */
AR = 0; /* was successful */
BR = (uint16) (mseg + offs); /* calculate log address */
(*rtn)++; /* return via good exit */
return SCPE_OK;
}
} /* not EMA reference */
ndim = ReadW(dtbl++);
if (ndim<0) goto em15; /* negative ´dimensions */
sum = 0; /* accu for index calc */
while (ndim > 0) {
MA = ReadF (atbl++); /* fetch address of A(N) */
resolve (MA, &MA, 0);
act = ReadW(MA); /* A(N) */
low = ReadW(dtbl++); /* -L(N) */
sub = SEXT16(act) + SEXT16(low); /* subscript */
if (sub & 0xffff8000) goto em15; /* overflow? */
sum += sub; /* accumulate */
usz = ReadW(dtbl++);
sz = SEXT16(usz);
if (sz < 0) goto em15;
sum *= sz; /* and multiply with sz of dimension */
if (sum & 0xffff8000) goto em15; /* overflow? */
ndim--;
}
BR = (uint16) (abase + sum); /* add displacement */
(*rtn)++; /* return via good exit */
return SCPE_OK;
em15: /* error condition */
AR=0x3135; /* AR = '15' */
BR=0x454d; /* BR = 'EM' */
return SCPE_OK; /* return via unmodified e->rtn */
}
/* RTE-IV Extended Memory Area Instructions
The RTE-IV operating system (HP product number 92067A) introduced the
Extended Memory Area (EMA) instructions. EMA provided a mappable data area
up to one megaword in size. These three instructions accelerated data
accesses to variables stored in EMA partitions. Support was limited to
E/F-Series machines; M-Series machines used software equivalents.
Option implementation by CPU was as follows:
2114 2115 2116 2100 1000-M 1000-E 1000-F
------ ------ ------ ------ ------ ------ ------
N/A N/A N/A N/A N/A 92067A 92067A
The routines are mapped to instruction codes as follows:
Instr. 1000-E/F Description
------ -------- ----------------------------------------------
.EMIO 105240 EMA I/O
MMAP 105241 Map physical to logical memory
emtst 105242 [self test]
.EMAP 105257 Resolve array element address
Notes:
1. RTE-IV EMA and RTE-6 VMA instructions share the same address space, so a
given machine can run one or the other, but not both.
2. The EMA diagnostic (92067-16013) reports bogus MMAP failures if it is
not loaded at the start of its partition (e.g., because of a LOADR "LO"
command). The "ICMPS" map comparison check in the diagnostic assumes
that the starting page of the program's partition contains the first
instruction of the program and prints "MMAP ERROR" if it does not.
Additional references:
- RTE-IVB Programmer's Reference Manual (92068-90004, Dec-1983).
- RTE-IVB Technical Specifications (92068-90013, Jan-1980).
*/
static const OP_PAT op_ema[16] = {
OP_AKA, OP_AKK, OP_N, OP_N, /* .EMIO MMAP [test] --- */
OP_N, OP_N, OP_N, OP_N, /* --- --- --- --- */
OP_N, OP_N, OP_N, OP_N, /* --- --- --- --- */
OP_N, OP_N, OP_N, OP_AAA /* --- --- --- .EMAP */
};
t_stat cpu_rte_ema (uint32 IR, uint32 intrq)
{
t_stat reason = SCPE_OK;
OPS op;
OP_PAT pattern;
uint32 entry, rtn;
entry = IR & 017; /* mask to entry point */
pattern = op_ema[entry]; /* get operand pattern */
if (pattern != OP_N) {
reason = cpu_ops (pattern, op, intrq); /* get instruction operands */
if (reason != SCPE_OK) /* evaluation failed? */
return reason; /* return reason for failure */
}
switch (entry) { /* decode IR<3:0> */
case 000: /* .EMIO 105240 (OP_A) */
rtn = op[0].word;
reason = cpu_ema_emio(&rtn, op[1].word,
op[2].word, PR); /* handle the EMIO instruction */
PR = rtn;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " return location is P+%u (%s)\n",
PR, IR, PR - err_PC, fmt_ab (PR - op[0].word));
break;
case 001: /* .MMAP 105241 (OP_AKK) */
reason = cpu_ema_mmap(op[1].word,
op[2].word); /* handle the MMAP instruction */
break;
case 002: /* emtst 105242 (OP_N) */
/* effectively, this code just returns without error:
* real microcode will set S register to 102077B when in single step mode */
if (sim_step == 1)
SR = 0102077;
break;
case 017: /* .EMAP 105247 (OP_A) */
rtn = op[0].word; /* error return */
reason = cpu_ema_emap(&rtn, op[1].word,
op[2].word, PR); /* handle the EMAP instruction */
PR = rtn;
tprintf (cpu_dev, TRACE_OPND, OPND_FORMAT " return location is P+%u (%s)\n",
PR, IR, PR - err_PC, fmt_ab (PR - op[0].word));
break;
default: /* others unimplemented */
reason = STOP (cpu_ss_unimpl);
}
return reason;
}