页面框架已切换为简体中文。尚未完成本地化的交互标签暂时使用英文；ASL/NDF 源、稳定标识和证据在所有语言中保持原文。

PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA

PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA

ASL 伪代码

下面直接显示完整的 ASL 所有者。

1// PTO-UNIT: {"id":"PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA","surface":"tile","classification":["model","legality","memory-schema"],"depends_on":["PTO-TILE-MODEL-LEGALITY-INDEXED-LAYOUT"]}2readonly func TileOperandsLegal_TMOV(destination: TileIndex,3                                     source: TileIndex) => boolean4begin5    return TileShapeAndTypeMatch(destination, source);6end;7
8readonly func TileOperandsLegal_TLOAD(destination: TileIndex,9                                      base_address: Word,10                                      row_stride_bytes: Word) => boolean11begin12    return TileDescriptorLegal(destination) &&13           TileRegularTLSUDataTypeSupported(14               _Tiles[[destination]].data_type);15end;16
17readonly func TileOperandsLegal_TSTORE(base_address: Word,18                                       row_stride_bytes: Word,19                                       source: TileIndex) => boolean20begin21    return TileDescriptorLegal(source) &&22           TileRegularTLSUDataTypeSupported(23               _Tiles[[source]].data_type);24end;25
26readonly func TileOperandsLegal_MGATHER(27    destination: TileIndex, base_address: Word,28    indices: TileIndex, pad_value: TilePadValue) => boolean29begin30    return TileDescriptorLegal(destination) && TileDescriptorLegal(indices) &&31           _Tiles[[destination]].valid_rows == _Tiles[[indices]].valid_rows &&32           _Tiles[[destination]].valid_columns ==33               _Tiles[[indices]].valid_columns &&34           IndexedTLSUIndexDataTypeLegal(_Tiles[[indices]].data_type) &&35           IndexedTLSUTransferDataTypeLegal(36               _Tiles[[destination]].data_type);37end;38
39readonly func TileOperandsLegal_MGATHER(40    destination: TileIndex, base_address: Word,41    indices: TileIndex) => boolean42begin43    return TileOperandsLegal_MGATHER(destination, base_address, indices,44        TilePad_Null);45end;46
47readonly func TileOperandsLegal_MSCATTER(48    base_address: Word, source: TileIndex, indices: TileIndex) => boolean49begin50    return TileSourceContentsDefined(source) &&51           TileSourceContentsDefined(indices) &&52           IndexedTLSUIndexDataTypeLegal(_Tiles[[indices]].data_type) &&53           IndexedTLSUTransferDataTypeLegal(_Tiles[[source]].data_type) &&54           _Tiles[[source]].valid_rows == _Tiles[[indices]].valid_rows &&55           _Tiles[[source]].valid_columns ==56               _Tiles[[indices]].valid_columns &&57           _Tiles[[source]].layout == _Tiles[[indices]].layout;58end;59
60readonly func TileOperandsLegal_MGATHER_MASK(61    destination: TileIndex, base_address: Word,62    indices: TileIndex, mask: TileIndex, pad_value: TilePadValue) => boolean63begin64    return TileDescriptorLegal(destination) &&65           TileSourceContentsDefined(indices) &&66           TilePredicateValuesLegal(mask) &&67           IndexedTLSUIndexDataTypeLegal(_Tiles[[indices]].data_type) &&68           IndexedTLSUTransferDataTypeLegal(69               _Tiles[[destination]].data_type) &&70           _Tiles[[destination]].valid_rows == _Tiles[[indices]].valid_rows &&71           _Tiles[[destination]].valid_columns ==72               _Tiles[[indices]].valid_columns &&73           _Tiles[[destination]].valid_rows == _Tiles[[mask]].valid_rows &&74           _Tiles[[destination]].valid_columns ==75               _Tiles[[mask]].valid_columns &&76           _Tiles[[destination]].layout == _Tiles[[indices]].layout &&77           _Tiles[[destination]].layout == _Tiles[[mask]].layout;78end;79
80readonly func TileOperandsLegal_MSCATTER_MASK(81    base_address: Word, source: TileIndex, indices: TileIndex,82    mask: TileIndex) => boolean83begin84    return TileSourceContentsDefined(source) &&85           TileSourceContentsDefined(indices) &&86           TilePredicateValuesLegal(mask) &&87           IndexedTLSUIndexDataTypeLegal(_Tiles[[indices]].data_type) &&88           IndexedTLSUTransferDataTypeLegal(_Tiles[[source]].data_type) &&89           _Tiles[[source]].valid_rows == _Tiles[[indices]].valid_rows &&90           _Tiles[[source]].valid_columns ==91               _Tiles[[indices]].valid_columns &&92           _Tiles[[source]].valid_rows == _Tiles[[mask]].valid_rows &&93           _Tiles[[source]].valid_columns == _Tiles[[mask]].valid_columns &&94           _Tiles[[source]].layout == _Tiles[[indices]].layout &&95           _Tiles[[source]].layout == _Tiles[[mask]].layout;96end;97
98readonly func TileOperandsLegal_MGATHER_CAS(99    destination: TileIndex, base_address: Word, indices: TileIndex,100    expected: TileIndex, replacement: TileIndex,101    pad_value: TilePadValue) => boolean102begin103    return TileDescriptorLegal(destination) &&104           TileSourceContentsDefined(indices) &&105           TileSourceContentsDefined(expected) &&106           TileSourceContentsDefined(replacement) &&107           IndexedTLSUIndexDataTypeLegal(_Tiles[[indices]].data_type) &&108           IndexedTLSUTransferDataTypeLegal(109               _Tiles[[destination]].data_type) &&110           _Tiles[[destination]].valid_rows == _Tiles[[indices]].valid_rows &&111           _Tiles[[destination]].valid_columns ==112               _Tiles[[indices]].valid_columns &&113           _Tiles[[destination]].valid_rows == _Tiles[[expected]].valid_rows &&114           _Tiles[[destination]].valid_columns ==115               _Tiles[[expected]].valid_columns &&116           _Tiles[[destination]].valid_rows ==117               _Tiles[[replacement]].valid_rows &&118           _Tiles[[destination]].valid_columns ==119               _Tiles[[replacement]].valid_columns &&120           _Tiles[[destination]].data_type == _Tiles[[expected]].data_type &&121           _Tiles[[destination]].data_type ==122               _Tiles[[replacement]].data_type;123end;124
125readonly func TileOperandsLegal_MGATHER_CAS(126    destination: TileIndex, base_address: Word, indices: TileIndex,127    expected: TileIndex, replacement: TileIndex) => boolean128begin129    return TileOperandsLegal_MGATHER_CAS(destination, base_address, indices,130        expected, replacement, TilePad_Null);131end;132
133readonly func TileOperandsLegal_TPREFETCH(134    base_address: Word, row_stride_elements: Word,135    valid_columns: integer {1..65535},136    valid_rows: integer {1..65535},137    columns: integer {1..65535}) => boolean138begin139    return valid_columns <= columns && IsNonzeroPowerOfTwo(columns) &&140           valid_rows * valid_columns <= PTO_MODEL_TILE_ELEMENTS;141end;142
143readonly func TileOperandsLegal_TPREFETCH(144    base_address: Word, row_stride_elements: Word,145    valid_columns: integer {1..65535},146    valid_rows: integer {1..65535},147    columns: integer {1..65535},148    data_type: TileDataType) => boolean149begin150    return TileOperandsLegal_TPREFETCH(151               base_address, row_stride_elements, valid_columns,152               valid_rows, columns) &&153           TileCarrierOrPackedBaselineDataTypeSupported(data_type);154end;155

架构行为

该内部模型单元不在双语读者指南迁移范围内；请直接阅读本页的 ASL/NDF 所有者与验证证据。

NDF 条款

正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。

No NDF clause is attached to this unit.

Evidence index

6 matching entries

Executable evidence1

PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA compiles as an independent normative unit
1. surfaceTILE
2. ownerPTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA
3. categorySTATIC-INVARIANT
4. case001
Show exact test source
Sources and references
Complete stable ID
PTO-AVS-TILE-MODEL-LEGALITY-MEMORY-SCHEMA-STATIC-001
Path
tests/asl/tile/model/legality/memory-schema/tile-static-memory-schema-contract-001.asl
Kind / role
static-invariant
Pass condition
the complete model and this unit's static invariant compile
SHA-256
73f9b8d2c868e9ff8c7d26e74eccae471bf5db1974e2153711c88c00fe134335
Open exact source ↗ for PTO-AVS-TILE-MODEL-LEGALITY-MEMORY-SCHEMA-STATIC-001

Commit-scoped evidence5

spec/evidence/release-traceability-readiness.json · closedPTO-EVIDENCE-RELEASE-TRACEABILITY
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-TRACEABILITY
Path
spec/evidence/release-traceability-readiness.json
Kind / role
ASL/NDF/documentation/AVS traceability
SHA-256
c7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3e
Open exact source ↗ for PTO-EVIDENCE-RELEASE-TRACEABILITY
spec/evidence/instruction-contract-closure.json · closedPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Sources and references
Complete stable ID
PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
Path
spec/evidence/instruction-contract-closure.json
Kind / role
mnemonic and encoding contract closure
SHA-256
3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106a
Open exact source ↗ for PTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSURE
spec/evidence/architecture-readiness.json · openPTO-EVIDENCE-ARCHITECTURE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-ARCHITECTURE-READINESS
Path
spec/evidence/architecture-readiness.json
Kind / role
architecture maturity and blockers
SHA-256
4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004
Open exact source ↗ for PTO-EVIDENCE-ARCHITECTURE-READINESS
spec/evidence/release-gate-readiness.json · ready-for-exact-head-verificationPTO-EVIDENCE-RELEASE-GATE-READINESS
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-GATE-READINESS
Path
spec/evidence/release-gate-readiness.json
Kind / role
exact-head gate readiness
SHA-256
a0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0
Open exact source ↗ for PTO-EVIDENCE-RELEASE-GATE-READINESS
spec/release-manifest.json · draftPTO-EVIDENCE-RELEASE-MANIFEST
Sources and references
Complete stable ID
PTO-EVIDENCE-RELEASE-MANIFEST
Path
spec/release-manifest.json
Kind / role
release content and encoding fingerprints
SHA-256
1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8
Open exact source ↗ for PTO-EVIDENCE-RELEASE-MANIFEST

Unit metadata

Open 4 generated metadata fields

id: PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA
surface: tile
classification: [ "model", "legality", "memory-schema" ]
depends_on: [ "PTO-TILE-MODEL-LEGALITY-INDEXED-LAYOUT" ]

Open generated traceability record

{
  "classification": [
    "model",
    "legality",
    "memory-schema"
  ],
  "documentation": "docs/tile/model/legality/memory-schema.md",
  "id": "PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA",
  "mnemonic": null,
  "readiness_subjects": [],
  "semantic_tests": [],
  "source": "asl/tile/model/legality/memory-schema.asl",
  "surface": "tile",
  "tests": [
    "PTO-AVS-TILE-MODEL-LEGALITY-MEMORY-SCHEMA-STATIC-001"
  ]
}

来源与发布信息

展开 commit、路径、hash、版本和规范所有者

发布: 0.58.5 · 候选发布
Commit: 7dc8b7e5b121d2b2499a2273bebff29e2cd86812
原始 ASL: asl/tile/model/legality/memory-schema.asl
ASL SHA-256: 8dff005ad094478e60cbbdeb3cd231da91d472de93f7fc995721c51434161449
生成文档: docs/tile/model/legality/memory-schema.md · 已融合到当前页面
文档 SHA-256: 0cc539ba90fe440ba5427c188a51337e1b81bd4e97e9f89c19a2e4c9244bca2e

精确所有者

ASL PTO-TILE-MODEL-LEGALITY-MEMORY-SCHEMA asl/tile/model/legality/memory-schema.asl