BSTART.MSCATTER

assembly

[
  "BSTART.MSCATTER DataType"
]

block

[
  "BSTART.MSCATTER DataType",
  "B.DATR Layout (optional)",
  "B.DIM LB0=ValidCol",
  "B.DIM LB1=ValidRow (optional)",
  "B.DIM LB2=Col (optional)",
  "B.IOT DataTile, IndexTile, mask=PE_MASK, <last>",
  "B.IOR BaseGPR, zero, zero, ->zero",
  "BSTOP"
]

catalog_indices

[
  26
]

catalog_records

[
  {
    "asm": "BSTART.MSCATTER DataType",
    "constraints": [
      {
        "field": "DataType",
        "operator": "one-of",
        "values": [
          0,
          1,
          2,
          3,
          4,
          5,
          6,
          7,
          8,
          9,
          10,
          11,
          12,
          13,
          14,
          16,
          17,
          18,
          19,
          20,
          24,
          25,
          26,
          27,
          28
        ]
      }
    ],
    "encoding": [
      {
        "index": 0,
        "mask": "0x07ffffff",
        "match": "0x00511181",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "DataType",
        "pieces": [
          {
            "instruction_lsb": 27,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      }
    ],
    "form_id": "bstart_mscatter_32_0f0ba08bd798",
    "length_bits": 32,
    "mnemonic": "BSTART.MSCATTER",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Split",
    "semantic_handler": "ExecuteBundleStart",
    "semantic_summary": "Begins a TLSU byte-displacement scatter block and selects its transfer DataType.",
    "status": "accepted"
  }
]

classification

[
  "execution"
]

contract

{
  "block_composition": [
    "BSTART.MSCATTER DataType",
    "B.DATR Layout (optional)",
    "B.DIM LB0=ValidCol",
    "B.DIM LB1=ValidRow (optional)",
    "B.DIM LB2=Col (optional)",
    "B.IOT DataTile, IndexTile, mask=PE_MASK, <last>",
    "B.IOR BaseGPR, zero, zero, ->zero",
    "BSTOP"
  ],
  "canonical_assembly": [
    "BSTART.MSCATTER DataType"
  ],
  "defaults": [
    "DataType is always encoded and selects the memory transfer type.",
    "The completed schema requires explicit B.IOR and LB0. Omitted LB1 defaults to one, omitted LB2 defaults to LB0, and omitted B.DATR selects NORM layout."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "BSTART.MSCATTER DataType; B.DATR Layout (optional); B.DIM LB0=ValidCol; B.DIM LB1=ValidRow (optional); B.DIM LB2=Col (optional); B.IOT DataTile, IndexTile, mask=PE_MASK, <last>; B.IOR BaseGPR, zero, zero, ->zero; BSTOP"
  ],
  "exceptions": [
    "Reserved DataType encodings raise Fault_IllegalInstruction before architectural effects.",
    "Malformed composition, source/type/shape/layout mismatch, packed transfer types, or access faults reject the complete block before any store or event effect."
  ],
  "field_contracts": {
    "DataType": {
      "ref": "PTO-FIELD-BLOCK-DATATYPE"
    }
  },
  "field_zero_meanings": {
    "DataType": "Encoded zero selects FP64."
  },
  "legality": [
    "bstart_mscatter_32_0f0ba08bd798.DataType accepts only 0..14, 16..20, and 24..28 at decode; all other encodings are reserved.",
    "Indexed TLSU transfer additionally rejects E2M1X2, E1M2X2, HiF4X2, S4X2, and U4X2 because MSCATTER carries no nibble selector.",
    "The body must complete the exact MSCATTER schema documented by PTO-TILE-MSCATTER; no B.IOS or destination is accepted."
  ],
  "memory_effects": [
    "The start itself performs no memory access. BSTOP or the next BSTART commits the completed byte-displacement scatter only after full preflight."
  ],
  "operands": [
    {
      "field": "DataType",
      "role": "memory transfer element type selector"
    }
  ],
  "ordering": [
    "The start defines no ordering. B.CATR attributes apply when the completed block commits."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "Closes any preceding block, initializes a new TileMemory descriptor, and selects TLSU function 5 with the encoded transfer DataType.",
    "No Tile is allocated and no source is consumed by the start instruction."
  ]
}

depends_on

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

id

PTO-BLOCK-BSTART-MSCATTER

mnemonic

BSTART.MSCATTER

summary

Begins a TLSU byte-displacement scatter block and selects its transfer DataType.

surface

block

{
  "classification": [
    "execution"
  ],
  "documentation": "docs/block/execution/BSTART.MSCATTER.md",
  "id": "PTO-BLOCK-BSTART-MSCATTER",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "BSTART.MSCATTER",
    "ndf_clause": "PTO-INST-BLOCK-BSTART-MSCATTER"
  },
  "mnemonic": "BSTART.MSCATTER",
  "readiness_subjects": [
    "ADR-0020",
    "ADR-0032",
    "ADR-0033",
    "ADR-0052",
    "ADR-0055",
    "ADR-0056",
    "ADR-0059",
    "ADR-0078"
  ],
  "semantic_tests": [
    "PTO-AVS-BLOCK-MSCATTER-DUP-001",
    "PTO-AVS-BLOCK-MSCATTER-FAULT-001",
    "PTO-AVS-BLOCK-MSCATTER-PACKED-001",
    "PTO-AVS-BLOCK-MSCATTER-SCATTER-001",
    "PTO-AVS-BLOCK-MSCATTER-SCHEMA-001",
    "PTO-AVS-BLOCK-MSCATTER-STAGE2-WIDTH-001",
    "PTO-AVS-BLOCK-MSCATTER-ZERO-001"
  ],
  "source": "asl/block/execution/BSTART.MSCATTER.asl",
  "surface": "block",
  "tests": [
    "PTO-AVS-BLOCK-BSTART-MSCATTER-DECODE-001",
    "PTO-AVS-BLOCK-MSCATTER-DUP-001",
    "PTO-AVS-BLOCK-MSCATTER-FAULT-001",
    "PTO-AVS-BLOCK-MSCATTER-PACKED-001",
    "PTO-AVS-BLOCK-MSCATTER-SCATTER-001",
    "PTO-AVS-BLOCK-MSCATTER-SCHEMA-001",
    "PTO-AVS-BLOCK-MSCATTER-STAGE2-WIDTH-001",
    "PTO-AVS-BLOCK-MSCATTER-ZERO-001"
  ]
}