PTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-LEGALITY-DESCRIPTOR-SHAPE","surface":"tile","classification":["model","legality","descriptor-shape"],"depends_on":["PTO-TILE-MODEL-DEFINEDNESS-ELEMENTS"]}2// PTO-REQ-TILE-LEGALITY-001: decoded tile operands are rejected before effects.3
4readonly func TileDescriptorConfigured(index: TileIndex) => boolean5begin6    let tile = _Tiles[[index]];7    return tile.allocated &&8           TileCapacityIsLegal(tile.capacity_bytes) &&9           (if tile.storage_kind == TileStorage_Predicate then10                tile.rows > 0 && tile.columns > 0 &&11                PredicateTileStorageBytes(tile.rows, tile.columns) <=12                    tile.capacity_bytes13            else14                TileShapeMatchesCapacity(tile.capacity_bytes, tile.rows,15                    tile.columns, tile.data_type)) &&16           tile.valid_rows <= tile.rows &&17           tile.valid_columns <= tile.columns &&18           tile.rows * tile.columns <=19               TileLogicalElementCapacity(tile.capacity_bytes,20                                           tile.data_type);21end;22
23readonly func TileDescriptorLegal(index: TileIndex) => boolean24begin25    return TileDescriptorConfigured(index) &&26           (_Tiles[[index]].storage_kind == TileStorage_Predicate ||27            TileGenericIndexingPermitted(_Tiles[[index]]));28end;29
30readonly func TileCubeDescriptorLegal(tile: TileInfo) => boolean31begin32    if !tile.allocated || tile.storage_kind != TileStorage_Numeric ||33       tile.location != TileLocation_Matrix ||34       !TileCubeDescriptorShapeLegal(tile.capacity_bytes,35           tile.valid_rows, tile.valid_columns,36           tile.data_type, tile.layout) then37        return FALSE;38    end;39    return tile.rows == TileCubeStorageRows(40               tile.layout, tile.valid_rows, tile.data_type) &&41           tile.columns == TileCubeStorageColumns(42               tile.layout, tile.valid_columns, tile.data_type) &&43           tile.cube_k_repeat == TileCubeKRepeat(tile.layout,44               tile.valid_rows, tile.valid_columns, tile.data_type) &&45           tile.cube_n_repeat == TileCubeNRepeat(46               tile.layout, tile.valid_rows, tile.valid_columns,47               tile.data_type) &&48           tile.cube_cell_count == TileCubeCellCount(tile.layout,49               tile.valid_rows, tile.valid_columns, tile.data_type) &&50           tile.cube_storage_bytes == TileCubeRequiredBytes(tile.layout,51               tile.valid_rows, tile.valid_columns, tile.data_type) &&52           tile.cube_storage_bytes <= tile.capacity_bytes;53end;54
55readonly func TileSourceContentsDefined(index: TileIndex) => boolean56begin57    return TileDescriptorLegal(index) && _Tiles[[index]].contents_defined;58end;59