B.IOT

assembly

[
  "B.IOT SrcTile0, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
  "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>",
  "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
  "B.IOT SrcTile0, mask=PE_MASK, <last>",
  "B.IOT mask=PE_MASK, <last>, ->DstTile<SizeCode>"
]

block

[]

catalog_indices

[
  8,
  9,
  10,
  11,
  12
]

catalog_records

[
  {
    "asm": "B.IOT SrcTile0, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
    "constraints": [
      {
        "field": "SizeCode",
        "operator": "one-of",
        "values": [
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10
        ]
      },
      {
        "field": "PEMode",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7
        ]
      },
      {
        "field": "DstTile",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0xfc00707f",
        "match": "0x00005013",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "SrcTile0",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "L",
        "pieces": [
          {
            "instruction_lsb": 19,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "SizeCode",
        "pieces": [
          {
            "instruction_lsb": 15,
            "value_lsb": 0,
            "width": 4
          }
        ],
        "signedness": "encoding-defined",
        "width": 4
      },
      {
        "name": "PEMode",
        "pieces": [
          {
            "instruction_lsb": 9,
            "value_lsb": 0,
            "width": 3
          }
        ],
        "signedness": "encoding-defined",
        "width": 3
      },
      {
        "name": "DstTile",
        "pieces": [
          {
            "instruction_lsb": 7,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      }
    ],
    "form_id": "b_iot_32_10db6db84f5d",
    "length_bits": 32,
    "mnemonic": "B.IOT",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Input & Output",
    "semantic_handler": "BindBundleTileIO",
    "semantic_summary": "Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.",
    "status": "accepted"
  },
  {
    "asm": "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>",
    "constraints": [
      {
        "field": "PEMode",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0x0007f07f",
        "match": "0x00004013",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "SrcTile1",
        "pieces": [
          {
            "instruction_lsb": 26,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "SrcTile0",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "L",
        "pieces": [
          {
            "instruction_lsb": 19,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "PEMode",
        "pieces": [
          {
            "instruction_lsb": 9,
            "value_lsb": 0,
            "width": 3
          }
        ],
        "signedness": "encoding-defined",
        "width": 3
      }
    ],
    "form_id": "b_iot_32_2c07e7177fad",
    "length_bits": 32,
    "mnemonic": "B.IOT",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Input & Output",
    "semantic_handler": "BindBundleTileIO",
    "semantic_summary": "Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.",
    "status": "accepted"
  },
  {
    "asm": "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
    "constraints": [
      {
        "field": "SizeCode",
        "operator": "one-of",
        "values": [
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10
        ]
      },
      {
        "field": "PEMode",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7
        ]
      },
      {
        "field": "DstTile",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0x0000707f",
        "match": "0x00004013",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "SrcTile1",
        "pieces": [
          {
            "instruction_lsb": 26,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "SrcTile0",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "L",
        "pieces": [
          {
            "instruction_lsb": 19,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "SizeCode",
        "pieces": [
          {
            "instruction_lsb": 15,
            "value_lsb": 0,
            "width": 4
          }
        ],
        "signedness": "encoding-defined",
        "width": 4
      },
      {
        "name": "PEMode",
        "pieces": [
          {
            "instruction_lsb": 9,
            "value_lsb": 0,
            "width": 3
          }
        ],
        "signedness": "encoding-defined",
        "width": 3
      },
      {
        "name": "DstTile",
        "pieces": [
          {
            "instruction_lsb": 7,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      }
    ],
    "form_id": "b_iot_32_8b8bce6bffe8",
    "length_bits": 32,
    "mnemonic": "B.IOT",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Input & Output",
    "semantic_handler": "BindBundleTileIO",
    "semantic_summary": "Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.",
    "status": "accepted"
  },
  {
    "asm": "B.IOT SrcTile0, mask=PE_MASK, <last>",
    "constraints": [
      {
        "field": "PEMode",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0xfc07f07f",
        "match": "0x00005013",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "SrcTile0",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 6
          }
        ],
        "signedness": "encoding-defined",
        "width": 6
      },
      {
        "name": "L",
        "pieces": [
          {
            "instruction_lsb": 19,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "PEMode",
        "pieces": [
          {
            "instruction_lsb": 9,
            "value_lsb": 0,
            "width": 3
          }
        ],
        "signedness": "encoding-defined",
        "width": 3
      }
    ],
    "form_id": "b_iot_32_c11eb189dd83",
    "length_bits": 32,
    "mnemonic": "B.IOT",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Input & Output",
    "semantic_handler": "BindBundleTileIO",
    "semantic_summary": "Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.",
    "status": "accepted"
  },
  {
    "asm": "B.IOT mask=PE_MASK, <last>, ->DstTile<SizeCode>",
    "constraints": [
      {
        "field": "SizeCode",
        "operator": "one-of",
        "values": [
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10
        ]
      },
      {
        "field": "PEMode",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7
        ]
      },
      {
        "field": "DstTile",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0xfff0707f",
        "match": "0x00006013",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "L",
        "pieces": [
          {
            "instruction_lsb": 19,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "SizeCode",
        "pieces": [
          {
            "instruction_lsb": 15,
            "value_lsb": 0,
            "width": 4
          }
        ],
        "signedness": "encoding-defined",
        "width": 4
      },
      {
        "name": "PEMode",
        "pieces": [
          {
            "instruction_lsb": 9,
            "value_lsb": 0,
            "width": 3
          }
        ],
        "signedness": "encoding-defined",
        "width": 3
      },
      {
        "name": "DstTile",
        "pieces": [
          {
            "instruction_lsb": 7,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      }
    ],
    "form_id": "b_iot_32_efa0fe3fe49a",
    "length_bits": 32,
    "mnemonic": "B.IOT",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Input & Output",
    "semantic_handler": "BindBundleTileIO",
    "semantic_summary": "Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.",
    "status": "accepted"
  }
]

classification

[
  "operands"
]

contract

{
  "block_composition": [
    "Header command after BSTART and before the first body instruction. One or more effective B.IOT instructions form an ordered sequence whose final effective instruction has L=1."
  ],
  "canonical_assembly": [
    "B.IOT SrcTile0, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
    "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>",
    "B.IOT SrcTile0, SrcTile1, mask=PE_MASK, <last>, ->DstTile<SizeCode>",
    "B.IOT SrcTile0, mask=PE_MASK, <last>",
    "B.IOT mask=PE_MASK, <last>, ->DstTile<SizeCode>"
  ],
  "defaults": [
    "PEMode is a three-bit encoding expanded by the common profile decoder to the fixed four-PE semantic mask: 000 none, 001 PE0, 010 PE1, 011 PE2, 100 PE3, 101 PE0+PE1, 110 PE0+PE1+PE2, and 111 all four PEs.",
    "SizeCode=0 is the source-only encoding and never allocates; destination forms require SizeCode=1..10 for 128 B, 256 B, 512 B, 1 KiB, 2 KiB, 4 KiB, 8 KiB, 16 KiB, 32 KiB, and 64 KiB per participating PE.",
    "PEMode=000 decodes to no participating PE and is a strict no-op before placement, duplicate, schema, allocation, descriptor, memory, and downstream fault checks."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "B.IOT SrcTile0, mask=PE_MASK, <last>, ->DstTile<SizeCode>"
  ],
  "exceptions": [
    "Reserved instruction bits and malformed field combinations raise Fault_IllegalInstruction before architectural effects.",
    "A participating B.IOT outside an active header, a duplicate binding, a fifth effective binding, a role mismatch, or an unsupported SizeCode raises the applicable fault before changing the stream.",
    "A mismatched effective decoded PE mask, incompatible destination descriptor, mask expansion, or operation-schema mismatch raises Fault_TileLegality before tile state changes.",
    "PEMode=000 is a strict no-op and cannot raise a downstream schema, duplicate, allocation, descriptor, or memory fault."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "SrcTile0": "first ordered relative Local source: T#1..T#16, U#1..U#16, M#1..M#16, or N#1..N#16",
    "SrcTile1": "second ordered relative Local source in the same 64-entry queue namespace",
    "L": "Encoded zero leaves the B.IOT sequence open; encoded one closes the sequence after this effective binding and does not end any source lifetime.",
    "SizeCode": "Encoded zero selects the source-only form and never allocates; it is reserved in destination forms.",
    "PEMode": "Encoded zero decodes to mask 0000 and makes B.IOT a strict no-op.",
    "DstTile": "destination hand selector: 0 T, 1 U, 2 M, or 3 N"
  },
  "legality": [
    "The three-bit PEMode field accepts all eight encodings and the common profile decoder expands them exactly to the fixed four-PE semantic mask table.",
    "Source-only forms require SizeCode=0. Destination forms require SizeCode=1..10; codes 11..15 are reserved for Local B.IOT.",
    "PEMode=000 is accepted as the strict no-effect source-bearing encoding; a nonzero decoded mask is a four-PE predicate shared by every effective binding in the block.",
    "A participating B.IOT is legal only after BSTART and before the block body. At most four effective Local bindings are accepted in encoded order.",
    "The selected operation schema determines ordered Local source and destination roles and must agree with the form fields and SizeCode role."
  ],
  "memory_effects": [
    "none"
  ],
  "operands": [
    {
      "field": "SrcTile0",
      "role": "first ordered relative Local source: T#1..T#16, U#1..U#16, M#1..M#16, or N#1..N#16"
    },
    {
      "field": "SrcTile1",
      "role": "second ordered relative Local source in the same 64-entry queue namespace"
    },
    {
      "field": "L",
      "role": "effective-binding sequence terminator; not a source-lifetime marker"
    },
    {
      "field": "SizeCode",
      "role": "source-only zero or destination capacity code 1..10: 128 B..64 KiB per participating PE"
    },
    {
      "field": "PEMode",
      "role": "three-bit encoded participation mode expanded by the common decoder to a four-PE semantic mask"
    },
    {
      "field": "DstTile",
      "role": "destination hand selector: 0 T, 1 U, 2 M, or 3 N"
    }
  ],
  "ordering": [
    "B.IOT bindings are consumed in encoded order. L=1 closes the sequence after the current effective binding; a later effective B.IOT raises Illegal Block Exception before effects."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "The common PE-mode decoder expands PEMode once to the semantic four-PE mask used by every effective Local binding.",
    "A zero decoded mask is a strict no-op. A successful source binding is read-only; a successful destination atomically updates selected payload quarters and a compatible persistent descriptor.",
    "The selected operation defines publication and ordering. Its first write fixes the allocation mask; later writes may update only a subset with a compatible descriptor and cannot expand the mask."
  ]
}

depends_on

[
  "PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"
]

id

PTO-BLOCK-B-IOT

mnemonic

B.IOT

summary

Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.

surface

block

{
  "classification": [
    "operands"
  ],
  "documentation": "docs/block/operands/B.IOT.md",
  "id": "PTO-BLOCK-B-IOT",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "B.IOT",
    "ndf_clause": "PTO-INST-BLOCK-B-IOT"
  },
  "mnemonic": "B.IOT",
  "readiness_subjects": [
    "ADR-0008",
    "ADR-0015",
    "ADR-0022",
    "ADR-0032",
    "ADR-0052",
    "ADR-0054",
    "ADR-0059",
    "ADR-0076",
    "ADR-0078",
    "ADR-0079",
    "ADR-0080",
    "ADR-0081",
    "ADR-0082",
    "ADR-0083",
    "ADR-0096",
    "ADR-0097",
    "ADR-0098",
    "ADR-0099",
    "ADR-0108"
  ],
  "semantic_tests": [
    "PTO-AVS-BLOCK-B-IOT-CAPACITY-003",
    "PTO-AVS-BLOCK-B-IOT-CONSUMER-001",
    "PTO-AVS-BLOCK-B-IOT-LAST-ORDER-001",
    "PTO-AVS-BLOCK-B-IOT-PEMODE-004",
    "PTO-AVS-BLOCK-B-IOT-PLACEMENT-001",
    "PTO-AVS-BLOCK-B-IOT-SCHEMAS-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODE-010-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODE-012-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODES-002",
    "PTO-AVS-BLOCK-B-IOT-SOURCE-PERSIST-001",
    "PTO-AVS-BLOCK-B-IOT-ZERO-MASK-001"
  ],
  "source": "asl/block/operands/B.IOT.asl",
  "surface": "block",
  "tests": [
    "PTO-AVS-BLOCK-B-IOT-CAPACITY-003",
    "PTO-AVS-BLOCK-B-IOT-CONSUMER-001",
    "PTO-AVS-BLOCK-B-IOT-DECODE-001",
    "PTO-AVS-BLOCK-B-IOT-LAST-ORDER-001",
    "PTO-AVS-BLOCK-B-IOT-PEMODE-004",
    "PTO-AVS-BLOCK-B-IOT-PLACEMENT-001",
    "PTO-AVS-BLOCK-B-IOT-SCHEMAS-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODE-010-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODE-012-001",
    "PTO-AVS-BLOCK-B-IOT-SIZECODES-002",
    "PTO-AVS-BLOCK-B-IOT-SOURCE-PERSIST-001",
    "PTO-AVS-BLOCK-B-IOT-ZERO-MASK-001"
  ]
}