HL.ADDI

1// PTO-INSTRUCTION: {"assembly":["hl.addi SrcL, uimm, ->{t, u, Rd}"],"block":[],"catalog_indices":[117],"catalog_records":[{"asm":"hl.addi SrcL, uimm, ->{t, u, Rd}","constraints":[],"encoding":[{"index":0,"mask":"0x0000707f000f","match":"0x00000015000e","width_bits":48}],"encoding_kind":"HL48","fields":[{"name":"RegDst","pieces":[{"instruction_lsb":23,"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":"uimm24","pieces":[{"instruction_lsb":36,"value_lsb":0,"width":12},{"instruction_lsb":4,"value_lsb":12,"width":12}],"signedness":"unsigned","width":24}],"form_id":"hl_addi_48_9d3818bfbe64","length_bits":48,"mnemonic":"HL.ADDI","semantic_family":"ALU","semantic_group":"ALU","semantic_handler":"ScalarBinary","semantic_summary":"HL.ADDI applies XLEN addition to SrcL and a zero-extended 24-bit immediate.","status":"accepted"}],"classification":["alu"],"contract":{"block_composition":["none"],"canonical_assembly":["hl.addi SrcL, uimm, ->{t, u, Rd}"],"defaults":["SrcL, uimm24, and RegDst are required encoded fields; no field can be omitted.","uimm24 has the complete unsigned 24-bit range 0 through 16777215; encoded zero is numeric zero."],"encoding_class":"standalone-encoded","examples":["hl.addi a0, 1, ->a0","hl.addi t#1, 16777215, ->u","hl.addi zero, 0, ->zero"],"exceptions":["HL.ADDI raises no arithmetic exception; fixed-width overflow or underflow is discarded.","A fixed-bit mismatch or unavailable selected T/U source raises Fault_IllegalInstruction before any destination effect and before TPC advances."],"field_contracts":{},"field_zero_meanings":{"RegDst":"Encoded zero discards the result and does not modify any GPR or queue.","SrcL":"Encoded zero reads architectural GPR zero.","uimm24":"Encoded zero supplies numeric zero."},"legality":["All 32 SrcL encodings are assigned: 0..23 select absolute GPRs, 24..27 select T#1..T#4, and 28..31 select U#1..U#4 without consuming a queue entry.","All 32 RegDst encodings are assigned: codes 0 and 24..29 discard, codes 1..23 write absolute GPRs, code 30 pushes U, and code 31 pushes T.","Every unsigned 24-bit value is assigned. The two 12-bit pieces reconstruct one exact 24-bit value."],"memory_effects":["none"],"operands":[{"field":"RegDst","role":"Reg5 scalar destination or discard selector"},{"field":"SrcL","role":"Reg5 scalar source"},{"field":"uimm24","role":"unsigned split 24-bit immediate"}],"ordering":["Snapshot SrcL before the destination effect, including GPR aliases and same-queue read-then-push cases.","Publish the result through RegDst, then advance TPC by six bytes."],"standalone_opcode":true,"state_effects":["Zero-extend uimm24 to PTO_XLEN, compute addition with the snapshotted SrcL value modulo 2^PTO_XLEN where applicable, and publish the result through RegDst.","Codes 1..23 write a GPR; codes 0 and 24..29 discard; code 30 pushes U; code 31 pushes T. Relative source reads are non-consuming.","No memory, reservation, descriptor, Tile, block, privilege, numeric-status, branch-target, or other control state changes. Successful execution advances TPC by six bytes."]},"depends_on":["PTO-BLOCK-MODEL-SCHEMA-PROFILE-ENCODING"],"id":"PTO-SCALAR-HL-ADDI","mnemonic":"HL.ADDI","summary":"HL.ADDI applies XLEN addition to SrcL and a zero-extended 24-bit immediate.","surface":"scalar"}2// PTO-REVIEW: {"review_method":"formal-definition-read","outcome":"FORMAL-COMPLETE","reviewed_fields":["assembly","encoding","defaults","operation","state","memory","ordering","faults","reserved"]}3// NDF-BEGIN: PTO-HL-ADDI-CONTRACT-0014// ndf: kind=contract level=L1 layer=scalar status=accepted5// HL.ADDI MUST reconstruct its split uimm24 field exactly and apply6// addition with a zero-extended unsigned 24-bit immediate.7// The result MUST wrap modulo 2^PTO_XLEN.8// SrcL MUST use the complete non-consuming Reg5 source map. RegDst MUST9// use the common GPR, discard, U-push, and T-push destination map.10// The source MUST be snapshotted before destination publication.11// Successful execution MUST advance TPC by six bytes and MUST NOT change12// memory, Tile, block, reservation, privilege, numeric-status, or fault state.13// NDF-END: PTO-HL-ADDI-CONTRACT-00114// DOC-BEGIN: decode15readonly func InstructionContractOperation_HL_ADDI() => ScalarOperation16begin17    return ScalarOperation_HL_ADDI;18end;19// DOC-END: decode20// DOC-BEGIN: operation21readonly func InstructionContractHandler_HL_ADDI() => ScalarSemanticHandler22begin23    return ScalarHandler_ScalarBinary;24end;25
26pure func InstructionContractImmediateWidth_HL_ADDI()27    => integer {1..64}28begin29    return 24;30end;31
32pure func InstructionContractImmediateIsUnsigned_HL_ADDI()33    => boolean34begin35    return TRUE;36end;37
38pure func InstructionContractIsWordOperation_HL_ADDI()39    => boolean40begin41    return FALSE;42end;43
44pure func InstructionContractResult_HL_ADDI(45    left: Word,46    immediate: bits(24))47    => Word48begin49    let right = ZeroExtend{PTO_XLEN}(immediate);50    return ScalarBinary(51        ScalarBinary_ADD,52        left,53        right);54end;55// DOC-END: operation56