PTO-BLOCK-MODEL-DISPATCH-GENERATION-SCHEMA

1// PTO-UNIT: {"id":"PTO-BLOCK-MODEL-DISPATCH-GENERATION-SCHEMA","surface":"block","classification":["model","dispatch","generation-schema"],"depends_on":["PTO-BLOCK-MODEL-DISPATCH-TILE-SCHEMA","PTO-TILE-MODEL-EXECUTION-GENERATION"]}2pure func TileOperationUsesClosedGenerationSchema(3    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean4begin5    let decoded = TileOperationOfIndex(operation);6    return decoded == TileOperation_TCI ||7           decoded == TileOperation_TTRI;8end;9
10readonly func SelectedBundleGenerationDimensionsLegal(11    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean12begin13    if !_BundleDimensionPresent[[0]] ||14       UInt(_BundleDimensions[[0]]) < 1 ||15       UInt(_BundleDimensions[[0]]) > 65535 then16        return FALSE;17    end;18    if _BundleDimensionPresent[[2]] &&19       (UInt(_BundleDimensions[[2]]) < UInt(_BundleDimensions[[0]]) ||20        UInt(_BundleDimensions[[2]]) > 65535) then21        return FALSE;22    end;23
24    let decoded = TileOperationOfIndex(operation);25    if decoded == TileOperation_TCI then26        return !_BundleDimensionPresent[[1]] ||27               UInt(_BundleDimensions[[1]]) == 1;28    end;29    return !_BundleDimensionPresent[[1]] ||30           (UInt(_BundleDimensions[[1]]) >= 1 &&31            UInt(_BundleDimensions[[1]]) <= 65535);32end;33
34readonly func SelectedBundleClosedGenerationSchemaLegal(35    operation: integer {0..PTO_TILE_OPERATION_COUNT-1}) => boolean36begin37    if !TileOperationUsesClosedGenerationSchema(operation) then38        return TRUE;39    end;40    if BundleTileBindingCount() != 1 ||41       BundleSharedBindingCount() != 0 then42        return FALSE;43    end;44
45    let binding = _BundleTileBindings[[0]];46    if !binding.destination_valid ||47       binding.destination_allocated_by_bundle ||48       !BundleTileDestinationSizeLegal(0) ||49       binding.source0_valid ||50       binding.source1_valid ||51       !binding.last then52        return FALSE;53    end;54    if !SelectedBundleGenerationDimensionsLegal(operation) then55        return FALSE;56    end;57
58    let data_type = TileDataTypeFromEncoding(59        CurrentBundleTileOperationDataTypeCode()60            as TileDataTypeEncoding);61    let decoded = TileOperationOfIndex(operation);62    let data_type_legal = if decoded == TileOperation_TCI then63        TileTCIDataTypeSupported(data_type)64    else65        TileTTRIDataTypeSupported(data_type);66    return data_type_legal &&67           CurrentBundleTileLayout() == TileLayout_RowMajor;68end;69