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| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | ByteId | byte selector | B.DATR DstDataType=U32, ByteId=0..3 (mandatory) |
| Parameter | DstDataType | destination data type | B.DATR DstDataType=U32, ByteId=0..3 (mandatory) |
| Input | SrcTile0 | persistent Local U16 or U32 source | contract.operands[1].source0 |
| Input | SrcTile1 | persistent Local U8 prefix filter | contract.operands[2].source1 |
| Input | SelectedByte | B.DATR ByteId zero through three | contract.operands[3].selected_byte |
| Output | DstTile | new Local U32 prefix-histogram destination | contract.operands[0].destination0 |
BSTART.SFU THISTOGRAM, U16|U32
BSTART.SFU THISTOGRAM, U16|U32RequiredB.DATR DstDataType=U32, ByteId=0..3 (mandatory)RequiredB.IOT SourceTile, FilterTile, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.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| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
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_byteThis Operation comes directly from the instruction owner; the page does not rewrite its behavior.
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 builds one inclusive 256-bin U32 prefix histogram per source row.
The ASL DOC contract selects TileHandler_THISTOGRAM through the instruction's selector-encoded block carrier.
Dimensions, descriptors, layouts, DataTypes, source definedness, consumed encodings, destination capacity, masks, and operation-specific indices or offsets are checked before any source snapshot.
destination0 is the new Local U32 prefix-histogram destination; source0 is the persistent Local U16 or U32 source; source1 is the persistent Local U8 prefix filter; selected_byte is the B.DATR ByteId zero through three.
Sources remain persistent unless the current contract explicitly names a consumed or replaced state; destination descriptors are published only after complete preflight.
Sources are snapshotted before construction, so allowed aliases observe complete pre-operation payload and definedness.
The complete destination payload, definedness, padding policy, and descriptor publish together; rejection publishes no partial destination.
Malformed bindings, unsupported types or layouts, invalid shapes, undefined consumed elements, illegal attributes, or insufficient destination capacity are rejected before source snapshots or publication.
Allocation failure raises the owner-defined Tile allocation fault; other rejected schema or value conditions raise the owner-defined legality, bundle-control, or memory fault without partial effects.
This is a illustrative contract schema sketch; it organizes fields and bindings but is not claimed to be directly assembleable.
Read BSTART.SFU THISTOGRAM, U16; B.DATR U32, ByteId=0; B.IOT T0, T1, mask=1111, <last>, ->T2<4>; BSTOP as a illustrative binding walkthrough, then use the generated contract below for exact dimensions, attributes, and fault behavior.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
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 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812a02954ff2bd6f38622bb67005939fb15382318ae6556b4dd91adf7dc3761ee91f3cbef3d77bd9b223c974c326b2678c63a6550bcc68f424e4fc6e17592d74108asl/tile/irregular-and-complex/initialization/THISTOGRAM.aslasl/tile/irregular-and-complex/initialization/THISTOGRAM.aslasl/tile/irregular-and-complex/initialization/THISTOGRAM.asl