跳到主要内容
单一 canonical workbench

指令索引

浏览全部已发布 Scalar、Block 与 Tile 指令;每个条目只进入一个融合 Markdown、ASL、NDF 和证据的页面。

634

634 条指令

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