PTO-TILE-MODEL-MEMORY-ADDRESSING

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-MEMORY-ADDRESSING","surface":"tile","classification":["model","memory","addressing"],"depends_on":["PTO-TILE-MODEL-MEMORY-SHARED-MOVEMENT"]}2pure func TileMemoryElementBytes(data_type: TileDataType) => integer {1,2,4,8}3begin4    // PTO-v0 TLSU exposes four-bit elements through byte-sized containing5    // accesses. Tile capacity remains packed in TileInfo.6    if TileDataTypeIsFourBit(data_type) then return 1;7    else return TileElementBytes(data_type);8    end;9end;10
11readonly func TileMemoryElementAddress(base_address: Word,12                                       element: ModelTileElementIndex,13                                       data_type: TileDataType) => Word14begin15    if TileDataTypeIsFourBit(data_type) then16        let offset = (element DIVRM 2) as integer {0..262144};17        return base_address + NaturalToWord(offset);18    else19        let element_bytes = TileElementBytes(data_type);20        let offset = (element * element_bytes) as integer {0..262144};21        return base_address + NaturalToWord(offset);22    end;23end;24
25readonly func TileMemoryIndexedAddress(base_address: Word,26                                       index_value: Word,27                                       data_type: TileDataType) => Word28begin29    if TileDataTypeIsFourBit(data_type) then30        return base_address + ZeroExtend{PTO_XLEN}(index_value[63:1]);31    else32        let element_bytes = TileElementBytes(data_type);33        let byte_width = NaturalToWord(element_bytes as integer {0..262144});34        return base_address + MultiplyWord(index_value, byte_width);35    end;36end;37
38readonly func TileMemoryElementHighNibble(element: ModelTileElementIndex,39                                          data_type: TileDataType) => boolean40begin41    return TileDataTypeIsFourBit(data_type) && element MOD 2 == 1;42end;43
44readonly func TileMemoryIndexedHighNibble(index_value: Word,45                                          data_type: TileDataType) => boolean46begin47    return TileDataTypeIsFourBit(data_type) && index_value[0] == '1';48end;49
50pure func TileIndexByteDisplacement(index_value: Word,51                                    index_data_type: TileDataType) => Word52begin53    assert TileDataTypeIsInteger(index_data_type);54    case index_data_type of55        when TileDataType_S4X2 =>56            return SignExtend{PTO_XLEN}(index_value[3:0]);57        when TileDataType_S8 =>58            return SignExtend{PTO_XLEN}(index_value[7:0]);59        when TileDataType_S16 =>60            return SignExtend{PTO_XLEN}(index_value[15:0]);61        when TileDataType_S32 =>62            return SignExtend{PTO_XLEN}(index_value[31:0]);63        when TileDataType_S64 => return index_value;64        when TileDataType_U4X2 =>65            return ZeroExtend{PTO_XLEN}(index_value[3:0]);66        when TileDataType_U8 =>67            return ZeroExtend{PTO_XLEN}(index_value[7:0]);68        when TileDataType_U16 =>69            return ZeroExtend{PTO_XLEN}(index_value[15:0]);70        when TileDataType_U32 =>71            return ZeroExtend{PTO_XLEN}(index_value[31:0]);72        when TileDataType_U64 => return index_value;73        otherwise => unreachable;74    end;75end;76
77pure func TileMemoryByteDisplacementAddress(78    base_address: Word, index_value: Word,79    index_data_type: TileDataType) => Word80begin81    return base_address +82        TileIndexByteDisplacement(index_value, index_data_type);83end;84