PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT

1// PTO-UNIT: {"id":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","surface":"arch","classification":["programming-model","execution-context"],"depends_on":["PTO-ARCH-SYSTEM-REGISTERS-ADDRESSING"]}2// PTO-STATE: {"id":"PTO-STATE-ARCH-GPR","classification":["architecture","scalar","gpr"],"scope":"pe","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_PEGPRs"],"depends_on":[]}3// PTO-STATE: {"id":"PTO-STATE-ARCH-TEMPORARY-QUEUES","classification":["architecture","temporary-queues"],"scope":"bundle","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_TQueue","_TQueueValid","_UQueue","_UQueueValid"],"depends_on":[]}4// PTO-STATE: {"id":"PTO-STATE-ARCH-PROGRAM-CONTROL","classification":["architecture","program-control"],"scope":"core","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_PC","_BPC","_BundleActive","_BundleBodyActive","_ReturnAddress","_CommitArgument","_PredicateRegisters"],"depends_on":[]}5// PTO-STATE: {"id":"PTO-STATE-ARCH-FAULT","classification":["architecture","fault"],"scope":"core","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_LastFault","_FaultAddress"],"depends_on":[]}6// PTO-STATE: {"id":"PTO-STATE-ARCH-MEMORY","classification":["architecture","memory"],"scope":"system","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_Memory","_ReservationValid","_ReservationAddress","_ReservationSize","_LastFencePredecessor","_LastFenceSuccessor","_MemoryEvents","_MemoryEventCount","_MemoryEventCaptureEnabled","_CurrentMemoryAgent"],"depends_on":[]}7// PTO-STATE: {"id":"PTO-STATE-ARCH-MAINTENANCE","classification":["architecture","maintenance"],"scope":"system","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_DataCacheEpoch","_InstructionCacheEpoch","_BundleCacheEpoch","_TLBEpoch","_LastMaintenanceOperation","_LastMaintenanceOperand","_BundleHintEpoch","_ArchitectureRequestEpoch","_LastControlRequest","_ControlRequestOperand"],"depends_on":[]}8// PTO-STATE: {"id":"PTO-STATE-ARCH-EXTENDED-SYSTEM-REGISTERS","classification":["architecture","extended-system-registers"],"scope":"system","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_ExtendedSystemRegisters","_CurrentACR"],"depends_on":[]}9// PTO-STATE: {"id":"PTO-STATE-ARCH-TRAP-CONTEXT","classification":["architecture","trap-context"],"scope":"acr","owner":"PTO-ARCH-PROGRAMMING-MODEL-EXECUTION-CONTEXT","members":["_ACRTrapAsynchronous","_ACRTrapArgumentValid","_ACRTrapCause","_ACRTrapNumber","_ACRTrapArgument0","_TrapContexts"],"depends_on":[]}10
11// NDF-BEGIN: PTO-REQ-STATE-00112// ndf: kind=contract level=L1 layer=state status=accepted13// Architecture-visible execution state MUST be the state defined by14// [[PTO-STATE-ARCH-GPR]], [[PTO-STATE-ARCH-TEMPORARY-QUEUES]],15// [[PTO-STATE-ARCH-PROGRAM-CONTROL]], [[PTO-STATE-ARCH-FAULT]],16// [[PTO-STATE-ARCH-MEMORY]], [[PTO-STATE-ARCH-MAINTENANCE]],17// [[PTO-STATE-ARCH-SYSTEM-REGISTERS]],18// [[PTO-STATE-ARCH-EXTENDED-SYSTEM-REGISTERS]], and19// [[PTO-STATE-ARCH-TRAP-CONTEXT]].20// NDF-END: PTO-REQ-STATE-00121
22// Requirement references: PTO-REQ-PROFILE-001, PTO-REQ-MEMORY-TSO-001.23
24// A core owns four private scalar register files.  An encoded absolute GPR25// selector is shared by the instruction, but each PE resolves that selector26// in its own file.27var _PEGPRs : array [[PTO_MODEL_MEMORY_AGENTS]] of PERegisterFile;28var _TQueue : TemporaryQueueSnapshot;29var _TQueueValid : TemporaryQueueValiditySnapshot;30var _UQueue : TemporaryQueueSnapshot;31var _UQueueValid : TemporaryQueueValiditySnapshot;32var _PC : Word;33var _BPC : Word;34var _BundleActive : boolean;35var _BundleBodyActive : boolean;36var _ReturnAddress : Word;37var _CommitArgument : Word;38var _PredicateRegisters : PredicateSnapshot;39var _LastFault : FaultCode;40var _FaultAddress : Word;41var _Memory : array [[PTO_MODEL_MEMORY_BYTES]] of Byte;42var _ReservationValid : boolean;43var _ReservationAddress : Word;44var _ReservationSize : integer {1,2,4,8};45var _LastFencePredecessor : bits(4);46var _LastFenceSuccessor : bits(4);47var _MemoryEvents : array [[PTO_MODEL_MEMORY_EVENTS]] of MemoryEvent;48var _MemoryEventCount : integer {0..PTO_MODEL_MEMORY_EVENTS};49var _MemoryEventCaptureEnabled : boolean;50var _CurrentMemoryAgent : MemoryAgentId;51var _DataCacheEpoch : integer;52var _InstructionCacheEpoch : integer;53var _BundleCacheEpoch : integer;54var _TLBEpoch : integer;55var _LastMaintenanceOperation : MaintenanceOperation;56var _LastMaintenanceOperand : Word;57var _BundleHintEpoch : integer;58var _ArchitectureRequestEpoch : integer;59var _LastControlRequest : ExecutionControlRequest;60var _ControlRequestOperand : Word;61var _ExtendedSystemRegisters : array [[65536]] of Word;62var _ACRTrapAsynchronous : array [[PTO_ACR_COUNT]] of boolean;63var _ACRTrapArgumentValid : array [[PTO_ACR_COUNT]] of boolean;64var _ACRTrapCause : array [[PTO_ACR_COUNT]] of bits(24);65var _ACRTrapNumber : array [[PTO_ACR_COUNT]] of TrapNumber;66var _ACRTrapArgument0 : array [[PTO_ACR_COUNT]] of Word;67var _TrapContexts : array [[PTO_ACR_COUNT]] of TrapContext;68var _CurrentACR : AccessControlRing;69
70readonly func ReadTemporaryQueue(use_t_queue: boolean,71                                 index: TemporaryQueueIndex) => Word72begin73    return if use_t_queue then _TQueue[[index]] else _UQueue[[index]];74end;75
76readonly func TemporaryQueueSourceAvailable(77    use_t_queue: boolean,78    index: TemporaryQueueIndex) => boolean79begin80    return if use_t_queue then81        _TQueueValid[[index]]82    else83        _UQueueValid[[index]];84end;85
86func PushTemporaryQueue(use_t_queue: boolean, value: Word)87begin88    if use_t_queue then89        _TQueue[[3]] = _TQueue[[2]];90        _TQueueValid[[3]] = _TQueueValid[[2]];91        _TQueue[[2]] = _TQueue[[1]];92        _TQueueValid[[2]] = _TQueueValid[[1]];93        _TQueue[[1]] = _TQueue[[0]];94        _TQueueValid[[1]] = _TQueueValid[[0]];95        _TQueue[[0]] = value;96        _TQueueValid[[0]] = TRUE;97    else98        _UQueue[[3]] = _UQueue[[2]];99        _UQueueValid[[3]] = _UQueueValid[[2]];100        _UQueue[[2]] = _UQueue[[1]];101        _UQueueValid[[2]] = _UQueueValid[[1]];102        _UQueue[[1]] = _UQueue[[0]];103        _UQueueValid[[1]] = _UQueueValid[[0]];104        _UQueue[[0]] = value;105        _UQueueValid[[0]] = TRUE;106    end;107end;108