HL.CASB

assembly

[
  "hl.casb [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.aq [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.rl [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.f [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.aqrl [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.aqf [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.rlf [SrcL], SrcR, SrcD, ->Rd",
  "hl.casb.aqrlf [SrcL], SrcR, SrcD, ->Rd"
]

block

[]

catalog_indices

[
  123
]

catalog_records

[
  {
    "asm": "hl.casb<.{aq, rl, f, aqrl, aqf, rlf, aqrlf}> [SrcL], SrcR, SrcD, ->{t, u, Rd}",
    "constraints": [],
    "encoding": [
      {
        "index": 0,
        "mask": "0xf000707ff83f",
        "match": "0x0000600b000e",
        "width_bits": 48
      }
    ],
    "encoding_kind": "HL48",
    "fields": [
      {
        "name": "RegDst",
        "pieces": [
          {
            "instruction_lsb": 23,
            "value_lsb": 0,
            "width": 5
          }
        ],
        "signedness": "encoding-defined",
        "width": 5
      },
      {
        "name": "SrcD",
        "pieces": [
          {
            "instruction_lsb": 6,
            "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": "aq",
        "pieces": [
          {
            "instruction_lsb": 42,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "far",
        "pieces": [
          {
            "instruction_lsb": 43,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      },
      {
        "name": "rl",
        "pieces": [
          {
            "instruction_lsb": 41,
            "value_lsb": 0,
            "width": 1
          }
        ],
        "signedness": "encoding-defined",
        "width": 1
      }
    ],
    "form_id": "hl_casb_48_21fb578617a8",
    "length_bits": 48,
    "mnemonic": "HL.CASB",
    "semantic_family": "AMO",
    "semantic_group": "AMO",
    "semantic_handler": "CompareAndSwap",
    "semantic_summary": "HL.CASB atomically compares and conditionally replaces one byte, then publishes the prior value.",
    "status": "accepted"
  }
]

classification

[
  "amo"
]

contract

{
  "block_composition": [
    "none"
  ],
  "canonical_assembly": [
    "hl.casb [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.aq [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.rl [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.f [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.aqrl [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.aqf [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.rlf [SrcL], SrcR, SrcD, ->Rd",
    "hl.casb.aqrlf [SrcL], SrcR, SrcD, ->Rd"
  ],
  "defaults": [
    "SrcL, SrcR, SrcD, and RegDst are required Reg5 fields. Encoded source zero reads the architectural zero register; encoded destination zero discards the old value.",
    "aq=0 and rl=0 select relaxed ordering. aq=1 selects acquire, rl=1 selects release, and aq=1 with rl=1 selects acquire-release.",
    "far=0 selects the default flat-address route. far=1 is a profile routing hint; the reference profile preserves the same address and atomic result."
  ],
  "encoding_class": "standalone-encoded",
  "examples": [
    "hl.casb [a0], a1, a2, ->a3",
    "hl.casb.aqrlf [t#1], u#1, a0, ->u"
  ],
  "exceptions": [
    "Every byte address is naturally aligned. Alignment, read translation/permission, write translation/permission, and translated-address equality are checked before effects.",
    "On a fault, no destination, memory write, event, reservation update, or TPC advance occurs. Trap entry saves the original TPC and recovery restores it for full reissue.",
    "An undecodable fixed-bit pattern raises Fault_IllegalInstruction before effects. All explicit field values are assigned."
  ],
  "field_contracts": {},
  "field_zero_meanings": {
    "RegDst": "Encoded zero discards the prior value.",
    "SrcL": "Encoded zero reads the architectural zero register as the address.",
    "SrcR": "Encoded zero supplies numeric zero as the expected value.",
    "SrcD": "Encoded zero supplies numeric zero as the desired value.",
    "aq": "Encoded zero disables acquire ordering.",
    "rl": "Encoded zero disables release ordering.",
    "far": "Encoded zero selects the default flat-address route."
  },
  "legality": [
    "All 32 SrcL, SrcR, and SrcD Reg5 encodings are assigned: 0..23 select absolute GPRs, 24..27 select T#1..T#4, and 28..31 select U#1..U#4.",
    "All 32 RegDst encodings are assigned. Code 0 and codes 24..29 discard, code 30 pushes U, code 31 pushes T, and codes 1..23 write the named absolute GPR.",
    "All aq, rl, and far combinations are assigned.",
    "Every byte address is naturally aligned."
  ],
  "memory_effects": [
    "After aligned read and write preflight identify the same translated location, atomically read one 1-byte byte and compare it with SrcR truncated to 1 bytes.",
    "On equality, store SrcD truncated to 1 bytes and set write_performed in the atomic event. On mismatch, preserve memory and emit an ordered atomic event with write_performed false.",
    "Only a successful overlapping write invalidates the local 64-byte-line reservation; mismatch and nonoverlap preserve it.",
    "The 8-bit old value is zero-extended to XLEN."
  ],
  "operands": [
    {
      "field": "SrcL",
      "role": "Reg5 atomic address source"
    },
    {
      "field": "SrcR",
      "role": "Reg5 expected byte source"
    },
    {
      "field": "SrcD",
      "role": "Reg5 desired byte source"
    },
    {
      "field": "RegDst",
      "role": "Reg5 old-value destination"
    },
    {
      "field": "aq",
      "role": "acquire ordering bit"
    },
    {
      "field": "rl",
      "role": "release ordering bit"
    },
    {
      "field": "far",
      "role": "flat-address routing hint"
    }
  ],
  "ordering": [
    "aq=0,rl=0 records relaxed ordering; aq=1,rl=0 acquire; aq=0,rl=1 release; aq=1,rl=1 acquire-release for both match and mismatch.",
    "far changes only the route hint in the reference profile."
  ],
  "standalone_opcode": true,
  "state_effects": [
    "Snapshot SrcL, SrcR, and SrcD before any memory or destination effect.",
    "Publish the prior value after every nonfaulting match or mismatch; publish no value on fault.",
    "The 8-bit old value is zero-extended to XLEN.",
    "Successful execution advances TPC by 6 bytes. A fault saves and later restores the original TPC for full reissue."
  ]
}

depends_on

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

id

PTO-SCALAR-HL-CASB

mnemonic

HL.CASB

summary

HL.CASB atomically compares and conditionally replaces one byte, then publishes the prior value.

surface

scalar

{
  "classification": [
    "amo"
  ],
  "documentation": "docs/scalar/amo/HL.CASB.md",
  "id": "PTO-SCALAR-HL-CASB",
  "instruction_contract": {
    "artifact": "spec/evidence/instruction-contract-closure.json",
    "mnemonic": "HL.CASB",
    "ndf_clause": "PTO-INST-SCALAR-HL-CASB"
  },
  "mnemonic": "HL.CASB",
  "readiness_subjects": [
    "ADR-0020",
    "ADR-0030",
    "ADR-0059"
  ],
  "semantic_tests": [
    "PTO-AVS-SCALAR-HL-CASB-MATCH-001",
    "PTO-AVS-SCALAR-HL-CASB-MISMATCH-001",
    "PTO-AVS-SCALAR-HL-CASB-PRECISE-001"
  ],
  "source": "asl/scalar/amo/HL.CASB.asl",
  "surface": "scalar",
  "tests": [
    "PTO-AVS-SCALAR-HL-CASB-DECODE-001",
    "PTO-AVS-SCALAR-HL-CASB-MATCH-001",
    "PTO-AVS-SCALAR-HL-CASB-MISMATCH-001",
    "PTO-AVS-SCALAR-HL-CASB-PRECISE-001"
  ]
}