PTO-TILE-MODEL-SHAPE-VALID-REGION

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-SHAPE-VALID-REGION","surface":"tile","classification":["model","shape","valid-region"],"depends_on":["PTO-TILE-MODEL-SHAPE-ROWS-COLUMNS"]}2readonly func TileDescriptorShapeLegal(capacity_bytes: integer {0..262144},3                                   columns: integer {0..65535},4                                   valid_rows: integer {0..65535},5                                   valid_columns: integer {0..65535},6                                   data_type: TileDataType) => boolean7begin8    let rows = DerivedTileRows(capacity_bytes, columns, data_type);9    return rows != 0 && valid_rows <= rows && valid_columns <= columns &&10           valid_rows * valid_columns <=11               TileLogicalElementCapacity(capacity_bytes, data_type);12end;13
14// A source-form B.IOS carries SizeCode=0. When the selected Shared register has15// no descriptor, the consuming operation derives the smallest architectural16// per-PE capacity that can represent its completed schema.  Zero reports that17// no 128 B through 256 KiB Shared Tile size can represent the requested shape.18readonly func MinimumTileCapacityBytesForShape(19    columns: integer {0..65535}, valid_rows: integer {0..65535},20    valid_columns: integer {0..65535}, data_type: TileDataType)21    => integer {0..262144}22begin23    for size_code = 1 to 12 do24        let capacity_bytes = TileSizeCodeBytes(25            size_code as integer {1..12});26        if TileDescriptorShapeLegal(capacity_bytes, columns, valid_rows,27               valid_columns, data_type) then28            return capacity_bytes;29        end;30    end;31    return 0;32end;33
34pure func TileStorageBytes(rows: integer {0..65535},35                           columns: integer {0..65535},36                           data_type: TileDataType) => integer37begin38    // Capacity accounting is bit-packed. In particular, two four-bit39    // elements occupy one byte and an odd final element rounds up.40    return ((rows * columns * TileElementBits(data_type)) + 7) DIVRM 8;41end;42
43pure func TileStorageFitsCapacity(rows: integer {0..65535},44                                  columns: integer {0..65535},45                                  data_type: TileDataType,46                                  capacity_bytes: integer {0..262144})47    => boolean48begin49    return TileStorageBytes(rows, columns, data_type) <= capacity_bytes;50end;51