PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-LEGALITY-ALLOCATION-CAPACITY","surface":"tile","classification":["model","legality","allocation-capacity"],"depends_on":["PTO-TILE-MODEL-LEGALITY-DTYPE-LAYOUT"]}2readonly func TilePayloadNonzero(index: TileIndex) => boolean3begin4    if !TileSourceContentsDefined(index) then return FALSE; end;5    let tile = _Tiles[[index]];6    for row = 0 to tile.valid_rows - 1 looplimit 65536 do7        for column = 0 to tile.valid_columns - 1 looplimit 65536 do8            let element = TileLogicalLinearIndex(tile,9                row as integer {0..65535},10                column as integer {0..65535});11            if IsZero(TileReadLogicalElement(tile, element)) then12                return FALSE;13            end;14        end;15    end;16    return TRUE;17end;18
19readonly func TileBroadcastPayloadNonzero(axis: TileAxis, source: TileIndex,20                                           broadcast: TileIndex) => boolean21begin22    if !TileSourceContentsDefined(source) ||23       !TileSourceContentsDefined(broadcast) then24        return FALSE;25    end;26    let source_tile = _Tiles[[source]];27    let broadcast_tile = _Tiles[[broadcast]];28    for row = 0 to source_tile.valid_rows - 1 looplimit 65536 do29        for column = 0 to source_tile.valid_columns - 1 looplimit 65536 do30            let broadcast_row = if axis == TileAxis_Row then row else 0;31            let broadcast_column = if axis == TileAxis_Row then 0 else column;32            let element = TileLogicalLinearIndex(broadcast_tile,33                broadcast_row as integer {0..65535},34                broadcast_column as integer {0..65535});35            if IsZero(TileReadLogicalElement(broadcast_tile, element)) then36                return FALSE;37            end;38        end;39    end;40    return TRUE;41end;42
43readonly func TileIndexPayloadWithin(index: TileIndex, extent: integer) => boolean44begin45    if !TileSourceContentsDefined(index) then return FALSE; end;46    let tile = _Tiles[[index]];47    for row = 0 to tile.valid_rows - 1 looplimit 65536 do48        for column = 0 to tile.valid_columns - 1 looplimit 65536 do49            let element = TileLogicalLinearIndex(tile,50                row as integer {0..65535},51                column as integer {0..65535});52            if UInt(TileReadLogicalElement(tile, element)) >= extent then53                return FALSE;54            end;55        end;56    end;57    return TRUE;58end;59
60readonly func TileByteOffsetPayloadWithin(offsets: TileIndex,61                                           source: TileIndex) => boolean62begin63    if !TileSourceContentsDefined(offsets) ||64       !TileSourceContentsDefined(source) then65        return FALSE;66    end;67    let offsets_tile = _Tiles[[offsets]];68    let element_bytes = TileElementBytes(_Tiles[[source]].data_type);69    let source_extent: integer =70        _Tiles[[source]].valid_rows * _Tiles[[source]].valid_columns;71    for row = 0 to offsets_tile.valid_rows - 1 looplimit 65536 do72        for column = 0 to offsets_tile.valid_columns - 1 looplimit 65536 do73            let element = TileLogicalLinearIndex(offsets_tile,74                row as integer {0..65535}, column as integer {0..65535});75            let byte_offset = UInt(TileReadLogicalElement(76                offsets_tile, element));77            if byte_offset MOD element_bytes != 0 ||78               byte_offset DIV element_bytes >= source_extent then79                return FALSE;80            end;81        end;82    end;83    return TRUE;84end;85