Skip to main content
One canonical workbench

Instruction index

Browse every released Scalar, Block, and Tile instruction. Each entry opens one page that combines Markdown, ASL, NDF, and evidence.

634

634 instructions

PTO-BLOCK-B-ASSEMBLE

B.ASSEMBLE

block · operands

Decodes one destination-range assemble modifier and retains its XLEN-wrapped derived offset in the immediately preceding binder group.

asl/block/operands/B.ASSEMBLE.asl
PTO-BLOCK-B-CATR

B.CATR

block · attributes

Defines one optional block control record for post-commit trap, transactional visibility, acquire/release ordering, remote execution, and dimension-reduction mode.

asl/block/attributes/B.CATR.asl
PTO-BLOCK-B-DATR

B.DATR

block · attributes

Latches the optional per-block tile layout, data type, padding, comparison, rounding, saturation, and canonicalization attributes.

asl/block/attributes/B.DATR.asl
PTO-BLOCK-B-DIM

B.DIM

block · attributes

Writes one selected bundle-local LB register from an absolute GPR plus immediate, truncated to 16 bits.

asl/block/attributes/B.DIM.asl
PTO-BLOCK-B-FPATR

B.FPATR

block · attributes

Latches complete-bundle matrix post-processing mode, reduction enables, and fixed-point descriptor controls.

asl/block/attributes/B.FPATR.asl
PTO-BLOCK-B-HINT

B.HINT

block · lifecycle

Records one optional per-block branch, temperature, prefetch-size, or trace-boundary hint without changing functional results.

asl/block/lifecycle/B.HINT.asl
PTO-BLOCK-B-IOR

B.IOR

block · operands

Bind up to three absolute GPR inputs and one absolute GPR output; TLOAD/TSTORE use source zero as GM base and source one as byte row stride.

asl/block/operands/B.IOR.asl
PTO-BLOCK-B-IOS

B.IOS

block · operands

Binds one ordered absolute Core-private Shared register S0..S63 as a source or destination with a common four-PE participation mode decoded to a fixed mask.

asl/block/operands/B.IOS.asl
PTO-BLOCK-B-IOT

B.IOT

block · operands

Binds an ordered Local Tile source/destination sequence with one common four-PE participation mode decoded to a fixed mask; L terminates only that sequence and never releases a source.

asl/block/operands/B.IOT.asl
PTO-BLOCK-B-SUBVIEW

B.SUBVIEW

block · operands

Decodes one source-range subview modifier and retains its XLEN-wrapped derived offset in the immediately preceding binder group.

asl/block/operands/B.SUBVIEW.asl
PTO-BLOCK-BSTART

BSTART

block · lifecycle

Initializes the single BARG continuation record after any retiring block commits successfully.

asl/block/lifecycle/BSTART.asl
PTO-BLOCK-BSTART-CALL

BSTART.CALL

block · execution

Atomically retires the old block, installs a direct-call BARG, and writes the independent return target to ra.

asl/block/execution/BSTART.CALL.asl
PTO-BLOCK-BSTART-FP

BSTART.FP

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.FP.asl
PTO-BLOCK-BSTART-GMOV

BSTART.GMOV

block · execution

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

asl/block/execution/BSTART.GMOV.asl
PTO-BLOCK-BSTART-ICALL

BSTART.ICALL

block · execution

Atomically retires the old block, snapshots its BARG.BPCN into a new indirect-call BARG, and writes the independent return target to ra.

asl/block/execution/BSTART.ICALL.asl
PTO-BLOCK-BSTART-MGATHER

BSTART.MGATHER

block · execution

Begins a TLSU byte-displacement gather block and selects its transfer DataType.

asl/block/execution/BSTART.MGATHER.asl
PTO-BLOCK-BSTART-MGATHER-CAS

BSTART.MGATHER.CAS

block · execution

Begins a TLSU byte-displacement atomic compare-and-swap gather block.

asl/block/execution/BSTART.MGATHER.CAS.asl
PTO-BLOCK-BSTART-MGATHER-MASK

BSTART.MGATHER.MASK

block · execution

Begins a predicate-masked TLSU byte-displacement gather block.

asl/block/execution/BSTART.MGATHER.MASK.asl
PTO-BLOCK-BSTART-MSCATTER

BSTART.MSCATTER

block · execution

Begins a TLSU byte-displacement scatter block and selects its transfer DataType.

asl/block/execution/BSTART.MSCATTER.asl
PTO-BLOCK-BSTART-MSCATTER-MASK

BSTART.MSCATTER.MASK

block · execution

Begins a predicate-masked TLSU byte-displacement scatter block.

asl/block/execution/BSTART.MSCATTER.MASK.asl
PTO-BLOCK-BSTART-SFU

BSTART.SFU

block · execution

Canonical Block-start spelling for an operation assigned to the SFU execution engine.

asl/block/execution/BSTART.SFU.asl
PTO-BLOCK-BSTART-STD

BSTART.STD

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.STD.asl
PTO-BLOCK-BSTART-SYS

BSTART.SYS

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.SYS.asl
PTO-BLOCK-BSTART-TEPL

BSTART.TEPL

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.TEPL.asl
PTO-BLOCK-BSTART-TGEMV

BSTART.TGEMV

block · execution

Starts CUBE Function 16 for the TGEMV M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMV.asl
PTO-BLOCK-BSTART-TGEMV-ACC

BSTART.TGEMV.ACC

block · execution

Starts CUBE Function 18 for the TGEMV_ACC M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMV.ACC.asl
PTO-BLOCK-BSTART-TGEMV-BIAS

BSTART.TGEMV.BIAS

block · execution

Starts CUBE Function 17 for the TGEMV_BIAS M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMV.BIAS.asl
PTO-BLOCK-BSTART-TGEMVMX

BSTART.TGEMVMX

block · execution

Starts CUBE Function 20 for the TGEMV_MX M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMVMX.asl
PTO-BLOCK-BSTART-TGEMVMX-ACC

BSTART.TGEMVMX.ACC

block · execution

Starts CUBE Function 22 for the TGEMV_MX_ACC M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMVMX.ACC.asl
PTO-BLOCK-BSTART-TGEMVMX-BIAS

BSTART.TGEMVMX.BIAS

block · execution

Starts CUBE Function 21 for the TGEMV_MX_BIAS M=1 Matrix-vector complete-bundle operation.

asl/block/execution/BSTART.TGEMVMX.BIAS.asl
PTO-BLOCK-BSTART-TLOAD

BSTART.TLOAD

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.TLOAD.asl
PTO-BLOCK-BSTART-TMATMUL

BSTART.TMATMUL

block · execution

Starts CUBE Function 0 for the TMATMUL Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMUL.asl
PTO-BLOCK-BSTART-TMATMUL-ACC

BSTART.TMATMUL.ACC

block · execution

Starts CUBE Function 2 for the TMATMUL_ACC Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMUL.ACC.asl
PTO-BLOCK-BSTART-TMATMUL-BIAS

BSTART.TMATMUL.BIAS

block · execution

Starts CUBE Function 1 for the TMATMUL_BIAS Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMUL.BIAS.asl
PTO-BLOCK-BSTART-TMATMULMX

BSTART.TMATMULMX

block · execution

Starts CUBE Function 4 for the TMATMUL_MX Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMULMX.asl
PTO-BLOCK-BSTART-TMATMULMX-ACC

BSTART.TMATMULMX.ACC

block · execution

Starts CUBE Function 6 for the TMATMUL_MX_ACC Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMULMX.ACC.asl
PTO-BLOCK-BSTART-TMATMULMX-BIAS

BSTART.TMATMULMX.BIAS

block · execution

Starts CUBE Function 5 for the TMATMUL_MX_BIAS Matrix-matrix complete-bundle operation.

asl/block/execution/BSTART.TMATMULMX.BIAS.asl
PTO-BLOCK-BSTART-TMOV

BSTART.TMOV

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.TMOV.asl
PTO-BLOCK-BSTART-TPREFETCH

BSTART.TPREFETCH

block · execution

Prefetches one typed, strided GM rectangle for each of the four PEs without a Tile destination.

asl/block/execution/BSTART.TPREFETCH.asl
PTO-BLOCK-BSTART-TSTORE

BSTART.TSTORE

block · execution

Closes the current bundle, initializes the next bundle descriptor, and selects its transfer and execution kind.

asl/block/execution/BSTART.TSTORE.asl
PTO-BLOCK-BSTART-VEC

BSTART.VEC

block · execution

Canonical Block-start spelling for an operation assigned to the VEC execution engine.

asl/block/execution/BSTART.VEC.asl
PTO-BLOCK-BSTOP

BSTOP

block · lifecycle

Commits the current bundle and transfers to its selected continuation.

asl/block/lifecycle/BSTOP.asl
PTO-BLOCK-C-B-DIMI

C.B.DIMI

block · attributes

Writes one selected bundle-local LB from a zero-extended eight-bit immediate exactly once.

asl/block/attributes/C.B.DIMI.asl
PTO-BLOCK-C-BSTART

C.BSTART

block · encoding

Starts a compressed standard block with a PC-relative direct or conditional candidate target.

asl/block/encoding/C.BSTART.asl
PTO-BLOCK-C-BSTART-FP

C.BSTART.FP

block · encoding

Starts a compressed FP block with fallthrough, indirect, or return transfer; every other BrType rejects before effects.

asl/block/encoding/C.BSTART.FP.asl
PTO-BLOCK-C-BSTART-STD

C.BSTART.STD

block · encoding

Starts a compressed STD block with fallthrough, indirect, or return transfer; every other BrType rejects before effects.

asl/block/encoding/C.BSTART.STD.asl
PTO-BLOCK-C-BSTART-SYS

C.BSTART.SYS

block · encoding

Starts the fixed compressed sequential System block without a selecting branch continuation.

asl/block/encoding/C.BSTART.SYS.asl
PTO-BLOCK-C-BSTOP

C.BSTOP

block · lifecycle

Commits the current bundle and transfers to its selected continuation.

asl/block/lifecycle/C.BSTOP.asl
PTO-BLOCK-ERCOV

ERCOV

block · lifecycle

Inventories an extension-owned execution-context recovery family rejected by PTO before effects.

asl/block/lifecycle/ERCOV.asl
PTO-BLOCK-ESAVE

ESAVE

block · lifecycle

Inventories an extension-owned execution-context save family rejected by PTO before effects.

asl/block/lifecycle/ESAVE.asl
PTO-BLOCK-FENTRY

FENTRY

block · lifecycle

Creates a restartable stack frame by snapshotting and storing one inclusive callee-save register-ring range.

asl/block/lifecycle/FENTRY.asl
PTO-BLOCK-FEXIT

FEXIT

block · lifecycle

Destroys a restartable stack frame and restores one inclusive callee-save register-ring range.

asl/block/lifecycle/FEXIT.asl
PTO-BLOCK-FRET-RA

FRET.RA

block · lifecycle

Restores a restartable stack frame and returns through the pre-restore architectural return address.

asl/block/lifecycle/FRET.RA.asl
PTO-BLOCK-FRET-STK

FRET.STK

block · lifecycle

Restores a restartable stack frame whose first stack slot supplies the validated return target.

asl/block/lifecycle/FRET.STK.asl
PTO-BLOCK-HL-QMT

HL.QMT

block · lifecycle

Queries, initializes, notifies, suspends, or restores one General Queue Management queue.

asl/block/lifecycle/HL.QMT.asl
PTO-BLOCK-HL-QPOP

HL.QPOP

block · lifecycle

Atomically pops one 64-bit head entry from a General Queue Management queue.

asl/block/lifecycle/HL.QPOP.asl
PTO-BLOCK-HL-QPUSH

HL.QPUSH

block · lifecycle

Atomically pushes one 64-bit entry at the tail or head of a General Queue Management queue.

asl/block/lifecycle/HL.QPUSH.asl
PTO-BLOCK-L-BSTOP

L.BSTOP

block · lifecycle

Commits the current bundle and transfers to its selected continuation.

asl/block/lifecycle/L.BSTOP.asl
PTO-BLOCK-MCOPY

MCOPY

block · lifecycle

Copies a non-overlapping byte range in restartable forward memory steps.

asl/block/lifecycle/MCOPY.asl
PTO-BLOCK-MSET

MSET

block · lifecycle

Fills a bounded byte range from three absolute GPR operands after complete access preflight.

asl/block/lifecycle/MSET.asl
PTO-BLOCK-XB

XB

block · encoding

Inventories an extension-owned cross-block transfer encoding that PTO rejects before field interpretation or architectural effects.

asl/block/encoding/XB.asl
PTO-SCALAR-ACRC

ACRC

scalar · sys

ACRC requests context close and marks the final scalar position of the active SYS block.

asl/scalar/sys/ACRC.asl
PTO-SCALAR-ACRE

ACRE

scalar · sys

ACRE atomically commits the active SYS block and recovers one validated architecture context.

asl/scalar/sys/ACRE.asl
PTO-SCALAR-ADD

ADD

scalar · alu

ADD applies the selected right-source transformation before its encoded logical left shift, performs fixed-width addition, and publishes the PTO_XLEN result.

asl/scalar/alu/ADD.asl
PTO-SCALAR-ADDI

ADDI

scalar · alu

ADDI performs unsigned-immediate XLEN addition with Reg5 source and destination selection.

asl/scalar/alu/ADDI.asl
PTO-SCALAR-ADDIW

ADDIW

scalar · alu

ADDIW performs unsigned-immediate word addition and sign-extends the result to XLEN.

asl/scalar/alu/ADDIW.asl
PTO-SCALAR-ADDTPC

ADDTPC

scalar · bru

ADDTPC - Add a signed 4 KiB page displacement to the current TPC.

asl/scalar/bru/ADDTPC.asl
PTO-SCALAR-ADDW

ADDW

scalar · alu

ADDW applies the selected right-source transformation before its encoded logical left shift, performs fixed-width word addition, and publishes the low 32-bit result sign-extended to XLEN.

asl/scalar/alu/ADDW.asl
PTO-SCALAR-AND

AND

scalar · alu

AND applies the selected right-source transformation before its encoded logical left shift, performs bitwise conjunction, and publishes the PTO_XLEN result.

asl/scalar/alu/AND.asl
PTO-SCALAR-ANDI

ANDI

scalar · alu

ANDI performs XLEN conjunction with a sign-extended signed 12-bit immediate.

asl/scalar/alu/ANDI.asl
PTO-SCALAR-ANDIW

ANDIW

scalar · alu

ANDIW performs word conjunction with a signed 12-bit immediate and sign-extends the result.

asl/scalar/alu/ANDIW.asl
PTO-SCALAR-ANDW

ANDW

scalar · alu

ANDW applies the selected right-source transformation before its encoded logical left shift, performs word bitwise conjunction, and publishes the low 32-bit result sign-extended to XLEN.

asl/scalar/alu/ANDW.asl
PTO-SCALAR-ASSERT

ASSERT

scalar · sys

ASSERT raises the architecture assertion trap exactly when its snapshotted scalar condition is zero.

asl/scalar/sys/ASSERT.asl
PTO-SCALAR-BC-IALL

BC.IALL

scalar · sys

BC.IALL completes the bundle-cache all-entry scope maintenance operation synchronously.

asl/scalar/sys/BC.IALL.asl
PTO-SCALAR-BC-IVA

BC.IVA

scalar · sys

BC.IVA completes the bundle-cache virtual-address scope token maintenance operation synchronously.

asl/scalar/sys/BC.IVA.asl
PTO-SCALAR-BCNT

BCNT

scalar · alu

BCNT counts set bits in an independently selected wrapping scalar field and publishes the XLEN population count.

asl/scalar/alu/BCNT.asl
PTO-SCALAR-BIC

BIC

scalar · alu

BIC clears every bit in an independently selected wrapping scalar field and publishes the modified XLEN value.

asl/scalar/alu/BIC.asl
PTO-SCALAR-BIS

BIS

scalar · alu

BIS sets every bit in an independently selected wrapping scalar field and publishes the modified XLEN value.

asl/scalar/alu/BIS.asl
PTO-SCALAR-BSE

BSE

scalar · sys

BSE publishes the SendEvent nonblocking execution-control request.

asl/scalar/sys/BSE.asl
PTO-SCALAR-BWE

BWE

scalar · sys

BWE publishes the WaitEvent nonblocking execution-control request.

asl/scalar/sys/BWE.asl
PTO-SCALAR-BWI

BWI

scalar · sys

BWI publishes the WaitInterrupt nonblocking execution-control request.

asl/scalar/sys/BWI.asl
PTO-SCALAR-BWT

BWT

scalar · sys

BWT publishes the WaitTimeout nonblocking execution-control request.

asl/scalar/sys/BWT.asl
PTO-SCALAR-BXS

BXS

scalar · alu

BXS extracts an independently selected wrapping scalar field, sign-extends it to XLEN, and publishes the result.

asl/scalar/alu/BXS.asl
PTO-SCALAR-BXU

BXU

scalar · alu

BXU extracts an independently selected wrapping scalar field, zero-extends it to XLEN, and publishes the result.

asl/scalar/alu/BXU.asl
PTO-SCALAR-C-ADD

C.ADD

scalar · alu

C.ADD snapshots two complete Reg5 sources, adds SrcL and SrcR, and pushes the wrapping XLEN result to T.

asl/scalar/alu/C.ADD.asl
PTO-SCALAR-C-ADDI

C.ADDI

scalar · alu

C.ADDI snapshots one complete Reg5 source, sign-extends simm5, adds modulo 2^XLEN, and pushes the result to T.

asl/scalar/alu/C.ADDI.asl
PTO-SCALAR-C-AND

C.AND

scalar · alu

C.AND snapshots two complete Reg5 sources, computes the bitwise conjunction of SrcL and SrcR, and pushes the wrapping XLEN result to T.

asl/scalar/alu/C.AND.asl
PTO-SCALAR-C-CMP-EQI

C.CMP.EQI

scalar · bru

C.CMP.EQI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/C.CMP.EQI.asl
PTO-SCALAR-C-CMP-NEI

C.CMP.NEI

scalar · bru

C.CMP.NEI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/C.CMP.NEI.asl
PTO-SCALAR-C-EBREAK

C.EBREAK

scalar · sys

C.EBREAK raises software-breakpoint trap 50 with its 5-bit immediate as cause.

asl/scalar/sys/C.EBREAK.asl
PTO-SCALAR-C-LDI

C.LDI

scalar · agu

C.LDI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/C.LDI.asl
PTO-SCALAR-C-LWI

C.LWI

scalar · agu

C.LWI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/C.LWI.asl
PTO-SCALAR-C-MOVI

C.MOVI

scalar · alu

C.MOVI sign-extends its encoded five-bit immediate to XLEN and publishes it through RegDst.

asl/scalar/alu/C.MOVI.asl
PTO-SCALAR-C-MOVR

C.MOVR

scalar · alu

C.MOVR snapshots a Reg5 source and publishes the complete XLEN value unchanged through RegDst.

asl/scalar/alu/C.MOVR.asl
PTO-SCALAR-C-OR

C.OR

scalar · alu

C.OR snapshots two complete Reg5 sources, computes the bitwise inclusive OR of SrcL and SrcR, and pushes the wrapping XLEN result to T.

asl/scalar/alu/C.OR.asl
PTO-SCALAR-C-SDI

C.SDI

scalar · agu

C.SDI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/C.SDI.asl
PTO-SCALAR-C-SETC-EQ

C.SETC.EQ

scalar · bru

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

asl/scalar/bru/C.SETC.EQ.asl
PTO-SCALAR-C-SETC-NE

C.SETC.NE

scalar · bru

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

asl/scalar/bru/C.SETC.NE.asl
PTO-SCALAR-C-SETC-TGT

C.SETC.TGT

scalar · alu

Snapshot one scalar source value into the active block BARG.BPCN.

asl/scalar/alu/C.SETC.TGT.asl
PTO-SCALAR-C-SETRET

C.SETRET

scalar · alu

Materialize an unsigned halfword-scaled TPC-relative return address in ra and captured return state.

asl/scalar/alu/C.SETRET.asl
PTO-SCALAR-C-SEXT-B

C.SEXT.B

scalar · alu

C.SEXT.B sign-extends SrcL[7:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.SEXT.B.asl
PTO-SCALAR-C-SEXT-H

C.SEXT.H

scalar · alu

C.SEXT.H sign-extends SrcL[15:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.SEXT.H.asl
PTO-SCALAR-C-SEXT-W

C.SEXT.W

scalar · alu

C.SEXT.W sign-extends SrcL[31:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.SEXT.W.asl
PTO-SCALAR-C-SLLI

C.SLLI

scalar · alu

C.SLLI snapshots the pre-instruction T#1 value, logically shifts it left by uimm5, and pushes the XLEN result to T.

asl/scalar/alu/C.SLLI.asl
PTO-SCALAR-C-SRLI

C.SRLI

scalar · alu

C.SRLI snapshots the pre-instruction T#1 value, logically shifts it right by uimm5, and pushes the XLEN result to T.

asl/scalar/alu/C.SRLI.asl
PTO-SCALAR-C-SSRGET

C.SSRGET

scalar · sys

C.SSRGET reads the complete encoded system-register address.

asl/scalar/sys/C.SSRGET.asl
PTO-SCALAR-C-SUB

C.SUB

scalar · alu

C.SUB snapshots two complete Reg5 sources, subtracts SrcR from SrcL modulo 2^XLEN, and pushes the result to T.

asl/scalar/alu/C.SUB.asl
PTO-SCALAR-C-SWI

C.SWI

scalar · agu

C.SWI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/C.SWI.asl
PTO-SCALAR-C-ZEXT-B

C.ZEXT.B

scalar · alu

C.ZEXT.B zero-extends SrcL[7:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.ZEXT.B.asl
PTO-SCALAR-C-ZEXT-H

C.ZEXT.H

scalar · alu

C.ZEXT.H zero-extends SrcL[15:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.ZEXT.H.asl
PTO-SCALAR-C-ZEXT-W

C.ZEXT.W

scalar · alu

C.ZEXT.W zero-extends SrcL[31:0] to XLEN and pushes the result to T.

asl/scalar/alu/C.ZEXT.W.asl
PTO-SCALAR-CASB

CASB

scalar · amo

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

asl/scalar/amo/CASB.asl
PTO-SCALAR-CASD

CASD

scalar · amo

CASD atomically compares and conditionally replaces one doubleword, then publishes the prior value.

asl/scalar/amo/CASD.asl
PTO-SCALAR-CASH

CASH

scalar · amo

CASH atomically compares and conditionally replaces one halfword, then publishes the prior value.

asl/scalar/amo/CASH.asl
PTO-SCALAR-CASW

CASW

scalar · amo

CASW atomically compares and conditionally replaces one word, then publishes the prior value.

asl/scalar/amo/CASW.asl
PTO-SCALAR-CLZ

CLZ

scalar · alu

CLZ counts leading zero bits in an independently selected wrapping scalar field and publishes the XLEN count.

asl/scalar/alu/CLZ.asl
PTO-SCALAR-CMP-AND

CMP.AND

scalar · bru

CMP.AND - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/CMP.AND.asl
PTO-SCALAR-CMP-ANDI

CMP.ANDI

scalar · bru

CMP.ANDI - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/CMP.ANDI.asl
PTO-SCALAR-CMP-EQ

CMP.EQ

scalar · bru

CMP.EQ - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.EQ.asl
PTO-SCALAR-CMP-EQI

CMP.EQI

scalar · bru

CMP.EQI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.EQI.asl
PTO-SCALAR-CMP-GE

CMP.GE

scalar · bru

CMP.GE - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.GE.asl
PTO-SCALAR-CMP-GEI

CMP.GEI

scalar · bru

CMP.GEI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.GEI.asl
PTO-SCALAR-CMP-GEU

CMP.GEU

scalar · bru

CMP.GEU - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.GEU.asl
PTO-SCALAR-CMP-GEUI

CMP.GEUI

scalar · bru

CMP.GEUI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.GEUI.asl
PTO-SCALAR-CMP-LT

CMP.LT

scalar · bru

CMP.LT - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.LT.asl
PTO-SCALAR-CMP-LTI

CMP.LTI

scalar · bru

CMP.LTI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.LTI.asl
PTO-SCALAR-CMP-LTU

CMP.LTU

scalar · bru

CMP.LTU - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.LTU.asl
PTO-SCALAR-CMP-LTUI

CMP.LTUI

scalar · bru

CMP.LTUI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.LTUI.asl
PTO-SCALAR-CMP-NE

CMP.NE

scalar · bru

CMP.NE - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.NE.asl
PTO-SCALAR-CMP-NEI

CMP.NEI

scalar · bru

CMP.NEI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/CMP.NEI.asl
PTO-SCALAR-CMP-OR

CMP.OR

scalar · bru

CMP.OR - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/CMP.OR.asl
PTO-SCALAR-CMP-ORI

CMP.ORI

scalar · bru

CMP.ORI - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/CMP.ORI.asl
PTO-SCALAR-CSEL

CSEL

scalar · alu

CSEL snapshots three Reg5 sources, selects SrcL for a nonzero predicate or its optionally negated SrcR for zero, and publishes through the common scalar destination map.

asl/scalar/alu/CSEL.asl
PTO-SCALAR-CTZ

CTZ

scalar · alu

CTZ counts trailing zero bits in an independently selected wrapping scalar field and publishes the XLEN count.

asl/scalar/alu/CTZ.asl
PTO-SCALAR-DC-CISW

DC.CISW

scalar · sys

DC.CISW completes the data-cache clean-and-invalidate set/way token maintenance operation synchronously.

asl/scalar/sys/DC.CISW.asl
PTO-SCALAR-DC-CIVA

DC.CIVA

scalar · sys

DC.CIVA completes the data-cache clean-and-invalidate scope token maintenance operation synchronously.

asl/scalar/sys/DC.CIVA.asl
PTO-SCALAR-DC-CSW

DC.CSW

scalar · sys

DC.CSW completes the data-cache clean-by-set/way scope token maintenance operation synchronously.

asl/scalar/sys/DC.CSW.asl
PTO-SCALAR-DC-CVA

DC.CVA

scalar · sys

DC.CVA completes the data-cache clean-by-address scope token maintenance operation synchronously.

asl/scalar/sys/DC.CVA.asl
PTO-SCALAR-DC-IALL

DC.IALL

scalar · sys

DC.IALL completes the data-cache all-entry scope maintenance operation synchronously.

asl/scalar/sys/DC.IALL.asl
PTO-SCALAR-DC-ISW

DC.ISW

scalar · sys

DC.ISW completes the data-cache set/way scope token maintenance operation synchronously.

asl/scalar/sys/DC.ISW.asl
PTO-SCALAR-DC-IVA

DC.IVA

scalar · sys

DC.IVA completes the data-cache virtual-address scope token maintenance operation synchronously.

asl/scalar/sys/DC.IVA.asl
PTO-SCALAR-DC-ZVA

DC.ZVA

scalar · sys

DC.ZVA completes the data-cache zero-by-address scope token maintenance operation synchronously.

asl/scalar/sys/DC.ZVA.asl
PTO-SCALAR-DIV

DIV

scalar · alu

DIV computes the signed XLEN quotient using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/DIV.asl
PTO-SCALAR-DIVU

DIVU

scalar · alu

DIVU computes the unsigned XLEN quotient using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/DIVU.asl
PTO-SCALAR-DIVUW

DIVUW

scalar · alu

DIVUW computes the unsigned low-32-bit quotient using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/DIVUW.asl
PTO-SCALAR-DIVW

DIVW

scalar · alu

DIVW computes the signed low-32-bit quotient using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/DIVW.asl
PTO-SCALAR-DMA

DMA

scalar · amo

DMA performs an exact 64-byte copy, validates both ranges before effects, snapshots the source so overlap has memmove semantics, and guarantees that any fault leaves memory unchanged for precise full reissue.

asl/scalar/amo/DMA.asl
PTO-SCALAR-EBREAK

EBREAK

scalar · sys

EBREAK raises software-breakpoint trap 50 with its 4-bit immediate as cause.

asl/scalar/sys/EBREAK.asl
PTO-SCALAR-FABS

FABS

scalar · fsu

FABS clears the sign bit of the selected FP64 or FP32 carrier, preserves every other carrier bit, and publishes no numeric flags.

asl/scalar/fsu/FABS.asl
PTO-SCALAR-FADD

FADD

scalar · fsu

FADD adds two selected FP64 or FP32 carriers through the active numeric profile and publishes its sticky flags.

asl/scalar/fsu/FADD.asl
PTO-SCALAR-FCVT

FCVT

scalar · fsu

FCVT converts a selected FP64 or FP32 source carrier to destination carrier code 0 through 14 through the active numeric profile.

asl/scalar/fsu/FCVT.asl
PTO-SCALAR-FCVTA

FCVTA

scalar · fsu

FCVTA converts a selected FP64 or FP32 carrier to integer carrier code 0 through 14 with fixed round-to-nearest, ties-away mode.

asl/scalar/fsu/FCVTA.asl
PTO-SCALAR-FCVTM

FCVTM

scalar · fsu

FCVTM converts a selected FP64 or FP32 carrier to integer carrier code 0 through 14 with fixed round-down mode.

asl/scalar/fsu/FCVTM.asl
PTO-SCALAR-FCVTN

FCVTN

scalar · fsu

FCVTN converts a selected FP64 or FP32 carrier to integer carrier code 0 through 14 with fixed round-nearest mode.

asl/scalar/fsu/FCVTN.asl
PTO-SCALAR-FCVTP

FCVTP

scalar · fsu

FCVTP converts a selected FP64 or FP32 carrier to integer carrier code 0 through 14 with fixed round-up mode.

asl/scalar/fsu/FCVTP.asl
PTO-SCALAR-FCVTZ

FCVTZ

scalar · fsu

FCVTZ converts a selected FP64 or FP32 carrier to integer carrier code 0 through 14 with fixed round-toward-zero mode.

asl/scalar/fsu/FCVTZ.asl
PTO-SCALAR-FDIV

FDIV

scalar · fsu

FDIV divides the left selected carrier by the right through the active numeric profile and publishes its sticky flags.

asl/scalar/fsu/FDIV.asl
PTO-SCALAR-FENCE-D

FENCE.D

scalar · sys

FENCE.D records predecessor/successor ordering masks and invalidates the local reservation.

asl/scalar/sys/FENCE.D.asl
PTO-SCALAR-FENCE-I

FENCE.I

scalar · sys

FENCE.I establishes instruction visibility, invalidates the reservation, and advances the instruction-cache epoch.

asl/scalar/sys/FENCE.I.asl
PTO-SCALAR-FEQ

FEQ

scalar · fsu

FEQ performs ordered quiet equality and returns canonical XLEN zero or one.

asl/scalar/fsu/FEQ.asl
PTO-SCALAR-FEQS

FEQS

scalar · fsu

FEQS performs ordered signaling equality and returns canonical XLEN zero or one.

asl/scalar/fsu/FEQS.asl
PTO-SCALAR-FEXP

FEXP

scalar · fsu

FEXP applies the active numeric profile exponential operation to the selected FP64 or FP32 carrier.

asl/scalar/fsu/FEXP.asl
PTO-SCALAR-FGE

FGE

scalar · fsu

FGE performs ordered quiet greater-than-or-equal comparison and returns canonical XLEN zero or one.

asl/scalar/fsu/FGE.asl
PTO-SCALAR-FGES

FGES

scalar · fsu

FGES performs ordered signaling greater-than-or-equal comparison and returns canonical XLEN zero or one.

asl/scalar/fsu/FGES.asl
PTO-SCALAR-FLT

FLT

scalar · fsu

FLT performs ordered quiet less-than comparison and returns canonical XLEN zero or one.

asl/scalar/fsu/FLT.asl
PTO-SCALAR-FLTS

FLTS

scalar · fsu

FLTS performs ordered signaling less-than comparison and returns canonical XLEN zero or one.

asl/scalar/fsu/FLTS.asl
PTO-SCALAR-FMADD

FMADD

scalar · fsu

FMADD computes one fused SrcL multiplied by SrcR plus SrcA operation through the active numeric profile.

asl/scalar/fsu/FMADD.asl
PTO-SCALAR-FMAX

FMAX

scalar · fsu

FMAX applies the architecture-owned ordered maximum, NaN, and signed-zero rules to selected FP64 or FP32 carriers.

asl/scalar/fsu/FMAX.asl
PTO-SCALAR-FMIN

FMIN

scalar · fsu

FMIN applies the architecture-owned ordered minimum, NaN, and signed-zero rules to selected FP64 or FP32 carriers.

asl/scalar/fsu/FMIN.asl
PTO-SCALAR-FMSUB

FMSUB

scalar · fsu

FMSUB computes one fused SrcL multiplied by SrcR minus SrcA operation through the active numeric profile.

asl/scalar/fsu/FMSUB.asl
PTO-SCALAR-FMUL

FMUL

scalar · fsu

FMUL multiplies two selected FP64 or FP32 carriers through the active numeric profile and publishes its sticky flags.

asl/scalar/fsu/FMUL.asl
PTO-SCALAR-FNE

FNE

scalar · fsu

FNE performs ordered quiet inequality and returns canonical XLEN zero or one.

asl/scalar/fsu/FNE.asl
PTO-SCALAR-FNES

FNES

scalar · fsu

FNES performs ordered signaling inequality and returns canonical XLEN zero or one.

asl/scalar/fsu/FNES.asl
PTO-SCALAR-FNMADD

FNMADD

scalar · fsu

FNMADD computes the negation of one fused SrcL multiplied by SrcR plus SrcA operation through the active numeric profile.

asl/scalar/fsu/FNMADD.asl
PTO-SCALAR-FNMSUB

FNMSUB

scalar · fsu

FNMSUB computes the negation of one fused SrcL multiplied by SrcR minus SrcA operation through the active numeric profile.

asl/scalar/fsu/FNMSUB.asl
PTO-SCALAR-FRECIP

FRECIP

scalar · fsu

FRECIP applies the active numeric profile reciprocal operation to the selected FP64 or FP32 carrier.

asl/scalar/fsu/FRECIP.asl
PTO-SCALAR-FSQRT

FSQRT

scalar · fsu

FSQRT applies the active numeric profile square-root operation to the selected FP64 or FP32 carrier.

asl/scalar/fsu/FSQRT.asl
PTO-SCALAR-FSUB

FSUB

scalar · fsu

FSUB subtracts the right selected carrier from the left through the active numeric profile and publishes its sticky flags.

asl/scalar/fsu/FSUB.asl
PTO-SCALAR-HL-ADDI

HL.ADDI

scalar · alu

HL.ADDI applies XLEN addition to SrcL and a zero-extended 24-bit immediate.

asl/scalar/alu/HL.ADDI.asl
PTO-SCALAR-HL-ADDIW

HL.ADDIW

scalar · alu

HL.ADDIW applies word addition to SrcL[31:0] and the low word of a zero-extended 24-bit immediate, then sign-extends the 32-bit result.

asl/scalar/alu/HL.ADDIW.asl
PTO-SCALAR-HL-ADDTPC

HL.ADDTPC

scalar · bru

HL.ADDTPC - Add a signed 4 KiB page displacement to the current TPC.

asl/scalar/bru/HL.ADDTPC.asl
PTO-SCALAR-HL-ANDI

HL.ANDI

scalar · alu

HL.ANDI applies XLEN bitwise conjunction to SrcL and a sign-extended 24-bit immediate.

asl/scalar/alu/HL.ANDI.asl
PTO-SCALAR-HL-ANDIW

HL.ANDIW

scalar · alu

HL.ANDIW applies word bitwise conjunction to SrcL[31:0] and the low word of a sign-extended 24-bit immediate, then sign-extends the 32-bit result.

asl/scalar/alu/HL.ANDIW.asl
PTO-SCALAR-HL-BFI

HL.BFI

scalar · alu

HL.BFI inserts ascending low source bits into an inclusive wrapping destination interval of a snapshotted base value and publishes the XLEN result.

asl/scalar/alu/HL.BFI.asl
PTO-SCALAR-HL-CASB

HL.CASB

scalar · amo

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

asl/scalar/amo/HL.CASB.asl
PTO-SCALAR-HL-CASD

HL.CASD

scalar · amo

HL.CASD atomically compares and conditionally replaces one doubleword, then publishes the prior value.

asl/scalar/amo/HL.CASD.asl
PTO-SCALAR-HL-CASH

HL.CASH

scalar · amo

HL.CASH atomically compares and conditionally replaces one halfword, then publishes the prior value.

asl/scalar/amo/HL.CASH.asl
PTO-SCALAR-HL-CASW

HL.CASW

scalar · amo

HL.CASW atomically compares and conditionally replaces one word, then publishes the prior value.

asl/scalar/amo/HL.CASW.asl
PTO-SCALAR-HL-CCAT

HL.CCAT

scalar · alu

HL.CCAT logically right-shifts {SrcL, SrcR}, writes the low 64-bit result to Dst0, then writes the high result to Dst1.

asl/scalar/alu/HL.CCAT.asl
PTO-SCALAR-HL-CCATW

HL.CCATW

scalar · alu

HL.CCATW logically right-shifts {SrcL[31:0], SrcR[31:0]}, sign-extends the low then high 32-bit results, and writes them in order.

asl/scalar/alu/HL.CCATW.asl
PTO-SCALAR-HL-CMP-ANDI

HL.CMP.ANDI

scalar · bru

HL.CMP.ANDI - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/HL.CMP.ANDI.asl
PTO-SCALAR-HL-CMP-EQI

HL.CMP.EQI

scalar · bru

HL.CMP.EQI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.EQI.asl
PTO-SCALAR-HL-CMP-GEI

HL.CMP.GEI

scalar · bru

HL.CMP.GEI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.GEI.asl
PTO-SCALAR-HL-CMP-GEUI

HL.CMP.GEUI

scalar · bru

HL.CMP.GEUI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.GEUI.asl
PTO-SCALAR-HL-CMP-LTI

HL.CMP.LTI

scalar · bru

HL.CMP.LTI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.LTI.asl
PTO-SCALAR-HL-CMP-LTUI

HL.CMP.LTUI

scalar · bru

HL.CMP.LTUI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.LTUI.asl
PTO-SCALAR-HL-CMP-NEI

HL.CMP.NEI

scalar · bru

HL.CMP.NEI - Compare scalar operands and write the encoded boolean result.

asl/scalar/bru/HL.CMP.NEI.asl
PTO-SCALAR-HL-CMP-ORI

HL.CMP.ORI

scalar · bru

HL.CMP.ORI - Combine scalar comparison results with the encoded logical operation.

asl/scalar/bru/HL.CMP.ORI.asl
PTO-SCALAR-HL-DIV

HL.DIV

scalar · alu

HL.DIV computes a signed XLEN quotient/remainder pair from source snapshots, then publishes quotient followed by remainder.

asl/scalar/alu/HL.DIV.asl
PTO-SCALAR-HL-DIVU

HL.DIVU

scalar · alu

HL.DIVU computes a unsigned XLEN quotient/remainder pair from source snapshots, then publishes quotient followed by remainder.

asl/scalar/alu/HL.DIVU.asl
PTO-SCALAR-HL-DIVUW

HL.DIVUW

scalar · alu

HL.DIVUW computes a unsigned low-32-bit quotient/remainder pair from source snapshots, then publishes quotient followed by remainder.

asl/scalar/alu/HL.DIVUW.asl
PTO-SCALAR-HL-DIVW

HL.DIVW

scalar · alu

HL.DIVW computes a signed low-32-bit quotient/remainder pair from source snapshots, then publishes quotient followed by remainder.

asl/scalar/alu/HL.DIVW.asl
PTO-SCALAR-HL-LB-PCR

HL.LB.PCR

scalar · agu

HL.LB.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LB.PCR.asl
PTO-SCALAR-HL-LB-PO

HL.LB.PO

scalar · agu

HL.LB.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LB.PO.asl
PTO-SCALAR-HL-LB-PR

HL.LB.PR

scalar · agu

HL.LB.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LB.PR.asl
PTO-SCALAR-HL-LBI

HL.LBI

scalar · agu

HL.LBI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBI.asl
PTO-SCALAR-HL-LBI-PO

HL.LBI.PO

scalar · agu

HL.LBI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBI.PO.asl
PTO-SCALAR-HL-LBI-PR

HL.LBI.PR

scalar · agu

HL.LBI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBI.PR.asl
PTO-SCALAR-HL-LBIP

HL.LBIP

scalar · agu

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

asl/scalar/agu/HL.LBIP.asl
PTO-SCALAR-HL-LBP

HL.LBP

scalar · agu

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

asl/scalar/agu/HL.LBP.asl
PTO-SCALAR-HL-LBU-PCR

HL.LBU.PCR

scalar · agu

HL.LBU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBU.PCR.asl
PTO-SCALAR-HL-LBU-PO

HL.LBU.PO

scalar · agu

HL.LBU.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBU.PO.asl
PTO-SCALAR-HL-LBU-PR

HL.LBU.PR

scalar · agu

HL.LBU.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBU.PR.asl
PTO-SCALAR-HL-LBUI

HL.LBUI

scalar · agu

HL.LBUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBUI.asl
PTO-SCALAR-HL-LBUI-PO

HL.LBUI.PO

scalar · agu

HL.LBUI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBUI.PO.asl
PTO-SCALAR-HL-LBUI-PR

HL.LBUI.PR

scalar · agu

HL.LBUI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/HL.LBUI.PR.asl
PTO-SCALAR-HL-LBUIP

HL.LBUIP

scalar · agu

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

asl/scalar/agu/HL.LBUIP.asl
PTO-SCALAR-HL-LBUP

HL.LBUP

scalar · agu

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

asl/scalar/agu/HL.LBUP.asl
PTO-SCALAR-HL-LD-PCR

HL.LD.PCR

scalar · agu

HL.LD.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LD.PCR.asl
PTO-SCALAR-HL-LD-PO

HL.LD.PO

scalar · agu

HL.LD.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LD.PO.asl
PTO-SCALAR-HL-LD-PR

HL.LD.PR

scalar · agu

HL.LD.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LD.PR.asl
PTO-SCALAR-HL-LDI

HL.LDI

scalar · agu

HL.LDI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.asl
PTO-SCALAR-HL-LDI-PO

HL.LDI.PO

scalar · agu

HL.LDI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.PO.asl
PTO-SCALAR-HL-LDI-PR

HL.LDI.PR

scalar · agu

HL.LDI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.PR.asl
PTO-SCALAR-HL-LDI-U

HL.LDI.U

scalar · agu

HL.LDI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.U.asl
PTO-SCALAR-HL-LDI-UPO

HL.LDI.UPO

scalar · agu

HL.LDI.UPO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.UPO.asl
PTO-SCALAR-HL-LDI-UPR

HL.LDI.UPR

scalar · agu

HL.LDI.UPR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/HL.LDI.UPR.asl
PTO-SCALAR-HL-LDIP

HL.LDIP

scalar · agu

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

asl/scalar/agu/HL.LDIP.asl
PTO-SCALAR-HL-LDIP-U

HL.LDIP.U

scalar · agu

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

asl/scalar/agu/HL.LDIP.U.asl
PTO-SCALAR-HL-LDP

HL.LDP

scalar · agu

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

asl/scalar/agu/HL.LDP.asl
PTO-SCALAR-HL-LH-PCR

HL.LH.PCR

scalar · agu

HL.LH.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LH.PCR.asl
PTO-SCALAR-HL-LH-PO

HL.LH.PO

scalar · agu

HL.LH.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LH.PO.asl
PTO-SCALAR-HL-LH-PR

HL.LH.PR

scalar · agu

HL.LH.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LH.PR.asl
PTO-SCALAR-HL-LHI

HL.LHI

scalar · agu

HL.LHI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.asl
PTO-SCALAR-HL-LHI-PO

HL.LHI.PO

scalar · agu

HL.LHI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.PO.asl
PTO-SCALAR-HL-LHI-PR

HL.LHI.PR

scalar · agu

HL.LHI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.PR.asl
PTO-SCALAR-HL-LHI-U

HL.LHI.U

scalar · agu

HL.LHI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.U.asl
PTO-SCALAR-HL-LHI-UPO

HL.LHI.UPO

scalar · agu

HL.LHI.UPO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.UPO.asl
PTO-SCALAR-HL-LHI-UPR

HL.LHI.UPR

scalar · agu

HL.LHI.UPR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHI.UPR.asl
PTO-SCALAR-HL-LHIP

HL.LHIP

scalar · agu

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

asl/scalar/agu/HL.LHIP.asl
PTO-SCALAR-HL-LHIP-U

HL.LHIP.U

scalar · agu

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

asl/scalar/agu/HL.LHIP.U.asl
PTO-SCALAR-HL-LHP

HL.LHP

scalar · agu

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

asl/scalar/agu/HL.LHP.asl
PTO-SCALAR-HL-LHU-PCR

HL.LHU.PCR

scalar · agu

HL.LHU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHU.PCR.asl
PTO-SCALAR-HL-LHU-PO

HL.LHU.PO

scalar · agu

HL.LHU.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHU.PO.asl
PTO-SCALAR-HL-LHU-PR

HL.LHU.PR

scalar · agu

HL.LHU.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHU.PR.asl
PTO-SCALAR-HL-LHUI

HL.LHUI

scalar · agu

HL.LHUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.asl
PTO-SCALAR-HL-LHUI-PO

HL.LHUI.PO

scalar · agu

HL.LHUI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.PO.asl
PTO-SCALAR-HL-LHUI-PR

HL.LHUI.PR

scalar · agu

HL.LHUI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.PR.asl
PTO-SCALAR-HL-LHUI-U

HL.LHUI.U

scalar · agu

HL.LHUI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.U.asl
PTO-SCALAR-HL-LHUI-UPO

HL.LHUI.UPO

scalar · agu

HL.LHUI.UPO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.UPO.asl
PTO-SCALAR-HL-LHUI-UPR

HL.LHUI.UPR

scalar · agu

HL.LHUI.UPR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/HL.LHUI.UPR.asl
PTO-SCALAR-HL-LHUIP

HL.LHUIP

scalar · agu

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

asl/scalar/agu/HL.LHUIP.asl
PTO-SCALAR-HL-LHUIP-U

HL.LHUIP.U

scalar · agu

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

asl/scalar/agu/HL.LHUIP.U.asl
PTO-SCALAR-HL-LHUP

HL.LHUP

scalar · agu

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

asl/scalar/agu/HL.LHUP.asl
PTO-SCALAR-HL-LIS

HL.LIS

scalar · alu

HL.LIS sign-extends its split encoded 32-bit immediate to XLEN and publishes the result through RegDst.

asl/scalar/alu/HL.LIS.asl
PTO-SCALAR-HL-LIU

HL.LIU

scalar · alu

HL.LIU zero-extends its split encoded 32-bit immediate to XLEN and publishes the result through RegDst.

asl/scalar/alu/HL.LIU.asl
PTO-SCALAR-HL-LUI

HL.LUI

scalar · alu

HL.LUI places its split 32-bit immediate in result bits 63:32 and clears result bits 31:0.

asl/scalar/alu/HL.LUI.asl
PTO-SCALAR-HL-LW-PCR

HL.LW.PCR

scalar · agu

HL.LW.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LW.PCR.asl
PTO-SCALAR-HL-LW-PO

HL.LW.PO

scalar · agu

HL.LW.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LW.PO.asl
PTO-SCALAR-HL-LW-PR

HL.LW.PR

scalar · agu

HL.LW.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LW.PR.asl
PTO-SCALAR-HL-LWI

HL.LWI

scalar · agu

HL.LWI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.asl
PTO-SCALAR-HL-LWI-PO

HL.LWI.PO

scalar · agu

HL.LWI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.PO.asl
PTO-SCALAR-HL-LWI-PR

HL.LWI.PR

scalar · agu

HL.LWI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.PR.asl
PTO-SCALAR-HL-LWI-U

HL.LWI.U

scalar · agu

HL.LWI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.U.asl
PTO-SCALAR-HL-LWI-UPO

HL.LWI.UPO

scalar · agu

HL.LWI.UPO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.UPO.asl
PTO-SCALAR-HL-LWI-UPR

HL.LWI.UPR

scalar · agu

HL.LWI.UPR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWI.UPR.asl
PTO-SCALAR-HL-LWIP

HL.LWIP

scalar · agu

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

asl/scalar/agu/HL.LWIP.asl
PTO-SCALAR-HL-LWIP-U

HL.LWIP.U

scalar · agu

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

asl/scalar/agu/HL.LWIP.U.asl
PTO-SCALAR-HL-LWP

HL.LWP

scalar · agu

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

asl/scalar/agu/HL.LWP.asl
PTO-SCALAR-HL-LWU-PCR

HL.LWU.PCR

scalar · agu

HL.LWU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWU.PCR.asl
PTO-SCALAR-HL-LWU-PO

HL.LWU.PO

scalar · agu

HL.LWU.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWU.PO.asl
PTO-SCALAR-HL-LWU-PR

HL.LWU.PR

scalar · agu

HL.LWU.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWU.PR.asl
PTO-SCALAR-HL-LWUI

HL.LWUI

scalar · agu

HL.LWUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.asl
PTO-SCALAR-HL-LWUI-PO

HL.LWUI.PO

scalar · agu

HL.LWUI.PO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.PO.asl
PTO-SCALAR-HL-LWUI-PR

HL.LWUI.PR

scalar · agu

HL.LWUI.PR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.PR.asl
PTO-SCALAR-HL-LWUI-U

HL.LWUI.U

scalar · agu

HL.LWUI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.U.asl
PTO-SCALAR-HL-LWUI-UPO

HL.LWUI.UPO

scalar · agu

HL.LWUI.UPO snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.UPO.asl
PTO-SCALAR-HL-LWUI-UPR

HL.LWUI.UPR

scalar · agu

HL.LWUI.UPR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/HL.LWUI.UPR.asl
PTO-SCALAR-HL-LWUIP

HL.LWUIP

scalar · agu

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

asl/scalar/agu/HL.LWUIP.asl
PTO-SCALAR-HL-LWUIP-U

HL.LWUIP.U

scalar · agu

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

asl/scalar/agu/HL.LWUIP.U.asl
PTO-SCALAR-HL-LWUP

HL.LWUP

scalar · agu

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

asl/scalar/agu/HL.LWUP.asl
PTO-SCALAR-HL-MADD

HL.MADD

scalar · alu

HL.MADD computes a signed 128-bit product plus a sign-extended XLEN addend and publishes low then high halves.

asl/scalar/alu/HL.MADD.asl
PTO-SCALAR-HL-MADDW

HL.MADDW

scalar · alu

HL.MADDW computes a signed 64-bit word multiply-add result and publishes its sign-extended low and high 32-bit halves.

asl/scalar/alu/HL.MADDW.asl
PTO-SCALAR-HL-MIADD

HL.MIADD

scalar · alu

HL.MIADD multiplies SrcR by the unsigned 19-bit immediate, adds SrcL modulo 2^PTO_XLEN, and publishes the result.

asl/scalar/alu/HL.MIADD.asl
PTO-SCALAR-HL-MISUB

HL.MISUB

scalar · alu

HL.MISUB multiplies SrcR by the unsigned 19-bit immediate, subtracts the product from SrcL modulo 2^PTO_XLEN, and publishes the result.

asl/scalar/alu/HL.MISUB.asl
PTO-SCALAR-HL-MUL

HL.MUL

scalar · alu

HL.MUL computes a signed 128-bit scalar product and publishes its low half followed by its high half.

asl/scalar/alu/HL.MUL.asl
PTO-SCALAR-HL-MULU

HL.MULU

scalar · alu

HL.MULU computes an unsigned 128-bit scalar product and publishes its low half followed by its high half.

asl/scalar/alu/HL.MULU.asl
PTO-SCALAR-HL-ORI

HL.ORI

scalar · alu

HL.ORI applies XLEN bitwise inclusive-or to SrcL and a sign-extended 24-bit immediate.

asl/scalar/alu/HL.ORI.asl
PTO-SCALAR-HL-ORIW

HL.ORIW

scalar · alu

HL.ORIW applies word bitwise inclusive-or to SrcL[31:0] and the low word of a sign-extended 24-bit immediate, then sign-extends the 32-bit result.

asl/scalar/alu/HL.ORIW.asl
PTO-SCALAR-HL-PRF

HL.PRF

scalar · agu

HL.PRF snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint with no destination effect.

asl/scalar/agu/HL.PRF.asl
PTO-SCALAR-HL-PRF-A

HL.PRF.A

scalar · agu

HL.PRF.A snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint and publishes the effective address.

asl/scalar/agu/HL.PRF.A.asl
PTO-SCALAR-HL-PRFI-U

HL.PRFI.U

scalar · agu

HL.PRFI.U snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint with no destination effect.

asl/scalar/agu/HL.PRFI.U.asl
PTO-SCALAR-HL-PRFI-UA

HL.PRFI.UA

scalar · agu

HL.PRFI.UA snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint and publishes the effective address.

asl/scalar/agu/HL.PRFI.UA.asl
PTO-SCALAR-HL-REM

HL.REM

scalar · alu

HL.REM computes a signed XLEN remainder/quotient pair from source snapshots, then publishes remainder followed by quotient.

asl/scalar/alu/HL.REM.asl
PTO-SCALAR-HL-REMU

HL.REMU

scalar · alu

HL.REMU computes an unsigned XLEN remainder/quotient pair from source snapshots, then publishes remainder followed by quotient.

asl/scalar/alu/HL.REMU.asl
PTO-SCALAR-HL-REMUW

HL.REMUW

scalar · alu

HL.REMUW computes an unsigned low-32-bit remainder/quotient pair from source snapshots, then publishes remainder followed by quotient.

asl/scalar/alu/HL.REMUW.asl
PTO-SCALAR-HL-REMW

HL.REMW

scalar · alu

HL.REMW computes a signed low-32-bit remainder/quotient pair from source snapshots, then publishes remainder followed by quotient.

asl/scalar/alu/HL.REMW.asl
PTO-SCALAR-HL-SB-PCR

HL.SB.PCR

scalar · agu

HL.SB.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SB.PCR.asl
PTO-SCALAR-HL-SB-PO

HL.SB.PO

scalar · agu

HL.SB.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SB.PO.asl
PTO-SCALAR-HL-SB-PR

HL.SB.PR

scalar · agu

HL.SB.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SB.PR.asl
PTO-SCALAR-HL-SBI

HL.SBI

scalar · agu

HL.SBI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SBI.asl
PTO-SCALAR-HL-SBI-PO

HL.SBI.PO

scalar · agu

HL.SBI.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SBI.PO.asl
PTO-SCALAR-HL-SBI-PR

HL.SBI.PR

scalar · agu

HL.SBI.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/HL.SBI.PR.asl
PTO-SCALAR-HL-SBIP

HL.SBIP

scalar · agu

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

asl/scalar/agu/HL.SBIP.asl
PTO-SCALAR-HL-SBP

HL.SBP

scalar · agu

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

asl/scalar/agu/HL.SBP.asl
PTO-SCALAR-HL-SD-PCR

HL.SD.PCR

scalar · agu

HL.SD.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SD.PCR.asl
PTO-SCALAR-HL-SD-PO

HL.SD.PO

scalar · agu

HL.SD.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SD.PO.asl
PTO-SCALAR-HL-SD-PR

HL.SD.PR

scalar · agu

HL.SD.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SD.PR.asl
PTO-SCALAR-HL-SD-UPO

HL.SD.UPO

scalar · agu

HL.SD.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SD.UPO.asl
PTO-SCALAR-HL-SD-UPR

HL.SD.UPR

scalar · agu

HL.SD.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SD.UPR.asl
PTO-SCALAR-HL-SDI

HL.SDI

scalar · agu

HL.SDI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.asl
PTO-SCALAR-HL-SDI-PO

HL.SDI.PO

scalar · agu

HL.SDI.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.PO.asl
PTO-SCALAR-HL-SDI-PR

HL.SDI.PR

scalar · agu

HL.SDI.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.PR.asl
PTO-SCALAR-HL-SDI-U

HL.SDI.U

scalar · agu

HL.SDI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.U.asl
PTO-SCALAR-HL-SDI-UPO

HL.SDI.UPO

scalar · agu

HL.SDI.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.UPO.asl
PTO-SCALAR-HL-SDI-UPR

HL.SDI.UPR

scalar · agu

HL.SDI.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/HL.SDI.UPR.asl
PTO-SCALAR-HL-SDIP

HL.SDIP

scalar · agu

HL.SDIP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 8-byte values.

asl/scalar/agu/HL.SDIP.asl
PTO-SCALAR-HL-SDIP-U

HL.SDIP.U

scalar · agu

HL.SDIP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 8-byte values.

asl/scalar/agu/HL.SDIP.U.asl
PTO-SCALAR-HL-SDP

HL.SDP

scalar · agu

HL.SDP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 8-byte values.

asl/scalar/agu/HL.SDP.asl
PTO-SCALAR-HL-SDP-U

HL.SDP.U

scalar · agu

HL.SDP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 8-byte values.

asl/scalar/agu/HL.SDP.U.asl
PTO-SCALAR-HL-SETC-ANDI

HL.SETC.ANDI

scalar · bru

HL.SETC.ANDI - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/HL.SETC.ANDI.asl
PTO-SCALAR-HL-SETC-EQI

HL.SETC.EQI

scalar · bru

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

asl/scalar/bru/HL.SETC.EQI.asl
PTO-SCALAR-HL-SETC-GEI

HL.SETC.GEI

scalar · bru

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

asl/scalar/bru/HL.SETC.GEI.asl
PTO-SCALAR-HL-SETC-GEUI

HL.SETC.GEUI

scalar · bru

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

asl/scalar/bru/HL.SETC.GEUI.asl
PTO-SCALAR-HL-SETC-LTI

HL.SETC.LTI

scalar · bru

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

asl/scalar/bru/HL.SETC.LTI.asl
PTO-SCALAR-HL-SETC-LTUI

HL.SETC.LTUI

scalar · bru

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

asl/scalar/bru/HL.SETC.LTUI.asl
PTO-SCALAR-HL-SETC-NEI

HL.SETC.NEI

scalar · bru

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

asl/scalar/bru/HL.SETC.NEI.asl
PTO-SCALAR-HL-SETC-ORI

HL.SETC.ORI

scalar · bru

HL.SETC.ORI - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/HL.SETC.ORI.asl
PTO-SCALAR-HL-SETRET

HL.SETRET

scalar · bru

HL.SETRET - Write the architectural return address.

asl/scalar/bru/HL.SETRET.asl
PTO-SCALAR-HL-SH-PCR

HL.SH.PCR

scalar · agu

HL.SH.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SH.PCR.asl
PTO-SCALAR-HL-SH-PO

HL.SH.PO

scalar · agu

HL.SH.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SH.PO.asl
PTO-SCALAR-HL-SH-PR

HL.SH.PR

scalar · agu

HL.SH.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SH.PR.asl
PTO-SCALAR-HL-SH-UPO

HL.SH.UPO

scalar · agu

HL.SH.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SH.UPO.asl
PTO-SCALAR-HL-SH-UPR

HL.SH.UPR

scalar · agu

HL.SH.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SH.UPR.asl
PTO-SCALAR-HL-SHI

HL.SHI

scalar · agu

HL.SHI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.asl
PTO-SCALAR-HL-SHI-PO

HL.SHI.PO

scalar · agu

HL.SHI.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.PO.asl
PTO-SCALAR-HL-SHI-PR

HL.SHI.PR

scalar · agu

HL.SHI.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.PR.asl
PTO-SCALAR-HL-SHI-U

HL.SHI.U

scalar · agu

HL.SHI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.U.asl
PTO-SCALAR-HL-SHI-UPO

HL.SHI.UPO

scalar · agu

HL.SHI.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.UPO.asl
PTO-SCALAR-HL-SHI-UPR

HL.SHI.UPR

scalar · agu

HL.SHI.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/HL.SHI.UPR.asl
PTO-SCALAR-HL-SHIP

HL.SHIP

scalar · agu

HL.SHIP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 2-byte values.

asl/scalar/agu/HL.SHIP.asl
PTO-SCALAR-HL-SHIP-U

HL.SHIP.U

scalar · agu

HL.SHIP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 2-byte values.

asl/scalar/agu/HL.SHIP.U.asl
PTO-SCALAR-HL-SHP

HL.SHP

scalar · agu

HL.SHP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 2-byte values.

asl/scalar/agu/HL.SHP.asl
PTO-SCALAR-HL-SHP-U

HL.SHP.U

scalar · agu

HL.SHP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 2-byte values.

asl/scalar/agu/HL.SHP.U.asl
PTO-SCALAR-HL-SSRGET

HL.SSRGET

scalar · sys

HL.SSRGET reads the complete encoded system-register address.

asl/scalar/sys/HL.SSRGET.asl
PTO-SCALAR-HL-SSRSET

HL.SSRSET

scalar · sys

HL.SSRSET writes the complete encoded system-register address.

asl/scalar/sys/HL.SSRSET.asl
PTO-SCALAR-HL-SUBI

HL.SUBI

scalar · alu

HL.SUBI applies XLEN subtraction to SrcL and a zero-extended 24-bit immediate.

asl/scalar/alu/HL.SUBI.asl
PTO-SCALAR-HL-SUBIW

HL.SUBIW

scalar · alu

HL.SUBIW applies word subtraction to SrcL[31:0] and the low word of a zero-extended 24-bit immediate, then sign-extends the 32-bit result.

asl/scalar/alu/HL.SUBIW.asl
PTO-SCALAR-HL-SW-PCR

HL.SW.PCR

scalar · agu

HL.SW.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SW.PCR.asl
PTO-SCALAR-HL-SW-PO

HL.SW.PO

scalar · agu

HL.SW.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SW.PO.asl
PTO-SCALAR-HL-SW-PR

HL.SW.PR

scalar · agu

HL.SW.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SW.PR.asl
PTO-SCALAR-HL-SW-UPO

HL.SW.UPO

scalar · agu

HL.SW.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SW.UPO.asl
PTO-SCALAR-HL-SW-UPR

HL.SW.UPR

scalar · agu

HL.SW.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SW.UPR.asl
PTO-SCALAR-HL-SWI

HL.SWI

scalar · agu

HL.SWI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.asl
PTO-SCALAR-HL-SWI-PO

HL.SWI.PO

scalar · agu

HL.SWI.PO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.PO.asl
PTO-SCALAR-HL-SWI-PR

HL.SWI.PR

scalar · agu

HL.SWI.PR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.PR.asl
PTO-SCALAR-HL-SWI-U

HL.SWI.U

scalar · agu

HL.SWI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.U.asl
PTO-SCALAR-HL-SWI-UPO

HL.SWI.UPO

scalar · agu

HL.SWI.UPO snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.UPO.asl
PTO-SCALAR-HL-SWI-UPR

HL.SWI.UPR

scalar · agu

HL.SWI.UPR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/HL.SWI.UPR.asl
PTO-SCALAR-HL-SWIP

HL.SWIP

scalar · agu

HL.SWIP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 4-byte values.

asl/scalar/agu/HL.SWIP.asl
PTO-SCALAR-HL-SWIP-U

HL.SWIP.U

scalar · agu

HL.SWIP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 4-byte values.

asl/scalar/agu/HL.SWIP.U.asl
PTO-SCALAR-HL-SWP

HL.SWP

scalar · agu

HL.SWP snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 4-byte values.

asl/scalar/agu/HL.SWP.asl
PTO-SCALAR-HL-SWP-U

HL.SWP.U

scalar · agu

HL.SWP.U snapshots its scalar sources, forms its encoded address, and stores two adjacent aligned little-endian 4-byte values.

asl/scalar/agu/HL.SWP.U.asl
PTO-SCALAR-HL-XORI

HL.XORI

scalar · alu

HL.XORI applies XLEN bitwise exclusive-or to SrcL and a sign-extended 24-bit immediate.

asl/scalar/alu/HL.XORI.asl
PTO-SCALAR-HL-XORIW

HL.XORIW

scalar · alu

HL.XORIW applies word bitwise exclusive-or to SrcL[31:0] and the low word of a sign-extended 24-bit immediate, then sign-extends the 32-bit result.

asl/scalar/alu/HL.XORIW.asl
PTO-SCALAR-IC-IALL

IC.IALL

scalar · sys

IC.IALL completes the instruction-cache all-entry scope maintenance operation synchronously.

asl/scalar/sys/IC.IALL.asl
PTO-SCALAR-IC-IVA

IC.IVA

scalar · sys

IC.IVA completes the instruction-cache virtual-address scope token maintenance operation synchronously.

asl/scalar/sys/IC.IVA.asl
PTO-SCALAR-J

J

scalar · bru

J - Jump to the PC-relative target.

asl/scalar/bru/J.asl
PTO-SCALAR-JR

JR

scalar · bru

JR - Jump to the scalar-register target.

asl/scalar/bru/JR.asl
PTO-SCALAR-LB

LB

scalar · agu

LB snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LB.asl
PTO-SCALAR-LB-PCR

LB.PCR

scalar · agu

LB.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LB.PCR.asl
PTO-SCALAR-LBI

LBI

scalar · agu

LBI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LBI.asl
PTO-SCALAR-LBU

LBU

scalar · agu

LBU snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LBU.asl
PTO-SCALAR-LBU-PCR

LBU.PCR

scalar · agu

LBU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LBU.PCR.asl
PTO-SCALAR-LBUI

LBUI

scalar · agu

LBUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 1-byte value.

asl/scalar/agu/LBUI.asl
PTO-SCALAR-LD

LD

scalar · agu

LD snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/LD.asl
PTO-SCALAR-LD-ADD

LD.ADD

scalar · amo

LD.ADD atomically stores the width-sized modular sum and publishes the prior memory value.

asl/scalar/amo/LD.ADD.asl
PTO-SCALAR-LD-AND

LD.AND

scalar · amo

LD.AND atomically stores the width-sized bitwise AND and publishes the prior memory value.

asl/scalar/amo/LD.AND.asl
PTO-SCALAR-LD-OR

LD.OR

scalar · amo

LD.OR atomically stores the width-sized bitwise OR and publishes the prior memory value.

asl/scalar/amo/LD.OR.asl
PTO-SCALAR-LD-PCR

LD.PCR

scalar · agu

LD.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/LD.PCR.asl
PTO-SCALAR-LD-SMAX

LD.SMAX

scalar · amo

LD.SMAX atomically stores the width-sized signed maximum and publishes the prior memory value.

asl/scalar/amo/LD.SMAX.asl
PTO-SCALAR-LD-SMIN

LD.SMIN

scalar · amo

LD.SMIN atomically stores the width-sized signed minimum and publishes the prior memory value.

asl/scalar/amo/LD.SMIN.asl
PTO-SCALAR-LD-UMAX

LD.UMAX

scalar · amo

LD.UMAX atomically stores the width-sized unsigned maximum and publishes the prior memory value.

asl/scalar/amo/LD.UMAX.asl
PTO-SCALAR-LD-UMIN

LD.UMIN

scalar · amo

LD.UMIN atomically stores the width-sized unsigned minimum and publishes the prior memory value.

asl/scalar/amo/LD.UMIN.asl
PTO-SCALAR-LD-XOR

LD.XOR

scalar · amo

LD.XOR atomically stores the width-sized bitwise XOR and publishes the prior memory value.

asl/scalar/amo/LD.XOR.asl
PTO-SCALAR-LDI

LDI

scalar · agu

LDI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/LDI.asl
PTO-SCALAR-LDI-U

LDI.U

scalar · agu

LDI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 8-byte value.

asl/scalar/agu/LDI.U.asl
PTO-SCALAR-LH

LH

scalar · agu

LH snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LH.asl
PTO-SCALAR-LH-PCR

LH.PCR

scalar · agu

LH.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LH.PCR.asl
PTO-SCALAR-LHI

LHI

scalar · agu

LHI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHI.asl
PTO-SCALAR-LHI-U

LHI.U

scalar · agu

LHI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHI.U.asl
PTO-SCALAR-LHU

LHU

scalar · agu

LHU snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHU.asl
PTO-SCALAR-LHU-PCR

LHU.PCR

scalar · agu

LHU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHU.PCR.asl
PTO-SCALAR-LHUI

LHUI

scalar · agu

LHUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHUI.asl
PTO-SCALAR-LHUI-U

LHUI.U

scalar · agu

LHUI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 2-byte value.

asl/scalar/agu/LHUI.U.asl
PTO-SCALAR-LR-B

LR.B

scalar · amo

LR.B loads one byte, establishes a 64-byte-line reservation, and publishes the prior value.

asl/scalar/amo/LR.B.asl
PTO-SCALAR-LR-D

LR.D

scalar · amo

LR.D loads one doubleword, establishes a 64-byte-line reservation, and publishes the prior value.

asl/scalar/amo/LR.D.asl
PTO-SCALAR-LR-H

LR.H

scalar · amo

LR.H loads one halfword, establishes a 64-byte-line reservation, and publishes the prior value.

asl/scalar/amo/LR.H.asl
PTO-SCALAR-LR-W

LR.W

scalar · amo

LR.W loads one word, establishes a 64-byte-line reservation, and publishes the prior value.

asl/scalar/amo/LR.W.asl
PTO-SCALAR-LSRGET

LSRGET

scalar · sys

LSRGET reads one assigned word from the active block BARG view.

asl/scalar/sys/LSRGET.asl
PTO-SCALAR-LUI

LUI

scalar · alu

LUI sign-extends its encoded 20-bit immediate to XLEN, shifts it left by 12 bits, and publishes the result through RegDst.

asl/scalar/alu/LUI.asl
PTO-SCALAR-LW

LW

scalar · agu

LW snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LW.asl
PTO-SCALAR-LW-ADD

LW.ADD

scalar · amo

LW.ADD atomically stores the modular 32-bit sum and publishes the prior memory value.

asl/scalar/amo/LW.ADD.asl
PTO-SCALAR-LW-AND

LW.AND

scalar · amo

LW.AND atomically stores the width-sized bitwise AND and publishes the prior memory value.

asl/scalar/amo/LW.AND.asl
PTO-SCALAR-LW-OR

LW.OR

scalar · amo

LW.OR atomically stores the width-sized bitwise OR and publishes the prior memory value.

asl/scalar/amo/LW.OR.asl
PTO-SCALAR-LW-PCR

LW.PCR

scalar · agu

LW.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LW.PCR.asl
PTO-SCALAR-LW-SMAX

LW.SMAX

scalar · amo

LW.SMAX atomically stores the width-sized signed maximum and publishes the prior memory value.

asl/scalar/amo/LW.SMAX.asl
PTO-SCALAR-LW-SMIN

LW.SMIN

scalar · amo

LW.SMIN atomically stores the width-sized signed minimum and publishes the prior memory value.

asl/scalar/amo/LW.SMIN.asl
PTO-SCALAR-LW-UMAX

LW.UMAX

scalar · amo

LW.UMAX atomically stores the width-sized unsigned maximum and publishes the prior memory value.

asl/scalar/amo/LW.UMAX.asl
PTO-SCALAR-LW-UMIN

LW.UMIN

scalar · amo

LW.UMIN atomically stores the width-sized unsigned minimum and publishes the prior memory value.

asl/scalar/amo/LW.UMIN.asl
PTO-SCALAR-LW-XOR

LW.XOR

scalar · amo

LW.XOR atomically stores the width-sized bitwise XOR and publishes the prior memory value.

asl/scalar/amo/LW.XOR.asl
PTO-SCALAR-LWI

LWI

scalar · agu

LWI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWI.asl
PTO-SCALAR-LWI-U

LWI.U

scalar · agu

LWI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWI.U.asl
PTO-SCALAR-LWU

LWU

scalar · agu

LWU snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWU.asl
PTO-SCALAR-LWU-PCR

LWU.PCR

scalar · agu

LWU.PCR snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWU.PCR.asl
PTO-SCALAR-LWUI

LWUI

scalar · agu

LWUI snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWUI.asl
PTO-SCALAR-LWUI-U

LWUI.U

scalar · agu

LWUI.U snapshots its scalar sources, forms its encoded address, and loads one aligned little-endian 4-byte value.

asl/scalar/agu/LWUI.U.asl
PTO-SCALAR-MADD

MADD

scalar · alu

MADD adds a snapshotted XLEN addend to the low XLEN scalar product modulo 2^PTO_XLEN and publishes the result.

asl/scalar/alu/MADD.asl
PTO-SCALAR-MADDW

MADDW

scalar · alu

MADDW adds low 32-bit source values modulo 2^32, sign-extends the accumulated result to XLEN, and publishes it.

asl/scalar/alu/MADDW.asl
PTO-SCALAR-MAX

MAX

scalar · alu

MAX performs a signed full-XLEN comparison and publishes the complete bit pattern of the maximum operand.

asl/scalar/alu/MAX.asl
PTO-SCALAR-MAXU

MAXU

scalar · alu

MAXU performs an unsigned full-XLEN comparison and publishes the complete bit pattern of the maximum operand.

asl/scalar/alu/MAXU.asl
PTO-SCALAR-MIN

MIN

scalar · alu

MIN performs a signed full-XLEN comparison and publishes the complete bit pattern of the minimum operand.

asl/scalar/alu/MIN.asl
PTO-SCALAR-MINU

MINU

scalar · alu

MINU performs an unsigned full-XLEN comparison and publishes the complete bit pattern of the minimum operand.

asl/scalar/alu/MINU.asl
PTO-SCALAR-MUL

MUL

scalar · alu

MUL computes the low XLEN bits of the complete scalar product and publishes the result.

asl/scalar/alu/MUL.asl
PTO-SCALAR-MULU

MULU

scalar · alu

MULU computes the low XLEN bits of the complete unsigned scalar product and publishes the result.

asl/scalar/alu/MULU.asl
PTO-SCALAR-MULUW

MULUW

scalar · alu

MULUW multiplies the source low 32-bit values, retains the low 32 product bits, sign-extends them to XLEN, and publishes the result.

asl/scalar/alu/MULUW.asl
PTO-SCALAR-MULW

MULW

scalar · alu

MULW multiplies the source low 32-bit values, retains the low 32 product bits, sign-extends them to XLEN, and publishes the result.

asl/scalar/alu/MULW.asl
PTO-SCALAR-OR

OR

scalar · alu

OR applies the selected right-source transformation before its encoded logical left shift, performs bitwise inclusive OR, and publishes the PTO_XLEN result.

asl/scalar/alu/OR.asl
PTO-SCALAR-ORI

ORI

scalar · alu

ORI performs XLEN disjunction with a sign-extended signed 12-bit immediate.

asl/scalar/alu/ORI.asl
PTO-SCALAR-ORIW

ORIW

scalar · alu

ORIW performs word disjunction with a signed 12-bit immediate and sign-extends the result.

asl/scalar/alu/ORIW.asl
PTO-SCALAR-ORW

ORW

scalar · alu

ORW applies the selected right-source transformation before its encoded logical left shift, performs word bitwise inclusive OR, and publishes the low 32-bit result sign-extended to XLEN.

asl/scalar/alu/ORW.asl
PTO-SCALAR-PRF

PRF

scalar · agu

PRF snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint with no destination effect.

asl/scalar/agu/PRF.asl
PTO-SCALAR-PRFI-U

PRFI.U

scalar · agu

PRFI.U snapshots its scalar sources, forms its encoded address, and issues a non-binding 1-byte-granularity prefetch hint with no destination effect.

asl/scalar/agu/PRFI.U.asl
PTO-SCALAR-REM

REM

scalar · alu

REM computes the signed XLEN remainder using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/REM.asl
PTO-SCALAR-REMU

REMU

scalar · alu

REMU computes the unsigned XLEN remainder using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/REMU.asl
PTO-SCALAR-REMUW

REMUW

scalar · alu

REMUW computes the unsigned low-32-bit remainder using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/REMUW.asl
PTO-SCALAR-REMW

REMW

scalar · alu

REMW computes the signed low-32-bit remainder using total fixed-width semantics and publishes the XLEN result.

asl/scalar/alu/REMW.asl
PTO-SCALAR-REV

REV

scalar · alu

REV reverses the bytes of an independently selected wrapping scalar field, zero-fills high result bits, and returns zero for a non-byte width.

asl/scalar/alu/REV.asl
PTO-SCALAR-SB

SB

scalar · agu

SB snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/SB.asl
PTO-SCALAR-SB-PCR

SB.PCR

scalar · agu

SB.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/SB.PCR.asl
PTO-SCALAR-SBI

SBI

scalar · agu

SBI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 1-byte value.

asl/scalar/agu/SBI.asl
PTO-SCALAR-SC-B

SC.B

scalar · amo

SC.B conditionally stores one byte when the local 64-byte-line reservation matches.

asl/scalar/amo/SC.B.asl
PTO-SCALAR-SC-D

SC.D

scalar · amo

SC.D conditionally stores one doubleword when the local 64-byte-line reservation matches.

asl/scalar/amo/SC.D.asl
PTO-SCALAR-SC-H

SC.H

scalar · amo

SC.H conditionally stores one halfword when the local 64-byte-line reservation matches.

asl/scalar/amo/SC.H.asl
PTO-SCALAR-SC-W

SC.W

scalar · amo

SC.W conditionally stores one word when the local 64-byte-line reservation matches.

asl/scalar/amo/SC.W.asl
PTO-SCALAR-SCVTF

SCVTF

scalar · fsu

SCVTF converts a signed 64-bit or sign-extended signed 32-bit source to floating carrier code 0 through 14 through the active numeric profile.

asl/scalar/fsu/SCVTF.asl
PTO-SCALAR-SD

SD

scalar · agu

SD snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/SD.asl
PTO-SCALAR-SD-ADD

SD.ADD

scalar · amo

SD.ADD atomically replaces the aligned 64-bit memory value with its modular sum with SrcR; it does not publish the old value.

asl/scalar/amo/SD.ADD.asl
PTO-SCALAR-SD-AND

SD.AND

scalar · amo

SD.AND atomically replaces the aligned 64-bit memory value with its bitwise AND with SrcR; it does not publish the old value.

asl/scalar/amo/SD.AND.asl
PTO-SCALAR-SD-OR

SD.OR

scalar · amo

SD.OR atomically replaces the aligned 64-bit memory value with its bitwise OR with SrcR; it does not publish the old value.

asl/scalar/amo/SD.OR.asl
PTO-SCALAR-SD-PCR

SD.PCR

scalar · agu

SD.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/SD.PCR.asl
PTO-SCALAR-SD-SMAX

SD.SMAX

scalar · amo

SD.SMAX atomically replaces the aligned 64-bit memory value with its signed maximum with SrcR; it does not publish the old value.

asl/scalar/amo/SD.SMAX.asl
PTO-SCALAR-SD-SMIN

SD.SMIN

scalar · amo

SD.SMIN atomically replaces the aligned 64-bit memory value with its signed minimum with SrcR; it does not publish the old value.

asl/scalar/amo/SD.SMIN.asl
PTO-SCALAR-SD-U

SD.U

scalar · agu

SD.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/SD.U.asl
PTO-SCALAR-SD-UMAX

SD.UMAX

scalar · amo

SD.UMAX atomically replaces the aligned 64-bit memory value with its unsigned maximum with SrcR; it does not publish the old value.

asl/scalar/amo/SD.UMAX.asl
PTO-SCALAR-SD-UMIN

SD.UMIN

scalar · amo

SD.UMIN atomically replaces the aligned 64-bit memory value with its unsigned minimum with SrcR; it does not publish the old value.

asl/scalar/amo/SD.UMIN.asl
PTO-SCALAR-SD-XOR

SD.XOR

scalar · amo

SD.XOR atomically replaces the aligned 64-bit memory value with its bitwise XOR with SrcR; it does not publish the old value.

asl/scalar/amo/SD.XOR.asl
PTO-SCALAR-SDI

SDI

scalar · agu

SDI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/SDI.asl
PTO-SCALAR-SDI-U

SDI.U

scalar · agu

SDI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 8-byte value.

asl/scalar/agu/SDI.U.asl
PTO-SCALAR-SETC-AND

SETC.AND

scalar · bru

SETC.AND - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/SETC.AND.asl
PTO-SCALAR-SETC-ANDI

SETC.ANDI

scalar · bru

SETC.ANDI - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/SETC.ANDI.asl
PTO-SCALAR-SETC-EQ

SETC.EQ

scalar · bru

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

asl/scalar/bru/SETC.EQ.asl
PTO-SCALAR-SETC-EQI

SETC.EQI

scalar · bru

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

asl/scalar/bru/SETC.EQI.asl
PTO-SCALAR-SETC-GE

SETC.GE

scalar · bru

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

asl/scalar/bru/SETC.GE.asl
PTO-SCALAR-SETC-GEI

SETC.GEI

scalar · bru

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

asl/scalar/bru/SETC.GEI.asl
PTO-SCALAR-SETC-GEU

SETC.GEU

scalar · bru

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

asl/scalar/bru/SETC.GEU.asl
PTO-SCALAR-SETC-GEUI

SETC.GEUI

scalar · bru

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

asl/scalar/bru/SETC.GEUI.asl
PTO-SCALAR-SETC-LT

SETC.LT

scalar · bru

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

asl/scalar/bru/SETC.LT.asl
PTO-SCALAR-SETC-LTI

SETC.LTI

scalar · bru

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

asl/scalar/bru/SETC.LTI.asl
PTO-SCALAR-SETC-LTU

SETC.LTU

scalar · bru

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

asl/scalar/bru/SETC.LTU.asl
PTO-SCALAR-SETC-LTUI

SETC.LTUI

scalar · bru

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

asl/scalar/bru/SETC.LTUI.asl
PTO-SCALAR-SETC-NE

SETC.NE

scalar · bru

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

asl/scalar/bru/SETC.NE.asl
PTO-SCALAR-SETC-NEI

SETC.NEI

scalar · bru

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

asl/scalar/bru/SETC.NEI.asl
PTO-SCALAR-SETC-OR

SETC.OR

scalar · bru

SETC.OR - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/SETC.OR.asl
PTO-SCALAR-SETC-ORI

SETC.ORI

scalar · bru

SETC.ORI - Combine scalar comparison results and update the bundle commit condition.

asl/scalar/bru/SETC.ORI.asl
PTO-SCALAR-SETC-TGT

SETC.TGT

scalar · sys

SETC.TGT snapshots SrcL into BARG.BPCN for the active Standard or Floating block.

asl/scalar/sys/SETC.TGT.asl
PTO-SCALAR-SETRET

SETRET

scalar · bru

SETRET - Write the architectural return address.

asl/scalar/bru/SETRET.asl
PTO-SCALAR-SH

SH

scalar · agu

SH snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/SH.asl
PTO-SCALAR-SH-PCR

SH.PCR

scalar · agu

SH.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/SH.PCR.asl
PTO-SCALAR-SH-U

SH.U

scalar · agu

SH.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/SH.U.asl
PTO-SCALAR-SHI

SHI

scalar · agu

SHI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/SHI.asl
PTO-SCALAR-SHI-U

SHI.U

scalar · agu

SHI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 2-byte value.

asl/scalar/agu/SHI.U.asl
PTO-SCALAR-SLL

SLL

scalar · alu

SLL performs a logical left shift of the PTO_XLEN source by the low six bits of the snapshotted SrcR; the XLEN result is published directly.

asl/scalar/alu/SLL.asl
PTO-SCALAR-SLLI

SLLI

scalar · alu

SLLI performs an XLEN logical left shift by a six-bit immediate.

asl/scalar/alu/SLLI.asl
PTO-SCALAR-SLLIW

SLLIW

scalar · alu

SLLIW performs a word logical left shift and sign-extends the result.

asl/scalar/alu/SLLIW.asl
PTO-SCALAR-SLLW

SLLW

scalar · alu

SLLW performs a logical left shift of the low 32-bit source by the low five bits of the snapshotted SrcR; the 32-bit result is sign-extended to XLEN.

asl/scalar/alu/SLLW.asl
PTO-SCALAR-SRA

SRA

scalar · alu

SRA performs a arithmetic right shift of the PTO_XLEN source by the low six bits of the snapshotted SrcR; the XLEN result is published directly.

asl/scalar/alu/SRA.asl
PTO-SCALAR-SRAI

SRAI

scalar · alu

SRAI performs an XLEN arithmetic right shift by a six-bit immediate.

asl/scalar/alu/SRAI.asl
PTO-SCALAR-SRAIW

SRAIW

scalar · alu

SRAIW performs a word arithmetic right shift and sign-extends the result.

asl/scalar/alu/SRAIW.asl
PTO-SCALAR-SRAW

SRAW

scalar · alu

SRAW performs a arithmetic right shift of the low 32-bit source by the low five bits of the snapshotted SrcR; the 32-bit result is sign-extended to XLEN.

asl/scalar/alu/SRAW.asl
PTO-SCALAR-SRL

SRL

scalar · alu

SRL performs a logical right shift of the PTO_XLEN source by the low six bits of the snapshotted SrcR; the XLEN result is published directly.

asl/scalar/alu/SRL.asl
PTO-SCALAR-SRLI

SRLI

scalar · alu

SRLI performs an XLEN logical right shift by a six-bit immediate.

asl/scalar/alu/SRLI.asl
PTO-SCALAR-SRLIW

SRLIW

scalar · alu

SRLIW performs a word logical right shift and sign-extends the result.

asl/scalar/alu/SRLIW.asl
PTO-SCALAR-SRLW

SRLW

scalar · alu

SRLW performs a logical right shift of the low 32-bit source by the low five bits of the snapshotted SrcR; the 32-bit result is sign-extended to XLEN.

asl/scalar/alu/SRLW.asl
PTO-SCALAR-SSRGET

SSRGET

scalar · sys

SSRGET reads the complete encoded system-register address.

asl/scalar/sys/SSRGET.asl
PTO-SCALAR-SSRSET

SSRSET

scalar · sys

SSRSET writes the complete encoded system-register address.

asl/scalar/sys/SSRSET.asl
PTO-SCALAR-SSRSWAP

SSRSWAP

scalar · sys

SSRSWAP atomically swaps the complete encoded system-register address.

asl/scalar/sys/SSRSWAP.asl
PTO-SCALAR-SUB

SUB

scalar · alu

SUB applies the selected right-source transformation before its encoded logical left shift, performs fixed-width subtraction, and publishes the PTO_XLEN result.

asl/scalar/alu/SUB.asl
PTO-SCALAR-SUBI

SUBI

scalar · alu

SUBI performs unsigned-immediate XLEN subtraction with Reg5 source and destination selection.

asl/scalar/alu/SUBI.asl
PTO-SCALAR-SUBIW

SUBIW

scalar · alu

SUBIW performs unsigned-immediate word subtraction and sign-extends the result to XLEN.

asl/scalar/alu/SUBIW.asl
PTO-SCALAR-SUBW

SUBW

scalar · alu

SUBW applies the selected right-source transformation before its encoded logical left shift, performs fixed-width word subtraction, and publishes the low 32-bit result sign-extended to XLEN.

asl/scalar/alu/SUBW.asl
PTO-SCALAR-SW

SW

scalar · agu

SW snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/SW.asl
PTO-SCALAR-SW-ADD

SW.ADD

scalar · amo

SW.ADD atomically replaces the aligned 32-bit memory value with its modular sum with SrcR; it does not publish the old value.

asl/scalar/amo/SW.ADD.asl
PTO-SCALAR-SW-AND

SW.AND

scalar · amo

SW.AND atomically replaces the aligned 32-bit memory value with its bitwise AND with SrcR; it does not publish the old value.

asl/scalar/amo/SW.AND.asl
PTO-SCALAR-SW-OR

SW.OR

scalar · amo

SW.OR atomically replaces the aligned 32-bit memory value with its bitwise OR with SrcR; it does not publish the old value.

asl/scalar/amo/SW.OR.asl
PTO-SCALAR-SW-PCR

SW.PCR

scalar · agu

SW.PCR snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/SW.PCR.asl
PTO-SCALAR-SW-SMAX

SW.SMAX

scalar · amo

SW.SMAX atomically replaces the aligned 32-bit memory value with its signed maximum with SrcR; it does not publish the old value.

asl/scalar/amo/SW.SMAX.asl
PTO-SCALAR-SW-SMIN

SW.SMIN

scalar · amo

SW.SMIN atomically replaces the aligned 32-bit memory value with its signed minimum with SrcR; it does not publish the old value.

asl/scalar/amo/SW.SMIN.asl
PTO-SCALAR-SW-U

SW.U

scalar · agu

SW.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/SW.U.asl
PTO-SCALAR-SW-UMAX

SW.UMAX

scalar · amo

SW.UMAX atomically replaces the aligned 32-bit memory value with its unsigned maximum with SrcR; it does not publish the old value.

asl/scalar/amo/SW.UMAX.asl
PTO-SCALAR-SW-UMIN

SW.UMIN

scalar · amo

SW.UMIN atomically replaces the aligned 32-bit memory value with its unsigned minimum with SrcR; it does not publish the old value.

asl/scalar/amo/SW.UMIN.asl
PTO-SCALAR-SW-XOR

SW.XOR

scalar · amo

SW.XOR atomically replaces the aligned 32-bit memory value with its bitwise XOR with SrcR; it does not publish the old value.

asl/scalar/amo/SW.XOR.asl
PTO-SCALAR-SWAPB

SWAPB

scalar · amo

SWAPB atomically replaces one byte and publishes the prior value.

asl/scalar/amo/SWAPB.asl
PTO-SCALAR-SWAPD

SWAPD

scalar · amo

SWAPD atomically replaces one doubleword and publishes the prior value.

asl/scalar/amo/SWAPD.asl
PTO-SCALAR-SWAPH

SWAPH

scalar · amo

SWAPH atomically replaces one halfword and publishes the prior value.

asl/scalar/amo/SWAPH.asl
PTO-SCALAR-SWAPW

SWAPW

scalar · amo

SWAPW atomically replaces one word and publishes the prior value.

asl/scalar/amo/SWAPW.asl
PTO-SCALAR-SWI

SWI

scalar · agu

SWI snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/SWI.asl
PTO-SCALAR-SWI-U

SWI.U

scalar · agu

SWI.U snapshots its scalar sources, forms its encoded address, and stores one aligned little-endian 4-byte value.

asl/scalar/agu/SWI.U.asl
PTO-SCALAR-TLB-IA

TLB.IA

scalar · sys

TLB.IA completes the 16-bit ASID token in bits 15:0 maintenance operation synchronously.

asl/scalar/sys/TLB.IA.asl
PTO-SCALAR-TLB-IALL

TLB.IALL

scalar · sys

TLB.IALL completes the all translation entries maintenance operation synchronously.

asl/scalar/sys/TLB.IALL.asl
PTO-SCALAR-TLB-IAV

TLB.IAV

scalar · sys

TLB.IAV completes the canonical 48-bit virtual address with ASID scope maintenance operation synchronously.

asl/scalar/sys/TLB.IAV.asl
PTO-SCALAR-TLB-IV

TLB.IV

scalar · sys

TLB.IV completes the canonical 48-bit virtual address maintenance operation synchronously.

asl/scalar/sys/TLB.IV.asl
PTO-SCALAR-UCVTF

UCVTF

scalar · fsu

UCVTF converts an unsigned 64-bit or zero-extended unsigned 32-bit source to floating carrier code 0 through 14 through the active numeric profile.

asl/scalar/fsu/UCVTF.asl
PTO-SCALAR-XOR

XOR

scalar · alu

XOR applies the selected right-source transformation before its encoded logical left shift, performs bitwise exclusive OR, and publishes the PTO_XLEN result.

asl/scalar/alu/XOR.asl
PTO-SCALAR-XORI

XORI

scalar · alu

XORI performs XLEN exclusive-or with a sign-extended signed 12-bit immediate.

asl/scalar/alu/XORI.asl
PTO-SCALAR-XORIW

XORIW

scalar · alu

XORIW performs word exclusive-or with a signed 12-bit immediate and sign-extends the result.

asl/scalar/alu/XORIW.asl
PTO-SCALAR-XORW

XORW

scalar · alu

XORW applies the selected right-source transformation before its encoded logical left shift, performs word bitwise exclusive OR, and publishes the low 32-bit result sign-extended to XLEN.

asl/scalar/alu/XORW.asl
PTO-TILE-GMOV

GMOV

tile · memory-and-data-movement / pe-movement

Copies peer-resolved Local fragments within a Core4 collective.

asl/tile/memory-and-data-movement/pe-movement/GMOV.asl
PTO-TILE-MGATHER

MGATHER

tile · memory-and-data-movement / irregular

Gather GM elements at signed or unsigned byte displacements into a newly allocated Local Tile.

asl/tile/memory-and-data-movement/irregular/MGATHER.asl
PTO-TILE-MGATHER-CAS

MGATHER_CAS

tile · memory-and-data-movement / irregular

Atomically compare and conditionally replace GM elements at signed or unsigned byte displacements.

asl/tile/memory-and-data-movement/irregular/MGATHER_CAS.asl
PTO-TILE-MGATHER-MASK

MGATHER_MASK

tile · memory-and-data-movement / irregular

Gather enabled GM elements at byte displacements and pad disabled destination lanes.

asl/tile/memory-and-data-movement/irregular/MGATHER_MASK.asl
PTO-TILE-MSCATTER

MSCATTER

tile · memory-and-data-movement / irregular

Scatter the valid source region to GM at signed or unsigned byte displacements.

asl/tile/memory-and-data-movement/irregular/MSCATTER.asl
PTO-TILE-MSCATTER-MASK

MSCATTER_MASK

tile · memory-and-data-movement / irregular

Scatter exact-one source lanes to GM at signed or unsigned byte displacements.

asl/tile/memory-and-data-movement/irregular/MSCATTER_MASK.asl
PTO-TILE-TABS

TABS

tile · elementwise-tile-tile / logical

Typed elementwise absolute value over one Local Tile source.

asl/tile/elementwise-tile-tile/logical/TABS.asl
PTO-TILE-TADD

TADD

tile · elementwise-tile-tile / arithmetic

Add corresponding elements of two Local Tiles.

asl/tile/elementwise-tile-tile/arithmetic/TADD.asl
PTO-TILE-TADDS

TADDS

tile · tile-scalar-and-immediate / arithmetic

Add one private-GPR scalar to every valid element of a Local Tile.

asl/tile/tile-scalar-and-immediate/arithmetic/TADDS.asl
PTO-TILE-TAND

TAND

tile · elementwise-tile-tile / logical

Compute the bitwise AND of corresponding integer elements.

asl/tile/elementwise-tile-tile/logical/TAND.asl
PTO-TILE-TANDS

TANDS

tile · tile-scalar-and-immediate / logical

Bitwise-AND every valid integer Tile element with one scalar.

asl/tile/tile-scalar-and-immediate/logical/TANDS.asl
PTO-TILE-TCI

TCI

tile · irregular-and-complex / initialization

Generate one ascending or descending typed integer sequence in a new single-row Local Tile.

asl/tile/irregular-and-complex/initialization/TCI.asl
PTO-TILE-TCMP

TCMP

tile · elementwise-tile-tile / logical

Compare two Local numeric Tiles and produce one packed Local predicate Tile.

asl/tile/elementwise-tile-tile/logical/TCMP.asl
PTO-TILE-TCMPS

TCMPS

tile · tile-scalar-and-immediate / logical

Compare each valid Local Tile element with one private-GPR scalar and produce a packed predicate Tile.

asl/tile/tile-scalar-and-immediate/logical/TCMPS.asl
PTO-TILE-TCOLARGMAX

TCOLARGMAX

tile · reduce-and-expand / column-reduction

Reduce each valid column to its lowest maximum row index with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLARGMAX.asl
PTO-TILE-TCOLARGMIN

TCOLARGMIN

tile · reduce-and-expand / column-reduction

Reduce each valid column to its lowest minimum row index with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLARGMIN.asl
PTO-TILE-TCOLEXPAND

TCOLEXPAND

tile · reduce-and-expand / column-expansion

Broadcast one one-row vector source bit-for-bit into a new Local destination.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPAND.asl
PTO-TILE-TCOLEXPANDADD

TCOLEXPANDADD

tile · reduce-and-expand / column-expansion

Add a broadcast one-row vector to a full-shape source with exact typed semantics.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDADD.asl
PTO-TILE-TCOLEXPANDDIV

TCOLEXPANDDIV

tile · reduce-and-expand / column-expansion

Divide a full-shape source by a broadcast one-row vector with exact typed semantics.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDDIV.asl
PTO-TILE-TCOLEXPANDEXPDIF

TCOLEXPANDEXPDIF

tile · reduce-and-expand / column-expansion

Exponentiate the typed difference between a full-shape source and a broadcast one-row vector.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDEXPDIF.asl
PTO-TILE-TCOLEXPANDMAX

TCOLEXPANDMAX

tile · reduce-and-expand / column-expansion

Take the typed maximum of a full-shape source and a broadcast one-row vector.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMAX.asl
PTO-TILE-TCOLEXPANDMIN

TCOLEXPANDMIN

tile · reduce-and-expand / column-expansion

Take the typed minimum of a full-shape source and a broadcast one-row vector.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMIN.asl
PTO-TILE-TCOLEXPANDMUL

TCOLEXPANDMUL

tile · reduce-and-expand / column-expansion

Multiply a full-shape source by a broadcast one-row vector with exact typed semantics.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDMUL.asl
PTO-TILE-TCOLEXPANDSUB

TCOLEXPANDSUB

tile · reduce-and-expand / column-expansion

Subtract a broadcast one-row vector from a full-shape source with exact typed semantics.

asl/tile/reduce-and-expand/column-expansion/TCOLEXPANDSUB.asl
PTO-TILE-TCOLMAX

TCOLMAX

tile · reduce-and-expand / column-reduction

Reduce each valid column to its maximum with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLMAX.asl
PTO-TILE-TCOLMIN

TCOLMIN

tile · reduce-and-expand / column-reduction

Reduce each valid column to its minimum with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLMIN.asl
PTO-TILE-TCOLPROD

TCOLPROD

tile · reduce-and-expand / column-reduction

Reduce each valid column to its product with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLPROD.asl
PTO-TILE-TCOLSUM

TCOLSUM

tile · reduce-and-expand / column-reduction

Reduce each valid column to its sum with exact typed row-order semantics.

asl/tile/reduce-and-expand/column-reduction/TCOLSUM.asl
PTO-TILE-TCONCAT

TCONCAT

tile · layout-and-rearrangement / layout

Concatenate two source Tiles along columns.

asl/tile/layout-and-rearrangement/layout/TCONCAT.asl
PTO-TILE-TCVT

TCVT

tile · elementwise-tile-tile / format-conversion

Convert every valid source element to a separately typed and laid-out Local destination.

asl/tile/elementwise-tile-tile/format-conversion/TCVT.asl
PTO-TILE-TDEQUANT

TDEQUANT

tile · irregular-and-complex / format-conversion

Affine-dequantize a Local S8 or U8 Tile into a new Local FP32 Tile.

asl/tile/irregular-and-complex/format-conversion/TDEQUANT.asl
PTO-TILE-TDIV

TDIV

tile · elementwise-tile-tile / transcendental

Divide corresponding Local Tile elements under the selected numeric profile.

asl/tile/elementwise-tile-tile/transcendental/TDIV.asl
PTO-TILE-TDIVS

TDIVS

tile · tile-scalar-and-immediate / arithmetic

Divide every valid Local Tile element by one private-GPR scalar.

asl/tile/tile-scalar-and-immediate/arithmetic/TDIVS.asl
PTO-TILE-TEXP

TEXP

tile · elementwise-tile-tile / transcendental

Compute the same-type natural exponential of every valid Local Tile element.

asl/tile/elementwise-tile-tile/transcendental/TEXP.asl
PTO-TILE-TEXPANDS

TEXPANDS

tile · tile-scalar-and-immediate / initialization

Broadcast one private-GPR scalar encoding across a newly allocated Local Tile.

asl/tile/tile-scalar-and-immediate/initialization/TEXPANDS.asl
PTO-TILE-TEXTRACT

TEXTRACT

tile · layout-and-rearrangement / layout

Extract a rectangular source region at the encoded row and column offsets.

asl/tile/layout-and-rearrangement/layout/TEXTRACT.asl
PTO-TILE-TFMA

TFMA

tile · elementwise-tile-tile / arithmetic

Fused typed elementwise multiply-add over three Local Tile sources.

asl/tile/elementwise-tile-tile/arithmetic/TFMA.asl
PTO-TILE-TGATHER

TGATHER

tile · irregular-and-complex / layout

Gather values from source rows selected independently at each destination coordinate.

asl/tile/irregular-and-complex/layout/TGATHER.asl
PTO-TILE-TGEMV

TGEMV

tile · matrix-and-matrix-vector / matrix-vector

Multiply the matrix by the vector into the destination.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV.asl
PTO-TILE-TGEMV-ACC

TGEMV_ACC

tile · matrix-and-matrix-vector / matrix-vector

Multiply the matrix by the vector and accumulate into the supplied Tile.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV_ACC.asl
PTO-TILE-TGEMV-BIAS

TGEMV_BIAS

tile · matrix-and-matrix-vector / matrix-vector

Multiply the matrix by the vector and add the bias Tile.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV_BIAS.asl
PTO-TILE-TGEMV-MX

TGEMV_MX

tile · matrix-and-matrix-vector / matrix-vector

Multiply the matrix by the vector using row and column scale Tiles.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV_MX.asl
PTO-TILE-TGEMV-MX-ACC

TGEMV_MX_ACC

tile · matrix-and-matrix-vector / matrix-vector

Multiply the scaled matrix and vector and accumulate into the supplied Tile.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV_MX_ACC.asl
PTO-TILE-TGEMV-MX-BIAS

TGEMV_MX_BIAS

tile · matrix-and-matrix-vector / matrix-vector

Multiply the scaled matrix and vector and add the bias Tile.

asl/tile/matrix-and-matrix-vector/matrix-vector/TGEMV_MX_BIAS.asl
PTO-TILE-THISTOGRAM

THISTOGRAM

tile · irregular-and-complex / initialization

Build one inclusive 256-bin U32 prefix histogram per source row after the ByteId-specific filter.

asl/tile/irregular-and-complex/initialization/THISTOGRAM.asl
PTO-TILE-TIMG2COL

TIMG2COL

tile · layout-and-rearrangement / layout

Extract an offset window from one descriptor-defined feature map into standard Left matrix order.

asl/tile/layout-and-rearrangement/layout/TIMG2COL.asl
PTO-TILE-TINSERT

TINSERT

tile · layout-and-rearrangement / layout

Insert a source Tile into a snapshotted old destination region at the encoded row and column offsets.

asl/tile/layout-and-rearrangement/layout/TINSERT.asl
PTO-TILE-TLOAD

TLOAD

tile · memory-and-data-movement / regular

Load one ordinary Local or Shared rectangle, or explicitly convert one GM rectangle into persistent Local CUBE storage.

asl/tile/memory-and-data-movement/regular/TLOAD.asl
PTO-TILE-TLOG

TLOG

tile · elementwise-tile-tile / transcendental

Compute the same-type natural logarithm of every valid Local Tile element.

asl/tile/elementwise-tile-tile/transcendental/TLOG.asl
PTO-TILE-TMATMUL

TMATMUL

tile · matrix-and-matrix-vector / matrix-matrix

Multiply A[M x K] by B[K x N] into one private FP32, S32, or U32 CUBE destination.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL.asl
PTO-TILE-TMATMUL-ACC

TMATMUL_ACC

tile · matrix-and-matrix-vector / matrix-matrix

Multiply matrices and accumulate into the supplied accumulator Tile.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_ACC.asl
PTO-TILE-TMATMUL-BIAS

TMATMUL_BIAS

tile · matrix-and-matrix-vector / matrix-matrix

Compute A[M x K] times B[K x N], then add one Local row-major 1xN private-result Bias into a new Local destination.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_BIAS.asl
PTO-TILE-TMATMUL-MX

TMATMUL_MX

tile · matrix-and-matrix-vector / matrix-matrix

Multiply matrices using row and column scale Tiles.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX.asl
PTO-TILE-TMATMUL-MX-ACC

TMATMUL_MX_ACC

tile · matrix-and-matrix-vector / matrix-matrix

Multiply scaled matrices and accumulate into the supplied accumulator Tile.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX_ACC.asl
PTO-TILE-TMATMUL-MX-BIAS

TMATMUL_MX_BIAS

tile · matrix-and-matrix-vector / matrix-matrix

Multiply scaled matrices and add the bias Tile.

asl/tile/matrix-and-matrix-vector/matrix-matrix/TMATMUL_MX_BIAS.asl
PTO-TILE-TMAX

TMAX

tile · elementwise-tile-tile / arithmetic

Maximum corresponding Local Tile elements under typed integer and floating ordering.

asl/tile/elementwise-tile-tile/arithmetic/TMAX.asl
PTO-TILE-TMAXS

TMAXS

tile · tile-scalar-and-immediate / arithmetic

Take the typed maximum of every valid Local Tile element and one scalar.

asl/tile/tile-scalar-and-immediate/arithmetic/TMAXS.asl
PTO-TILE-TMIN

TMIN

tile · elementwise-tile-tile / arithmetic

Minimum corresponding Local Tile elements under typed integer and floating ordering.

asl/tile/elementwise-tile-tile/arithmetic/TMIN.asl
PTO-TILE-TMINS

TMINS

tile · tile-scalar-and-immediate / arithmetic

Take the typed minimum of every valid Local Tile element and one scalar.

asl/tile/tile-scalar-and-immediate/arithmetic/TMINS.asl
PTO-TILE-TMOV

TMOV

tile · layout-and-rearrangement / layout

Copy the source Tile payload and definedness into the destination.

asl/tile/layout-and-rearrangement/layout/TMOV.asl
PTO-TILE-TMRGSORT

TMRGSORT

tile · irregular-and-complex / sorting

Stably merge two sorted single-row Local streams into one newly allocated Local destination.

asl/tile/irregular-and-complex/sorting/TMRGSORT.asl
PTO-TILE-TMUL

TMUL

tile · elementwise-tile-tile / arithmetic

Multiply corresponding elements of two Local Tiles.

asl/tile/elementwise-tile-tile/arithmetic/TMUL.asl
PTO-TILE-TMULS

TMULS

tile · tile-scalar-and-immediate / arithmetic

Multiply every valid Local Tile element by one private-GPR scalar.

asl/tile/tile-scalar-and-immediate/arithmetic/TMULS.asl
PTO-TILE-TNEG

TNEG

tile · elementwise-tile-tile / logical

Typed elementwise arithmetic negation over one Local Tile source.

asl/tile/elementwise-tile-tile/logical/TNEG.asl
PTO-TILE-TNOT

TNOT

tile · elementwise-tile-tile / logical

Element-width bitwise complement over one Local integer Tile source.

asl/tile/elementwise-tile-tile/logical/TNOT.asl
PTO-TILE-TOR

TOR

tile · elementwise-tile-tile / logical

Compute the bitwise OR of corresponding integer elements.

asl/tile/elementwise-tile-tile/logical/TOR.asl
PTO-TILE-TORS

TORS

tile · tile-scalar-and-immediate / logical

Bitwise-OR every valid integer Tile element with one scalar.

asl/tile/tile-scalar-and-immediate/logical/TORS.asl
PTO-TILE-TPACK

TPACK

tile · layout-and-rearrangement / layout

Pack two low-order raw byte fields into Local U32 CUBE words.

asl/tile/layout-and-rearrangement/layout/TPACK.asl
PTO-TILE-TPERMUTE

TPERMUTE

tile · layout-and-rearrangement / layout

Permute raw bytes from two Local CUBE sources by a Local U8 index Tile.

asl/tile/layout-and-rearrangement/layout/TPERMUTE.asl
PTO-TILE-TPREFETCH

TPREFETCH

tile · memory-and-data-movement / regular

Prefetches a typed, strided GM rectangle for all four PEs without producing a Tile destination.

asl/tile/memory-and-data-movement/regular/TPREFETCH.asl
PTO-TILE-TQUANT

TQUANT

tile · irregular-and-complex / format-conversion

Affine-quantize a Local FP32 Tile into a new Local S8 or U8 Tile.

asl/tile/irregular-and-complex/format-conversion/TQUANT.asl
PTO-TILE-TRECIP

TRECIP

tile · elementwise-tile-tile / transcendental

Compute the same-type reciprocal of every valid Local Tile element.

asl/tile/elementwise-tile-tile/transcendental/TRECIP.asl
PTO-TILE-TRELU

TRELU

tile · elementwise-tile-tile / logical

Same-type elementwise rectifier over one Local Tile source.

asl/tile/elementwise-tile-tile/logical/TRELU.asl
PTO-TILE-TREM

TREM

tile · elementwise-tile-tile / transcendental

Compute divisor-signed modulo for corresponding Local Tile elements.

asl/tile/elementwise-tile-tile/transcendental/TREM.asl
PTO-TILE-TREMS

TREMS

tile · tile-scalar-and-immediate / arithmetic

Compute divisor-signed modulo of every valid Local Tile element by one scalar.

asl/tile/tile-scalar-and-immediate/arithmetic/TREMS.asl
PTO-TILE-TROWARGMAX

TROWARGMAX

tile · reduce-and-expand / row-reduction

Reduce each valid row to its lowest maximum column index with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWARGMAX.asl
PTO-TILE-TROWARGMIN

TROWARGMIN

tile · reduce-and-expand / row-reduction

Reduce each valid row to its lowest minimum column index with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWARGMIN.asl
PTO-TILE-TROWEXPAND

TROWEXPAND

tile · reduce-and-expand / row-expansion

Broadcast one one-column vector source bit-for-bit into a new Local destination.

asl/tile/reduce-and-expand/row-expansion/TROWEXPAND.asl
PTO-TILE-TROWEXPANDADD

TROWEXPANDADD

tile · reduce-and-expand / row-expansion

Add a broadcast one-column vector to a full-shape source with exact typed semantics.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDADD.asl
PTO-TILE-TROWEXPANDDIV

TROWEXPANDDIV

tile · reduce-and-expand / row-expansion

Divide a full-shape source by a broadcast one-column vector with exact typed semantics.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDDIV.asl
PTO-TILE-TROWEXPANDEXPDIF

TROWEXPANDEXPDIF

tile · reduce-and-expand / row-expansion

Exponentiate the typed difference between a full-shape source and a broadcast one-column vector.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDEXPDIF.asl
PTO-TILE-TROWEXPANDMAX

TROWEXPANDMAX

tile · reduce-and-expand / row-expansion

Take the typed maximum of a full-shape source and a broadcast one-column vector.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMAX.asl
PTO-TILE-TROWEXPANDMIN

TROWEXPANDMIN

tile · reduce-and-expand / row-expansion

Take the typed minimum of a full-shape source and a broadcast one-column vector.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMIN.asl
PTO-TILE-TROWEXPANDMUL

TROWEXPANDMUL

tile · reduce-and-expand / row-expansion

Multiply a full-shape source by a broadcast one-column vector with exact typed semantics.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDMUL.asl
PTO-TILE-TROWEXPANDSUB

TROWEXPANDSUB

tile · reduce-and-expand / row-expansion

Subtract a broadcast one-column vector from a full-shape source with exact typed semantics.

asl/tile/reduce-and-expand/row-expansion/TROWEXPANDSUB.asl
PTO-TILE-TROWMAX

TROWMAX

tile · reduce-and-expand / row-reduction

Reduce each valid row to its maximum with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWMAX.asl
PTO-TILE-TROWMIN

TROWMIN

tile · reduce-and-expand / row-reduction

Reduce each valid row to its minimum with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWMIN.asl
PTO-TILE-TROWPROD

TROWPROD

tile · reduce-and-expand / row-reduction

Reduce each valid row to its product with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWPROD.asl
PTO-TILE-TROWSUM

TROWSUM

tile · reduce-and-expand / row-reduction

Reduce each valid row to its sum with exact typed column-order semantics.

asl/tile/reduce-and-expand/row-reduction/TROWSUM.asl
PTO-TILE-TRSQRT

TRSQRT

tile · elementwise-tile-tile / transcendental

Compute one same-type reciprocal-square-root operation for every valid Local Tile element.

asl/tile/elementwise-tile-tile/transcendental/TRSQRT.asl
PTO-TILE-TSCATTER

TSCATTER

tile · irregular-and-complex / layout

Scatter values to distinct destination rows selected independently at each source coordinate.

asl/tile/irregular-and-complex/layout/TSCATTER.asl
PTO-TILE-TSEL

TSEL

tile · elementwise-tile-tile / logical

Select exact element encodings from two Local Tiles under one packed predicate Tile.

asl/tile/elementwise-tile-tile/logical/TSEL.asl
PTO-TILE-TSELS

TSELS

tile · tile-scalar-and-immediate / logical

Select each result encoding from a Local Tile or private-GPR scalar under one packed predicate Tile.

asl/tile/tile-scalar-and-immediate/logical/TSELS.asl
PTO-TILE-TSHL

TSHL

tile · elementwise-tile-tile / logical

Shift corresponding integer elements left by element-width-masked counts.

asl/tile/elementwise-tile-tile/logical/TSHL.asl
PTO-TILE-TSHLS

TSHLS

tile · tile-scalar-and-immediate / logical

Shift every valid integer Tile element left by one scalar count.

asl/tile/tile-scalar-and-immediate/logical/TSHLS.asl
PTO-TILE-TSHR

TSHR

tile · elementwise-tile-tile / logical

Shift corresponding signed or unsigned integer elements right by masked counts.

asl/tile/elementwise-tile-tile/logical/TSHR.asl
PTO-TILE-TSHRS

TSHRS

tile · tile-scalar-and-immediate / logical

Shift every valid integer Tile element right by one scalar count.

asl/tile/tile-scalar-and-immediate/logical/TSHRS.asl
PTO-TILE-TSHUF

TSHUF

tile · layout-and-rearrangement / layout

Shuffle raw 32-bit words across Local CUBE rows with an explicit control GPR.

asl/tile/layout-and-rearrangement/layout/TSHUF.asl
PTO-TILE-TSORT

TSORT

tile · irregular-and-complex / sorting

Stably sort independent row groups and return values with original within-group U32 indices.

asl/tile/irregular-and-complex/sorting/TSORT.asl
PTO-TILE-TSQRT

TSQRT

tile · elementwise-tile-tile / transcendental

Compute the same-type square root of every valid Local Tile element.

asl/tile/elementwise-tile-tile/transcendental/TSQRT.asl
PTO-TILE-TSTORE

TSTORE

tile · memory-and-data-movement / regular

Store one ordinary Local or Shared rectangle, or explicitly convert persistent Local CUBE storage into one GM rectangle.

asl/tile/memory-and-data-movement/regular/TSTORE.asl
PTO-TILE-TSUB

TSUB

tile · elementwise-tile-tile / arithmetic

Subtract corresponding right-source elements from left-source elements.

asl/tile/elementwise-tile-tile/arithmetic/TSUB.asl
PTO-TILE-TSUBS

TSUBS

tile · tile-scalar-and-immediate / arithmetic

Subtract one private-GPR scalar from every valid element of a Local Tile.

asl/tile/tile-scalar-and-immediate/arithmetic/TSUBS.asl
PTO-TILE-TTRI

TTRI

tile · irregular-and-complex / initialization

Generate an exact typed lower or upper triangular matrix in a new Local Tile.

asl/tile/irregular-and-complex/initialization/TTRI.asl
PTO-TILE-TUNPACK

TUNPACK

tile · layout-and-rearrangement / layout

Extract and zero-extend a raw byte field from Local U32 CUBE words.

asl/tile/layout-and-rearrangement/layout/TUNPACK.asl
PTO-TILE-TXOR

TXOR

tile · elementwise-tile-tile / logical

Compute the bitwise XOR of corresponding integer elements.

asl/tile/elementwise-tile-tile/logical/TXOR.asl
PTO-TILE-TXORS

TXORS

tile · tile-scalar-and-immediate / logical

Bitwise-XOR every valid integer Tile element with one scalar.

asl/tile/tile-scalar-and-immediate/logical/TXORS.asl