SETC.LTI

assembly

[
  "setc.lti SrcL, simm"
]

block

[]

catalog_indices

[
  407
]

catalog_records

[
  {
    "asm": "setc.lti SrcL, simm",
    "constraints": [],
    "encoding": [
      {
        "index": 0,
        "mask": "0x0000707f",
        "match": "0x00004075",
        "width_bits": 32
      }
    ],
    "encoding_kind": "L32",
    "fields": [
      {
        "name": "SrcL",
        "pieces": [
          {
            "instruction_lsb": 15,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "shamt",
        "pieces": [
          {
            "instruction_lsb": 7,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "simm12",
        "pieces": [
          {
            "instruction_lsb": 20,
            "value_lsb": 0,
            "width": 12
          }
        ],
        "signedness": "signed",
        "width": 12
      }
    ],
    "form_id": "setc_lti_32_89d74d948b74",
    "length_bits": 32,
    "mnemonic": "SETC.LTI",
    "semantic_family": "BRU",
    "semantic_group": "BRU",
    "semantic_handler": "ExecuteSetCommit",
    "semantic_summary": "SETC.LTI - Compare scalar operands and update the bundle commit condition.",
    "status": "accepted"
  }
]

classification

[
  "bru"
]

contract

{
  "block_composition": [
    "Applicable only in the body of an active block whose BARG.TYPE is Conditional. Across the entire SETC condition-setting family, at most one occurrence may complete successfully in that block."
  ],
  "canonical_assembly": [
    "setc.lti SrcL, simm"
  ],
  "defaults": [
    "The selected assembly form determines which fields are present; every present field carries its encoded value and no encoded zero means omission."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "setc.lti SrcL, simm"
  ],
  "exceptions": [
    "Wrong block placement or a second successful SETC condition setter raises Illegal Block Exception before scalar source readiness or any architectural or pending-block effect.",
    "A fixed-bit mismatch or unavailable selected relative source raises Fault_IllegalInstruction before commit state, BARG, queues, or TPC effects."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "SrcL": "Encoded zero names the architectural zero GPR.",
    "shamt": "Encoded zero performs no shift.",
    "simm12": "Encoded zero supplies numeric zero for the 12-bit signed immediate or displacement."
  },
  "legality": [
    "All SETC condition setters share one block-private successful-occurrence marker; a failed first occurrence does not consume it."
  ],
  "memory_effects": [
    "none"
  ],
  "operands": [
    {
      "field": "SrcL",
      "role": "left absolute GPR source"
    },
    {
      "field": "shamt",
      "role": "shift amount"
    },
    {
      "field": "simm12",
      "role": "12-bit signed immediate or displacement"
    }
  ],
  "ordering": [
    "Check Conditional-block applicability and the shared occurrence marker before scalar source readiness or reads.",
    "Snapshot all sources, compute the canonical zero-or-one condition, then atomically update the commit argument, BARG.TAKEN, and the occurrence marker."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "Compute SETC.LTI's local comparison or logical condition from source snapshots and canonicalize it to zero or one.",
    "Atomically write that value to the commit argument and BARG.TAKEN, then mark the block condition as set. Preserve BARG.BPC, BARG.BPCN, BARG.BlockType, and BARG.TYPE.",
    "No memory, reservation, descriptor, numeric-status, or destination-register effect occurs. Successful execution advances TPC by the encoded instruction length."
  ]
}

depends_on

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

id

PTO-SCALAR-SETC-LTI

mnemonic

SETC.LTI

summary

SETC.LTI - Compare scalar operands and update the bundle commit condition.

surface

scalar

{
  "classification": [
    "bru"
  ],
  "documentation": "docs/scalar/bru/SETC.LTI.md",
  "id": "PTO-SCALAR-SETC-LTI",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "SETC.LTI",
    "ndf_clause": "PTO-INST-SCALAR-SETC-LTI"
  },
  "mnemonic": "SETC.LTI",
  "readiness_subjects": [
    "ADR-0027",
    "ADR-0059",
    "ADR-0084"
  ],
  "semantic_tests": [
    "PTO-AVS-BRU-SETC-LTI-BOUND-001",
    "PTO-AVS-BRU-SETC-LTI-EXEC-001"
  ],
  "source": "asl/scalar/bru/SETC.LTI.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-BRU-SETC-LTI-BOUND-001",
    "PTO-AVS-BRU-SETC-LTI-EXEC-001",
    "PTO-AVS-SCALAR-SETC-LTI-DECODE-001"
  ]
}