PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-TILE-EXECUTION","surface":"block","classification":["model","dispatch","tile-execution"],"depends_on":["PTO-BLOCK-MODEL-DISPATCH-CELL-REARRANGEMENT-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-COMPARISON-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-CUBE-TMATMUL","PTO-BLOCK-MODEL-DISPATCH-EXPANSION-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-GENERATION-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-HISTOGRAM-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-REDUCTION-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-SORTING-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-TILE-SCALAR-SCHEMA","PTO-BLOCK-MODEL-DISPATCH-TLSU-GMOV","PTO-BLOCK-MODEL-DISPATCH-TLSU-LAYOUT-CONVERSION","PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER","PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER-CAS","PTO-BLOCK-MODEL-DISPATCH-TLSU-MGATHER-MASK","PTO-BLOCK-MODEL-DISPATCH-TLSU-MSCATTER","PTO-BLOCK-MODEL-DISPATCH-TLSU-MSCATTER-MASK","PTO-BLOCK-MODEL-DISPATCH-TLSU-PREFETCH","PTO-BLOCK-MODEL-DISPATCH-SHARED-TLSU","PTO-BLOCK-MODEL-OPERANDS-LOCAL-GENERATION","PTO-BLOCK-MODEL-OPERANDS-SHARED-GENERATION","PTO-BLOCK-MODEL-OPERANDS-PORTABLE-CARRIERS","PTO-BLOCK-MODEL-OPERANDS-SUBVIEW-DESCRIPTOR","PTO-TILE-MODEL-DISPATCH-TOP-LEVEL"]}2readonly func BundleTileTypesMatch(3    operation: integer {0..PTO_TILE_OPERATION_COUNT-1},4    operands: TileInstructionOperands,5    expected: TileDataType) => boolean6begin7    if TileOperandPresent(operation, TileOperand_destination0) &&8       _Tiles[[operands.destination0]].allocated &&9       _Tiles[[operands.destination0]].data_type != expected then return FALSE; end;10    if TileOperandPresent(operation, TileOperand_source0) &&11       _Tiles[[operands.source0]].allocated &&12       _Tiles[[operands.source0]].data_type != expected then return FALSE; end;13    if TileOperandPresent(operation, TileOperand_source1) &&14       _Tiles[[operands.source1]].allocated &&15       _Tiles[[operands.source1]].data_type != expected then return FALSE; end;16    return TRUE;17end;18
19readonly func SelectedBundleClosedSchemasLegal(20    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean21begin22    return SelectedBundleClosedBinarySchemaLegal(operation) &&23           SelectedBundleClosedUnarySchemaLegal(operation) &&24           SelectedBundleClosedTFMASchemaLegal(operation) &&25           SelectedBundleCellRearrangementSchemaLegal(operation) &&26           SelectedBundleClosedQuantizationSchemaLegal(operation) &&27           SelectedBundleClosedGenerationSchemaLegal(operation) &&28           SelectedBundleClosedHistogramSchemaLegal(operation) &&29           SelectedBundleClosedReductionSchemaLegal(operation) &&30           SelectedBundleClosedSortingSchemaLegal(operation) &&31           SelectedBundleClosedExpansionSchemaLegal(operation) &&32           SelectedBundleClosedTCVTSchemaLegal(operation) &&33           SelectedBundleClosedTCMPSchemaLegal(operation) &&34           SelectedBundleClosedTSELSchemaLegal(operation) &&35           SelectedBundleClosedTileScalarBinarySchemaLegal(operation) &&36           SelectedBundleClosedTCMPSSchemaLegal(operation) &&37           SelectedBundleClosedTSELSSchemaLegal(operation) &&38           SelectedBundleClosedTEXPANDSSchemaLegal(operation);39end;40
41func ExecuteBundleTileOperationLocallyWithAcceptedApplicabilityRules(42    rules: NumericApplicabilityRuleSet) => boolean43begin44    if _BundleZeroParticipationSeen && BundleTileBindingCount() == 0 &&45       BundleSharedBindingCount() == 0 then return TRUE; end;46    // Effect eligibility is a generated handler-group contract and is47    // checked before descriptor preparation, specialized dispatch, body48    // execution, allocation, or auxiliary effects.49    if _BundleOperation.valid then50        let effect_family = BundleTileDecodeFamily(51            _BundleOperation.operation_class);52        let effect_code = BundleOperationDecodeCode(_BundleOperation);53        let effect_decoded = DecodeTileOperation(effect_family, effect_code);54        if effect_decoded == PTO_TILE_OPERATION_COUNT then55            SetFault(Fault_IllegalInstruction, ReadTPC());56            return FALSE;57        end;58        if !BundleProducerEffectEligible(59                effect_decoded as integer {0..PTO_TILE_OPERATION_COUNT-1}) then60            return FALSE;61        end;62    end;63    if !BundleSharedDestinationAssemblyPolicyLegal() then64        SetFault(Fault_TileLegality, ReadTPC());65        return FALSE;66    end;67    let matrix_selected = BundleCubeMatrixSelected();68    var stage2_prepared = TRUE;69    if !matrix_selected then70        stage2_prepared = PrepareSelectedBundleStage2();71    end;72    if !matrix_selected && !stage2_prepared then73        DiscardBundleSubviewMaterializations();74        return FALSE;75    end;76    var specialized = TRUE;77    var specialized_completed = FALSE;78    if matrix_selected then79        // Shared readiness is a retry gate, not a TileLegality condition.80        // Preserve the completed block and its bindings until every Shared81        // matrix source is whole-ready and published.82        if !BundleMatrixSharedSourcesReady(83                BundleSharedBindingCount()) then return FALSE; end;84        specialized_completed = ExecuteBundleTMATMULOperation();85    elsif BundleCubeTransportSelected() then86        if !ReuseBundleLocalGenerationDestination() then87            DiscardBundleSubviewMaterializations();88            return FALSE;89        end;90        specialized_completed = ExecuteBundleCubeTransportOperation();91    elsif BundleGMOVSelected() then92        if !ReuseBundleLocalGenerationDestination() then93            DiscardBundleSubviewMaterializations();94            return FALSE;95        end;96        specialized_completed = ExecuteBundleGMOVOperation();97    elsif BundleMGATHERCASSelected() then98        specialized_completed = ExecuteBundleMGATHERCASOperation();99    elsif BundleMGATHERMASKSelected() then100        specialized_completed = ExecuteBundleMGATHERMASKOperation();101    elsif BundleMGATHERSelected() then102        specialized_completed = ExecuteBundleMGATHEROperation();103    elsif BundleMSCATTERSelected() then104        specialized_completed = ExecuteBundleMSCATTEROperation();105    elsif BundleMSCATTERMASKSelected() then106        specialized_completed = ExecuteBundleMSCATTERMASKOperation();107    elsif BundleTPREFETCHSelected() then108        specialized_completed = ExecuteBundleTPREFETCHOperation();109    elsif BundleSharedTLSUSelected() then110        specialized_completed = ExecuteBundleSharedTLSUOperation();111    elsif BundleSharedBindingsUnconsumed() then112        SetFault(Fault_TileLegality, ReadTPC());113        specialized_completed = FALSE;114    else115        specialized = FALSE;116    end;117    if specialized then118        if specialized_completed && _LastFault == Fault_None then119            if !matrix_selected || !BundleTMATMULCurrentPEInactive() then120                CommitBundleLocalGeneration();121                RetireBundleConsumerDependencies();122            end;123        else124            AbortBundleLocalGenerationsForBundle();125        end;126        DiscardBundleSubviewMaterializations();127        return specialized_completed;128    end;129    let family = BundleTileDecodeFamily(_BundleOperation.operation_class);130    let code = BundleOperationDecodeCode(_BundleOperation);131    let decoded = DecodeTileOperation(family, code);132    if decoded == PTO_TILE_OPERATION_COUNT then133        SetFault(Fault_IllegalInstruction, ReadTPC());134        return FALSE;135    end;136    let operation = decoded as integer {0..PTO_TILE_OPERATION_COUNT-1};137    if SelectedBundleTileMaskIsZero() then return TRUE; end;138    if _BundleFixedPointAttributes.valid &&139       _BundleOperation.operation_class != BundleOperation_TileMatrix then140        SetFault(Fault_BundleControl, ReadTPC());141        return FALSE;142    end;143    if !BundleOperationBindingsComplete(operation) then144        SetFault(Fault_BundleControl, ReadTPC());145        return FALSE;146    end;147    // Validate raw B.IOR controls only after the PE mask zero no-effect exit148    // and before destination allocation/resolution.  Invalid values never149    // enter constrained TileInstructionOperands fields or architectural Tile150    // state.151    if !BundleOperationGPRBindingValuesLegal(operation) then152        SetFault(Fault_TileLegality, ReadTPC());153        return FALSE;154    end;155    if !SelectedBundleTileDataAttributesLegal(operation) then156        return FALSE;157    end;158    // Cell-rearrangement B.IOR/B.IOT shape is bundle structure.  Report159    // omitted or surplus controls as BundleControl before the generic closed160    // schema maps a failed operand contract to TileLegality.161    if TileOperationUsesCellRearrangementSchema(operation) &&162       !SelectedBundleCellRearrangementSchemaLegal(operation) then163        SetFault(Fault_BundleControl, ReadTPC());164        return FALSE;165    end;166    if !SelectedBundleClosedSchemasLegal(operation) then167        SetFault(Fault_TileLegality, ReadTPC());168        return FALSE;169    end;170    if !SelectedBundleTileMasksLegal() then171        SetFault(Fault_TileLegality, ReadTPC());172        return FALSE;173    end;174    if !ReuseBundleLocalGenerationDestination() then175        DiscardBundleSubviewMaterializations();176        return FALSE;177    end;178    if !ResolveBundleTileDestinationsForOperation(operation) then179        AbortBundleLocalGenerationsForBundle();180        DiscardBundleSubviewMaterializations();181        return FALSE;182    end;183    let operands = BundleTileInstructionOperands(operation);184    let (status, -) =185        ExecuteTileInstructionWithoutTimeWithAcceptedApplicabilityRules(186        rules, family, code, operands);187    if _LastFault != Fault_None || status != TileExecution_Executed then188        RollBackBundleTileDestinations();189        AbortBundleLocalGenerationsForBundle();190        DiscardBundleSubviewMaterializations();191        return FALSE;192    end;193    CommitBundleLocalGeneration();194    RetireBundleConsumerDependencies();195    DiscardBundleSubviewMaterializations();196    FinalizeBundleTileAttempt(status);197    return TRUE;198end;199
200func ExecuteFarBundleTileOperationWithAcceptedApplicabilityRules(201    rules: NumericApplicabilityRuleSet) => boolean202begin203    // Routing and transport are not architecturally observable.  The formal204    // model therefore executes the selected operation against the initiating205    // core's captured inputs and publishes the returned results only through206    // the same commit path as a local block.  A concrete implementation may207    // dispatch this work to the target selected by its routing state, but it208    // may not expose an intermediate remote result or a partial local commit.209    return ExecuteBundleTileOperationLocallyWithAcceptedApplicabilityRules(210        rules);211end;212
213func ExecuteBundleTileOperationWithAcceptedApplicabilityRules(214    rules: NumericApplicabilityRuleSet) => boolean215begin216    var completed = FALSE;217    if _BundleControlAttributes.far then218        completed = ExecuteFarBundleTileOperationWithAcceptedApplicabilityRules(219            rules);220    else221        completed = ExecuteBundleTileOperationLocallyWithAcceptedApplicabilityRules(222            rules);223    end;224    if !completed then225        AbortBundleLocalGenerationsForBundle();226        AbortBundleSharedGenerationsForBundle();227    end;228    return completed;229end;230
231func ExecuteBundleTileOperation() => boolean232begin233    return ExecuteBundleTileOperationWithAcceptedApplicabilityRules(234        NumericApplicabilityRules_None);235end;236