Copyright © 1984 by Xerox Corporation. All rights reserved.
Last edited by Twilliams, August 27, 1984 6:28:59 pm PDT
Last edited by Curry, July 8, 1986 7:52:36 pm PDT
Last edited by Herrmann, August 14, 1985 12:42:42 pm PDT
Last edited by McCreight, June 6, 1986 6:11:06 pm PDT
IFUPLAFetchControl:
CEDAR
DEFINITIONS =
BEGIN
FetchControlIn:
TYPE =
RECORD [
-- default must be zero for use initializing sigificance arg
nextMacroJump: BOOL ← FALSE,
reset: BOOL ← FALSE,
iPReject: BOOL ← FALSE,
jumpPending: BOOL ← FALSE,
fetching: BOOL ← FALSE,
fetchBytesM1: [0..32) ← 0,
iPFaulted: BOOL ← FALSE,
iPFaulting: BOOL ← FALSE
];
FetchControlOut:
TYPE =
RECORD [
-- default must be zero
jumpPending: BOOL ← FALSE,
newFetch: BOOL ← FALSE,
fetching: BOOL ← FALSE,
iPFaulted: BOOL ← FALSE,
fetchWtIndexCtl: FetchWtIndexCtl ← hold ];
FetchWtIndexCtl: TYPE = MACHINE DEPENDENT {hold(0), inc(3), clear(5)};
RdIndexCtl: TYPE = MACHINE DEPENDENT
{inc0(0), inc1(3), inc2(5), inc3(9), inc5(17), set0(33), set1(65), set2(129), set3(257)};
END.