Compute the bitwise AND of corresponding integer elements.
PTO-TILE-TANDTAND <LB0:ValidCol, LB1:ValidRow, LB2:Col, DataType, PadValue> SrcTile0, SrcTile1 -> DstTile| Group | Operand | Role | ASL source |
|---|---|---|---|
| Parameter | LB0:ValidCol | dimension | B.DIM LB0=ValidCol |
| Parameter | LB1:ValidRow | dimension | B.DIM LB1=ValidRow (optional) |
| Parameter | LB2:Col | dimension | B.DIM LB2=Col (optional) |
| Parameter | DataType | data type | BSTART.VEC TAND, DataType |
| Parameter | PadValue | padding value | B.DATR PadValue (optional) |
| Input | SrcTile0 | ordered left Local source | contract.operands[1].source0 |
| Input | SrcTile1 | ordered right Local source | contract.operands[2].source1 |
| Output | DstTile | new Local destination | contract.operands[0].destination0 |
BSTART.VEC TAND, DataType
BSTART.VEC TAND, DataTypeRequiredB.DATR PadValue (optional)OptionalB.DIM LB0=ValidColRequiredRepeatableB.DIM LB1=ValidRow (optional)OptionalRepeatableB.DIM LB2=Col (optional)OptionalRepeatableB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>RequiredBSTOPRequiredBSTART.VEC TAND, DataTypeB.DIM LB0=ValidColB.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>BSTOPBSTART.VEC TAND, U8; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP| Field | Bits | Signedness | Architectural role | Encoded zero |
|---|---|---|---|---|
DataType | 5 | encoding-defined | — | — |
Mode | 2 | encoding-defined | — | — |
Function | 5 | encoding-defined | — | — |
destination0 | — | — | new Local destination | — |
source0 | — | — | ordered left Local source | — |
source1 | — | — | ordered right Local source | — |
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
destination0source0source1This Operation comes directly from the instruction owner; the page does not rewrite its behavior.
readonly func InstructionContractOperation_TAND() => TileOperationbegin return TileOperation_TAND;end;pure func InstructionContractDataTypeLegal_TAND( data_type: TileDataType) => booleanbegin return TileVecScalarIntegerDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TAND( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_AND, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TAND( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_AND, destination, source_left, source_right);end;// PTO-INSTRUCTION: {"assembly":["TAND <bundle operands>"],"block":["BSTART.VEC TAND, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"catalog_indices":[5],"catalog_records":[{"arguments":[{"constant":"TileBinary_AND"},{"operand":"destination0"},{"operand":"source0"},{"operand":"source1"}],"command_mnemonic":"BSTART.TEPL","contract_status":"reviewed-complete","datr_contract":{"allowed_nonzero_fields":["PadValueOrByteId"],"pad_union":"pad-value"},"disposition":"accepted-direct-operation","effect_contract":"ExecuteTileBinary","family":"TEPL","fault_contract":"ExecuteTileInstruction","function":6,"legality_handler":"TileOperandsLegal_ExecuteTileBinary","mode":0,"name":"TAND","operands":[{"field":"destination0","role":"destination"},{"field":"source0","role":"source-left"},{"field":"source1","role":"source-right"}],"restart_contract":"CompleteBundleAtWithAcceptedApplicabilityRules","selector":"0x006","semantic_handler":"ExecuteTileBinary","state_effects":["operand:destination0:destination","operand:source0:source-left","operand:source1:source-right"]}],"classification":["elementwise-tile-tile","logical"],"contract":{"block_composition":["BSTART.VEC TAND, DataType","B.DATR PadValue (optional)","B.DIM LB0=ValidCol","B.DIM LB1=ValidRow (optional)","B.DIM LB2=Col (optional)","B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>","BSTOP"],"canonical_assembly":["TAND <bundle operands>"],"defaults":["LB0 is required and supplies nonzero ValidCol; omitted LB1 defaults ValidRow to one and omitted LB2 defaults Col to ValidCol.","Omitted B.DATR selects PadValue=Null; explicit 00, 01, 10, and 11 select Zero, Max, Min, and Null.","Physical Rows derive from TSize, Col, and DataType; Rows and Col are powers of two and contain ValidRow x ValidCol."],"encoding_class":"selector-encoded-block-operation","examples":["BSTART.VEC TAND, U8; B.DIM LB0=ValidCol; B.IOT SrcLeft, SrcRight, mask=PE_MASK, <last>, ->DstTile<TSize>; BSTOP"],"exceptions":["Malformed bindings, missing or zero dimensions, undefined or mismatched sources, a non-row-major layout, an unsupported DataType, or invalid destination capacity raises Fault_TileLegality before effects.","Explicit nondefault CMode, Sat, Canonicalize, secondary DataType, RMode, or Layout is illegal before source snapshots or destination allocation."],"field_contracts":{},"field_zero_meanings":{},"legality":["TAND is selected by TEPL carrier Mode 0 Function 6 and has no standalone opcode.","Exactly one terminating Local B.IOT supplies two ordered Local sources and one newly allocated Local destination; B.IOR and B.IOS are not accepted.","DataType is exactly S64, S32, S16, S8, U64, U32, U16, or U8; packed and floating formats reject before effects.","Sources are fully defined and all three Tiles match physical shape, valid shape, row-major layout, DataType, and PE_MASK.","PadValueOrByteId is the only applicable B.DATR field; PE_MASK=0000 is a strict no-op before reads, allocation, or faults."],"memory_effects":["none"],"operands":[{"field":"destination0","role":"new Local destination"},{"field":"source0","role":"ordered left Local source"},{"field":"source1","role":"ordered right Local source"}],"ordering":["Both source payloads are snapshotted after complete preflight and before the first destination write."],"standalone_opcode":false,"state_effects":["Apply element-width bitwise AND to corresponding valid source elements; signedness does not change the bit operation and carrier bits above the selected width are zero.","Either source may alias the destination with read-old/write-new behavior, and both sources may name the same Tile.","Publish the complete valid result and selected physical padding definedness as one destination commit; rejection leaves descriptors, payloads, and allocation state unchanged."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"engine":"VEC","id":"PTO-TILE-TAND","mnemonic":"TAND","summary":"Compute the bitwise AND of corresponding integer elements.","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-TAND-CONTRACT-001// ndf: kind=contract level=L1 layer=tile status=accepted// TAND MUST select VEC Mode 0 Function 6 and MUST compute the bitwise AND of// corresponding integer elements. It MUST accept only S64/S32/S16/S8 and// U64/U32/U16/U8. PadValue, shape defaults, source snapshots, and atomic// destination publication MUST follow the closed Local binary Tile contract.// NDF-END: PTO-TAND-CONTRACT-001// DOC-BEGIN: decodereadonly func InstructionContractOperation_TAND() => TileOperationbegin return TileOperation_TAND;end;// DOC-END: decode// DOC-BEGIN: operationpure func InstructionContractDataTypeLegal_TAND( data_type: TileDataType) => booleanbegin return TileVecScalarIntegerDataTypeSupported(data_type);end;
readonly func InstructionContractOperandsLegal_TAND( destination: TileIndex, source_left: TileIndex, source_right: TileIndex) => booleanbegin return TileOperandsLegal_ExecuteTileBinary( TileBinary_AND, destination, source_left, source_right);end;
readonly func InstructionContractHandler_TAND() => TileSemanticHandlerbegin return TileHandler_ExecuteTileBinary;end;
func InstructionContractExecute_TAND( destination: TileIndex, source_left: TileIndex, source_right: TileIndex)begin ExecuteTileBinary( TileBinary_AND, destination, source_left, source_right);end;// DOC-END: operation
TAND is a selector-encoded Tile operation executed by VEC. It applies element-width bitwise AND to corresponding valid integer elements; its current instruction contract owns the exact bundle form and publication boundary.
After all descriptor and operand checks succeed, the owning ASL handler applies element-width bitwise AND to corresponding valid integer elements. Source payloads are snapshotted before destination writes whenever the contract permits aliasing.
The handler uses the resolved valid region rather than treating physical padding as input data. Its operation-specific dtype, layout, rounding, saturation, and profile hooks remain the executable definition.
destination0 has the exact contract role new Local destination.source0 has the exact contract role ordered left Local source.source1 has the exact contract role ordered right Local source.Participating source and destination descriptors use the row-major and shape relationships stated by the current contract. Every source coordinate read by the operation must be defined before execution reaches destination publication. PE_MASK=0000 is a strict no-op before descriptor, allocation, payload, numeric-status, or memory effects.
Destination-visible state is published only after complete preflight; where the contract names atomic publication, payload, descriptor, definedness, padding, and status become visible together.
Physical coordinates outside the valid rectangle follow the contract-selected padding rule; Null padding remains undefined when that rule applies.
The operation has no GM memory effect; descriptor, payload, definedness, padding, and numeric-status changes are limited to those listed by the current contract.
The accepted data-type set is S64, S32, S16, S8, U64, U32, U16, U8.
The generated legality and exception sections below are authoritative for dtype pairs, layout, dimensions, capacity, definedness, padding controls, profile behavior, and fault class. Legality and allocation failures occur before partial architectural effects.
This example illustrates the current ASL owner and does not replace the normative operation.
For a small TAND example, integer elements 0xc and 0xa produce 0x8.
Bodies come from owning ASL. Dragging or buttons change only this page-session view order.
TAND MUST select VEC Mode 0 Function 6 and MUST compute the bitwise AND of corresponding integer elements. It MUST accept only S64/S32/S16/S8 and U64/U32/U16/U8. PadValue, shape defaults, source snapshots, and atomic destination publication MUST follow the closed Local binary Tile contract.
PTO-TAND-CONTRACT-001asl/tile/elementwise-tile-tile/logical/TAND.aslcaf58f252fde053d0911f2a11ea7d78ee89578b42d7b58849561c60decf080174b3a89979e7fddb00684e789188512cb9a517815c4d6527efc700588d2e02da714 matching entries
PTO-AVS-TILE-TAND-BITS-001tests/asl/tile/elementwise-tile-tile/logical/TAND/tile-exec-tand-bits-001.aslcd6da4ed7164770d5e9bb404194c18543d2bac0a97aa74152642a4e719859663PTO-AVS-TILE-TAND-PADDING-001tests/asl/tile/elementwise-tile-tile/logical/TAND/tile-state-tand-padding-001.asl4aa0da015fbcbcb81ed2ab30edf798704a12dc6d2613deed36412405d993ad74PTO-AVS-TILE-TAND-STATIC-001tests/asl/tile/elementwise-tile-tile/logical/TAND/tile-static-tand-contract-001.asl4655213b1103bdb50b48ff67d6f4eff54846ce3410d8ad28610f42c765af4104PTO-AVS-TILE-TAND-TYPES-001tests/asl/tile/elementwise-tile-tile/logical/TAND/tile-bound-tand-types-001.asl8bc339a11a9dcc77848429654172d46f0f29d1971ecde7a168130551990505aaPTO-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-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-0080…
ADR-0080docs/status/decisions/0080-tile-elementwise-and-irregular-operations.md3f6aed3e2ac792a75e46787be99eb8c1d5ce204b098f531aa9fcb80b87448d72{
"classification": [
"elementwise-tile-tile",
"logical"
],
"documentation": "docs/tile/elementwise-tile-tile/logical/TAND.md",
"id": "PTO-TILE-TAND",
"instruction_contract": {
"artifact": "spec/evidence/instruction-contract-closure.json",
"mnemonic": "TAND",
"ndf_clause": "PTO-INST-TILE-TAND"
},
"mnemonic": "TAND",
"readiness_subjects": [
"ADR-0035",
"ADR-0052",
"ADR-0057",
"ADR-0059",
"ADR-0080"
],
"semantic_tests": [
"PTO-AVS-TILE-TAND-BITS-001",
"PTO-AVS-TILE-TAND-PADDING-001",
"PTO-AVS-TILE-TAND-TYPES-001"
],
"source": "asl/tile/elementwise-tile-tile/logical/TAND.asl",
"surface": "tile",
"tests": [
"PTO-AVS-TILE-TAND-BITS-001",
"PTO-AVS-TILE-TAND-PADDING-001",
"PTO-AVS-TILE-TAND-STATIC-001",
"PTO-AVS-TILE-TAND-TYPES-001"
]
}0.58.5 · Release candidate7dc8b7e5b121d2b2499a2273bebff29e2cd86812caf58f252fde053d0911f2a11ea7d78ee89578b42d7b58849561c60decf0801710258c4743349addf4d4b3344135dba2a8b570c5acfe803aadd45d952925e22aasl/tile/elementwise-tile-tile/logical/TAND.aslasl/tile/elementwise-tile-tile/logical/TAND.aslasl/tile/elementwise-tile-tile/logical/TAND.asl