TAND

1// 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"}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-TAND-CONTRACT-0014// ndf: kind=contract level=L1 layer=tile status=accepted5// TAND MUST select VEC Mode 0 Function 6 and MUST compute the bitwise AND of6// corresponding integer elements. It MUST accept only S64/S32/S16/S8 and7// U64/U32/U16/U8. PadValue, shape defaults, source snapshots, and atomic8// destination publication MUST follow the closed Local binary Tile contract.9// NDF-END: PTO-TAND-CONTRACT-00110// DOC-BEGIN: decode11readonly func InstructionContractOperation_TAND() => TileOperation12begin13    return TileOperation_TAND;14end;15// DOC-END: decode16// DOC-BEGIN: operation17pure func InstructionContractDataTypeLegal_TAND(18    data_type: TileDataType) => boolean19begin20    return TileVecScalarIntegerDataTypeSupported(data_type);21end;22
23readonly func InstructionContractOperandsLegal_TAND(24    destination: TileIndex,25    source_left: TileIndex,26    source_right: TileIndex) => boolean27begin28    return TileOperandsLegal_ExecuteTileBinary(29        TileBinary_AND,30        destination,31        source_left,32        source_right);33end;34
35readonly func InstructionContractHandler_TAND() => TileSemanticHandler36begin37    return TileHandler_ExecuteTileBinary;38end;39
40func InstructionContractExecute_TAND(41    destination: TileIndex,42    source_left: TileIndex,43    source_right: TileIndex)44begin45    ExecuteTileBinary(46        TileBinary_AND,47        destination,48        source_left,49        source_right);50end;51// DOC-END: operation52