BSTART.GMOV

assembly

[
  "BSTART.GMOV DataType"
]

block

[]

catalog_indices

[
  48
]

catalog_records

[
  {
    "asm": "BSTART.GMOV 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": "0x00d11181",
        "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_gmov_32_6c21e223eaa7",
    "length_bits": 32,
    "mnemonic": "BSTART.GMOV",
    "semantic_family": "CMD",
    "semantic_group": "Bundle Split",
    "semantic_handler": "ExecuteBundleStart",
    "semantic_summary": "Starts a Core4 peer-Local fragment transfer block.",
    "status": "accepted"
  }
]

classification

[
  "execution"
]

contract

{
  "block_composition": [
    "BSTART.GMOV DataType; optional B.DATR Layout; one terminating B.IOT with one Local source and one Local destination; optional B.IOR peer_tid; BSTOP",
    "B.IOS and B.DIM are not members of a GMOV schema."
  ],
  "canonical_assembly": [
    "BSTART.GMOV DataType"
  ],
  "defaults": [
    "DataType is explicit; omitted B.DATR selects NORM.",
    "Omitted B.IOR supplies peer_tid zero independently in all four PEs. An explicit zero selector reads the architectural zero GPR and supplies the same value without invoking an omission default."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "BSTART.GMOV U8; B.IOT T#1, mask=0011, size=1, ->T; B.IOR zero, a0; BSTOP"
  ],
  "exceptions": [
    "Reserved DataType, malformed bindings, any Shared binding or B.DIM, incompatible descriptors, non-ready Core4 source, or any PE peer_tid outside 0..3 raises an Illegal Block exception before requests, allocation, destination writes, or events.",
    "Core4 convergence and source readiness are one combined preflight; a failed attempt exposes no partial destination."
  ],
  "field_contracts": {
    "DataType": {
      "ref": "PTO-FIELD-BLOCK-DATATYPE"
    }
  },
  "field_zero_meanings": {
    "DataType": "Encoded zero selects FP64."
  },
  "legality": [
    "bstart_gmov_32_6c21e223eaa7.DataType accepts only 0..14, 16..20, 24..28; all other encodings are reserved.",
    "All four PEs rendezvous and all four peer-resolved source fragments must be allocated and ready, independent of PE_MASK.",
    "Any nonzero PE_MASK is legal and controls only destination request/allocation/write participation; PE_MASK=0000 is a strict no-op before source access or faults.",
    "Each PE's absolute peer_tid is 0..3; repeated peer identifiers are legal."
  ],
  "memory_effects": [
    "none; GMOV performs no GM access and emits no PTO memory event"
  ],
  "operands": [
    {
      "field": "DataType",
      "role": "byte-preserved Local fragment element type"
    },
    {
      "field": "B.IOT source",
      "role": "Core4 peer-resolved Local source snapshot"
    },
    {
      "field": "B.IOT destination",
      "role": "renamed Local destination and per-PE TSize"
    },
    {
      "field": "B.IOT PE_MASK",
      "role": "selected destination request/write participants"
    },
    {
      "field": "B.IOR.RegSrc0",
      "role": "each PE's private-GPR absolute peer_tid"
    }
  ],
  "ordering": [
    "Snapshot every source fragment and validate all descriptors, readiness, peer selectors, and participant agreement before allocating or writing any selected destination.",
    "Read-old/write-new behavior preserves a source snapshot when architectural aliases resolve to the same prior value."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "For each selected PE, allocate a new Local destination fragment and copy the byte-preserving peer-resolved source payload and definedness.",
    "Unselected PEs participate in rendezvous and readiness preflight but do not request, allocate, write, or complete a destination. Shared state is unchanged."
  ]
}

depends_on

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

id

PTO-BLOCK-BSTART-GMOV

mnemonic

BSTART.GMOV

summary

Collectively copies peer-PE Local fragments to selected Local destinations.

surface

block

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