PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION","surface":"block","classification":["model","dispatch","tlsu-layout-conversion"],"depends_on":["PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA","PTO-BLOCK-MODEL-FAULTS-ROLLBACK","PTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE","PTO-TILE-MODEL-MEMORY-LOAD-STORE"]}2
3readonly func BundleCubeTransportSelected() => boolean4begin5    return _BundleOperation.valid &&6           _BundleOperation.operation_class == BundleOperation_TileMemory &&7           _BundleDataAttributesPresent &&8           TileDataLayoutIsCubeConversion(9               _BundleDataAttributes.data_layout);10end;11
12pure func BundleCubeTransportDataTypeSupported(13    data_type: TileDataType) => boolean14begin15    // HiF4X2 is accepted only by the Matrix-MX input-role contract.  It does16    // not become a GM/Local CUBE transport type merely because the generic17    // CUBE CellReg geometry can represent four-bit carriers.18    return TileCubeDataTypeSupported(data_type) &&19           data_type != TileDataType_HiF4X2;20end;21
22readonly func BundleCubeTransportDimensionsLegal() => boolean23begin24    if !_BundleDimensionPresent[[0]] ||25       !_BundleDimensionPresent[[1]] ||26       _BundleDimensionPresent[[2]] then27        return FALSE;28    end;29    let valid_columns = UInt(_BundleDimensions[[0]]);30    let valid_rows = UInt(_BundleDimensions[[1]]);31    return 1 <= valid_columns && valid_columns <= 65535 &&32           1 <= valid_rows && valid_rows <= 65535;33end;34
35readonly func BundleCubeTransportDataAttributesLegal() => boolean36begin37    if !_BundleDataAttributesPresent ||38       _BundleDataAttributes.data_type != DTYPE_NONE ||39       !TileDataLayoutIsCubeConversion(40           _BundleDataAttributes.data_layout) ||41       _BundleDataAttributes.comparison_mode != Zeros{3} ||42       _BundleDataAttributes.rounding_mode != Zeros{3} ||43       _BundleDataAttributes.saturating ||44       _BundleDataAttributes.canonicalize then45        return FALSE;46    end;47    if !_BundleOperation.valid ||48       _BundleOperation.operation_class != BundleOperation_TileMemory ||49       !_BundleOperation.selector_valid then50        return FALSE;51    end;52    let function = UInt(_BundleOperation.selector[4:0]);53    if function == 0 then54        return TileDataLayoutConversionIsLoad(55            _BundleDataAttributes.data_layout);56    elsif function == 1 then57        return TileDataLayoutConversionIsStore(58            _BundleDataAttributes.data_layout);59    end;60    return FALSE;61end;62
63readonly func BundleCubeTransportBindingsLegal(64    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean65begin66    if BundleSharedBindingCount() != 0 ||67       BundleTileBindingCount() != 1 ||68       !BundleOperationBindingsComplete(operation) ||69       !BundleOperationScalarBindingSchemaLegal(operation) ||70       !BundleOperationGPRBindingValuesLegal(operation) ||71       !SelectedBundleTileMasksLegal() then72        return FALSE;73    end;74    let function = UInt(_BundleOperation.selector[4:0]);75    let binding = _BundleTileBindings[[0]];76    if !binding.valid || !binding.last then return FALSE; end;77    if function == 0 then78        return binding.destination_valid &&79               !binding.destination_allocated_by_bundle &&80               BundleTileDestinationSizeLegal(0) &&81               !binding.source0_valid && !binding.source1_valid;82    elsif function == 1 then83        return !binding.destination_valid &&84               binding.source0_valid && !binding.source1_valid;85    end;86    return FALSE;87end;88
89func ResolveBundleCubeTransportDestination(90    valid_rows: integer {1..65535},91    valid_columns: integer {1..65535},92    data_type: TileDataType,93    layout: TileLayout) => boolean94begin95    let binding = _BundleTileBindings[[0]];96    let capacity_bytes = BundleTileDestinationSizeBytes(0);97    if !TileCubeDescriptorShapeLegal(capacity_bytes, valid_rows,98           valid_columns, data_type, layout) ||99       !LocalTileAllocationFits(binding.pe_mask, capacity_bytes) then100        SetFault(Fault_TileAllocation, ReadTPC());101        return FALSE;102    end;103    let hand = UInt(binding.destination_hand);104    var destination: TileIndex = 0;105    var found = FALSE;106    for offset = 0 to 15 do107        let raw_index: integer = hand * 16 + offset;108        if !found && !_Tiles[[raw_index]].allocated then109            destination = raw_index as TileIndex;110            found = TRUE;111        end;112    end;113    if !found || !ConfigureCubeTileForMask(114           destination, capacity_bytes, valid_rows, valid_columns,115           data_type, layout, TileLocation_Matrix, binding.pe_mask) then116        SetFault(Fault_TileAllocation, ReadTPC());117        return FALSE;118    end;119    _BundleTileBindings[[0]].destination = destination;120    _BundleTileBindings[[0]].destination_allocated_by_bundle = TRUE;121    return TRUE;122end;123
124func ExecuteBundleCubeTransportOperation() => boolean125begin126    // A zero Local mask is resolved before every schema, GPR, descriptor,127    // allocation, and memory check.128    if SelectedBundleTileMaskIsZero() then return TRUE; end;129    let decoded = DecodeTileOperation(130        TileDecode_TLSU, BundleOperationDecodeCode(_BundleOperation));131    if decoded == PTO_TILE_OPERATION_COUNT then132        SetFault(Fault_IllegalInstruction, ReadTPC());133        return FALSE;134    end;135    let operation = decoded as integer {0..PTO_TILE_OPERATION_COUNT-1};136    if !BundleCubeTransportDimensionsLegal() ||137       !BundleCubeTransportDataAttributesLegal() ||138       !BundleCubeTransportBindingsLegal(operation) ||139       _BundleFixedPointAttributes.valid then140        SetFault(Fault_TileLegality, ReadTPC());141        return FALSE;142    end;143    let (type_valid, data_type) = ResolveBundleEffectiveDataType();144    let layout = TileDataLayoutCubeLayout(145        _BundleDataAttributes.data_layout);146    if !type_valid || !BundleCubeTransportDataTypeSupported(data_type) then147        SetFault(Fault_TileLegality, ReadTPC());148        return FALSE;149    end;150    let valid_columns = UInt(_BundleDimensions[[0]])151        as integer {1..65535};152    let valid_rows = UInt(_BundleDimensions[[1]])153        as integer {1..65535};154    let base_address = if _BundleScalarBindings[[0]].valid then155        ReadScalarRegisterOperand(_BundleScalarBindings[[0]].source0)156        else Zeros{PTO_XLEN};157    let row_stride_bytes = if _BundleScalarBindings[[0]].valid then158        ReadScalarRegisterOperand(_BundleScalarBindings[[0]].source1)159        else TileDenseRowStrideBytes(valid_columns, data_type);160    let function = UInt(_BundleOperation.selector[4:0]);161    if function == 0 then162        if !ResolveBundleCubeTransportDestination(163               valid_rows, valid_columns, data_type, layout) then164            return FALSE;165        end;166        let destination = _BundleTileBindings[[0]].destination;167        TLOAD(destination, base_address, row_stride_bytes);168        if _LastFault != Fault_None then169            RollBackBundleTileDestinations();170            return FALSE;171        end;172    else173        let source = _BundleTileBindings[[0]].source0;174        let tile = _Tiles[[source]];175        if !TileCubeDescriptorLegal(tile) || !tile.contents_defined ||176           tile.data_type != data_type || tile.layout != layout ||177           tile.valid_rows != valid_rows ||178           tile.valid_columns != valid_columns ||179           (_TileAllocationMasks[[source]] AND180               _BundleTileBindings[[0]].pe_mask) !=181               _BundleTileBindings[[0]].pe_mask then182            SetFault(Fault_TileLegality, ReadTPC());183            return FALSE;184        end;185        TSTORE(base_address, row_stride_bytes, source);186        if _LastFault != Fault_None then return FALSE; end;187    end;188    FinalizeBundleTileAttempt(TileExecution_Executed);189    return TRUE;190end;191