PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS

1// PTO-UNIT: {"id":"PTO-ARCH-MEMORY-MODEL-GLOBAL-MEMORY-ACCESS","surface":"arch","classification":["memory-model","global-memory-access"],"depends_on":["PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS","PTO-ARCH-MEMORY-MODEL-ATOMICITY","PTO-ARCH-PROGRAMMING-MODEL-CORE-PE-TOPOLOGY"]}2
3// NDF-BEGIN: PTO-ARCH-GM-ACCESS-0014// ndf: kind=contract level=L1 layer=memory status=accepted5// A TLOAD or TSTORE B.IOR binding MUST encode an absolute GPR selector for the6// GM base and an absolute GPR selector for row stride in bytes.7// Each selected PE MUST resolve both selectors in its private GPR file. When8// B.IOR is absent, base MUST default to zero and stride MUST default to the9// dense physical row width in bytes; an explicitly encoded zero stride MUST10// remain zero. The byte address is base + row * stride + column * element size;11// packed four-bit columns select floor(column / 2) from each byte-aligned row12// base and use column parity to select the low or high nibble.13// Shared TSTORE Function 1 MAY use any nonzero participating PE subset.14// PE_MASK zero MUST have no effect. Selected PE accesses15// MUST be preflighted before any effect, and the architecture defines no order16// among them. Programmers MUST avoid conflicting GM regions.17// NDF-END: PTO-ARCH-GM-ACCESS-00118
19pure func SharedStorePEMaskLegal(function: integer {0..31},20                                 pe_mask: bits(4)) => boolean21begin22    if pe_mask == Zeros{4} then return TRUE; end;23    return function == 1;24end;25
26pure func SharedGMPESelected(pe_mask: bits(4), pe: MemoryAgentId) => boolean27begin28    return pe_mask[PTOPEMaskBitOfPEIdentity(pe)] == '1';29end;30