Build one inclusive 256-bin U32 prefix histogram per source row after the ByteId-specific filter.
PTO-TILE-THISTOGRAMTHISTOGRAM <ByteId, DstDataType> SrcTile0, SrcTile1, SelectedByte -> DstTile| 分组 | Operand | 含义 | ASL 来源 |
|---|---|---|---|
| 参数 | ByteId | byte selector | B.DATR DstDataType=U32, ByteId=0..3 (mandatory) |
| 参数 | DstDataType | destination data type | B.DATR DstDataType=U32, ByteId=0..3 (mandatory) |
| 输入 | SrcTile0 | persistent Local U16 or U32 source | contract.operands[1].source0 |
| 输入 | SrcTile1 | persistent Local U8 prefix filter | contract.operands[2].source1 |
| 输入 | SelectedByte | B.DATR ByteId zero through three | contract.operands[3].selected_byte |
| 输出 | DstTile | new Local U32 prefix-histogram destination | contract.operands[0].destination0 |
BSTART.SFU THISTOGRAM, U16|U32
BSTART.SFU THISTOGRAM, U16|U32必选B.DATR DstDataType=U32, ByteId=0..3 (mandatory)必选B.IOT SourceTile, FilterTile, mask=PE_MASK, <last>, ->DstTile<TSize>必选BSTOP必选BSTART.SFU THISTOGRAM, U16|U32B.DATR DstDataType=U32, ByteId=0..3 (mandatory)B.IOT SourceTile, FilterTile, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.SFU THISTOGRAM, U16; B.DATR U32, ByteId=0; B.IOT T0, T1, mask=1111, <last>, ->T2<4>; BSTOP| 字段 | 位宽 | 有符号性 | 架构角色 | 编码零 |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local U32 prefix-histogram destination | — |
source0 | — | — | persistent Local U16 or U32 source | — |
source1 | — | — | persistent Local U8 prefix filter | — |
selected_byte | — | — | B.DATR ByteId zero through three | — |
Loading WaveDrom diagram… The encoding table and WaveJSON remain available below.
| Decoded item | Bit range | Value |
|---|---|---|
| DataType | 31:27 | variable |
| Mode | 26:25 | variable |
| Function | 24:20 | variable |
| Constant | 19:0 | 20'b00011001000110000001 |
{
"reg": [
{
"bits": 20,
"name": "20'b00011001000110000001"
},
{
"bits": 5,
"name": "Function"
},
{
"bits": 2,
"name": "Mode"
},
{
"bits": 5,
"name": "DataType"
}
],
"config": {
"bits": 32,
"fontsize": 13,
"hspace": 900,
"lanes": 1,
"offset": 0
}
}BSTART.TEPL Mode, Function, DataType
destination0source0source1selected_byte下面是该指令所有者中的 Operation；页面没有重写这段行为。
readonly func InstructionContractOperation_THISTOGRAM() => TileOperationbegin return TileOperation_THISTOGRAM;end;pure func InstructionContractSourceDataTypeLegal_THISTOGRAM( data_type: TileDataType) => booleanbegin return TileHistogramSourceDataTypeSupported(data_type);end;
pure func InstructionContractSelectedByteLegal_THISTOGRAM( data_type: TileDataType, selected_byte: integer {0..3}) => booleanbegin return TileHistogramSelectedByteSupported( data_type, selected_byte);end;
readonly func InstructionContractOperandsLegal_THISTOGRAM( destination: TileIndex, source: TileIndex, filter: TileIndex, selected_byte: integer {0..3}) => booleanbegin return TileOperandsLegal_THISTOGRAM( destination, source, filter, selected_byte);end;
readonly func InstructionContractHandler_THISTOGRAM() => TileSemanticHandlerbegin return TileHandler_THISTOGRAM;end;
func InstructionContractExecute_THISTOGRAM( destination: TileIndex, source: TileIndex, filter: TileIndex, selected_byte: integer {0..3})begin assert InstructionContractOperandsLegal_THISTOGRAM( destination, source, filter, selected_byte); THISTOGRAM( destination, source, filter, selected_byte);end;// PTO-INSTRUCTION: {"assembly":["THISTOGRAM <bundle operands>"],"block":["BSTART.SFU THISTOGRAM, U16|U32","B.DATR DstDataType=U32, ByteId=0..3 (mandatory)","B.IOT SourceTile, FilterTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[74],"catalog_records":[{"arguments":[{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"},{"operand":"selected_byte"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId","DataType"],"pad_union":"histogram-byte-id"},"disposition":"accepted-direct-operation","effect_contract":"THISTOGRAM","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":8,"legality_handler":"TileOperandsLegal_THISTOGRAM","mode":3,"name":"THISTOGRAM","operands":[{"field":"destination0","role":"new Local U32 prefix-histogram destination"},{"field":"source0","role":"persistent Local U16 or U32 source"},{"field":"source1","role":"persistent Local U8 prefix filter"},{"field":"selected_byte","role":"B.DATR ByteId zero through three"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x068","semantic_handler":"THISTOGRAM","state_effects":["operand:destination0:new-local-u32-prefix-histogram-destination","operand:source0:persistent-local-u16-or-u32-source","operand:source1:persistent-local-u8-prefix-filter","operand:selected_byte:histogram-byte-id","runtime:TilePad_Null:physical-padding"]}],"classification":["irregular-and-complex","initialization"],"contract":{"block_composition":["BSTART.SFU THISTOGRAM, U16|U32","B.DATR DstDataType=U32, ByteId=0..3 (mandatory)","B.IOT SourceTile, FilterTile, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["THISTOGRAM <bundle operands>"],"defaults":["BSTART explicitly selects source DataType U16 or U32. B.DATR is mandatory: its secondary DataType must be U32 and PadValueOrByteId supplies ByteId 0 through 3.","No B.IOR or B.DIM is permitted. Exactly one terminating Local B.IOT supplies source, filter, and a newly allocated destination.","The filter binding is structurally mandatory. U16 ByteId1 and U32 ByteId3 are unfiltered and do not read filter shape, payload, or definedness.","Physical destination padding is always Null."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.SFU THISTOGRAM, U16; B.DATR U32, ByteId=0; B.IOT T0, T1, mask=1111, <last>, ->T2<4>; BSTOP"],"exceptions":["Malformed bindings, B.IOR, B.IOS, B.DIM, omitted B.DATR, unsupported source or destination DataType, illegal ByteId for U16, descriptor mismatch, undefined consumed source or filter data, shape mismatch, capacity failure, or allocation failure raises the applicable Tile fault before effects.","U16 ByteId2 and ByteId3 are reserved for this operation and raise Fault_TileLegality before allocation or payload effects.","PE_MASK zero completes as a strict no-op before schema, descriptor, filter, allocation, fault, or payload checks."],"field_contracts":{"BSTART.DataType":{"ref":"PTO-FIELD-BLOCK-DATATYPE"},"B.DATR.DataType":{"ref":"PTO-FIELD-BLOCK-DATATYPE"},"B.DATR.PadValueOrByteId":{"ref":"PTO-FIELD-BLOCK-PADVALUE-OR-BYTEID"}},"field_zero_meanings":{"B.DATR.DataType":"Encoded zero is FP64 and is illegal; THISTOGRAM requires explicit U32.","B.DATR.PadValueOrByteId":"ByteId zero selects the least-significant source byte and the longest required prefix."},"legality":["THISTOGRAM is selected by the TEPL encoding carrier Mode 3 Function 8, is canonically assembled with BSTART.SFU, and has no standalone opcode.","The source is a fully defined row-major numeric Local U16 or U32 Tile. The filter is a numeric Local U8 Tile whose logical layout is honored.","The newly allocated destination is row-major U32 with ValidRow equal to source ValidRow, ValidCol exactly 256, physical Row at least ValidRow, physical Col at least 256, and sufficient capacity.","For U16, ByteId0 requires one defined filter element at logical [row,0] for every source row; ByteId1 is unfiltered. ByteId2 and ByteId3 are illegal.","For U32, ByteId2, ByteId1, and ByteId0 require respectively one, two, and three defined global prefix bytes at filter logical [0,0], [1,0], and [2,0]; ByteId3 is unfiltered.","The destination must be distinct from source and filter. Source and filter persist."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local U32 prefix-histogram destination"},{"field":"source0","role":"persistent Local U16 or U32 source"},{"field":"source1","role":"persistent Local U8 prefix filter"},{"field":"selected_byte","role":"B.DATR ByteId zero through three"}],"ordering":["Complete schema, attribute, mask, type, descriptor, consumed-definedness, shape, capacity, destination-name, and allocation preflight precedes every snapshot and effect.","The complete source and consumed filter payloads are snapshotted before histogram evaluation. The U32 payload, Null padding definedness, and destination descriptor publish atomically; rejection publishes none."],"standalone_opcode":false,"state_effects":["For each source row, consider only values passing the selected ByteId filter and count the selected source byte into 256 bins.","U16 ByteId0 matches the source high byte against filter[row,0] and histograms the low byte; U16 ByteId1 histograms the high byte without reading filter data.","U32 ByteId2, ByteId1, and ByteId0 match the more-significant one, two, or three bytes against the global filter prefix before histogramming the selected byte; ByteId3 is unfiltered.","Destination element [row,bin] is the inclusive cumulative count from bin zero through bin. Every physical coordinate outside the valid rectangle is undefined Null padding."]},"depends_on":["PTO-BLOCK-MODEL-DISPATCH-HISTOGRAM-SCHEMA","PTO-TILE-MODEL-EXECUTION-COMPLEX"],"engine":"SFU","id":"PTO-TILE-THISTOGRAM","mnemonic":"THISTOGRAM","summary":"Build one inclusive 256-bin U32 prefix histogram per source row after the ByteId-specific filter.","surface":"tile"}// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}// NDF-BEGIN: PTO-THISTOGRAM-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// THISTOGRAM MUST select SFU Mode 3 Function 8. It MUST consume one row-major// Local U16 or U32 source, one structurally present Local U8 filter, and one// mandatory B.DATR whose destination DataType is U32 and whose ByteId is// operation-legal. It MUST publish one inclusive 256-bin U32 prefix histogram// per source row only after complete preflight and source/filter snapshots.// NDF-END: PTO-THISTOGRAM-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_THISTOGRAM() => TileOperationbegin return TileOperation_THISTOGRAM;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractSourceDataTypeLegal_THISTOGRAM( data_type: TileDataType) => booleanbegin return TileHistogramSourceDataTypeSupported(data_type);end;
pure func InstructionContractSelectedByteLegal_THISTOGRAM( data_type: TileDataType, selected_byte: integer {0..3}) => booleanbegin return TileHistogramSelectedByteSupported( data_type, selected_byte);end;
readonly func InstructionContractOperandsLegal_THISTOGRAM( destination: TileIndex, source: TileIndex, filter: TileIndex, selected_byte: integer {0..3}) => booleanbegin return TileOperandsLegal_THISTOGRAM( destination, source, filter, selected_byte);end;
readonly func InstructionContractHandler_THISTOGRAM() => TileSemanticHandlerbegin return TileHandler_THISTOGRAM;end;
func InstructionContractExecute_THISTOGRAM( destination: TileIndex, source: TileIndex, filter: TileIndex, selected_byte: integer {0..3})begin assert InstructionContractOperandsLegal_THISTOGRAM( destination, source, filter, selected_byte); THISTOGRAM( destination, source, filter, selected_byte);end;// DOC-END: operation
THISTOGRAM 对每个源行在 ByteId 过滤后构建 256 桶 U32 包含式前缀直方图。
ASL DOC 契约通过该指令的选择器编码块载体选择 TileHandler_THISTOGRAM。
任何源快照之前，必须检查维度、描述符、布局、DataType、源已定义性、被消费的编码、目的容量、掩码，以及操作专用索引或偏移。
destination0 是新 Local U32 前缀直方图目的地；source0 是持久 Local U16 或 U32 源；source1 是持久 Local U8 前缀过滤器；selected_byte 是B.DATR ByteId 零到三。
除非当前契约明确指出状态被消费或替换，否则源保持持久；只有完整预检后才发布目的描述符。
构造结果之前会先快照源，因此允许的别名看到完整的操作前载荷与已定义性。
完整目的载荷、已定义性、填充 策略和描述符一同发布；拒绝时不会发布部分目的地。
绑定格式错误、类型或布局不受支持、形状无效、被消费元素未定义、属性非法或目的容量不足时，会在源快照或发布之前拒绝操作。
分配失败触发所有者定义的 Tile 分配故障；其他被拒绝的绑定模式或值条件触发所有者定义的合法性、块控制或内存故障，且不产生部分效果。
这是示例性契约模式草图；它用于组织字段和绑定关系，不声称可以直接汇编。
把 BSTART.SFU THISTOGRAM, U16; B.DATR U32, ByteId=0; B.IOT T0, T1, mask=1111, <last>, ->T2<4>; BSTOP 作为示例性绑定演练，再以下方生成契约确认精确维度、属性和故障行为。
正文来自 owning ASL。拖拽或按钮只临时改变当前页面显示顺序。
THISTOGRAM MUST select SFU Mode 3 Function 8. It MUST consume one row-major Local U16 or U32 source, one structurally present Local U8 filter, and one mandatory B.DATR whose destination DataType is U32 and whose ByteId is operation-legal. It MUST publish one inclusive 256-bin U32 prefix histogram per source row only after complete preflight and source/filter snapshots.
PTO-THISTOGRAM-CONTRACT-001asl/tile/irregular-and-complex/initialization/THISTOGRAM.asla02954ff2bd6f38622bb67005939fb15382318ae6556b4dd91adf7dc3761ee91c71ddcb81dda01bbb5325c5f456d62016587e5dbee047eb7930be93021998bb719 matching entries
PTO-AVS-BLOCK-THISTOGRAM-SCHEMA-001tests/asl/block/model/dispatch/histogram-schema/block-bound-thistogram-schema-001.asl2c9b5c10b17b146a51bbd7e8c65ede1f4bf0de9c0de890d372d3d21228c83868PTO-AVS-TILE-THISTOGRAM-BUNDLE-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-exec-thistogram-bundle-001.aslf8e5fa7b5012d485a6bb43df6031fdb86933de2dcca5794a55c9599fb1b6d01bPTO-AVS-TILE-THISTOGRAM-PREFIX-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-exec-thistogram-prefix-001.asl813b842d0f6c26351c1196251cccf517a24313201a11da7f6234ad93100cdf24PTO-AVS-TILE-THISTOGRAM-SCHEMA-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-bound-thistogram-schema-001.asl0caff4cde8dadb9497d64f5c7288b7702ad74f6d7395a3092914f10ba3bdd61dPTO-AVS-TILE-THISTOGRAM-STATIC-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-static-thistogram-contract-001.asl4054ffa881f32045f12727efd1e3f636711af961c9807d01e2b76c933767d63aPTO-AVS-TILE-THISTOGRAM-U16-FILTER-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-exec-thistogram-u16-filter-001.asl9d18cde31257b7e63d8559dafaf6470784601f6b99df656bcc42ea718bb19bfePTO-AVS-TILE-THISTOGRAM-U32-PREFIX-001tests/asl/tile/irregular-and-complex/initialization/THISTOGRAM/tile-exec-thistogram-u32-prefix-001.asld74bda40e4c92361f6ef319974c4cb7d0aec506d5a36bb621626c1f760a728ffPTO-EVIDENCE-RELEASE-TRACEABILITYPTO-EVIDENCE-RELEASE-TRACEABILITYspec/evidence/release-traceability-readiness.jsonc7327021d39dc67ac5564bc55073b3870a397d79ac8d9648284d56e33bc14a3ePTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREPTO-EVIDENCE-INSTRUCTION-CONTRACT-CLOSUREspec/evidence/instruction-contract-closure.json3ef2bb62421c79dff8fa77a1c7983923b523244b8090812883ef81286ca8106aPTO-EVIDENCE-ARCHITECTURE-READINESSPTO-EVIDENCE-ARCHITECTURE-READINESSspec/evidence/architecture-readiness.json4b0b85199101251bea744e0f3591cc31906909dc80d5ab651c417a936036a004PTO-EVIDENCE-RELEASE-GATE-READINESSPTO-EVIDENCE-RELEASE-GATE-READINESSspec/evidence/release-gate-readiness.jsona0f4d2b6920c08981ea55fd8ef820708a40d4feb5402c5150e8e9ab532d84ce0PTO-EVIDENCE-RELEASE-MANIFESTPTO-EVIDENCE-RELEASE-MANIFESTspec/release-manifest.json1a64c109ed7a90351c41e2a418b3c0ebaf8ad975838986d2101385186b85c0d8Loading ADR-0035…
ADR-0035docs/status/decisions/0035-vec-sfu-carrier-totality.md41f8b83397773a166978831f314557629abe0a5bad906648456dec78198c910eLoading ADR-0052…
ADR-0052docs/status/decisions/0052-direct-tile-and-bundle-catalog-closure.md5fdb38bf480e37affe5075f93b35a57d32803018c986bfe05160f188a19ccaf6Loading ADR-0053…
ADR-0053docs/status/decisions/0053-pto-isa-0580-tile-operation-cleanup.md0957f3ccf0b6dee3a95e373d7acaa56724bd276f6852b0e2ad8bc5af05aaff5fLoading ADR-0057…
ADR-0057docs/status/decisions/0057-tile-classification-and-engine-aliases.mdb812b5d70b7e6749b2772d5b4b23ed790aa62c915452392b4552a5ac056cad78Loading ADR-0059…
ADR-0059docs/status/decisions/0059-mnemonic-field-encoding-closure.mdf18d13f735cfaf9f2803c754c5818f4af33d1cc42c489f0d9ce060b07bb3a196Loading ADR-0082…
ADR-0082docs/status/decisions/0082-tile-reduction-expansion-and-generation.md055dc6d42467cea4861c23e7debf7ae5c4b937df4c597b28938ef7997a5d9670Loading ADR-0108…
ADR-0108docs/status/decisions/0108-0584-1-to-0585-compatibility.md5689fa78a7291b6ae88d55197205e4cf79e9719ee5ba18ebf186f5c6871c350d{
"classification": [
"irregular-and-complex",
"initialization"
],
"documentation": "docs/tile/irregular-and-complex/initialization/THISTOGRAM.md",
"id": "PTO-TILE-THISTOGRAM",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "THISTOGRAM",
"ndf_clause": "PTO-INST-TILE-THISTOGRAM"
},
"mnemonic": "THISTOGRAM",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0053",
"ADR-0057",
"ADR-0059",
"ADR-0082",
"ADR-0108"
],
"semantic_tests": [
"PTO-AVS-TILE-THISTOGRAM-BUNDLE-001",
"PTO-AVS-TILE-THISTOGRAM-PREFIX-001",
"PTO-AVS-TILE-THISTOGRAM-SCHEMA-001",
"PTO-AVS-TILE-THISTOGRAM-U16-FILTER-001",
"PTO-AVS-TILE-THISTOGRAM-U32-PREFIX-001"
],
"source": "asl/tile/irregular-and-complex/initialization/THISTOGRAM.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-THISTOGRAM-BUNDLE-001",
"PTO-AVS-TILE-THISTOGRAM-PREFIX-001",
"PTO-AVS-TILE-THISTOGRAM-SCHEMA-001",
"PTO-AVS-TILE-THISTOGRAM-STATIC-001",
"PTO-AVS-TILE-THISTOGRAM-U16-FILTER-001",
"PTO-AVS-TILE-THISTOGRAM-U32-PREFIX-001"
]
}0.58.5 · 候选发布7dc8b7e5b121d2b2499a2273bebff29e2cd86812a02954ff2bd6f38622bb67005939fb15382318ae6556b4dd91adf7dc3761ee911c70b1062677e0aa9bb9717a1b99d9c92f5e19c6bed24b3628f5106bb40ffc7easl/tile/irregular-and-complex/initialization/THISTOGRAM.aslasl/tile/irregular-and-complex/initialization/THISTOGRAM.aslasl/tile/irregular-and-complex/initialization/THISTOGRAM.asl