blob: 96049f30b3d48e36d5b51a4f04c36e7deba2d3d8 [file] [log] [blame] [raw]
/* pdp11_cpu.c: PDP-11 CPU simulator
Copyright (c) 1993-2012, 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.
cpu PDP-11 CPU
29-Apr-12 RMS Fixed compiler warning (Mark Pizzolato)
19-Mar-12 RMS Fixed declaration of sim_switches (Mark Pizzolato)
29-Dec-08 RMS Fixed failure to clear cpu_bme on RESET (Walter Mueller)
22-Apr-08 RMS Fixed MMR0 treatment in RESET (Walter Mueller)
02-Feb-08 RMS Fixed DMA memory address limit test (John Dundas)
28-Apr-07 RMS Removed clock initialization
27-Oct-06 RMS Added idle support
18-Oct-06 RMS Fixed bug in ASH -32 C value
24-May-06 RMS Added instruction history
03-May-06 RMS Fixed XOR operand fetch order for 11/70-style systems
22-Sep-05 RMS Fixed declarations (Sterling Garwood)
16-Aug-05 RMS Fixed C++ declaration and cast problems
19-May-05 RMS Replaced WAIT clock queue check with API call
19-Jan-05 RMS Fixed bug(s) in RESET for 11/70 (Tim Chapman)
22-Dec-04 RMS Fixed WAIT to work in all modes (John Dundas)
02-Oct-04 RMS Added model emulation
25-Jan-04 RMS Removed local debug logging support
29-Dec-03 RMS Formalized 18b Qbus support
21-Dec-03 RMS Added autoconfiguration controls
05-Jun-03 RMS Fixed bugs in memory size table
12-Mar-03 RMS Added logical name support
01-Feb-03 RMS Changed R display to follow PSW<rs>, added SP display
19-Jan-03 RMS Changed mode definitions for Apple Dev Kit conflict
05-Jan-03 RMS Added memory size restore support
17-Oct-02 RMS Fixed bug in examine/deposit (Hans Pufal)
08-Oct-02 RMS Revised to build dib_tab dynamically
Added SHOW IOSPACE
09-Sep-02 RMS Added KW11P support
14-Jul-02 RMS Fixed bug in MMR0 error status load
03-Jun-02 RMS Fixed relocation add overflow, added PS<15:12> = 1111
special case logic to MFPI and removed it from MTPI
(John Dundas)
29-Apr-02 RMS More fixes to DIV and ASH/ASHC (John Dundas)
28-Apr-02 RMS Fixed bugs in illegal instruction 000010 and in
write-only memory pages (Wolfgang Helbig)
21-Apr-02 RMS Fixed bugs in DIV by zero, DIV overflow, TSTSET, RTS,
ASHC -32, and red zone trap (John Dundas)
04-Mar-02 RMS Changed double operand evaluation order for M+
23-Feb-02 RMS Fixed bug in MAINT, CPUERR, MEMERR read
28-Jan-02 RMS Revised for multiple timers; fixed calc_MMR1 macros
06-Jan-02 RMS Revised enable/disable support
30-Dec-01 RMS Added old PC queue
25-Dec-01 RMS Cleaned up sim_inst declarations
11-Dec-01 RMS Moved interrupt debug code
07-Dec-01 RMS Revised to use new breakpoint package
08-Nov-01 RMS Moved I/O to external module
26-Oct-01 RMS Revised to use symbolic definitions for IO page
15-Oct-01 RMS Added debug logging
08-Oct-01 RMS Fixed bug in revised interrupt logic
07-Sep-01 RMS Revised device disable and interrupt mechanisms
26-Aug-01 RMS Added DZ11 support
10-Aug-01 RMS Removed register from declarations
17-Jul-01 RMS Fixed warning from VC++ 6.0
01-Jun-01 RMS Added DZ11 interrupts
23-Apr-01 RMS Added RK611 support
05-Apr-01 RMS Added TS11/TSV05 support
05-Mar-01 RMS Added clock calibration support
11-Feb-01 RMS Added DECtape support
25-Jan-01 RMS Fixed 4M memory definition (Eric Smith)
14-Apr-99 RMS Changed t_addr to unsigned
18-Aug-98 RMS Added CIS support
09-May-98 RMS Fixed bug in DIV overflow test
19-Jan-97 RMS Added RP/RM support
06-Apr-96 RMS Added dynamic memory sizing
29-Feb-96 RMS Added TM11 support
17-Jul-94 RMS Corrected updating of MMR1 if MMR0 locked
The register state for the PDP-11 is:
REGFILE[0:5][0] general register set
REGFILE[0:5][1] alternate general register set
STACKFILE[4] stack pointers for kernel, supervisor, unused, user
PC program counter
PSW processor status word
<15:14> = CM current processor mode
<13:12> = PM previous processor mode
<11> = RS register set select
<8> = FPD first part done (CIS)
<7:5> = IPL interrupt priority level
<4> = TBIT trace trap enable
<3:0> = NZVC condition codes
FR[0:5] floating point accumulators
FPS floating point status register
FEC floating exception code
FEA floating exception address
MMR0,1,2,3 memory management control registers
APRFILE[0:63] memory management relocation registers for
kernel, supervisor, unused, user
<31:16> = PAR processor address registers
<15:0> = PDR processor data registers
PIRQ processor interrupt request register
CPUERR CPU error register
MEMERR memory system error register
CCR cache control register
MAINT maintenance register
HITMISS cache status register
SR switch register
DR display register
The PDP-11 has many instruction formats:
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ double operand
| opcode | source spec | dest spec | 010000:067777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ 110000:167777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ register + operand
| opcode | src reg| dest spec | 004000:004777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ 070000:077777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ single operand
| opcode | dest spec | 000100:000177
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ 000300:000377
005000:007777
105000:107777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ single register
| opcode |dest reg| 000200:000207
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ 000230:000237
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ no operand
| opcode | 000000:000007
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ branch
| opcode | branch displacement | 000400:003477
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ 100000:103477
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ EMT/TRAP
| opcode | trap code | 104000:104777
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+ cond code operator
| opcode | immediate | 000240:000277
+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+--+
An operand specifier consists of an addressing mode and a register.
The addressing modes are:
0 register direct R op = R
1 register deferred (R) op = M[R]
2 autoincrement (R)+ op = M[R]; R = R + length
3 autoincrement deferred @(R)+ op = M[M[R]]; R = R + 2
4 autodecrement -(R) R = R - length; op = M[R]
5 autodecrement deferred @-(R) R = R - 2; op = M[M[R]]
6 displacement d(R) op = M[R + disp]
7 displacement deferred @d(R) op = M[M[R + disp]]
There are eight general registers, R0-R7. R6 is the stack pointer,
R7 the PC. The combination of addressing modes with R7 yields:
27 immediate #n op = M[PC]; PC = PC + 2
37 absolute @#n op = M[M[PC]]; PC = PC + 2
67 relative d(PC) op = M[PC + disp]
77 relative deferred @d(PC) op = M[M[PC + disp]]
This routine is the instruction decode routine for the PDP-11. It
is called from the simulator control program to execute instructions
in simulated memory, starting at the simulated PC. It runs until an
enabled exception is encountered.
General notes:
1. Virtual address format. PDP-11 memory management uses the 16b
virtual address, the type of reference (instruction or data), and
the current mode, to construct the 22b physical address. To
package this conveniently, the simulator uses a 19b pseudo virtual
address, consisting of the 16b virtual address prefixed with the
current mode and ispace/dspace indicator. These are precalculated
as isenable and dsenable for ispace and dspace, respectively, and
must be recalculated whenever MMR0, MMR3, or PSW<cm> changes.
2. Traps and interrupts. Variable trap_req bit-encodes all possible
traps. In addition, an interrupt pending bit is encoded as the
lowest priority trap. Traps are processed by trap_vec and trap_clear,
which provide the vector and subordinate traps to clear, respectively.
Array int_req[0:7] bit encodes all possible interrupts. It is masked
under the interrupt priority level, ipl. If any interrupt request
is not masked, the interrupt bit is set in trap_req. While most
interrupts are handled centrally, a device can supply an interrupt
acknowledge routine.
3. PSW handling. The PSW is kept as components, for easier access.
Because the PSW can be explicitly written as address 17777776,
all instructions must update PSW before executing their last write.
4. Adding I/O devices. These modules must be modified:
pdp11_defs.h add device address and interrupt definitions
pdp11_sys.c add to sim_devices table entry
*/
/* Definitions */
#include "pdp11_defs.h"
#include "pdp11_cpumod.h"
#define PCQ_SIZE 64 /* must be 2**n */
#define PCQ_MASK (PCQ_SIZE - 1)
#define PCQ_ENTRY pcq[pcq_p = (pcq_p - 1) & PCQ_MASK] = PC
#define calc_is(md) ((md) << VA_V_MODE)
#define calc_ds(md) (calc_is((md)) | ((MMR3 & dsmask[(md)])? VA_DS: 0))
#define calc_MMR1(val) ((MMR1)? (((val) << 8) | MMR1): (val))
#define GET_SIGN_W(v) (((v) >> 15) & 1)
#define GET_SIGN_B(v) (((v) >> 7) & 1)
#define GET_Z(v) ((v) == 0)
#define JMP_PC(x) PCQ_ENTRY; PC = (x)
#define BRANCH_F(x) PCQ_ENTRY; PC = (PC + (((x) + (x)) & 0377)) & 0177777
#define BRANCH_B(x) PCQ_ENTRY; PC = (PC + (((x) + (x)) | 0177400)) & 0177777
#define last_pa (cpu_unit.u4) /* auto save/rest */
#define UNIT_V_MSIZE (UNIT_V_UF + 0) /* dummy */
#define UNIT_MSIZE (1u << UNIT_V_MSIZE)
#define HIST_MIN 64
#define HIST_MAX (1u << 18)
#define HIST_VLD 1 /* make PC odd */
#define HIST_ILNT 4 /* max inst length */
typedef struct {
uint16 pc;
uint16 psw;
uint16 src;
uint16 dst;
uint16 inst[HIST_ILNT];
} InstHistory;
/* Global state */
extern FILE *sim_log;
uint16 *M = NULL; /* memory */
int32 REGFILE[6][2] = { {0} }; /* R0-R5, two sets */
int32 STACKFILE[4] = { 0 }; /* SP, four modes */
int32 saved_PC = 0; /* program counter */
int32 R[8] = { 0 }; /* working registers */
int32 PSW = 0; /* PSW */
int32 cm = 0; /* current mode */
int32 pm = 0; /* previous mode */
int32 rs = 0; /* register set */
int32 fpd = 0; /* first part done */
int32 ipl = 0; /* int pri level */
int32 tbit = 0; /* trace flag */
int32 N = 0, Z = 0, V = 0, C = 0; /* condition codes */
int32 wait_state = 0; /* wait state */
int32 trap_req = 0; /* trap requests */
int32 int_req[IPL_HLVL] = { 0 }; /* interrupt requests */
int32 PIRQ = 0; /* programmed int req */
int32 STKLIM = 0; /* stack limit */
fpac_t FR[6] = { {0} }; /* fp accumulators */
int32 FPS = 0; /* fp status */
int32 FEC = 0; /* fp exception code */
int32 FEA = 0; /* fp exception addr */
int32 APRFILE[64] = { 0 }; /* PARs/PDRs */
int32 MMR0 = 0; /* MMR0 - status */
int32 MMR1 = 0; /* MMR1 - R+/-R */
int32 MMR2 = 0; /* MMR2 - saved PC */
int32 MMR3 = 0; /* MMR3 - 22b status */
int32 cpu_bme = 0; /* bus map enable */
int32 cpu_astop = 0; /* address stop */
int32 isenable = 0, dsenable = 0; /* i, d space flags */
int32 stop_trap = 1; /* stop on trap */
int32 stop_vecabort = 1; /* stop on vec abort */
int32 stop_spabort = 1; /* stop on SP abort */
int32 wait_enable = 0; /* wait state enable */
int32 autcon_enb = 1; /* autoconfig enable */
uint32 cpu_model = MOD_1173; /* CPU model */
uint32 cpu_type = 1u << MOD_1173; /* model as bit mask */
uint32 cpu_opt = SOP_1173; /* CPU options */
uint16 pcq[PCQ_SIZE] = { 0 }; /* PC queue */
int32 pcq_p = 0; /* PC queue ptr */
REG *pcq_r = NULL; /* PC queue reg ptr */
jmp_buf save_env; /* abort handler */
int32 hst_p = 0; /* history pointer */
int32 hst_lnt = 0; /* history length */
InstHistory *hst = NULL; /* instruction history */
int32 dsmask[4] = { MMR3_KDS, MMR3_SDS, 0, MMR3_UDS }; /* dspace enables */
t_addr cpu_memsize = INIMEMSIZE; /* last mem addr */
extern int32 CPUERR, MAINT;
extern CPUTAB cpu_tab[];
/* Function declarations */
t_stat cpu_ex (t_value *vptr, t_addr addr, UNIT *uptr, int32 sw);
t_stat cpu_dep (t_value val, t_addr addr, UNIT *uptr, int32 sw);
t_stat cpu_reset (DEVICE *dptr);
t_stat cpu_set_hist (UNIT *uptr, int32 val, char *cptr, void *desc);
t_stat cpu_show_hist (FILE *st, UNIT *uptr, int32 val, void *desc);
t_stat cpu_show_virt (FILE *st, UNIT *uptr, int32 val, void *desc);
int32 GeteaB (int32 spec);
int32 GeteaW (int32 spec);
int32 relocR (int32 addr);
int32 relocW (int32 addr);
void relocR_test (int32 va, int32 apridx);
void relocW_test (int32 va, int32 apridx);
t_bool PLF_test (int32 va, int32 apr);
void reloc_abort (int32 err, int32 apridx);
int32 ReadE (int32 addr);
int32 ReadW (int32 addr);
int32 ReadB (int32 addr);
int32 ReadMW (int32 addr);
int32 ReadMB (int32 addr);
void WriteW (int32 data, int32 addr);
void WriteB (int32 data, int32 addr);
void PWriteW (int32 data, int32 addr);
void PWriteB (int32 data, int32 addr);
void set_r_display (int32 rs, int32 cm);
t_stat CPU_wr (int32 data, int32 addr, int32 access);
void set_stack_trap (int32 adr);
int32 get_PSW (void);
void put_PSW (int32 val, t_bool prot);
void put_PIRQ (int32 val);
extern void fp11 (int32 IR);
extern t_stat cis11 (int32 IR);
extern t_stat fis11 (int32 IR);
extern t_stat build_dib_tab (void);
extern t_stat show_iospace (FILE *st, UNIT *uptr, int32 val, void *desc);
extern t_stat set_autocon (UNIT *uptr, int32 val, char *cptr, void *desc);
extern t_stat show_autocon (FILE *st, UNIT *uptr, int32 val, void *desc);
extern t_stat iopageR (int32 *data, uint32 addr, int32 access);
extern t_stat iopageW (int32 data, uint32 addr, int32 access);
extern int32 calc_ints (int32 nipl, int32 trq);
extern int32 get_vector (int32 nipl);
/* Trap data structures */
int32 trap_vec[TRAP_V_MAX] = { /* trap req to vector */
VEC_RED, VEC_ODD, VEC_MME, VEC_NXM,
VEC_PAR, VEC_PRV, VEC_ILL, VEC_BPT,
VEC_IOT, VEC_EMT, VEC_TRAP, VEC_TRC,
VEC_YEL, VEC_PWRFL, VEC_FPE
};
int32 trap_clear[TRAP_V_MAX] = { /* trap clears */
TRAP_RED+TRAP_PAR+TRAP_YEL+TRAP_TRC+TRAP_ODD+TRAP_NXM,
TRAP_ODD+TRAP_PAR+TRAP_YEL+TRAP_TRC,
TRAP_MME+TRAP_PAR+TRAP_YEL+TRAP_TRC,
TRAP_NXM+TRAP_PAR+TRAP_YEL+TRAP_TRC,
TRAP_PAR+TRAP_TRC, TRAP_PRV+TRAP_TRC,
TRAP_ILL+TRAP_TRC, TRAP_BPT+TRAP_TRC,
TRAP_IOT+TRAP_TRC, TRAP_EMT+TRAP_TRC,
TRAP_TRAP+TRAP_TRC, TRAP_TRC,
TRAP_YEL, TRAP_PWRFL, TRAP_FPE
};
/* CPU data structures
cpu_dev CPU device descriptor
cpu_unit CPU unit descriptor
cpu_reg CPU register list
cpu_mod CPU modifier list
*/
UNIT cpu_unit = { UDATA (NULL, UNIT_FIX|UNIT_BINK, INIMEMSIZE) };
REG cpu_reg[] = {
{ ORDATA (PC, saved_PC, 16) },
{ ORDATA (R0, REGFILE[0][0], 16) },
{ ORDATA (R1, REGFILE[1][0], 16) },
{ ORDATA (R2, REGFILE[2][0], 16) },
{ ORDATA (R3, REGFILE[3][0], 16) },
{ ORDATA (R4, REGFILE[4][0], 16) },
{ ORDATA (R5, REGFILE[5][0], 16) },
{ ORDATA (SP, STACKFILE[MD_KER], 16) },
{ ORDATA (R00, REGFILE[0][0], 16) },
{ ORDATA (R01, REGFILE[1][0], 16) },
{ ORDATA (R02, REGFILE[2][0], 16) },
{ ORDATA (R03, REGFILE[3][0], 16) },
{ ORDATA (R04, REGFILE[4][0], 16) },
{ ORDATA (R05, REGFILE[5][0], 16) },
{ ORDATA (R10, REGFILE[0][1], 16) },
{ ORDATA (R11, REGFILE[1][1], 16) },
{ ORDATA (R12, REGFILE[2][1], 16) },
{ ORDATA (R13, REGFILE[3][1], 16) },
{ ORDATA (R14, REGFILE[4][1], 16) },
{ ORDATA (R15, REGFILE[5][1], 16) },
{ ORDATA (KSP, STACKFILE[MD_KER], 16) },
{ ORDATA (SSP, STACKFILE[MD_SUP], 16) },
{ ORDATA (USP, STACKFILE[MD_USR], 16) },
{ ORDATA (PSW, PSW, 16) },
{ GRDATA (CM, PSW, 8, 2, PSW_V_CM) },
{ GRDATA (PM, PSW, 8, 2, PSW_V_PM) },
{ FLDATA (RS, PSW, PSW_V_RS) },
{ FLDATA (FPD, PSW, PSW_V_FPD) },
{ GRDATA (IPL, PSW, 8, 3, PSW_V_IPL) },
{ FLDATA (T, PSW, PSW_V_TBIT) },
{ FLDATA (N, PSW, PSW_V_N) },
{ FLDATA (Z, PSW, PSW_V_Z) },
{ FLDATA (V, PSW, PSW_V_V) },
{ FLDATA (C, PSW, PSW_V_C) },
{ ORDATA (PIRQ, PIRQ, 16) },
{ ORDATA (STKLIM, STKLIM, 16) },
{ ORDATA (FAC0H, FR[0].h, 32) },
{ ORDATA (FAC0L, FR[0].l, 32) },
{ ORDATA (FAC1H, FR[1].h, 32) },
{ ORDATA (FAC1L, FR[1].l, 32) },
{ ORDATA (FAC2H, FR[2].h, 32) },
{ ORDATA (FAC2L, FR[2].l, 32) },
{ ORDATA (FAC3H, FR[3].h, 32) },
{ ORDATA (FAC3L, FR[3].l, 32) },
{ ORDATA (FAC4H, FR[4].h, 32) },
{ ORDATA (FAC4L, FR[4].l, 32) },
{ ORDATA (FAC5H, FR[5].h, 32) },
{ ORDATA (FAC5L, FR[5].l, 32) },
{ ORDATA (FPS, FPS, 16) },
{ ORDATA (FEA, FEA, 16) },
{ ORDATA (FEC, FEC, 4) },
{ ORDATA (MMR0, MMR0, 16) },
{ ORDATA (MMR1, MMR1, 16) },
{ ORDATA (MMR2, MMR2, 16) },
{ ORDATA (MMR3, MMR3, 16) },
{ GRDATA (KIPAR0, APRFILE[000], 8, 16, 16) },
{ GRDATA (KIPDR0, APRFILE[000], 8, 16, 0) },
{ GRDATA (KIPAR1, APRFILE[001], 8, 16, 16) },
{ GRDATA (KIPDR1, APRFILE[001], 8, 16, 0) },
{ GRDATA (KIPAR2, APRFILE[002], 8, 16, 16) },
{ GRDATA (KIPDR2, APRFILE[002], 8, 16, 0) },
{ GRDATA (KIPAR3, APRFILE[003], 8, 16, 16) },
{ GRDATA (KIPDR3, APRFILE[003], 8, 16, 0) },
{ GRDATA (KIPAR4, APRFILE[004], 8, 16, 16) },
{ GRDATA (KIPDR4, APRFILE[004], 8, 16, 0) },
{ GRDATA (KIPAR5, APRFILE[005], 8, 16, 16) },
{ GRDATA (KIPDR5, APRFILE[005], 8, 16, 0) },
{ GRDATA (KIPAR6, APRFILE[006], 8, 16, 16) },
{ GRDATA (KIPDR6, APRFILE[006], 8, 16, 0) },
{ GRDATA (KIPAR7, APRFILE[007], 8, 16, 16) },
{ GRDATA (KIPDR7, APRFILE[007], 8, 16, 0) },
{ GRDATA (KDPAR0, APRFILE[010], 8, 16, 16) },
{ GRDATA (KDPDR0, APRFILE[010], 8, 16, 0) },
{ GRDATA (KDPAR1, APRFILE[011], 8, 16, 16) },
{ GRDATA (KDPDR1, APRFILE[011], 8, 16, 0) },
{ GRDATA (KDPAR2, APRFILE[012], 8, 16, 16) },
{ GRDATA (KDPDR2, APRFILE[012], 8, 16, 0) },
{ GRDATA (KDPAR3, APRFILE[013], 8, 16, 16) },
{ GRDATA (KDPDR3, APRFILE[013], 8, 16, 0) },
{ GRDATA (KDPAR4, APRFILE[014], 8, 16, 16) },
{ GRDATA (KDPDR4, APRFILE[014], 8, 16, 0) },
{ GRDATA (KDPAR5, APRFILE[015], 8, 16, 16) },
{ GRDATA (KDPDR5, APRFILE[015], 8, 16, 0) },
{ GRDATA (KDPAR6, APRFILE[016], 8, 16, 16) },
{ GRDATA (KDPDR6, APRFILE[016], 8, 16, 0) },
{ GRDATA (KDPAR7, APRFILE[017], 8, 16, 16) },
{ GRDATA (KDPDR7, APRFILE[017], 8, 16, 0) },
{ GRDATA (SIPAR0, APRFILE[020], 8, 16, 16) },
{ GRDATA (SIPDR0, APRFILE[020], 8, 16, 0) },
{ GRDATA (SIPAR1, APRFILE[021], 8, 16, 16) },
{ GRDATA (SIPDR1, APRFILE[021], 8, 16, 0) },
{ GRDATA (SIPAR2, APRFILE[022], 8, 16, 16) },
{ GRDATA (SIPDR2, APRFILE[022], 8, 16, 0) },
{ GRDATA (SIPAR3, APRFILE[023], 8, 16, 16) },
{ GRDATA (SIPDR3, APRFILE[023], 8, 16, 0) },
{ GRDATA (SIPAR4, APRFILE[024], 8, 16, 16) },
{ GRDATA (SIPDR4, APRFILE[024], 8, 16, 0) },
{ GRDATA (SIPAR5, APRFILE[025], 8, 16, 16) },
{ GRDATA (SIPDR5, APRFILE[025], 8, 16, 0) },
{ GRDATA (SIPAR6, APRFILE[026], 8, 16, 16) },
{ GRDATA (SIPDR6, APRFILE[026], 8, 16, 0) },
{ GRDATA (SIPAR7, APRFILE[027], 8, 16, 16) },
{ GRDATA (SIPDR7, APRFILE[027], 8, 16, 0) },
{ GRDATA (SDPAR0, APRFILE[030], 8, 16, 16) },
{ GRDATA (SDPDR0, APRFILE[030], 8, 16, 0) },
{ GRDATA (SDPAR1, APRFILE[031], 8, 16, 16) },
{ GRDATA (SDPDR1, APRFILE[031], 8, 16, 0) },
{ GRDATA (SDPAR2, APRFILE[032], 8, 16, 16) },
{ GRDATA (SDPDR2, APRFILE[032], 8, 16, 0) },
{ GRDATA (SDPAR3, APRFILE[033], 8, 16, 16) },
{ GRDATA (SDPDR3, APRFILE[033], 8, 16, 0) },
{ GRDATA (SDPAR4, APRFILE[034], 8, 16, 16) },
{ GRDATA (SDPDR4, APRFILE[034], 8, 16, 0) },
{ GRDATA (SDPAR5, APRFILE[035], 8, 16, 16) },
{ GRDATA (SDPDR5, APRFILE[035], 8, 16, 0) },
{ GRDATA (SDPAR6, APRFILE[036], 8, 16, 16) },
{ GRDATA (SDPDR6, APRFILE[036], 8, 16, 0) },
{ GRDATA (SDPAR7, APRFILE[037], 8, 16, 16) },
{ GRDATA (SDPDR7, APRFILE[037], 8, 16, 0) },
{ GRDATA (UIPAR0, APRFILE[060], 8, 16, 16) },
{ GRDATA (UIPDR0, APRFILE[060], 8, 16, 0) },
{ GRDATA (UIPAR1, APRFILE[061], 8, 16, 16) },
{ GRDATA (UIPDR1, APRFILE[061], 8, 16, 0) },
{ GRDATA (UIPAR2, APRFILE[062], 8, 16, 16) },
{ GRDATA (UIPDR2, APRFILE[062], 8, 16, 0) },
{ GRDATA (UIPAR3, APRFILE[063], 8, 16, 16) },
{ GRDATA (UIPDR3, APRFILE[063], 8, 16, 0) },
{ GRDATA (UIPAR4, APRFILE[064], 8, 16, 16) },
{ GRDATA (UIPDR4, APRFILE[064], 8, 16, 0) },
{ GRDATA (UIPAR5, APRFILE[065], 8, 16, 16) },
{ GRDATA (UIPDR5, APRFILE[065], 8, 16, 0) },
{ GRDATA (UIPAR6, APRFILE[066], 8, 16, 16) },
{ GRDATA (UIPDR6, APRFILE[066], 8, 16, 0) },
{ GRDATA (UIPAR7, APRFILE[067], 8, 16, 16) },
{ GRDATA (UIPDR7, APRFILE[067], 8, 16, 0) },
{ GRDATA (UDPAR0, APRFILE[070], 8, 16, 16) },
{ GRDATA (UDPDR0, APRFILE[070], 8, 16, 0) },
{ GRDATA (UDPAR1, APRFILE[071], 8, 16, 16) },
{ GRDATA (UDPDR1, APRFILE[071], 8, 16, 0) },
{ GRDATA (UDPAR2, APRFILE[072], 8, 16, 16) },
{ GRDATA (UDPDR2, APRFILE[072], 8, 16, 0) },
{ GRDATA (UDPAR3, APRFILE[073], 8, 16, 16) },
{ GRDATA (UDPDR3, APRFILE[073], 8, 16, 0) },
{ GRDATA (UDPAR4, APRFILE[074], 8, 16, 16) },
{ GRDATA (UDPDR4, APRFILE[074], 8, 16, 0) },
{ GRDATA (UDPAR5, APRFILE[075], 8, 16, 16) },
{ GRDATA (UDPDR5, APRFILE[075], 8, 16, 0) },
{ GRDATA (UDPAR6, APRFILE[076], 8, 16, 16) },
{ GRDATA (UDPDR6, APRFILE[076], 8, 16, 0) },
{ GRDATA (UDPAR7, APRFILE[077], 8, 16, 16) },
{ GRDATA (UDPDR7, APRFILE[077], 8, 16, 0) },
{ BRDATA (IREQ, int_req, 8, 32, IPL_HLVL), REG_RO },
{ ORDATA (TRAPS, trap_req, TRAP_V_MAX) },
{ FLDATA (WAIT, wait_state, 0) },
{ FLDATA (WAIT_ENABLE, wait_enable, 0), REG_HIDDEN },
{ ORDATA (STOP_TRAPS, stop_trap, TRAP_V_MAX) },
{ FLDATA (STOP_VECA, stop_vecabort, 0) },
{ FLDATA (STOP_SPA, stop_spabort, 0) },
{ FLDATA (AUTOCON, autcon_enb, 0), REG_HRO },
{ BRDATA (PCQ, pcq, 8, 16, PCQ_SIZE), REG_RO+REG_CIRC },
{ ORDATA (PCQP, pcq_p, 6), REG_HRO },
{ ORDATA (WRU, sim_int_char, 8) },
{ ORDATA (MODEL, cpu_model, 16), REG_HRO },
{ ORDATA (OPTIONS, cpu_opt, 32), REG_HRO },
{ NULL}
};
MTAB cpu_mod[] = {
{ MTAB_XTD|MTAB_VDV, 0, "TYPE", NULL,
NULL, &cpu_show_model },
{ MTAB_XTD|MTAB_VDV, MOD_1103, NULL, "11/03", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1104, NULL, "11/04", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1105, NULL, "11/05", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1120, NULL, "11/20", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1123, NULL, "11/23", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1123P, NULL, "11/23+", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1124, NULL, "11/24", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1134, NULL, "11/34", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1140, NULL, "11/40", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1144, NULL, "11/44", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1145, NULL, "11/45", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1153, NULL, "11/53", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1160, NULL, "11/60", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1170, NULL, "11/70", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1173, NULL, "11/73", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1173B, NULL, "11/73B", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1183, NULL, "11/83", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1184, NULL, "11/84", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1193, NULL, "11/93", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1194, NULL, "11/94", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1173, NULL, "Q22", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1184, NULL, "URH11", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1170, NULL, "URH70", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, MOD_1145, NULL, "U18", &cpu_set_model },
{ MTAB_XTD|MTAB_VDV, OPT_EIS, NULL, "EIS", &cpu_set_opt },
{ MTAB_XTD|MTAB_VDV, OPT_EIS, NULL, "NOEIS", &cpu_clr_opt },
{ MTAB_XTD|MTAB_VDV, OPT_FIS, NULL, "FIS", &cpu_set_opt },
{ MTAB_XTD|MTAB_VDV, OPT_FIS, NULL, "NOFIS", &cpu_clr_opt },
{ MTAB_XTD|MTAB_VDV, OPT_FPP, NULL, "FPP", &cpu_set_opt },
{ MTAB_XTD|MTAB_VDV, OPT_FPP, NULL, "NOFPP", &cpu_clr_opt },
{ MTAB_XTD|MTAB_VDV, OPT_CIS, NULL, "CIS", &cpu_set_opt },
{ MTAB_XTD|MTAB_VDV, OPT_CIS, NULL, "NOCIS", &cpu_clr_opt },
{ MTAB_XTD|MTAB_VDV, OPT_MMU, NULL, "MMU", &cpu_set_opt },
{ MTAB_XTD|MTAB_VDV, OPT_MMU, NULL, "NOMMU", &cpu_clr_opt },
{ MTAB_XTD|MTAB_VDV, 0, "IDLE", "IDLE", &sim_set_idle, &sim_show_idle },
{ MTAB_XTD|MTAB_VDV, 0, NULL, "NOIDLE", &sim_clr_idle, NULL },
{ UNIT_MSIZE, 16384, NULL, "16K", &cpu_set_size},
{ UNIT_MSIZE, 32768, NULL, "32K", &cpu_set_size},
{ UNIT_MSIZE, 49152, NULL, "48K", &cpu_set_size},
{ UNIT_MSIZE, 65536, NULL, "64K", &cpu_set_size},
{ UNIT_MSIZE, 98304, NULL, "96K", &cpu_set_size},
{ UNIT_MSIZE, 131072, NULL, "128K", &cpu_set_size},
{ UNIT_MSIZE, 196608, NULL, "192K", &cpu_set_size},
{ UNIT_MSIZE, 262144, NULL, "256K", &cpu_set_size},
{ UNIT_MSIZE, 393216, NULL, "384K", &cpu_set_size},
{ UNIT_MSIZE, 524288, NULL, "512K", &cpu_set_size},
{ UNIT_MSIZE, 786432, NULL, "768K", &cpu_set_size},
{ UNIT_MSIZE, 1048576, NULL, "1024K", &cpu_set_size},
{ UNIT_MSIZE, 1572864, NULL, "1536K", &cpu_set_size},
{ UNIT_MSIZE, 2097152, NULL, "2048K", &cpu_set_size},
{ UNIT_MSIZE, 3145728, NULL, "3072K", &cpu_set_size},
{ UNIT_MSIZE, 4186112, NULL, "4096K", &cpu_set_size},
{ UNIT_MSIZE, 1048576, NULL, "1M", &cpu_set_size},
{ UNIT_MSIZE, 2097152, NULL, "2M", &cpu_set_size},
{ UNIT_MSIZE, 3145728, NULL, "3M", &cpu_set_size},
{ UNIT_MSIZE, 4186112, NULL, "4M", &cpu_set_size},
{ MTAB_XTD|MTAB_VDV|MTAB_NMO, 0, "IOSPACE", NULL,
NULL, &show_iospace },
{ MTAB_XTD|MTAB_VDV, 1, "AUTOCONFIG", "AUTOCONFIG",
&set_autocon, &show_autocon },
{ MTAB_XTD|MTAB_VDV, 0, NULL, "NOAUTOCONFIG",
&set_autocon, NULL },
{ MTAB_XTD|MTAB_VDV|MTAB_NMO|MTAB_SHP, 0, "HISTORY", "HISTORY",
&cpu_set_hist, &cpu_show_hist },
{ MTAB_XTD|MTAB_VDV|MTAB_NMO|MTAB_SHP, 0, "VIRTUAL", NULL,
NULL, &cpu_show_virt },
{ 0 }
};
DEVICE cpu_dev = {
"CPU", &cpu_unit, cpu_reg, cpu_mod,
1, 8, 22, 2, 8, 16,
&cpu_ex, &cpu_dep, &cpu_reset,
NULL, NULL, NULL,
NULL, DEV_DYNM, 0,
NULL, &cpu_set_size, NULL
};
t_stat sim_instr (void)
{
int abortval, i;
volatile int32 trapea; /* used by setjmp */
t_stat reason;
/* Restore register state
1. PSW components
2. Active register file based on PSW<rs>
3. Active stack pointer based on PSW<cm>
4. Memory management control flags
5. Interrupt system
*/
reason = build_dib_tab (); /* build, chk dib_tab */
if (reason != SCPE_OK)
return reason;
if (MEMSIZE < cpu_tab[cpu_model].maxm) /* mem size < max? */
cpu_memsize = MEMSIZE; /* then okay */
else cpu_memsize = cpu_tab[cpu_model].maxm - IOPAGESIZE;/* max - io page */
cpu_type = 1u << cpu_model; /* reset type mask */
cpu_bme = (MMR3 & MMR3_BME) && (cpu_opt & OPT_UBM); /* map enabled? */
PC = saved_PC;
put_PSW (PSW, 0); /* set PSW, call calc_xs */
for (i = 0; i < 6; i++)
R[i] = REGFILE[i][rs];
SP = STACKFILE[cm];
isenable = calc_is (cm);
dsenable = calc_ds (cm);
put_PIRQ (PIRQ); /* rewrite PIRQ */
STKLIM = STKLIM & STKLIM_RW; /* clean up STKLIM */
MMR0 = MMR0 | MMR0_IC; /* usually on */
trap_req = calc_ints (ipl, trap_req); /* upd int req */
trapea = 0;
reason = 0;
/* Abort handling
If an abort occurs in memory management or memory access, the lower
level routine executes a longjmp to this area OUTSIDE the main
simulation loop. The longjmp specifies a trap mask which is OR'd
into the trap_req register. Simulation then resumes at the fetch
phase, and the trap is sprung.
Aborts which occur within a trap sequence (trapea != 0) require
special handling. If the abort occured on the stack pushes, and
the mode (encoded in trapea) is kernel, an "emergency" kernel
stack is created at 4, and a red zone stack trap taken.
All variables used in setjmp processing, or assumed to be valid
after setjmp, must be volatile or global.
*/
abortval = setjmp (save_env); /* set abort hdlr */
if (abortval != 0) {
trap_req = trap_req | abortval; /* or in trap flag */
if ((trapea > 0) && stop_vecabort)
reason = STOP_VECABORT;
if ((trapea < 0) && /* stack push abort? */
(CPUT (STOP_STKA) || stop_spabort)) reason = STOP_SPABORT;
if (trapea == ~MD_KER) { /* kernel stk abort? */
setTRAP (TRAP_RED);
setCPUERR (CPUE_RED);
STACKFILE[MD_KER] = 4;
if (cm == MD_KER)
SP = 4;
}
}
/* Main instruction fetch/decode loop
Check for traps or interrupts. If trap, locate the vector and check
for stop condition. If interrupt, locate the vector.
*/
while (reason == 0) {
int32 IR, srcspec, srcreg, dstspec, dstreg;
int32 src, src2, dst, ea;
int32 i, t, sign, oldrs, trapnum;
if (cpu_astop) {
cpu_astop = 0;
reason = SCPE_STOP;
break;
}
if (sim_interval <= 0) { /* intv cnt expired? */
reason = sim_process_event (); /* process events */
trap_req = calc_ints (ipl, trap_req); /* recalc int req */
continue;
} /* end if sim_interval */
if (trap_req) { /* check traps, ints */
trapea = 0; /* assume srch fails */
if ((t = trap_req & TRAP_ALL)) { /* if a trap */
for (trapnum = 0; trapnum < TRAP_V_MAX; trapnum++) {
if ((t >> trapnum) & 1) { /* trap set? */
trapea = trap_vec[trapnum]; /* get vec, clr */
trap_req = trap_req & ~trap_clear[trapnum];
if ((stop_trap >> trapnum) & 1) /* stop on trap? */
reason = trapnum + 1;
break;
} /* end if t & 1 */
} /* end for */
} /* end if t */
else {
trapea = get_vector (ipl); /* get int vector */
trapnum = TRAP_V_MAX; /* defang stk trap */
} /* end else t */
if (trapea == 0) { /* nothing to do? */
trap_req = calc_ints (ipl, 0); /* recalculate */
continue; /* back to fetch */
} /* end if trapea */
/* Process a trap or interrupt
1. Exit wait state
2. Save the current SP and PSW
3. Read the new PC, new PSW from trapea, kernel data space
4. Get the mode and stack selected by the new PSW
5. Push the old PC and PSW on the new stack
6. Update SP, PSW, and PC
7. If not stack overflow, check for stack overflow
*/
wait_state = 0; /* exit wait state */
STACKFILE[cm] = SP;
PSW = get_PSW (); /* assemble PSW */
oldrs = rs;
if (CPUT (HAS_MMTR)) { /* 45,70? */
if (update_MM) /* save vector */
MMR2 = trapea;
MMR0 = MMR0 & ~MMR0_IC; /* clear IC */
}
src = ReadW (trapea | calc_ds (MD_KER)); /* new PC */
src2 = ReadW ((trapea + 2) | calc_ds (MD_KER)); /* new PSW */
t = (src2 >> PSW_V_CM) & 03; /* new cm */
trapea = ~t; /* flag pushes */
WriteW (PSW, ((STACKFILE[t] - 2) & 0177777) | calc_ds (t));
WriteW (PC, ((STACKFILE[t] - 4) & 0177777) | calc_ds (t));
trapea = 0; /* clear trap flag */
src2 = (src2 & ~PSW_PM) | (cm << PSW_V_PM); /* insert prv mode */
put_PSW (src2, 0); /* call calc_is,ds */
if (rs != oldrs) { /* if rs chg, swap */
for (i = 0; i < 6; i++) {
REGFILE[i][oldrs] = R[i];
R[i] = REGFILE[i][rs];
}
}
SP = (STACKFILE[cm] - 4) & 0177777; /* update SP, PC */
isenable = calc_is (cm);
dsenable = calc_ds (cm);
trap_req = calc_ints (ipl, trap_req);
JMP_PC (src);
if ((cm == MD_KER) && (SP < (STKLIM + STKL_Y)) &&
(trapnum != TRAP_V_RED) && (trapnum != TRAP_V_YEL))
set_stack_trap (SP);
MMR0 = MMR0 | MMR0_IC; /* back to instr */
continue; /* end if traps */
}
/* Fetch and decode next instruction */
if (tbit)
setTRAP (TRAP_TRC);
if (wait_state) { /* wait state? */
if (sim_idle_enab) /* idle enabled? */
sim_idle (TMR_CLK, TRUE);
else if (wait_enable) /* old style idle? */
sim_interval = 0; /* force check */
else sim_interval = sim_interval - 1; /* count cycle */
continue;
}
if (sim_brk_summ && sim_brk_test (PC, SWMASK ('E'))) { /* breakpoint? */
reason = STOP_IBKPT; /* stop simulation */
continue;
}
if (update_MM) { /* if mm not frozen */
MMR1 = 0;
MMR2 = PC;
}
IR = ReadE (PC | isenable); /* fetch instruction */
sim_interval = sim_interval - 1;
srcspec = (IR >> 6) & 077; /* src, dst specs */
dstspec = IR & 077;
srcreg = (srcspec <= 07); /* src, dst = rmode? */
dstreg = (dstspec <= 07);
if (hst_lnt) { /* record history? */
t_value val;
uint32 i;
hst[hst_p].pc = PC | HIST_VLD;
hst[hst_p].psw = get_PSW ();
hst[hst_p].src = R[srcspec & 07];
hst[hst_p].dst = R[dstspec & 07];
hst[hst_p].inst[0] = IR;
for (i = 1; i < HIST_ILNT; i++) {
if (cpu_ex (&val, (PC + (i << 1)) & 0177777, &cpu_unit, SWMASK ('V')))
hst[hst_p].inst[i] = 0;
else hst[hst_p].inst[i] = (uint16) val;
}
hst_p = (hst_p + 1);
if (hst_p >= hst_lnt)
hst_p = 0;
}
PC = (PC + 2) & 0177777; /* incr PC, mod 65k */
switch ((IR >> 12) & 017) { /* decode IR<15:12> */
/* Opcode 0: no operands, specials, branches, JSR, SOPs */
case 000:
switch ((IR >> 6) & 077) { /* decode IR<11:6> */
case 000: /* no operand */
if (IR >= 000010) { /* 000010 - 000077 */
setTRAP (TRAP_ILL); /* illegal */
break;
}
switch (IR) { /* decode IR<2:0> */
case 0: /* HALT */
if ((cm == MD_KER) &&
(!CPUT (CPUT_J) || ((MAINT & MAINT_HTRAP) == 0)))
reason = STOP_HALT;
else if (CPUT (HAS_HALT4)) { /* priv trap? */
setTRAP (TRAP_PRV);
setCPUERR (CPUE_HALT);
}
else setTRAP (TRAP_ILL); /* no, ill inst */
break;
case 1: /* WAIT */
wait_state = 1;
break;
case 3: /* BPT */
setTRAP (TRAP_BPT);
break;
case 4: /* IOT */
setTRAP (TRAP_IOT);
break;
case 5: /* RESET */
if (cm == MD_KER) {
reset_all (2); /* skip CPU, sys reg */
PIRQ = 0; /* clear PIRQ */
STKLIM = 0; /* clear STKLIM */
MMR0 = 0; /* clear MMR0 */
MMR3 = 0; /* clear MMR3 */
cpu_bme = 0; /* (also clear bme) */
for (i = 0; i < IPL_HLVL; i++)
int_req[i] = 0;
trap_req = trap_req & ~TRAP_INT;
dsenable = calc_ds (cm);
}
break;
case 6: /* RTT */
if (!CPUT (HAS_RTT)) {
setTRAP (TRAP_ILL);
break;
}
case 2: /* RTI */
src = ReadW (SP | dsenable);
src2 = ReadW (((SP + 2) & 0177777) | dsenable);
STACKFILE[cm] = SP = (SP + 4) & 0177777;
oldrs = rs;
put_PSW (src2, (cm != MD_KER)); /* store PSW, prot */
if (rs != oldrs) {
for (i = 0; i < 6; i++) {
REGFILE[i][oldrs] = R[i];
R[i] = REGFILE[i][rs];
}
}
SP = STACKFILE[cm];
isenable = calc_is (cm);
dsenable = calc_ds (cm);
trap_req = calc_ints (ipl, trap_req);
JMP_PC (src);
if (CPUT (HAS_RTT) && tbit && /* RTT impl? */
(IR == 000002)) setTRAP (TRAP_TRC); /* RTI immed trap */
break;
case 7: /* MFPT */
if (CPUT (HAS_MFPT)) /* implemented? */
R[0] = cpu_tab[cpu_model].mfpt; /* get type */
else setTRAP (TRAP_ILL);
break;
} /* end switch no ops */
break; /* end case no ops */
case 001: /* JMP */
if (dstreg)
setTRAP (CPUT (HAS_JREG4)? TRAP_PRV: TRAP_ILL);
else {
dst = GeteaW (dstspec) & 0177777; /* get eff addr */
if (CPUT (CPUT_05|CPUT_20) && /* 11/05, 11/20 */
((dstspec & 070) == 020)) /* JMP (R)+? */
dst = R[dstspec & 07]; /* use post incr */
JMP_PC (dst);
}
break; /* end JMP */
case 002: /* RTS et al*/
if (IR < 000210) { /* RTS */
dstspec = dstspec & 07;
JMP_PC (R[dstspec]);
R[dstspec] = ReadW (SP | dsenable);
if (dstspec != 6)
SP = (SP + 2) & 0177777;
break;
} /* end if RTS */
if (IR < 000230) {
setTRAP (TRAP_ILL);
break;
}
if (IR < 000240) { /* SPL */
if (CPUT (HAS_SPL)) {
if (cm == MD_KER)
ipl = IR & 07;
trap_req = calc_ints (ipl, trap_req);
}
else setTRAP (TRAP_ILL);
break;
} /* end if SPL */
if (IR < 000260) { /* clear CC */
if (IR & 010)
N = 0;
if (IR & 004)
Z = 0;
if (IR & 002)
V = 0;
if (IR & 001)
C = 0;
break;
} /* end if clear CCs */
if (IR & 010) /* set CC */
N = 1;
if (IR & 004)
Z = 1;
if (IR & 002)
V = 1;
if (IR & 001)
C = 1;
break; /* end case RTS et al */
case 003: /* SWAB */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = ((dst & 0377) << 8) | ((dst >> 8) & 0377);
N = GET_SIGN_B (dst & 0377);
Z = GET_Z (dst & 0377);
if (!CPUT (CPUT_20))
V = 0;
C = 0;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break; /* end SWAB */
case 004: case 005: /* BR */
BRANCH_F (IR);
break;
case 006: case 007: /* BR */
BRANCH_B (IR);
break;
case 010: case 011: /* BNE */
if (Z == 0) {
BRANCH_F (IR);
}
break;
case 012: case 013: /* BNE */
if (Z == 0) {
BRANCH_B (IR);
}
break;
case 014: case 015: /* BEQ */
if (Z) {
BRANCH_F (IR);
}
break;
case 016: case 017: /* BEQ */
if (Z) {
BRANCH_B (IR);
}
break;
case 020: case 021: /* BGE */
if ((N ^ V) == 0) {
BRANCH_F (IR);
}
break;
case 022: case 023: /* BGE */
if ((N ^ V) == 0) {
BRANCH_B (IR);
}
break;
case 024: case 025: /* BLT */
if (N ^ V) {
BRANCH_F (IR);
}
break;
case 026: case 027: /* BLT */
if (N ^ V) {
BRANCH_B (IR);
}
break;
case 030: case 031: /* BGT */
if ((Z | (N ^ V)) == 0) {
BRANCH_F (IR);
}
break;
case 032: case 033: /* BGT */
if ((Z | (N ^ V)) == 0) { BRANCH_B (IR); }
break;
case 034: case 035: /* BLE */
if (Z | (N ^ V)) {
BRANCH_F (IR);
}
break;
case 036: case 037: /* BLE */
if (Z | (N ^ V)) {
BRANCH_B (IR);
}
break;
case 040: case 041: case 042: case 043: /* JSR */
case 044: case 045: case 046: case 047:
if (dstreg)
setTRAP (CPUT (HAS_JREG4)? TRAP_PRV: TRAP_ILL);
else {
srcspec = srcspec & 07;
dst = GeteaW (dstspec);
if (CPUT (CPUT_05|CPUT_20) && /* 11/05, 11/20 */
((dstspec & 070) == 020)) /* JSR (R)+? */
dst = R[dstspec & 07]; /* use post incr */
SP = (SP - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0366);
WriteW (R[srcspec], SP | dsenable);
if ((cm == MD_KER) && (SP < (STKLIM + STKL_Y)))
set_stack_trap (SP);
R[srcspec] = PC;
JMP_PC (dst & 0177777);
}
break; /* end JSR */
case 050: /* CLR */
N = V = C = 0;
Z = 1;
if (dstreg)
R[dstspec] = 0;
else WriteW (0, GeteaW (dstspec));
break;
case 051: /* COM */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = dst ^ 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
C = 1;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 052: /* INC */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (dst + 1) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = (dst == 0100000);
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 053: /* DEC */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (dst - 1) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = (dst == 077777);
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 054: /* NEG */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (-dst) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = (dst == 0100000);
C = Z ^ 1;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 055: /* ADC */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (dst + C) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = (C && (dst == 0100000));
C = C & Z;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 056: /* SBC */
dst = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (dst - C) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = (C && (dst == 077777));
C = (C && (dst == 0177777));
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 057: /* TST */
dst = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = C = 0;
break;
case 060: /* ROR */
src = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (src >> 1) | (C << 15);
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
C = (src & 1);
V = N ^ C;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 061: /* ROL */
src = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = ((src << 1) | C) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
C = GET_SIGN_W (src);
V = N ^ C;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 062: /* ASR */
src = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (src >> 1) | (src & 0100000);
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
C = (src & 1);
V = N ^ C;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 063: /* ASL */
src = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
dst = (src << 1) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
C = GET_SIGN_W (src);
V = N ^ C;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
/* Notes:
- MxPI must mask GeteaW returned address to force ispace
- MxPI must set MMR1 for SP recovery in case of fault
*/
case 064: /* MARK */
if (CPUT (HAS_MARK)) {
i = (PC + dstspec + dstspec) & 0177777;
JMP_PC (R[5]);
R[5] = ReadW (i | dsenable);
SP = (i + 2) & 0177777;
}
else setTRAP (TRAP_ILL);
break;
case 065: /* MFPI */
if (CPUT (HAS_MXPY)) {
if (dstreg) {
if ((dstspec == 6) && (cm != pm))
dst = STACKFILE[pm];
else dst = R[dstspec];
}
else {
i = ((cm == pm) && (cm == MD_USR))? (int32)calc_ds (pm): (int32)calc_is (pm);
dst = ReadW ((GeteaW (dstspec) & 0177777) | i);
}
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
SP = (SP - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0366);
WriteW (dst, SP | dsenable);
if ((cm == MD_KER) && (SP < (STKLIM + STKL_Y)))
set_stack_trap (SP);
}
else setTRAP (TRAP_ILL);
break;
case 066: /* MTPI */
if (CPUT (HAS_MXPY)) {
dst = ReadW (SP | dsenable);
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
SP = (SP + 2) & 0177777;
if (update_MM) MMR1 = 026;
if (dstreg) {
if ((dstspec == 6) && (cm != pm))
STACKFILE[pm] = dst;
else R[dstspec] = dst;
}
else WriteW (dst, (GeteaW (dstspec) & 0177777) | calc_is (pm));
}
else setTRAP (TRAP_ILL);
break;
case 067: /* SXT */
if (CPUT (HAS_SXS)) {
dst = N? 0177777: 0;
Z = N ^ 1;
V = 0;
if (dstreg)
R[dstspec] = dst;
else WriteW (dst, GeteaW (dstspec));
}
else setTRAP (TRAP_ILL);
break;
case 070: /* CSM */
if ((CPUT (HAS_CSM) && (MMR3 & MMR3_CSM)) || (cm != MD_KER)) {
dst = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
PSW = get_PSW () & ~PSW_CC; /* PSW, cc = 0 */
STACKFILE[cm] = SP;
WriteW (PSW, ((SP - 2) & 0177777) | calc_ds (MD_SUP));
WriteW (PC, ((SP - 4) & 0177777) | calc_ds (MD_SUP));
WriteW (dst, ((SP - 6) & 0177777) | calc_ds (MD_SUP));
SP = (SP - 6) & 0177777;
pm = cm;
cm = MD_SUP;
tbit = 0;
isenable = calc_is (cm);
dsenable = calc_ds (cm);
PC = ReadW (010 | isenable);
}
else setTRAP (TRAP_ILL);
break;
case 072: /* TSTSET */
if (CPUT (HAS_TSWLK) && !dstreg) {
dst = ReadMW (GeteaW (dstspec));
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
C = (dst & 1);
R[0] = dst; /* R[0] <- dst */
PWriteW (R[0] | 1, last_pa); /* dst <- R[0] | 1 */
}
else setTRAP (TRAP_ILL);
break;
case 073: /* WRTLCK */
if (CPUT (HAS_TSWLK) && !dstreg) {
N = GET_SIGN_W (R[0]);
Z = GET_Z (R[0]);
V = 0;
WriteW (R[0], GeteaW (dstspec));
}
else setTRAP (TRAP_ILL);
break;
default:
setTRAP (TRAP_ILL);
break;
} /* end switch SOPs */
break; /* end case 000 */
/* Opcodes 01 - 06: double operand word instructions
J-11 (and F-11) optimize away register source operand decoding.
As a result, dop R,+/-(R) use the modified version of R as source.
Most (but not all) other PDP-11's fetch the source operand before
any destination operand decoding.
Add: v = [sign (src) = sign (src2)] and [sign (src) != sign (result)]
Cmp: v = [sign (src) != sign (src2)] and [sign (src2) = sign (result)]
*/
case 001: /* MOV */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
ea = GeteaW (dstspec);
dst = R[srcspec];
}
else {
dst = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
if (!dstreg) ea = GeteaW (dstspec);
}
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = dst;
else WriteW (dst, ea);
break;
case 002: /* CMP */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
}
dst = (src - src2) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = GET_SIGN_W ((src ^ src2) & (~src2 ^ dst));
C = (src < src2);
break;
case 003: /* BIT */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
}
dst = src2 & src;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
break;
case 004: /* BIC */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
}
dst = src2 & ~src;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 005: /* BIS */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
}
dst = src2 | src;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
case 006: /* ADD */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
}
dst = (src2 + src) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = GET_SIGN_W ((~src ^ src2) & (src ^ dst));
C = (dst < src);
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
/* Opcode 07: EIS, FIS, CIS
Notes:
- The code assumes that the host int length is at least 32 bits.
- MUL carry: C is set if the (signed) result doesn't fit in 16 bits.
- Divide has three error cases:
1. Divide by zero.
2. Divide largest negative number by -1.
3. (Signed) quotient doesn't fit in 16 bits.
Cases 1 and 2 must be tested in advance, to avoid C runtime errors.
- ASHx left: overflow if the bits shifted out do not equal the sign
of the result (convert shift out to 1/0, xor against sign).
- ASHx right: if right shift sign extends, then the shift and
conditional or of shifted -1 is redundant. If right shift zero
extends, then the shift and conditional or does sign extension.
*/
case 007:
srcspec = srcspec & 07;
switch ((IR >> 9) & 07) { /* decode IR<11:9> */
case 0: /* MUL */
if (!CPUO (OPT_EIS)) {
setTRAP (TRAP_ILL);
break;
}
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
src = R[srcspec];
if (GET_SIGN_W (src2))
src2 = src2 | ~077777;
if (GET_SIGN_W (src))
src = src | ~077777;
dst = src * src2;
R[srcspec] = (dst >> 16) & 0177777;
R[srcspec | 1] = dst & 0177777;
N = (dst < 0);
Z = GET_Z (dst);
V = 0;
C = ((dst > 077777) || (dst < -0100000));
break;
case 1: /* DIV */
if (!CPUO (OPT_EIS)) {
setTRAP (TRAP_ILL);
break;
}
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
src = (((uint32) R[srcspec]) << 16) | R[srcspec | 1];
if (src2 == 0) {
N = 0; /* J11,11/70 compat */
Z = V = C = 1; /* N = 0, Z = 1 */
break;
}
if ((src == 020000000000) && (src2 == 0177777)) {
V = 1; /* J11,11/70 compat */
N = Z = C = 0; /* N = Z = 0 */
break;
}
if (GET_SIGN_W (src2))
src2 = src2 | ~077777;
if (GET_SIGN_W (R[srcspec]))
src = src | ~017777777777;
dst = src / src2;
N = (dst < 0); /* N set on 32b result */
if ((dst > 077777) || (dst < -0100000)) {
V = 1; /* J11,11/70 compat */
Z = C = 0; /* Z = C = 0 */
break;
}
R[srcspec] = dst & 0177777;
R[srcspec | 1] = (src - (src2 * dst)) & 0177777;
Z = GET_Z (dst);
V = C = 0;
break;
case 2: /* ASH */
if (!CPUO (OPT_EIS)) {
setTRAP (TRAP_ILL);
break;
}
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
src2 = src2 & 077;
sign = GET_SIGN_W (R[srcspec]);
src = sign? R[srcspec] | ~077777: R[srcspec];
if (src2 == 0) { /* [0] */
dst = src;
V = C = 0;
}
else if (src2 <= 15) { /* [1,15] */
dst = src << src2;
i = (src >> (16 - src2)) & 0177777;
V = (i != ((dst & 0100000)? 0177777: 0));
C = (i & 1);
}
else if (src2 <= 31) { /* [16,31] */
dst = 0;
V = (src != 0);
C = (src << (src2 - 16)) & 1;
}
else if (src2 == 32) { /* [32] = -32 */
dst = -sign;
V = 0;
C = sign;
}
else { /* [33,63] = -31,-1 */
dst = (src >> (64 - src2)) | (-sign << (src2 - 32));
V = 0;
C = ((src >> (63 - src2)) & 1);
}
dst = R[srcspec] = dst & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
break;
case 3: /* ASHC */
if (!CPUO (OPT_EIS)) {
setTRAP (TRAP_ILL);
break;
}
src2 = dstreg? R[dstspec]: ReadW (GeteaW (dstspec));
src2 = src2 & 077;
sign = GET_SIGN_W (R[srcspec]);
src = (((uint32) R[srcspec]) << 16) | R[srcspec | 1];
if (src2 == 0) { /* [0] */
dst = src;
V = C = 0;
}
else if (src2 <= 31) { /* [1,31] */
dst = ((uint32) src) << src2;
i = (src >> (32 - src2)) | (-sign << src2);
V = (i != ((dst & 020000000000)? -1: 0));
C = (i & 1);
}
else if (src2 == 32) { /* [32] = -32 */
dst = -sign;
V = 0;
C = sign;
}
else { /* [33,63] = -31,-1 */
dst = (src >> (64 - src2)) | (-sign << (src2 - 32));
V = 0;
C = ((src >> (63 - src2)) & 1);
}
i = R[srcspec] = (dst >> 16) & 0177777;
dst = R[srcspec | 1] = dst & 0177777;
N = GET_SIGN_W (i);
Z = GET_Z (dst | i);
break;
case 4: /* XOR */
if (CPUT (HAS_SXS)) {
if (CPUT (IS_SDSD) && !dstreg) { /* R,not R */
src2 = ReadMW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = R[srcspec];
src2 = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
}
dst = src ^ src2;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
}
else setTRAP (TRAP_ILL);
break;
case 5: /* FIS */
if (CPUO (OPT_FIS))
fis11 (IR);
else setTRAP (TRAP_ILL);
break;
case 6: /* CIS */
if (CPUT (CPUT_60) && (cm == MD_KER) && /* 11/60 MED? */
(IR == 076600)) {
ReadE (PC | isenable); /* read immediate */
PC = (PC + 2) & 0177777;
}
else if (CPUO (OPT_CIS)) /* CIS option? */
reason = cis11 (IR);
else setTRAP (TRAP_ILL);
break;
case 7: /* SOB */
if (CPUT (HAS_SXS)) {
R[srcspec] = (R[srcspec] - 1) & 0177777;
if (R[srcspec]) {
JMP_PC ((PC - dstspec - dstspec) & 0177777);
}
}
else setTRAP (TRAP_ILL);
break;
} /* end switch EIS */
break; /* end case 007 */
/* Opcode 10: branches, traps, SOPs */
case 010:
switch ((IR >> 6) & 077) { /* decode IR<11:6> */
case 000: case 001: /* BPL */
if (N == 0) {
BRANCH_F (IR);
}
break;
case 002: case 003: /* BPL */
if (N == 0) {
BRANCH_B (IR);
}
break;
case 004: case 005: /* BMI */
if (N) {
BRANCH_F (IR);
}
break;
case 006: case 007: /* BMI */
if (N) {
BRANCH_B (IR);
}
break;
case 010: case 011: /* BHI */
if ((C | Z) == 0) {
BRANCH_F (IR);
}
break;
case 012: case 013: /* BHI */
if ((C | Z) == 0) {
BRANCH_B (IR);
}
break;
case 014: case 015: /* BLOS */
if (C | Z) {
BRANCH_F (IR);
}
break;
case 016: case 017: /* BLOS */
if (C | Z) {
BRANCH_B (IR);
}
break;
case 020: case 021: /* BVC */
if (V == 0) {
BRANCH_F (IR);
}
break;
case 022: case 023: /* BVC */
if (V == 0) {
BRANCH_B (IR);
}
break;
case 024: case 025: /* BVS */
if (V) {
BRANCH_F (IR);
}
break;
case 026: case 027: /* BVS */
if (V) {
BRANCH_B (IR);
}
break;
case 030: case 031: /* BCC */
if (C == 0) {
BRANCH_F (IR);
}
break;
case 032: case 033: /* BCC */
if (C == 0) {
BRANCH_B (IR);
}
break;
case 034: case 035: /* BCS */
if (C) {
BRANCH_F (IR);
}
break;
case 036: case 037: /* BCS */
if (C) {
BRANCH_B (IR);
}
break;
case 040: case 041: case 042: case 043: /* EMT */
setTRAP (TRAP_EMT);
break;
case 044: case 045: case 046: case 047: /* TRAP */
setTRAP (TRAP_TRAP);
break;
case 050: /* CLRB */
N = V = C = 0;
Z = 1;
if (dstreg)
R[dstspec] = R[dstspec] & 0177400;
else WriteB (0, GeteaB (dstspec));
break;
case 051: /* COMB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (dst ^ 0377) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
C = 1;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 052: /* INCB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (dst + 1) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = (dst == 0200);
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 053: /* DECB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (dst - 1) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = (dst == 0177);
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 054: /* NEGB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (-dst) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = (dst == 0200);
C = (Z ^ 1);
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 055: /* ADCB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (dst + C) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = (C && (dst == 0200));
C = C & Z;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 056: /* SBCB */
dst = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (dst - C) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = (C && (dst == 0177));
C = (C && (dst == 0377));
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 057: /* TSTB */
dst = dstreg? R[dstspec] & 0377: ReadB (GeteaB (dstspec));
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = C = 0;
break;
case 060: /* RORB */
src = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = ((src & 0377) >> 1) | (C << 7);
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
C = (src & 1);
V = N ^ C;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 061: /* ROLB */
src = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = ((src << 1) | C) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
C = GET_SIGN_B (src & 0377);
V = N ^ C;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 062: /* ASRB */
src = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = ((src & 0377) >> 1) | (src & 0200);
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
C = (src & 1);
V = N ^ C;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 063: /* ASLB */
src = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
dst = (src << 1) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
C = GET_SIGN_B (src & 0377);
V = N ^ C;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
/* Notes:
- MTPS cannot alter the T bit
- MxPD must mask GeteaW returned address, dspace is from cm not pm
- MxPD must set MMR1 for SP recovery in case of fault
*/
case 064: /* MTPS */
if (CPUT (HAS_MXPS)) {
dst = dstreg? R[dstspec]: ReadB (GeteaB (dstspec));
if (cm == MD_KER) {
ipl = (dst >> PSW_V_IPL) & 07;
trap_req = calc_ints (ipl, trap_req);
}
N = (dst >> PSW_V_N) & 01;
Z = (dst >> PSW_V_Z) & 01;
V = (dst >> PSW_V_V) & 01;
C = (dst >> PSW_V_C) & 01;
}
else setTRAP (TRAP_ILL);
break;
case 065: /* MFPD */
if (CPUT (HAS_MXPY)) {
if (dstreg) {
if ((dstspec == 6) && (cm != pm))
dst = STACKFILE[pm];
else dst = R[dstspec];
}
else dst = ReadW ((GeteaW (dstspec) & 0177777) | calc_ds (pm));
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
SP = (SP - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0366);
WriteW (dst, SP | dsenable);
if ((cm == MD_KER) && (SP < (STKLIM + STKL_Y)))
set_stack_trap (SP);
}
else setTRAP (TRAP_ILL);
break;
case 066: /* MTPD */
if (CPUT (HAS_MXPY)) {
dst = ReadW (SP | dsenable);
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = 0;
SP = (SP + 2) & 0177777;
if (update_MM)
MMR1 = 026;
if (dstreg) {
if ((dstspec == 6) && (cm != pm))
STACKFILE[pm] = dst;
else R[dstspec] = dst;
}
else WriteW (dst, (GeteaW (dstspec) & 0177777) | calc_ds (pm));
}
else setTRAP (TRAP_ILL);
break;
case 067: /* MFPS */
if (CPUT (HAS_MXPS)) {
dst = get_PSW () & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = (dst & 0200)? 0177400 | dst: dst;
else WriteB (dst, GeteaB (dstspec));
}
else setTRAP (TRAP_ILL);
break;
default:
setTRAP (TRAP_ILL);
break;
} /* end switch SOPs */
break; /* end case 010 */
/* Opcodes 11 - 16: double operand byte instructions
Cmp: v = [sign (src) != sign (src2)] and [sign (src2) = sign (result)]
Sub: v = [sign (src) != sign (src2)] and [sign (src) = sign (result)]
*/
case 011: /* MOVB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
ea = GeteaB (dstspec);
dst = R[srcspec] & 0377;
}
else {
dst = srcreg? R[srcspec] & 0377: ReadB (GeteaB (srcspec));
if (!dstreg) ea = GeteaB (dstspec);
}
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = (dst & 0200)? 0177400 | dst: dst;
else WriteB (dst, ea);
break;
case 012: /* CMPB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadB (GeteaB (dstspec));
src = R[srcspec] & 0377;
}
else {
src = srcreg? R[srcspec] & 0377: ReadB (GeteaB (srcspec));
src2 = dstreg? R[dstspec] & 0377: ReadB (GeteaB (dstspec));
}
dst = (src - src2) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = GET_SIGN_B ((src ^ src2) & (~src2 ^ dst));
C = (src < src2);
break;
case 013: /* BITB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadB (GeteaB (dstspec));
src = R[srcspec] & 0377;
}
else {
src = srcreg? R[srcspec] & 0377: ReadB (GeteaB (srcspec));
src2 = dstreg? R[dstspec] & 0377: ReadB (GeteaB (dstspec));
}
dst = (src2 & src) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
break;
case 014: /* BICB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMB (GeteaB (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadB (GeteaB (srcspec));
src2 = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
}
dst = (src2 & ~src) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 015: /* BISB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMB (GeteaB (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadB (GeteaB (srcspec));
src2 = dstreg? R[dstspec]: ReadMB (GeteaB (dstspec));
}
dst = (src2 | src) & 0377;
N = GET_SIGN_B (dst);
Z = GET_Z (dst);
V = 0;
if (dstreg)
R[dstspec] = (R[dstspec] & 0177400) | dst;
else PWriteB (dst, last_pa);
break;
case 016: /* SUB */
if (CPUT (IS_SDSD) && srcreg && !dstreg) { /* R,not R */
src2 = ReadMW (GeteaW (dstspec));
src = R[srcspec];
}
else {
src = srcreg? R[srcspec]: ReadW (GeteaW (srcspec));
src2 = dstreg? R[dstspec]: ReadMW (GeteaW (dstspec));
}
dst = (src2 - src) & 0177777;
N = GET_SIGN_W (dst);
Z = GET_Z (dst);
V = GET_SIGN_W ((src ^ src2) & (~src ^ dst));
C = (src2 < src);
if (dstreg)
R[dstspec] = dst;
else PWriteW (dst, last_pa);
break;
/* Opcode 17: floating point */
case 017:
if (CPUO (OPT_FPP))
fp11 (IR); /* call fpp */
else setTRAP (TRAP_ILL);
break; /* end case 017 */
} /* end switch op */
} /* end main loop */
/* Simulation halted */
PSW = get_PSW ();
for (i = 0; i < 6; i++)
REGFILE[i][rs] = R[i];
STACKFILE[cm] = SP;
saved_PC = PC & 0177777;
pcq_r->qptr = pcq_p; /* update pc q ptr */
set_r_display (rs, cm);
return reason;
}
/* Effective address calculations
Inputs:
spec = specifier <5:0>
Outputs:
ea = effective address
<15:0> = virtual address
<16> = instruction/data data space
<18:17> = mode
Data space calculation: the PDP-11 features both instruction and data
spaces. Instruction space contains the instruction and any sequential
add ons (eg, immediates, absolute addresses). Data space contains all
data operands and indirect addresses. If data space is enabled, then
memory references are directed according to these rules:
Mode Index ref Indirect ref Direct ref
10..16 na na data
17 na na instruction
20..26 na na data
27 na na instruction
30..36 na data data
37 na instruction (absolute) data
40..46 na na data
47 na na instruction
50..56 na data data
57 na instruction data
60..67 instruction na data
70..77 instruction data data
According to the PDP-11 Architecture Handbook, MMR1 records all
autoincrement and autodecrement operations, including those which
explicitly reference the PC. For the J-11, this is only true for
autodecrement operands, autodecrement deferred operands, and
autoincrement destination operands that involve a write to memory.
The simulator follows the Handbook, for simplicity.
Notes:
- dsenable will direct a reference to data space if data space is enabled
- ds will direct a reference to data space if data space is enabled AND if
the specifier register is not PC; this is used for 17, 27, 37, 47, 57
- Modes 2x, 3x, 4x, and 5x must update MMR1 if updating enabled
- Modes 46 and 56 must check for stack overflow if kernel mode
*/
/* Effective address calculation for words */
int32 GeteaW (int32 spec)
{
int32 adr, reg, ds;
reg = spec & 07; /* register number */
ds = (reg == 7)? isenable: dsenable; /* dspace if not PC */
switch (spec >> 3) { /* decode spec<5:3> */
default: /* can't get here */
case 1: /* (R) */
return (R[reg] | ds);
case 2: /* (R)+ */
R[reg] = ((adr = R[reg]) + 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (020 | reg);
return (adr | ds);
case 3: /* @(R)+ */
R[reg] = ((adr = R[reg]) + 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (020 | reg);
adr = ReadW (adr | ds);
return (adr | dsenable);
case 4: /* -(R) */
adr = R[reg] = (R[reg] - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0360 | reg);
if ((reg == 6) && (cm == MD_KER) && (adr < (STKLIM + STKL_Y)))
set_stack_trap (adr);
return (adr | ds);
case 5: /* @-(R) */
adr = R[reg] = (R[reg] - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0360 | reg);
if ((reg == 6) && (cm == MD_KER) && (adr < (STKLIM + STKL_Y)))
set_stack_trap (adr);
adr = ReadW (adr | ds);
return (adr | dsenable);
case 6: /* d(r) */
adr = ReadW (PC | isenable);
PC = (PC + 2) & 0177777;
return (((R[reg] + adr) & 0177777) | dsenable);
case 7: /* @d(R) */
adr = ReadW (PC | isenable);
PC = (PC + 2) & 0177777;
adr = ReadW (((R[reg] + adr) & 0177777) | dsenable);
return (adr | dsenable);
} /* end switch */
}
/* Effective address calculation for bytes */
int32 GeteaB (int32 spec)
{
int32 adr, reg, ds, delta;
reg = spec & 07; /* reg number */
ds = (reg == 7)? isenable: dsenable; /* dspace if not PC */
switch (spec >> 3) { /* decode spec<5:3> */
default: /* can't get here */
case 1: /* (R) */
return (R[reg] | ds);
case 2: /* (R)+ */
delta = 1 + (reg >= 6); /* 2 if R6, PC */
R[reg] = ((adr = R[reg]) + delta) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 ((delta << 3) | reg);
return (adr | ds);
case 3: /* @(R)+ */
R[reg] = ((adr = R[reg]) + 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (020 | reg);
adr = ReadW (adr | ds);
return (adr | dsenable);
case 4: /* -(R) */
delta = 1 + (reg >= 6); /* 2 if R6, PC */
adr = R[reg] = (R[reg] - delta) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 ((((-delta) & 037) << 3) | reg);
if ((reg == 6) && (cm == MD_KER) && (adr < (STKLIM + STKL_Y)))
set_stack_trap (adr);
return (adr | ds);
case 5: /* @-(R) */
adr = R[reg] = (R[reg] - 2) & 0177777;
if (update_MM)
MMR1 = calc_MMR1 (0360 | reg);
if ((reg == 6) && (cm == MD_KER) && (adr < (STKLIM + STKL_Y)))
set_stack_trap (adr);
adr = ReadW (adr | ds);
return (adr | dsenable);
case 6: /* d(r) */
adr = ReadW (PC | isenable);
PC = (PC + 2) & 0177777;
return (((R[reg] + adr) & 0177777) | dsenable);
case 7: /* @d(R) */
adr = ReadW (PC | isenable);
PC = (PC + 2) & 0177777;
adr = ReadW (((R[reg] + adr) & 0177777) | dsenable);
return (adr | dsenable);
} /* end switch */
}
/* Read byte and word routines, read only and read-modify-write versions
Inputs:
va = virtual address, <18:16> = mode, I/D space
Outputs:
data = data read from memory or I/O space
*/
int32 ReadE (int32 va)
{
int32 pa, data;
if ((va & 1) && CPUT (HAS_ODD)) { /* odd address? */
setCPUERR (CPUE_ODD);
ABORT (TRAP_ODD);
}
pa = relocR (va); /* relocate */
if (ADDR_IS_MEM (pa)) /* memory address? */
return (M[pa >> 1]);
if ((pa < IOPAGEBASE) || /* not I/O address */
(CPUT (CPUT_J) && (pa >= IOBA_CPU))) { /* or J11 int reg? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageR (&data, pa, READ) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return data;
}
int32 ReadW (int32 va)
{
int32 pa, data;
if ((va & 1) && CPUT (HAS_ODD)) { /* odd address? */
setCPUERR (CPUE_ODD);
ABORT (TRAP_ODD);
}
pa = relocR (va); /* relocate */
if (ADDR_IS_MEM (pa)) /* memory address? */
return (M[pa >> 1]);
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageR (&data, pa, READ) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return data;
}
int32 ReadB (int32 va)
{
int32 pa, data;
pa = relocR (va); /* relocate */
if (ADDR_IS_MEM (pa))
return (va & 1? M[pa >> 1] >> 8: M[pa >> 1]) & 0377;
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageR (&data, pa, READ) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return ((va & 1)? data >> 8: data) & 0377;
}
int32 ReadMW (int32 va)
{
int32 data;
if ((va & 1) && CPUT (HAS_ODD)) { /* odd address? */
setCPUERR (CPUE_ODD);
ABORT (TRAP_ODD);
}
last_pa = relocW (va); /* reloc, wrt chk */
if (ADDR_IS_MEM (last_pa)) /* memory address? */
return (M[last_pa >> 1]);
if (last_pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageR (&data, last_pa, READ) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return data;
}
int32 ReadMB (int32 va)
{
int32 data;
last_pa = relocW (va); /* reloc, wrt chk */
if (ADDR_IS_MEM (last_pa))
return (va & 1? M[last_pa >> 1] >> 8: M[last_pa >> 1]) & 0377;
if (last_pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageR (&data, last_pa, READ) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return ((va & 1)? data >> 8: data) & 0377;
}
/* Write byte and word routines
Inputs:
data = data to be written
va = virtual address, <18:16> = mode, I/D space, or
pa = physical address
Outputs: none
*/
void WriteW (int32 data, int32 va)
{
int32 pa;
if ((va & 1) && CPUT (HAS_ODD)) { /* odd address? */
setCPUERR (CPUE_ODD);
ABORT (TRAP_ODD);
}
pa = relocW (va); /* relocate */
if (ADDR_IS_MEM (pa)) { /* memory address? */
M[pa >> 1] = data;
return;
}
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageW (data, pa, WRITE) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return;
}
void WriteB (int32 data, int32 va)
{
int32 pa;
pa = relocW (va); /* relocate */
if (ADDR_IS_MEM (pa)) { /* memory address? */
if (va & 1)
M[pa >> 1] = (M[pa >> 1] & 0377) | (data << 8);
else M[pa >> 1] = (M[pa >> 1] & ~0377) | data;
return;
}
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageW (data, pa, WRITEB) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return;
}
void PWriteW (int32 data, int32 pa)
{
if (ADDR_IS_MEM (pa)) { /* memory address? */
M[pa >> 1] = data;
return;
}
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageW (data, pa, WRITE) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return;
}
void PWriteB (int32 data, int32 pa)
{
if (ADDR_IS_MEM (pa)) { /* memory address? */
if (pa & 1)
M[pa >> 1] = (M[pa >> 1] & 0377) | (data << 8);
else M[pa >> 1] = (M[pa >> 1] & ~0377) | data;
return;
}
if (pa < IOPAGEBASE) { /* not I/O address? */
setCPUERR (CPUE_NXM);
ABORT (TRAP_NXM);
}
if (iopageW (data, pa, WRITEB) != SCPE_OK) { /* invalid I/O addr? */
setCPUERR (CPUE_TMO);
ABORT (TRAP_NXM);
}
return;
}
/* Relocate virtual address, read access
Inputs:
va = virtual address, <18:16> = mode, I/D space
Outputs:
pa = physical address
On aborts, this routine aborts back to the top level simulator
with an appropriate trap code.
Notes:
- The 'normal' read codes (010, 110) are done in-line; all
others in a subroutine
- APRFILE[UNUSED] is all zeroes, forcing non-resident abort
- Aborts must update MMR0<15:13,6:1> if updating is enabled
*/
int32 relocR (int32 va)
{
int32 apridx, apr, pa;
if (MMR0 & MMR0_MME) { /* if mmgt */
apridx = (va >> VA_V_APF) & 077; /* index into APR */
apr = APRFILE[apridx]; /* with va<18:13> */
if ((apr & PDR_PRD) != 2) /* not 2, 6? */
relocR_test (va, apridx); /* long test */
if (PLF_test (va, apr)) /* pg lnt error? */
reloc_abort (MMR0_PL, apridx);
pa = ((va & VA_DF) + ((apr >> 10) & 017777700)) & PAMASK;
if ((MMR3 & MMR3_M22E) == 0) {
pa = pa & 0777777;
if (pa >= 0760000)
pa = 017000000 | pa;
}
}
else {
pa = va & 0177777; /* mmgt off */
if (pa >= 0160000)
pa = 017600000 | pa;
}
return pa;
}
/* Read relocation, access control field != read only or read/write
ACF value 11/45,11/70 all others
0 abort NR abort NR
1 trap -
2 ok ok
3 abort NR -
4 trap abort NR
5 ok -
6 ok ok
7 abort NR -
*/
void relocR_test (int32 va, int32 apridx)
{
int32 apr, err;
err = 0; /* init status */
apr = APRFILE[apridx]; /* get APR */
switch (apr & PDR_ACF) { /* case on ACF */
case 1: case 4: /* trap read */
if (CPUT (HAS_MMTR)) { /* traps implemented? */
APRFILE[apridx] = APRFILE[apridx] | PDR_A; /* set A */
if (MMR0 & MMR0_TENB) { /* traps enabled? */
if (update_MM) /* update MMR0 */
MMR0 = (MMR0 & ~MMR0_PAGE) | (apridx << MMR0_V_PAGE);
MMR0 = MMR0 | MMR0_TRAP; /* set trap flag */
setTRAP (TRAP_MME); /* set trap */
}
return; /* continue op */
} /* not impl, abort NR */
case 0: case 3: case 7: /* non-resident */
err = MMR0_NR; /* set MMR0 */
break; /* go test PLF, abort */
case 2: case 5: case 6: /* readable */
return; /* continue */
} /* end switch */
if (PLF_test (va, apr)) /* pg lnt error? */
err = err | MMR0_PL;
reloc_abort (err, apridx);
return;
}
t_bool PLF_test (int32 va, int32 apr)
{
int32 dbn = va & VA_BN; /* extr block num */
int32 plf = (apr & PDR_PLF) >> 2; /* extr page length */
return ((apr & PDR_ED)? (dbn < plf): (dbn > plf)); /* pg lnt error? */
}
void reloc_abort (int32 err, int32 apridx)
{
if (update_MM) MMR0 = /* update MMR0 */
(MMR0 & ~MMR0_PAGE) | (apridx << MMR0_V_PAGE);
APRFILE[apridx] = APRFILE[apridx] | PDR_A; /* set A */
MMR0 = MMR0 | err; /* set aborts */
ABORT (TRAP_MME); /* abort ref */
return;
}
/* Relocate virtual address, write access
Inputs:
va = virtual address, <18:16> = mode, I/D space
Outputs:
pa = physical address
On aborts, this routine aborts back to the top level simulator
with an appropriate trap code.
Notes:
- The 'normal' write code (110) is done in-line; all others
in a subroutine
- APRFILE[UNUSED] is all zeroes, forcing non-resident abort
- Aborts must update MMR0<15:13,6:1> if updating is enabled
*/
int32 relocW (int32 va)
{
int32 apridx, apr, pa;
if (MMR0 & MMR0_MME) { /* if mmgt */
apridx = (va >> VA_V_APF) & 077; /* index into APR */
apr = APRFILE[apridx]; /* with va<18:13> */
if ((apr & PDR_ACF) != 6) /* not writeable? */
relocW_test (va, apridx); /* long test */
if (PLF_test (va, apr)) /* pg lnt error? */
reloc_abort (MMR0_PL, apridx);
APRFILE[apridx] = apr | PDR_W; /* set W */
pa = ((va & VA_DF) + ((apr >> 10) & 017777700)) & PAMASK;
if ((MMR3 & MMR3_M22E) == 0) {
pa = pa & 0777777;
if (pa >= 0760000)
pa = 017000000 | pa;
}
}
else {
pa = va & 0177777; /* mmgt off */
if (pa >= 0160000)
pa = 017600000 | pa;
}
return pa;
}
/* Write relocation, access control field != read/write
ACF value 11/45,11/70 all others
0 abort NR abort NR
1 abort RO -
2 abort RO abort RO
3 abort NR -
4 trap abort NR
5 trap -
6 ok ok
7 abort NR -
*/
void relocW_test (int32 va, int32 apridx)
{
int32 apr, err;
err = 0; /* init status */
apr = APRFILE[apridx]; /* get APR */
switch (apr & PDR_ACF) { /* case on ACF */
case 4: case 5: /* trap write */
if (CPUT (HAS_MMTR)) { /* traps implemented? */
APRFILE[apridx] = APRFILE[apridx] | PDR_A; /* set A */
if (MMR0 & MMR0_TENB) { /* traps enabled? */
if (update_MM) /* update MMR0 */
MMR0 = (MMR0 & ~MMR0_PAGE) | (apridx << MMR0_V_PAGE);
MMR0 = MMR0 | MMR0_TRAP; /* set trap flag */
setTRAP (TRAP_MME); /* set trap */
}
return; /* continue op */
} /* not impl, abort NR */
case 0: case 3: case 7: /* non-resident */
err = MMR0_NR; /* MMR0 status */
break; /* go test PLF, abort */
case 1: case 2: /* read only */
err = MMR0_RO; /* MMR0 status */
break;
case 6: /* read/write */
return; /* continue */
} /* end switch */
if (PLF_test (va, apr)) /* pg lnt error? */
err = err | MMR0_PL;
reloc_abort (err, apridx);
return;
}
/* Relocate virtual address, console access
Inputs:
va = virtual address
sw = switches
Outputs:
pa = physical address
On aborts, this routine returns MAXMEMSIZE
*/
int32 relocC (int32 va, int32 sw)
{
int32 mode, dbn, plf, apridx, apr, pa;
if (MMR0 & MMR0_MME) { /* if mmgt */
if (sw & SWMASK ('K'))
mode = MD_KER;
else if (sw & SWMASK ('S'))
mode = MD_SUP;
else if (sw & SWMASK ('U'))
mode = MD_USR;
else if (sw & SWMASK ('P'))
mode = (PSW >> PSW_V_PM) & 03;
else mode = (PSW >> PSW_V_CM) & 03;
va = va | ((sw & SWMASK ('D'))? calc_ds (mode): calc_is (mode));
apridx = (va >> VA_V_APF) & 077; /* index into APR */
apr = APRFILE[apridx]; /* with va<18:13> */
dbn = va & VA_BN; /* extr block num */
plf = (apr & PDR_PLF) >> 2; /* extr page length */
if ((apr & PDR_PRD) == 0) /* not readable? */
return MAXMEMSIZE;
if ((apr & PDR_ED)? dbn < plf: dbn > plf)
return MAXMEMSIZE;
pa = ((va & VA_DF) + ((apr >> 10) & 017777700)) & PAMASK;
if ((MMR3 & MMR3_M22E) == 0) {
pa = pa & 0777777;
if (pa >= 0760000)
pa = 017000000 | pa;
}
}
else {
pa = va & 0177777; /* mmgt off */
if (pa >= 0160000)
pa = 017600000 | pa;
}
return pa;
}
/* Memory management registers
MMR0 17777572 read/write, certain bits unimplemented or read only
MMR1 17777574 read only
MMR2 17777576 read only
MMR3 17777516 read/write, certain bits unimplemented
*/
t_stat MMR012_rd (int32 *data, int32 pa, int32 access)
{
switch ((pa >> 1) & 3) { /* decode pa<2:1> */
case 0: /* SR */
return SCPE_NXM;
case 1: /* MMR0 */
*data = MMR0 & cpu_tab[cpu_model].mm0;
break;
case 2: /* MMR1 */
*data = MMR1;
break;
case 3: /* MMR2 */
*data = MMR2;
break;
} /* end switch pa */
return SCPE_OK;
}
t_stat MMR012_wr (int32 data, int32 pa, int32 access)
{
switch ((pa >> 1) & 3) { /* decode pa<2:1> */
case 0: /* DR */
return SCPE_NXM;
case 1: /* MMR0 */
if (access == WRITEB)
data = (pa & 1)? (MMR0 & 0377) | (data << 8): (MMR0 & ~0377) | data;
data = data & cpu_tab[cpu_model].mm0;
MMR0 = (MMR0 & ~MMR0_WR) | (data & MMR0_WR);
return SCPE_OK;
default: /* MMR1, MMR2 */
return SCPE_OK;
} /* end switch pa */
}
t_stat MMR3_rd (int32 *data, int32 pa, int32 access) /* MMR3 */
{
*data = MMR3 & cpu_tab[cpu_model].mm3;
return SCPE_OK;
}
t_stat MMR3_wr (int32 data, int32 pa, int32 access) /* MMR3 */
{
if (pa & 1)
return SCPE_OK;
MMR3 = data & cpu_tab[cpu_model].mm3;
cpu_bme = (MMR3 & MMR3_BME) && (cpu_opt & OPT_UBM);
dsenable = calc_ds (cm);
return SCPE_OK;
}
/* PARs and PDRs. These are grouped in I/O space as follows:
17772200 - 17772276 supervisor block
17772300 - 17772376 kernel block
17777600 - 17777676 user block
Within each block, the subblocks are I PDR's, D PDR's, I PAR's, D PAR's
Thus, the algorithm for converting between I/O space addresses and
APRFILE indices is as follows:
idx<3:0> = dspace'page = pa<4:1>
par = PDR vs PAR = pa<5>
idx<5:4> = ker/sup/user = pa<8>'~pa<6>
Note: the A,W bits are read only; they are cleared by any write to an APR
*/
t_stat APR_rd (int32 *data, int32 pa, int32 access)
{
t_stat left, idx;
idx = (pa >> 1) & 017; /* dspace'page */
left = (pa >> 5) & 1; /* PDR vs PAR */
if ((pa & 0100) == 0) /* 1 for super, user */
idx = idx | 020;
if (pa & 0400) /* 1 for user only */
idx = idx | 040;
if (left)
*data = (APRFILE[idx] >> 16) & cpu_tab[cpu_model].par;
else *data = APRFILE[idx] & cpu_tab[cpu_model].pdr;
return SCPE_OK;
}
t_stat APR_wr (int32 data, int32 pa, int32 access)
{
int32 left, idx, curr;
idx = (pa >> 1) & 017; /* dspace'page */
left = (pa >> 5) & 1; /* PDR vs PAR */
if ((pa & 0100) == 0) /* 1 for super, user */
idx = idx | 020;
if (pa & 0400) /* 1 for user only */
idx = idx | 040;
if (left)
curr = (APRFILE[idx] >> 16) & cpu_tab[cpu_model].par;
else curr = APRFILE[idx] & cpu_tab[cpu_model].pdr;
if (access == WRITEB)
data = (pa & 1)? (curr & 0377) | (data << 8): (curr & ~0377) | data;
if (left)
APRFILE[idx] = ((APRFILE[idx] & 0177777) |
(((uint32) (data & cpu_tab[cpu_model].par)) << 16)) & ~(PDR_A|PDR_W);
else APRFILE[idx] = ((APRFILE[idx] & ~0177777) |
(data & cpu_tab[cpu_model].pdr)) & ~(PDR_A|PDR_W);
return SCPE_OK;
}
/* Explicit PSW read */
t_stat PSW_rd (int32 *data, int32 pa, int32 access)
{
if (access == READC)
*data = PSW;
else *data = get_PSW ();
return SCPE_OK;
}
/* Assemble PSW from pieces */
int32 get_PSW (void)
{
return (cm << PSW_V_CM) | (pm << PSW_V_PM) |
(rs << PSW_V_RS) | (fpd << PSW_V_FPD) |
(ipl << PSW_V_IPL) | (tbit << PSW_V_TBIT) |
(N << PSW_V_N) | (Z << PSW_V_Z) |
(V << PSW_V_V) | (C << PSW_V_C);
}
/* Explicit PSW write - T-bit may be protected */
t_stat PSW_wr (int32 data, int32 pa, int32 access)
{
int32 i, curr, oldrs;
if (access == WRITEC) { /* console access? */
PSW = data & cpu_tab[cpu_model].psw;
return SCPE_OK;
}
curr = get_PSW (); /* get current */
oldrs = rs; /* save reg set */
STACKFILE[cm] = SP; /* save curr SP */
if (access == WRITEB) data = (pa & 1)?
(curr & 0377) | (data << 8): (curr & ~0377) | data;
if (!CPUT (HAS_EXPT)) /* expl T writes? */
data = (data & ~PSW_TBIT) | (curr & PSW_TBIT); /* no, use old T */
put_PSW (data, 0); /* call calc_is,ds */
if (rs != oldrs) { /* switch reg set */
for (i = 0; i < 6; i++) {
REGFILE[i][oldrs] = R[i];
R[i] = REGFILE[i][rs];
}
}
SP = STACKFILE[cm]; /* switch SP */
isenable = calc_is (cm);
dsenable = calc_ds (cm);
return SCPE_OK;
}
/* Store pieces of new PSW - implements RTI/RTT protection */
void put_PSW (int32 val, t_bool prot)
{
val = val & cpu_tab[cpu_model].psw; /* mask off invalid bits */
if (prot) { /* protected? */
cm = cm | ((val >> PSW_V_CM) & 03); /* or to cm,pm,rs */
pm = pm | ((val >> PSW_V_PM) & 03); /* can't change ipl */
rs = rs | ((val >> PSW_V_RS) & 01);
}
else {
cm = (val >> PSW_V_CM) & 03; /* write cm,pm,rs,ipl */
pm = (val >> PSW_V_PM) & 03;
rs = (val >> PSW_V_RS) & 01;
ipl = (val >> PSW_V_IPL) & 07;
}
fpd = (val >> PSW_V_FPD) & 01; /* always writeable */
tbit = (val >> PSW_V_TBIT) & 01;
N = (val >> PSW_V_N) & 01;
Z = (val >> PSW_V_Z) & 01;
V = (val >> PSW_V_V) & 01;
C = (val >> PSW_V_C) & 01;
return;
}
/* PIRQ write routine */
void put_PIRQ (int32 val)
{
int32 pl;
PIRQ = val & PIRQ_RW;
pl = 0;
if (PIRQ & PIRQ_PIR1) {
SET_INT (PIR1);
pl = 0042;
}
else CLR_INT (PIR1);
if (PIRQ & PIRQ_PIR2) {
SET_INT (PIR2);
pl = 0104;
}
else CLR_INT (PIR2);
if (PIRQ & PIRQ_PIR3) {
SET_INT (PIR3);
pl = 0146;
}
else CLR_INT (PIR3);
if (PIRQ & PIRQ_PIR4) {
SET_INT (PIR4);
pl = 0210;
}
else CLR_INT (PIR4);
if (PIRQ & PIRQ_PIR5) {
SET_INT (PIR5);
pl = 0252;
}
else CLR_INT (PIR5);
if (PIRQ & PIRQ_PIR6) {
SET_INT (PIR6);
pl = 0314;
}
else CLR_INT (PIR6);
if (PIRQ & PIRQ_PIR7) {
SET_INT (PIR7);
pl = 0356;
}
else CLR_INT (PIR7);
PIRQ = PIRQ | pl;
return;
}
/* Stack trap routine */
void set_stack_trap (int32 adr)
{
if (CPUT (HAS_STKLF)) { /* fixed stack? */
setTRAP (TRAP_YEL); /* always yellow trap */
setCPUERR (CPUE_YEL);
}
else if (CPUT (HAS_STKLR)) { /* register limit? */
if (adr >= (STKLIM + STKL_R)) { /* yellow zone? */
setTRAP (TRAP_YEL); /* still yellow trap */
setCPUERR (CPUE_YEL);
}
else { /* red zone abort */
setCPUERR (CPUE_RED);
STACKFILE[MD_KER] = 4;
SP = 4;
ABORT (TRAP_RED);
}
}
return; /* no stack limit */
}
/* Reset routine */
t_stat cpu_reset (DEVICE *dptr)
{
PIRQ = 0;
STKLIM = 0;
PSW = 000340;
MMR0 = 0;
MMR1 = 0;
MMR2 = 0;
MMR3 = 0;
trap_req = 0;
wait_state = 0;
if (M == NULL)
M = (uint16 *) calloc (MEMSIZE >> 1, sizeof (uint16));
if (M == NULL)
return SCPE_MEM;
pcq_r = find_reg ("PCQ", NULL, dptr);
if (pcq_r)
pcq_r->qptr = 0;
else return SCPE_IERR;
sim_brk_types = sim_brk_dflt = SWMASK ('E');
set_r_display (0, MD_KER);
return SCPE_OK;
}
/* Memory examine */
t_stat cpu_ex (t_value *vptr, t_addr addr, UNIT *uptr, int32 sw)
{
int32 iodata;
t_stat stat;
if (vptr == NULL)
return SCPE_ARG;
if (sw & SWMASK ('V')) { /* -v */
if (addr >= VASIZE)
return SCPE_NXM;
addr = relocC (addr, sw); /* relocate */
if (addr >= MAXMEMSIZE)
return SCPE_REL;
}
if (addr < MEMSIZE) {
*vptr = M[addr >> 1] & 0177777;
return SCPE_OK;
}
if (addr < IOPAGEBASE)
return SCPE_NXM;
stat = iopageR (&iodata, addr, READC);
*vptr = iodata;
return stat;
}
/* Memory deposit */
t_stat cpu_dep (t_value val, t_addr addr, UNIT *uptr, int32 sw)
{
if (sw & SWMASK ('V')) { /* -v */
if (addr >= VASIZE)
return SCPE_NXM;
addr = relocC (addr, sw); /* relocate */
if (addr >= MAXMEMSIZE)
return SCPE_REL;
}
if (addr < MEMSIZE) {
M[addr >> 1] = val & 0177777;
return SCPE_OK;
}
if (addr < IOPAGEBASE)
return SCPE_NXM;
return iopageW ((int32) val, addr, WRITEC);
}
/* Set R, SP register display addresses */
void set_r_display (int32 rs, int32 cm)
{
extern REG *find_reg (char *cptr, char **optr, DEVICE *dptr);
REG *rptr;
int32 i;
rptr = find_reg ("R0", NULL, &cpu_dev);
if (rptr == NULL)
return;
for (i = 0; i < 6; i++, rptr++)
rptr->loc = (void *) &REGFILE[i][rs];
rptr->loc = (void *) &STACKFILE[cm];
return;
}
/* Set history */
t_stat cpu_set_hist (UNIT *uptr, int32 val, char *cptr, void *desc)
{
int32 i, lnt;
t_stat r;
if (cptr == NULL) {
for (i = 0; i < hst_lnt; i++)
hst[i].pc = 0;
hst_p = 0;
return SCPE_OK;
}
lnt = (int32) get_uint (cptr, 10, HIST_MAX, &r);
if ((r != SCPE_OK) || (lnt && (lnt < HIST_MIN)))
return SCPE_ARG;
hst_p = 0;
if (hst_lnt) {
free (hst);
hst_lnt = 0;
hst = NULL;
}
if (lnt) {
hst = (InstHistory *) calloc (lnt, sizeof (InstHistory));
if (hst == NULL)
return SCPE_MEM;
hst_lnt = lnt;
}
return SCPE_OK;
}
/* Show history */
t_stat cpu_show_hist (FILE *st, UNIT *uptr, int32 val, void *desc)
{
int32 j, k, di, lnt, ir;
char *cptr = (char *) desc;
t_value sim_eval[HIST_ILNT];
t_stat r;
InstHistory *h;
if (hst_lnt == 0) /* enabled? */
return SCPE_NOFNC;
if (cptr) {
lnt = (int32) get_uint (cptr, 10, hst_lnt, &r);
if ((r != SCPE_OK) || (lnt == 0))
return SCPE_ARG;
}
else lnt = hst_lnt;
di = hst_p - lnt; /* work forward */
if (di < 0)
di = di + hst_lnt;
fprintf (st, "PC PSW src dst IR\n\n");
for (k = 0; k < lnt; k++) { /* print specified */
h = &hst[(di++) % hst_lnt]; /* entry pointer */
if (h->pc & HIST_VLD) { /* instruction? */
ir = h->inst[0];
fprintf (st, "%06o %06o|", h->pc & ~HIST_VLD, h->psw);
if (((ir & 0070000) != 0) || /* dops, eis, fpp */
((ir & 0177000) == 0004000)) /* jsr */
fprintf (st, "%06o %06o ", h->src, h->dst);
else if ((ir >= 0000100) && /* not no opnd */
(((ir & 0007700) < 0000300) || /* not branch */
((ir & 0007700) >= 0004000)))
fprintf (st, " %06o ", h->dst);
else fprintf (st, " ");
for (j = 0; j < HIST_ILNT; j++)
sim_eval[j] = h->inst[j];
if ((fprint_sym (st, h->pc & ~HIST_VLD, sim_eval, &cpu_unit, SWMASK ('M'))) > 0)
fprintf (st, "(undefined) %06o", h->inst[0]);
fputc ('\n', st); /* end line */
} /* end else instruction */
} /* end for */
return SCPE_OK;
}
/* Virtual address translation */
t_stat cpu_show_virt (FILE *of, UNIT *uptr, int32 val, void *desc)
{
t_stat r;
char *cptr = (char *) desc;
uint32 va, pa;
if (cptr) {
va = (uint32) get_uint (cptr, 8, VAMASK, &r);
if (r == SCPE_OK) {
pa = relocC (va, sim_switches); /* relocate */
if (pa < MAXMEMSIZE)
fprintf (of, "Virtual %-o = physical %-o\n", va, pa);
else fprintf (of, "Virtual %-o is not valid\n", va);
return SCPE_OK;
}
}
fprintf (of, "Invalid argument\n");
return SCPE_OK;
}