PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-DESCRIPTOR-LEGALITY","surface":"block","classification":["model","dispatch","descriptor-legality"],"depends_on":["PTO-ARCH-DATA-TYPES-TILE-DATA-TYPES","PTO-BLOCK-MODEL-DISPATCH-DECODE"]}2pure func BundleBranchTypeLegal(branch_type: bits(3)) => boolean3begin4    return branch_type == '001' || branch_type == '101' ||5           branch_type == '110' || branch_type == '111';6end;7
8pure func BundleTransferOfBranchType(branch_type: bits(3)) => BundleTransfer9begin10    case branch_type of11        when '001' => return BundleTransfer_Fallthrough;12        when '101' => return BundleTransfer_Indirect;13        when '110' => return BundleTransfer_IndirectCall;14        when '111' => return BundleTransfer_Return;15        otherwise => unreachable;16    end;17end;18
19pure func BundleDataTypeSupported(data_type: bits(5)) => boolean20begin21    return BundleDataTypeConcrete(data_type);22end;23
24pure func BundleDataTypeConcrete(data_type: bits(5)) => boolean25begin26    let code = UInt(data_type);27    return code <= 14 || (16 <= code && code <= 20) ||28           (24 <= code && code <= 28);29end;30
31pure func BundleDataTypeFieldValid(data_type: bits(5)) => boolean32begin33    return BundleDataTypeConcrete(data_type) || data_type == DTYPE_NONE;34end;35
36pure func BundleTileDataType(data_type: bits(5)) => TileDataType37begin38    return TileDataTypeFromEncoding(data_type as TileDataTypeEncoding);39end;40
41pure func BundleDescriptorSelectsTMOV(42    descriptor: BundleOperationDescriptor) => boolean43begin44    if descriptor.operation_class != BundleOperation_TileMemory ||45       !descriptor.selector_valid then return FALSE; end;46    return BundleOperationDecodeCode(descriptor) == Zeros{12} + 2;47end;48
49readonly func BundleTMOVSelected() => boolean50begin51    return _BundleOperation.valid &&52           BundleDescriptorSelectsTMOV(_BundleOperation);53end;54
55readonly func ResolveBundleEffectiveDataType() => (boolean, TileDataType)56begin57    if _BundleDataAttributes.data_type_present &&58       BundleDataTypeConcrete(_BundleDataAttributes.data_type) then59        return (TRUE, BundleTileDataType(_BundleDataAttributes.data_type));60    end;61    if _BundleOperation.data_type_valid &&62       BundleDataTypeConcrete(_BundleOperation.data_type) then63        return (TRUE, BundleTileDataType(_BundleOperation.data_type));64    end;65    if BundleTMOVSelected() then66        for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do67            if _BundleTileBindings[[binding]].valid then68                if _BundleTileBindings[[binding]].source0_valid &&69                   TileDescriptorConfigured(70                       _BundleTileBindings[[binding]].source0) then71                    return (TRUE, _Tiles[[72                        _BundleTileBindings[[binding]].source0]].data_type);73                elsif _BundleTileBindings[[binding]].source1_valid &&74                      TileDescriptorConfigured(75                          _BundleTileBindings[[binding]].source1) then76                    return (TRUE, _Tiles[[77                        _BundleTileBindings[[binding]].source1]].data_type);78                end;79            end;80        end;81        for binding = 0 to 3 do82            if _BundleSharedBindings[[binding]].valid &&83               !_BundleSharedBindings[[binding]].consumed &&84               !BundleSharedBindingIsDestination(binding) then85                let shared_tile_id = BundleSharedBindingId(binding);86                if SharedTileDescriptorLegal(shared_tile_id) then87                    return (TRUE, SharedTileRecord(shared_tile_id).tile.data_type);88                end;89            end;90        end;91    end;92    // This value is unobservable when the valid member is FALSE. FP64 is a93    // total ASL return value, never a default interpretation of DTYPE_NONE.94    return (FALSE, TileDataType_FP64);95end;96
97pure func BundleTileDecodeFamily(operation_class: BundleOperationClass)98        => TileDecodeFamily99begin100    case operation_class of101        when BundleOperation_TileElement => return TileDecode_TEPL;102        when BundleOperation_TileMemory => return TileDecode_TLSU;103        when BundleOperation_TileMatrix => return TileDecode_CUBE;104        otherwise => unreachable;105    end;106end;107
108pure func BundleSelectorCode(descriptor: BundleOperationDescriptor) => bits(12)109begin110    var code = Zeros{12};111    if descriptor.mode_valid then112        code[6:5] = descriptor.mode;113        code[4:0] = descriptor.selector[4:0];114    else115        code[9:0] = descriptor.selector;116    end;117    return code;118end;119
120pure func BundleOperationDecodeCode(121    descriptor: BundleOperationDescriptor) => bits(12)122begin123    return BundleSelectorCode(descriptor);124end;125
126pure func BundleOperationDescriptorLegal(127    descriptor: BundleOperationDescriptor) => boolean128begin129    if descriptor.branch_type_valid &&130       !BundleBranchTypeLegal(descriptor.branch_type) then131        return FALSE;132    end;133    case descriptor.operation_class of134        when BundleOperation_TileElement,135             BundleOperation_TileMemory,136             BundleOperation_TileMatrix =>137            if !descriptor.selector_valid || !descriptor.data_type_valid ||138               !BundleDataTypeFieldValid(descriptor.data_type) then139                return FALSE;140            end;141            let operation = DecodeTileOperation(142                BundleTileDecodeFamily(descriptor.operation_class),143                BundleOperationDecodeCode(descriptor));144            if operation == PTO_TILE_OPERATION_COUNT then return FALSE; end;145            return BundleDataTypeConcrete(descriptor.data_type) ||146                   BundleDescriptorSelectsTMOV(descriptor);147        when BundleOperation_FixedPoint =>148            // PTO v0 has no direct FIXP selector family. The accepted spelling149            // remains decodable but cannot install an executable descriptor.150            return FALSE;151        otherwise => return TRUE;152    end;153end;154
155pure func BundleOperationDescriptorRejectedByAcceptedApplicabilityRules(156    rules: NumericApplicabilityRuleSet,157    descriptor: BundleOperationDescriptor) => boolean158begin159    case descriptor.operation_class of160        when BundleOperation_TileElement,161             BundleOperation_TileMemory,162             BundleOperation_TileMatrix =>163            if !descriptor.selector_valid then return FALSE; end;164            let decoded = DecodeTileOperation(165                BundleTileDecodeFamily(descriptor.operation_class),166                BundleOperationDecodeCode(descriptor));167            if decoded == PTO_TILE_OPERATION_COUNT then return FALSE; end;168            let operation = decoded as integer {0..PTO_TILE_OPERATION_COUNT-1};169            return TileOperationRejectedByAcceptedApplicabilityRules(170                rules, operation);171        otherwise => return FALSE;172    end;173end;174
175readonly func BundleOperationBindingsComplete(176    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean177begin178    var destination_count: integer = 0;179    var source_count: integer = 0;180    var binding_count: integer = 0;181    for binding = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 do182        if _BundleTileBindings[[binding]].valid then183            binding_count = binding_count + 1;184            if _BundleTileBindings[[binding]].destination_valid then185                destination_count = destination_count + 1;186            end;187            if _BundleTileBindings[[binding]].source0_valid then188                source_count = source_count + 1;189            end;190            if _BundleTileBindings[[binding]].source1_valid then191                source_count = source_count + 1;192            end;193        end;194    end;195    let matrix = _BundleOperation.valid &&196        _BundleOperation.operation_class == BundleOperation_TileMatrix;197    let expected_destinations =198        (if TileOperandPresent(operation, TileOperand_destination0)199         then 1 else 0) +200        (if TileOperandPresent(operation, TileOperand_destination1)201         then 1 else 0) +202        (if matrix && _BundleFixedPointAttributes.row_max_en203         then 1 else 0) +204        (if matrix && _BundleFixedPointAttributes.group_max_en205         then 1 else 0);206    let expected_sources =207        (if TileOperandPresent(operation, TileOperand_source0)208         then 1 else 0) +209        (if TileOperandPresent(operation, TileOperand_source1)210         then 1 else 0) +211        (if TileOperandPresent(operation, TileOperand_source2)212         then 1 else 0) +213        (if TileOperandPresent(operation, TileOperand_source3)214         then 1 else 0) +215        (if TileOperandPresent(operation, TileOperand_source4)216         then 1 else 0) +217        (if matrix && _BundleFixedPointAttributes.c_scale_en218         then 1 else 0) +219        (if matrix && _BundleFixedPointAttributes.row_max_en &&220            _BundleFixedPointAttributes.row_max_init221         then 1 else 0) +222        (if matrix && BundleFPATRModeUsesVectorParameter(223               _BundleFixedPointAttributes.pre_quant_mode)224         then 1 else 0) +225        (if matrix && BundleFPATRReluModeUsesVectorParameter(226               _BundleFixedPointAttributes.relu_mode)227         then 1 else 0);228    // Matrix post-processing is a complete-bundle schema contribution.  The229    // static catalog carries mathematical operands; B.FPATR contributes230    // optional RowMax/parameter streams and compact auxiliary destinations.231    if matrix then232        if !_BundleFixedPointAttributes.valid then return FALSE; end;233    elsif _BundleFixedPointAttributes.valid then234        return FALSE;235    end;236    if matrix && destination_count > 1 then237        // D, RowMaxOut and GroupMaxOut are one atomic output group.  Their238        // architectural Tile IDs must be distinct; source/destination alias239        // checks remain operation-specific (RowMaxIn may equal RowMaxOut).240        for first = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 looplimit 16 do241            if _BundleTileBindings[[first]].valid &&242               _BundleTileBindings[[first]].destination_valid then243                for second = 0 to PTO_BUNDLE_TILE_BINDING_COUNT - 1 looplimit 16 do244                    if first != second &&245                       _BundleTileBindings[[second]].valid &&246                       _BundleTileBindings[[second]].destination_valid &&247                       _BundleTileBindings[[first]].destination ==248                       _BundleTileBindings[[second]].destination then249                        return FALSE;250                    end;251                end;252            end;253        end;254    end;255    // The complete-bundle B.FPATR carrier has nine compact Local source256    // ordinals and three compact destination ordinals. Reject surplus257    // streams before descriptor allocation or operand consumption.258    if matrix && (source_count > 9 || destination_count > 3) then259        return FALSE;260    end;261    if destination_count != expected_destinations ||262       source_count != expected_sources then return FALSE; end;263    if binding_count > 0 && !BundleTileBindingStreamTerminated() then264        return FALSE;265    end;266    if !BundleOperationScalarBindingSchemaLegal(operation) then return FALSE; end;267    return TRUE;268end;269