HL.LBP

assembly

[
  "hl.lbp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1"
]

block

[]

catalog_indices

[
  148
]

catalog_records

[
  {
    "agu": {
      "action": "LoadPair",
      "address_kind": "Register",
      "offset_scale": 0,
      "prefetch_returns_address": false,
      "signed_load": true,
      "size_bytes": 1,
      "update_mode": "None"
    },
    "asm": "hl.lbp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1",
    "constraints": [],
    "encoding": [
      {
        "index": 0,
        "mask": "0x0000707f07ff",
        "match": "0x00000009001e",
        "width_bits": 48
      }
    ],
    "encoding_kind": "HL48",
    "fields": [
      {
        "name": "RegDst0",
        "pieces": [
          {
            "instruction_lsb": 23,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "RegDst1",
        "pieces": [
          {
            "instruction_lsb": 11,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcL",
        "pieces": [
          {
            "instruction_lsb": 31,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcR",
        "pieces": [
          {
            "instruction_lsb": 36,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcRType",
        "pieces": [
          {
            "instruction_lsb": 41,
            "value_lsb": 0,
            "width": 2
          }
        ],
        "signedness": "encoding-defined",
        "width": 2
      },
      {
        "name": "shamt",
        "pieces": [
          {
            "instruction_lsb": 43,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      }
    ],
    "form_id": "hl_lbp_48_9d1fd0b3105b",
    "length_bits": 48,
    "mnemonic": "HL.LBP",
    "semantic_family": "AGU",
    "semantic_group": "LDA/PAIR",
    "semantic_handler": "ExecuteScalarLoadPair",
    "semantic_summary": "HL.LBP snapshots its scalar sources, forms its encoded address, and loads two adjacent aligned little-endian 1-byte values.",
    "status": "accepted"
  }
]

classification

[
  "agu"
]

contract

{
  "block_composition": [
    "none"
  ],
  "canonical_assembly": [
    "hl.lbp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1"
  ],
  "defaults": [
    "Every displayed operand field is encoded explicitly; encoded zero is a value and never denotes omission.",
    "SrcRType=0 leaves SrcR unchanged, SrcRType=1 sign-extends SrcR[31:0], SrcRType=2 zero-extends SrcR[31:0], and SrcRType=3 negates the full PTO_XLEN value. Encoded shamt zero performs no shift."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "hl.lbp [SrcL, SrcR<{.sw,.uw,.neg}><<<shamt>], ->Dst0, Dst1"
  ],
  "exceptions": [
    "A fixed-bit mismatch, reserved field value, or unavailable selected T/U source raises Fault_IllegalInstruction before instruction effects.",
    "A misaligned 1-byte address raises Fault_DataAlignment before translation or permission. A later permission or bounded-memory failure raises Fault_DataPage at the original address.",
    "A fault emits no successful memory event, performs no partial memory or destination effect, preserves pending writeback, and leaves TPC at the faulting instruction.",
    "Recovery performs a full reissue: every address, source snapshot, preflight, memory operation, and destination is recomputed with no retained progress."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "RegDst0": "Encoded zero discards this result without suppressing the instruction's other effects.",
    "RegDst1": "Encoded zero discards this result without suppressing the instruction's other effects.",
    "SrcL": "Encoded zero reads the architectural zero GPR.",
    "SrcR": "Encoded zero reads the architectural zero GPR.",
    "SrcRType": "Encoded zero leaves the complete PTO_XLEN register-offset value unchanged.",
    "shamt": "Encoded zero performs no shift."
  },
  "legality": [
    "Every encoded Reg5 source uses the complete domain: codes 0..23 select absolute GPRs, codes 24..27 select T#1..T#4, and codes 28..31 select U#1..U#4 without consumption.",
    "Every Reg5 destination is assigned: codes 1..23 write GPRs, code 30 pushes U, code 31 pushes T, and codes 0 and 24..29 discard only that result.",
    "All four SrcRType values and all shamt values 0..31 are assigned; apply the modifier before the shift.",
    "Each memory address must be aligned to the 1-byte access size; a 1-byte access is the complete transfer unit."
  ],
  "memory_effects": [
    "Preflight both adjacent 1-byte addresses before either load; on success record two relaxed load events in address order."
  ],
  "operands": [
    {
      "field": "RegDst0",
      "role": "Reg5 first loaded-value destination or discard"
    },
    {
      "field": "RegDst1",
      "role": "Reg5 second loaded-value destination or discard"
    },
    {
      "field": "SrcL",
      "role": "Reg5 address-base source"
    },
    {
      "field": "SrcR",
      "role": "Reg5 register-offset source"
    },
    {
      "field": "SrcRType",
      "role": "register-offset transformation selector"
    },
    {
      "field": "shamt",
      "role": "post-transformation logical-left-shift amount"
    }
  ],
  "ordering": [
    "Snapshot all explicit and implicit scalar sources before destination or memory effects; duplicate and source/destination aliases observe pre-instruction values.",
    "Preflight both addresses, commit the two relaxed 1-byte operations in address order, publish ordered results if any, then advance TPC."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "Form offset = LSL(Modify(SrcR, SrcRType), the encoded shamt) and add it modulo 2^PTO_XLEN to the SrcL base.",
    "The pair addresses are address and address plus 1; the instruction performs no base writeback.",
    "After both 1-byte probes succeed, sign-extend each result at PTO_XLEN and publish first then second.",
    "Successful execution advances TPC by 6 bytes; a rejected or faulting attempt does not retire."
  ]
}

depends_on

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

id

PTO-SCALAR-HL-LBP

mnemonic

HL.LBP

summary

HL.LBP snapshots its scalar sources, forms its encoded address, and loads two adjacent aligned little-endian 1-byte values.

surface

scalar

{
  "classification": [
    "agu"
  ],
  "documentation": "docs/scalar/agu/HL.LBP.md",
  "id": "PTO-SCALAR-HL-LBP",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "HL.LBP",
    "ndf_clause": "PTO-INST-SCALAR-HL-LBP"
  },
  "mnemonic": "HL.LBP",
  "readiness_subjects": [
    "ADR-0029",
    "ADR-0059"
  ],
  "semantic_tests": [
    "PTO-AVS-AGU-HL-LBP-ALIAS-001",
    "PTO-AVS-AGU-HL-LBP-BOUND-001",
    "PTO-AVS-AGU-HL-LBP-EXEC-001",
    "PTO-AVS-AGU-HL-LBP-FAULT-001"
  ],
  "source": "asl/scalar/agu/HL.LBP.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-AGU-HL-LBP-ALIAS-001",
    "PTO-AVS-AGU-HL-LBP-BOUND-001",
    "PTO-AVS-AGU-HL-LBP-EXEC-001",
    "PTO-AVS-AGU-HL-LBP-FAULT-001",
    "PTO-AVS-SCALAR-HL-LBP-DECODE-001"
  ]
}