PTO-SCALAR-MODEL-TYPES-OPERANDS

1// PTO-UNIT: {"id":"PTO-SCALAR-MODEL-TYPES-OPERANDS","surface":"scalar","classification":["model","types","operands"],"depends_on":["PTO-SCALAR-MODEL-TYPES-OPERATIONS","PTO-ARCH-PROGRAMMING-MODEL-SCALAR-REGISTERS"]}2// PTO-REQ-SCALAR-OPERAND-001: one-level Reg5 source and destination behavior.3
4// Reg5 codes 0..23 select absolute GPRs. Codes 24..27 select T#1..T#45// and codes 28..31 select U#1..U#4. Queue index zero is the newest value.6readonly func ScalarSourceSelectorLegal(selector: Reg5Selector) => boolean7begin8    if selector < PTO_ABSOLUTE_GPR_COUNT then9        return TRUE;10    elsif selector < 28 then11        return TemporaryQueueSourceAvailable(12            TRUE,13            (selector - 24) as TemporaryQueueIndex);14    else15        return TemporaryQueueSourceAvailable(16            FALSE,17            (selector - 28) as TemporaryQueueIndex);18    end;19end;20
21readonly func ScalarDestinationSelectorLegal(selector: Reg5Selector) => boolean22begin23    return TRUE;24end;25
26readonly func ScalarImplicitSourceOperandsLegal(27    operation: ScalarOperation)28    => boolean29begin30    case operation of31        when ScalarOperation_C_SDI,32             ScalarOperation_C_SLLI,33             ScalarOperation_C_SRLI =>34            return TemporaryQueueSourceAvailable(TRUE, 0);35        when ScalarOperation_C_SWI =>36            return TemporaryQueueSourceAvailable(TRUE, 0);37        otherwise =>38            return TRUE;39    end;40end;41
42readonly func ReadScalarRegisterOperand(selector: Reg5Selector) => Word43begin44    if selector < PTO_ABSOLUTE_GPR_COUNT then45        return ReadGPR(selector as GPRIndex);46    elsif selector < 28 then47        return ReadTemporaryQueue(TRUE,48            (selector - 24) as TemporaryQueueIndex);49    else50        return ReadTemporaryQueue(FALSE,51            (selector - 28) as TemporaryQueueIndex);52    end;53end;54
55// B.IOR uses only absolute GPR selectors.  Shared operations apply one encoded56// selector to each PE's private register file rather than sharing a value57// resolved by the PE that happened to dispatch the block.58readonly func ReadPEAbsoluteGPROperand(pe: MemoryAgentId,59                                      selector: Reg5Selector) => Word60begin61    assert selector < PTO_ABSOLUTE_GPR_COUNT;62    return ReadPEGPR(pe, selector as GPRIndex);63end;64
65func WriteScalarDestination(selector: Reg5Selector, value: Word)66begin67    if selector < PTO_ABSOLUTE_GPR_COUNT then68        WriteGPR(selector as GPRIndex, value);69    elsif selector == 30 then70        PushTemporaryQueue(FALSE, value);71    elsif selector == 31 then72        PushTemporaryQueue(TRUE, value);73    end;74    // Destination selectors 24..29 are non-writing encodings. Codes 30 and 3175    // are the encoded ->u and ->t queue-push destinations respectively.76end;77
78func WriteCompressedTResult(value: Word)79begin80    PushTemporaryQueue(TRUE, value);81end;82