<> <> <> <> <> <> DIRECTORY PLAOps; IFUPLAFetchPreDecode: CEDAR DEFINITIONS = BEGIN FetchPreDecodeIn: TYPE = RECORD [ -- default must be zero op: [0..8) _ 0, -- 3 msbs of DragOpsCross.Inst, fetchBytesM1: [0..32) _ 0, iPFaulting: BOOL _ FALSE ]; FetchPreDecodeOut: TYPE = RECORD [-- default must be zero notInstReady: BOOL _ FALSE, jumpOffset: JumpOffsetSel _ beta, instFault0: BOOL _ FALSE, opLength: [0..7] _ 0, -- A latched copy for fetch indexing opLengthb: [0..7] _ 0 ]; -- B latched copy for pc adjustment JumpOffsetSel: TYPE = MACHINE DEPENDENT {beta(0), alpha(3), alphaBeta(5), xa(9)}; -- +pc END.