cpu.arm.64.assembler.opcodes vocabulary - Factor Documentation (original) (raw)

Word

Stack effect

!bw

( n -- n )

!bw-range

( value -- * )

(N)immrimms

( n -- n )

(N)immrimms-range

( value -- * )

( value width -- integer-literal )

?lookup-word

( name vocab -- word )

A

( n -- n )

A-range

( value -- * )

ADC-encode

( bw Rm Rn Rd -- )

ADCS-encode

( bw Rm Rn Rd -- )

ADDG-encode

( uimm6 uimm4 Xn Xd -- )

ADDSer-encode

( bw Rm option3 imm3 Rn Rd -- )

ADDSi-encode

( bw shift2 imm12 Rn Rd -- )

ADDSsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ADDV-encode

( Q size2 Rn Rd -- )

ADDer-encode

( bw Rm option3 imm3 Rn Rd -- )

ADDi-encode

( bw shift2 imm12 Rn Rd -- )

ADDsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ADR-encode

( immlo2 immhi19 Rd -- )

ADRP-encode

( immlo2 immhi19 Rd -- )

ANDSi-encode

( bw (N)immrimms Rn Rd -- )

ANDSsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ANDi-encode

( bw (N)immrimms Rn Rd -- )

ANDsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ASRV-encode

( bw Rm Rn Rd -- )

ASRi-encode

( bw immr Rn Rd -- )

ASRr-encode

( bw Rm Rn Rd -- )

AT-encode

( op3 op3 Rt -- )

AUTDA-encode

( Rn Rd -- )

AUTDB-encode

( Rn Rd -- )

AUTDZA-encode

( Rd -- )

AUTDZB-encode

( Rd -- )

AUTIA-encode

( Rn Rd -- )

AUTIA1716-encode

( -- )

AUTIAAZ-encode

( -- )

AUTIASP-encode

( -- )

AUTIB-encode

( Rn Rd -- )

AUTIB1716-encode

( -- )

AUTIBSP-encode

( -- )

AUTIBZ-encode

( -- )

AUTIZA-encode

( Rd -- )

AUTIZB-encode

( Rd -- )

AXFlag-encode

( -- )

B-encode

( imm26 -- )

B.cond-encode

( imm19 cond4 -- )

BFC-encode

( bw (N)immrimms Rd -- )

BFI-encode

( bw (N)immrimms Rn Rd -- )

BFM-encode

( bw (N)immrimms Rn Rd -- )

BFXIL-encode

( bw (N)immrimms Rn Rd -- )

BIC-encode

( bw shift2 Rm imm6 Rn Rd -- )

BICS-encode

( bw shift2 Rm imm6 Rn Rd -- )

BL-encode

( imm26 -- )

BLR-encode

( Rn -- )

BLRAA-encode

( Rn Rm -- )

BLRAAZ-encode

( Rn -- )

BLRAB-encode

( Rn Rm -- )

BLRABZ-encode

( Rn -- )

BR-encode

( Rn -- )

BRAA-encode

( Rn -- )

BRAAZ-encode

( Rn Rm -- )

BRAB-encode

( Rn -- )

BRABZ-encode

( Rn Rm -- )

BRK-encode

( imm16 -- )

BTI-encode

( -- )

CAS-encode

( bw Rs Rn Rt -- )

CASA-encode

( bw Rs Rn Rt -- )

CASAB-encode

( Rs Rn Rt -- )

CASAH-encode

( Rs Rn Rt -- )

CASAL-encode

( bw Rs Rn Rt -- )

CASALB-encode

( Rs Rn Rt -- )

CASALH-encode

( Rs Rn Rt -- )

CASB-encode

( Rs Rn Rt -- )

CASH-encode

( Rs Rn Rt -- )

CASL-encode

( bw Rs Rn Rt -- )

CASLB-encode

( Rs Rn Rt -- )

CASLH-encode

( Rs Rn Rt -- )

CASP-encode

( bw Rs Rn Rt -- )

CASPA-encode

( bw Rs Rn Rt -- )

CASPAL-encode

( bw Rs Rn Rt -- )

CASPL-encode

( bw Rs Rn Rt -- )

CBNZ-encode

( bw imm19 Rt -- )

CBZ-encode

( bw imm19 Rt -- )

CCMNi-encode

( bw imm5 cond4 Rn nzcv -- )

CCMNr-encode

( bw Rm cond4 Rn nzcv -- )

CCMPi-encode

( bw imm5 cond4 Rn nzcv -- )

CCMPr-encode

( bw Rm cond4 Rn nzcv -- )

CFINV-encode

( -- )

CFP-encode

( Rt -- )

CINC-encode

( bw Rm cond4 Rn Rd -- )

CINV-encode

( bw Rm cond4 Rn Rd -- )

CLREX-encode

( CRm -- )

CLS-encode

( bw Rn Rd -- )

CLZ-encode

( bw Rn Rd -- )

CMNer-encode

( bw Rm option3 imm3 Rn Rd -- )

CMNi-encode

( bw shift2 imm12 Rn -- )

CMNsr-encode

( bw shift2 Rm imm6 Rn -- )

CMPP-encode

( Xm Xn Xd -- )

CMPer-encode

( bw Rm option3 imm3 Rn -- )

CMPi-encode

( bw shift2 imm12 Rn -- )

CMPsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

CNEG-encode

( bw Rm cond4 Rn Rd -- )

CNT-encode

( Q size2 Rn Rd -- )

CPP-encode

( Rt -- )

CRC32B-encode

( bw Rm Rn Rd -- )

CRC32CB-encode

( bw Rm Rn Rd -- )

CRC32CH-encode

( bw Rm Rn Rd -- )

CRC32CW-encode

( bw Rm Rn Rd -- )

CRC32CX-encode

( bw Rm Rn Rd -- )

CRC32H-encode

( bw Rm Rn Rd -- )

CRC32W-encode

( bw Rm Rn Rd -- )

CRC32X-encode

( bw Rm Rn Rd -- )

CRm

( n -- n )

CRm-range

( value -- * )

CRn

( n -- n )

CRn-range

( value -- * )

CSDB-encode

( -- )

CSEL-encode

( bw Rm cond4 Rn Rd -- )

CSET-encode

( bw cond4 Rd -- )

CSETM-encode

( bw cond4 Rd -- )

CSINC-encode

( bw Rm cond4 Rn Rd -- )

CSINV-encode

( bw Rm cond4 Rn Rd -- )

CSNEG-encode

( bw Rm cond4 Rn Rd -- )

D

( n -- n )

D-range

( value -- * )

DC-encode

( op3 CRm op3 Rt -- )

DCPS1-encode

( imm16 -- )

DCPS2-encode

( imm16 -- )

DCPS3-encode

( imm16 -- )

DMB-encode

( CRm -- )

DPRS-encode

( -- )

DSB-encode

( CRm -- )

DUPgen-encode

( Q imm5 Rn Rd -- )

DVP-encode

( Rt -- )

EONsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

EORi-encode

( bw (N)immrimms Rn Rd -- )

EORsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ERET-encode

( -- )

ERETAA-encode

( -- )

ERETAB-encode

( -- )

ESB-encode

( -- )

EXTR-encode

( bw Rm imms Rn Rd -- )

FADDs-encode

( ftype Rm Rn Rd -- )

FCVT-encode

( ftype opc2 Rn Rd -- )

FCVTZSsi-encode

( bw ftype Rn Rd -- )

FDIVs-encode

( ftype Rm Rn Rd -- )

FMAXs-encode

( ftype Rm Rn Rd -- )

FMINs-encode

( ftype Rm Rn Rd -- )

FMOVgen-encode

( sf ftype rmode opc3 Rn Rd -- )

FMULs-encode

( ftype Rm Rn Rd -- )

FSQRTs-encode

( ftype Rn Rd -- )

FSUBs-encode

( ftype Rm Rn Rd -- )

GMI-encode

( Xm Xn Xd -- )

HINT-encode

( CRm op3 -- )

HLT-encode

( imm16 -- )

HVC-encode

( imm16 -- )

IC-encode

( op3 CRm op3 Rt -- )

IRG-encode

( Xm Xn Xd -- )

ISB-encode

( CRm -- )

L

( n -- n )

L-range

( value -- * )

LDADD-encode

( bw Rs Rn Rt -- )

LDADDA-encode

( bw Rs Rn Rt -- )

LDADDAB-encode

( Rs Rn Rt -- )

LDADDAH-encode

( Rs Rn Rt -- )

LDADDAL-encode

( bw Rs Rn Rt -- )

LDADDALB-encode

( Rs Rn Rt -- )

LDADDALH-encode

( Rs Rn Rt -- )

LDADDB-encode

( Rs Rn Rt -- )

LDADDH-encode

( Rs Rn Rt -- )

LDADDL-encode

( bw Rs Rn Rt -- )

LDADDLB-encode

( Rs Rn Rt -- )

LDADDLH-encode

( Rs Rn Rt -- )

LDAPR-encode

( bw Rn Rt -- )

LDAPRB-encode

( Rn Rt -- )

LDAPRH-encode

( Rn Rt -- )

LDAPUR-encode

( bw imm9 Rn Rt -- )

LDAPURB-encode

( imm9 Rn Rt -- )

LDAPURH-encode

( imm9 Rn Rt -- )

LDAPURSB-encode

( !bw imm9 Rn Rt -- )

LDAPURSH-encode

( !bw imm9 Rn Rt -- )

LDAPURSW-encode

( imm9 Rn Rt -- )

LDAR-encode

( bw Rn Rt -- )

LDARB-encode

( Rn Rt -- )

LDARH-encode

( Rn Rt -- )

LDAXP-encode

( bw Rt2 Rn Rt -- )

LDAXR-encode

( bw Rn Rt -- )

LDAXRB-encode

( Rn Rt -- )

LDAXRH-encode

( Rn Rt -- )

LDCLR-encode

( bw Rs Rn Rt -- )

LDCLRA-encode

( bw Rs Rn Rt -- )

LDCLRAB-encode

( Rs Rn Rt -- )

LDCLRAH-encode

( Rs Rn Rt -- )

LDCLRAL-encode

( bw Rs Rn Rt -- )

LDCLRALB-encode

( Rs Rn Rt -- )

LDCLRALH-encode

( Rs Rn Rt -- )

LDCLRB-encode

( Rs Rn Rt -- )

LDCLRH-encode

( Rs Rn Rt -- )

LDCLRL-encode

( bw Rs Rn Rt -- )

LDCLRLB-encode

( Rs Rn Rt -- )

LDCLRLH-encode

( Rs Rn Rt -- )

LDEOR-encode

( bw Rs Rn Rt -- )

LDEORA-encode

( bw Rs Rn Rt -- )

LDEORAB-encode

( Rs Rn Rt -- )

LDEORAH-encode

( Rs Rn Rt -- )

LDEORAL-encode

( bw Rs Rn Rt -- )

LDEORALB-encode

( Rs Rn Rt -- )

LDEORALH-encode

( Rs Rn Rt -- )

LDEORB-encode

( Rs Rn Rt -- )

LDEORH-encode

( Rs Rn Rt -- )

LDEORL-encode

( bw Rs Rn Rt -- )

LDEORLB-encode

( Rs Rn Rt -- )

LDEORLH-encode

( Rs Rn Rt -- )

LDG-encode

( imm9 Xn Xt -- )

LDGM-encode

( Xn Xt -- )

LDLAR-encode

( bw Rn Rt -- )

LDLARB-encode

( Rn Rt -- )

LDLARH-encode

( Rn Rt -- )

LDNP-encode

( bw imm7 Rt2 Rn Rt -- )

LDPSWpost-encode

( imm7 Rt2 Rn Rt -- )

LDPSWpre-encode

( imm7 Rt2 Rn Rt -- )

LDPSWsoff-encode

( imm7 Rt2 Rn Rt -- )

LDPpost-encode

( bw imm7 Rt2 Rn Rt -- )

LDPpre-encode

( bw imm7 Rt2 Rn Rt -- )

LDPsoff-encode

( bw imm7 Rt2 Rn Rt -- )

LDRAAoff-encode

( S imm9 Rn Rt -- )

LDRAApre-encode

( S imm9 Rn Rt -- )

LDRABoff-encode

( S imm9 Rn Rt -- )

LDRABpre-encode

( S imm9 Rn Rt -- )

LDRBer-encode

( Rm option3 S Rn Rt -- )

LDRBpost-encode

( imm9 Rn Rt -- )

LDRBpre-encode

( imm9 Rn Rt -- )

LDRBsr-encode

( Rm S Rn Rt -- )

LDRBuoff-encode

( imm12 Rn Rt -- )

LDRHpost-encode

( imm9 Rn Rt -- )

LDRHpre-encode

( imm9 Rn Rt -- )

LDRHr-encode

( Rm option3 S Rn Rt -- )

LDRHuoff-encode

( imm12 Rn Rt -- )

LDRSBer-encode

( !bw Rm option3 S Rn Rt -- )

LDRSBpost-encode

( !bw imm9 Rn Rt -- )

LDRSBpre-encode

( !bw imm9 Rn Rt -- )

LDRSBsr-encode

( !bw Rm S Rn Rt -- )

LDRSBuoff-encode

( !bw imm12 Rn Rt -- )

LDRSHpost-encode

( !bw imm9 Rn Rt -- )

LDRSHpre-encode

( !bw imm9 Rn Rt -- )

LDRSHr-encode

( !bw Rm option3 S Rn Rt -- )

LDRSHuoff-encode

( !bw imm12 Rn Rt -- )

LDRSWl-encode

( imm19 Rt -- )

LDRSWpost-encode

( imm9 Rn Rt -- )

LDRSWpre-encode

( imm9 Rn Rt -- )

LDRSWr-encode

( Rm option3 S Rn Rt -- )

LDRSWuoff-encode

( imm12 Rn Rt -- )

LDRl-encode

( bw imm19 Rt -- )

LDRpost-encode

( bw imm9 Rn Rt -- )

LDRpre-encode

( bw imm9 Rn Rt -- )

LDRr-encode

( bw Rm option3 S Rn Rt -- )

LDRuoff-encode

( bw imm12 Rn Rt -- )

LDSET-encode

( bw Rs Rn Rt -- )

LDSETA-encode

( bw Rs Rn Rt -- )

LDSETAB-encode

( Rs Rn Rt -- )

LDSETAH-encode

( Rs Rn Rt -- )

LDSETAL-encode

( bw Rs Rn Rt -- )

LDSETALB-encode

( Rs Rn Rt -- )

LDSETALH-encode

( Rs Rn Rt -- )

LDSETB-encode

( Rs Rn Rt -- )

LDSETH-encode

( Rs Rn Rt -- )

LDSETL-encode

( bw Rs Rn Rt -- )

LDSETLB-encode

( Rs Rn Rt -- )

LDSETLH-encode

( Rs Rn Rt -- )

LDSMAX-encode

( bw Rs Rn Rt -- )

LDSMAXA-encode

( bw Rs Rn Rt -- )

LDSMAXAB-encode

( Rs Rn Rt -- )

LDSMAXAH-encode

( Rs Rn Rt -- )

LDSMAXAL-encode

( bw Rs Rn Rt -- )

LDSMAXALB-encode

( Rs Rn Rt -- )

LDSMAXALH-encode

( Rs Rn Rt -- )

LDSMAXB-encode

( Rs Rn Rt -- )

LDSMAXH-encode

( Rs Rn Rt -- )

LDSMAXL-encode

( bw Rs Rn Rt -- )

LDSMAXLB-encode

( Rs Rn Rt -- )

LDSMAXLH-encode

( Rs Rn Rt -- )

LDSMIN-encode

( bw Rs Rn Rt -- )

LDSMINA-encode

( bw Rs Rn Rt -- )

LDSMINAB-encode

( Rs Rn Rt -- )

LDSMINAH-encode

( Rs Rn Rt -- )

LDSMINAL-encode

( bw Rs Rn Rt -- )

LDSMINALB-encode

( Rs Rn Rt -- )

LDSMINALH-encode

( Rs Rn Rt -- )

LDSMINB-encode

( Rs Rn Rt -- )

LDSMINH-encode

( Rs Rn Rt -- )

LDSMINL-encode

( bw Rs Rn Rt -- )

LDSMINLB-encode

( Rs Rn Rt -- )

LDSMINLH-encode

( Rs Rn Rt -- )

LDTR-encode

( bw imm9 Rn Rt -- )

LDTRB-encode

( imm9 Rn Rt -- )

LDTRH-encode

( imm9 Rn Rt -- )

LDTRSB-encode

( !bw imm9 Rn Rt -- )

LDTRSH-encode

( !bw imm9 Rn Rt -- )

LDTRSW-encode

( imm9 Rn Rt -- )

LDUMAX-encode

( bw Rs Rn Rt -- )

LDUMAXA-encode

( bw Rs Rn Rt -- )

LDUMAXAB-encode

( Rs Rn Rt -- )

LDUMAXAH-encode

( Rs Rn Rt -- )

LDUMAXAL-encode

( bw Rs Rn Rt -- )

LDUMAXALB-encode

( Rs Rn Rt -- )

LDUMAXALH-encode

( Rs Rn Rt -- )

LDUMAXB-encode

( Rs Rn Rt -- )

LDUMAXH-encode

( Rs Rn Rt -- )

LDUMAXL-encode

( bw Rs Rn Rt -- )

LDUMAXLB-encode

( Rs Rn Rt -- )

LDUMAXLH-encode

( Rs Rn Rt -- )

LDUMIN-encode

( bw Rs Rn Rt -- )

LDUMINA-encode

( bw Rs Rn Rt -- )

LDUMINAB-encode

( Rs Rn Rt -- )

LDUMINAH-encode

( Rs Rn Rt -- )

LDUMINAL-encode

( bw Rs Rn Rt -- )

LDUMINALB-encode

( Rs Rn Rt -- )

LDUMINALH-encode

( Rs Rn Rt -- )

LDUMINB-encode

( Rs Rn Rt -- )

LDUMINH-encode

( Rs Rn Rt -- )

LDUMINL-encode

( bw Rs Rn Rt -- )

LDUMINLB-encode

( Rs Rn Rt -- )

LDUMINLH-encode

( Rs Rn Rt -- )

LDUR-encode

( bw imm9 Rn Rt -- )

LDURB-encode

( imm9 Rn Rt -- )

LDURH-encode

( imm9 Rn Rt -- )

LDURSB-encode

( !bw imm9 Rn Rt -- )

LDURSH-encode

( !bw imm9 Rn Rt -- )

LDURSW-encode

( imm9 Rn Rt -- )

LDXP-encode

( bw Rt2 Rn Rt -- )

LDXR-encode

( bw Rn Rt -- )

LDXRB-encode

( Rn Rt -- )

LDXRH-encode

( Rn Rt -- )

LSLV-encode

( bw Rm Rn Rd -- )

LSLi-encode

( bw bw immr imms Rn Rd -- )

LSLr-encode

( bw Rm Rn Rd -- )

LSRV-encode

( bw Rm Rn Rd -- )

LSRi-encode

( bw bw immr bw Rn Rd -- )

LSRr-encode

( bw Rm Rn Rd -- )

M

( n -- n )

M-range

( value -- * )

MADD-encode

( bw Rm Ra Rn Rd -- )

MNEG-encode

( bw Rm Rn Rd -- )

MOVK-encode

( bw hw2 imm16 Rd -- )

MOVN-encode

( bw hw2 imm16 Rd -- )

MOVZ-encode

( bw hw2 imm16 Rd -- )

MOVbi-encode

( bw (N)immrimms Rn -- )

MOViwi-encode

( bw hw2 imm16 Rd -- )

MOVr-encode

( bw Rm Rd -- )

MOVsp-encode

( bw shift2 Rn Rd -- )

MOVwi-encode

( bw hw2 imm16 Rd -- )

MRS-encode

( op2 op3 CRn CRm op3 Rt -- )

MSRi-encode

( op3 CRm op3 -- )

MSRr-encode

( op2 op3 CRn CRm op3 Rt -- )

MSUB-encode

( bw Rm Ra Rn Rd -- )

MUL-encode

( bw Rm Rn Rd -- )

MVN-encode

( bw shift2 Rm imm6 Rd -- )

N

( n -- n )

N-range

( value -- * )

NEG-encode

( bw shift2 Rm imm6 Rd -- )

NEGS-encode

( bw shift2 Rm imm6 Rd -- )

NGC-encode

( bw Rm Rd -- )

NGCS-encode

( bw Rm Rd -- )

NOP-encode

( -- )

Nimmrimms

( n -- n )

Nimmrimms-range

( value -- * )

ORNsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

ORRi-encode

( bw (N)immrimms Rn Rd -- )

ORRsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

PACDA-encode

( Rn Rd -- )

PACDB-encode

( Rn Rd -- )

PACDZA-encode

( Rd -- )

PACDZB-encode

( Rd -- )

PACGA-encode

( Rm Rn Rd -- )

PACIA-encode

( Rn Rd -- )

PACIA1716-encode

( -- )

PACIASP-encode

( -- )

PACIAZ-encode

( -- )

PACIB-encode

( Rn Rd -- )

PACIB1716-encode

( -- )

PACIBSP-encode

( -- )

PACIBZ-encode

( -- )

PACIZA-encode

( Rn Rd -- )

PACIZB-encode

( Rn Rd -- )

PRFMi-encode

( imm12 Rn Rt -- )

PRFMl-encode

( imm19 Rt -- )

PRFMr-encode

( Rm option3 S Rn Rt -- )

PRFMunscoff-encode

( imm9 Rn Rt -- )

PSB-CSYNC-encode

( -- )

PSSBB-encode

( -- )

Q

( n -- n )

Q-range

( value -- * )

RBIT-encode

( bw Rn Rd -- )

RET-encode

( Rn -- )

RETAA-encode

( -- )

RETAB-encode

( -- )

REV-encode

( bw Rn Rd -- )

REV16-encode

( bw Rn Rd -- )

REV32-encode

( Rn Rd -- )

REV64-encode

( Rn Rd -- )

RMIF-encode

( imm6 Rn mask4 -- )

RORV-encode

( bw Rm Rn Rd -- )

RORi-encode

( bw Rm imm5 Rn Rd -- )

RORr-encode

( bw Rm Rn Rd -- )

Ra

( n -- n )

Ra-range

( value -- * )

Rd

( n -- n )

Rd-range

( value -- * )

Rm

( n -- n )

Rm-range

( value -- * )

Rn

( n -- n )

Rn-range

( value -- * )

Rs

( n -- n )

Rs-range

( value -- * )

Rt

( n -- n )

Rt-range

( value -- * )

Rt2

( n -- n )

Rt2-range

( value -- * )

S

( n -- n )

S-range

( value -- * )

SB-encode

( -- )

SBC-encode

( bw Rm Rn Rd -- )

SBCS-encode

( bw Rm Rn Rd -- )

SBFIZ-encode

( bw immr imms Rn Rd -- )

SBFM-encode

( bw immr imms Rn Rd -- )

SBFX-encode

( bw immr imms Rn Rd -- )

SCVTFsi-encode

( bw ftype Rn Rd -- )

SDIV-encode

( bw Rm Rn Rd -- )

SETF16-encode

( Rn -- )

SETF8-encode

( Rn -- )

SEV-encode

( -- )

SEVL-encode

( -- )

SMADDL-encode

( Rm Ra Rn Rd -- )

SMC-encode

( imm16 -- )

SMNEGL-encode

( Rm Rn Rd -- )

SMSUBL-encode

( Rm Ra Rn Rd -- )

SMULH-encode

( Rm Rn Rd -- )

SMULL-encode

( Rm Rn Rd -- )

SSBB-encode

( -- )

ST2Gpost-encode

( imm9 Xn -- )

ST2Gpre-encode

( imm9 Xn -- )

ST2Gsoff-encode

( imm9 Xn -- )

STADD-encode

( bw Rs Rn -- )

STADDB-encode

( Rs Rn -- )

STADDH-encode

( Rs Rn -- )

STADDL-encode

( bw Rs Rn -- )

STADDLB-encode

( Rs Rn -- )

STADDLH-encode

( Rs Rn -- )

STCLR-encode

( bw Rs Rn -- )

STCLRB-encode

( Rs Rn -- )

STCLRH-encode

( Rs Rn -- )

STCLRL-encode

( bw Rs Rn -- )

STCLRLB-encode

( Rs Rn -- )

STCLRLH-encode

( Rs Rn -- )

STEOR-encode

( bw Rs Rn -- )

STEORB-encode

( Rs Rn -- )

STEORH-encode

( Rs Rn -- )

STEORL-encode

( bw Rs Rn -- )

STEORLB-encode

( Rs Rn -- )

STEORLH-encode

( Rs Rn -- )

STGPpost-encode

( simm7 Xt2 Xn Xt -- )

STGPpre-encode

( simm7 Xt2 Xn Xt -- )

STGPsoff-encode

( simm7 Xt2 Xn Xt -- )

STGV-encode

( Xn Xt -- )

STGpost-encode

( imm9 Xn -- )

STGpre-encode

( imm9 Xn -- )

STGsoff-encode

( imm9 Xn -- )

STLLR-encode

( bw Rn Rt -- )

STLLRB-encode

( Rn Rt -- )

STLLRH-encode

( Rn Rt -- )

STLR-encode

( bw Rn Rt -- )

STLRB-encode

( Rn Rt -- )

STLRH-encode

( Rn Rt -- )

STLUR-encode

( bw imm9 Rn Rt -- )

STLURB-encode

( imm9 Rn Rt -- )

STLURH-encode

( imm9 Rn Rt -- )

STLXP-encode

( bw Rs Rt2 Rn Rt -- )

STLXR-encode

( bw Rs Rn Rt -- )

STLXRB-encode

( Rs Rn Rt -- )

STLXRH-encode

( Rs Rn Rt -- )

STNP-encode

( bw imm7 Rt2 Rn Rt -- )

STPpost-encode

( bw imm7 Rt2 Rn Rt -- )

STPpre-encode

( bw imm7 Rt2 Rn Rt -- )

STPsoff-encode

( bw imm7 Rt2 Rn Rt -- )

STRBer-encode

( Rm option3 S Rn Rt -- )

STRBpost-encode

( imm9 Rn Rt -- )

STRBpre-encode

( imm9 Rn Rt -- )

STRBsr-encode

( Rm S Rn Rt -- )

STRBuoff-encode

( imm12 Rn Rt -- )

STRHpost-encode

( imm9 Rn Rt -- )

STRHpre-encode

( imm9 Rn Rt -- )

STRHr-encode

( Rm option3 S Rn Rt -- )

STRHuoff-encode

( imm12 Rn Rt -- )

STRpost-encode

( bw imm9 Rn Rt -- )

STRpre-encode

( bw imm9 Rn Rt -- )

STRr-encode

( bw Rm option3 S Rn Rt -- )

STRuoff-encode

( bw imm12 Rn Rt -- )

STSET-encode

( bw Rs Rn -- )

STSETB-encode

( Rs Rn -- )

STSETH-encode

( Rs Rn -- )

STSETL-encode

( bw Rs Rn -- )

STSETLB-encode

( Rs Rn -- )

STSETLH-encode

( Rs Rn -- )

STSMAX-encode

( bw Rs Rn -- )

STSMAXB-encode

( Rs Rn -- )

STSMAXH-encode

( Rs Rn -- )

STSMAXL-encode

( bw Rs Rn -- )

STSMAXLB-encode

( Rs Rn -- )

STSMAXLH-encode

( Rs Rn -- )

STSMIN-encode

( bw Rs Rn -- )

STSMINB-encode

( Rs Rn -- )

STSMINH-encode

( Rs Rn -- )

STSMINL-encode

( bw Rs Rn -- )

STSMINLB-encode

( Rs Rn -- )

STSMINLH-encode

( Rs Rn -- )

STTR-encode

( bw imm9 Rn Rt -- )

STTRB-encode

( imm9 Rn Rt -- )

STTRH-encode

( imm9 Rn Rt -- )

STUMAX-encode

( bw Rs Rn -- )

STUMAXB-encode

( Rs Rn -- )

STUMAXH-encode

( Rs Rn -- )

STUMAXL-encode

( bw Rs Rn -- )

STUMAXLB-encode

( Rs Rn -- )

STUMAXLH-encode

( Rs Rn -- )

STUMIN-encode

( bw Rs Rn -- )

STUMINB-encode

( Rs Rn -- )

STUMINH-encode

( Rs Rn -- )

STUMINL-encode

( bw Rs Rn -- )

STUMINLB-encode

( Rs Rn -- )

STUMINLH-encode

( Rs Rn -- )

STUR-encode

( bw imm9 Rn Rt -- )

STURB-encode

( imm9 Rn Rt -- )

STURH-encode

( imm9 Rn Rt -- )

STXP-encode

( bw Rs Rt2 Rn Rt -- )

STXR-encode

( bw Rs Rn Rt -- )

STXRB-encode

( Rs Rn Rt -- )

STXRH-encode

( Rs Rn Rt -- )

STZ2Gpost-encode

( imm9 Xn -- )

STZ2Gpre-encode

( imm9 Xn -- )

STZ2Gsoff-encode

( imm9 Xn -- )

STZGpost-encode

( imm9 Xn -- )

STZGpre-encode

( imm9 Xn -- )

STZGsoff-encode

( imm9 Xn -- )

SUBG-encode

( uimm6 uimm4 Xn Xd -- )

SUBP-encode

( Xm Xn Xd -- )

SUBPS-encode

( Xm Xn Xd -- )

SUBSer-encode

( bw Rm option3 imm3 Rn Rd -- )

SUBSimm-encode

( bw shift2 imm12 Rn Rd -- )

SUBSsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

SUBer-encode

( bw Rm option3 imm3 Rn Rd -- )

SUBi-encode

( bw shift2 imm12 Rn Rd -- )

SUBsr-encode

( bw shift2 Rm imm6 Rn Rd -- )

SVC-encode

( imm16 -- )

SWP-encode

( bw Rs Rn Rt -- )

SWPA-encode

( bw Rs Rn Rt -- )

SWPAB-encode

( Rs Rn Rt -- )

SWPAH-encode

( Rs Rn Rt -- )

SWPAL-encode

( bw Rs Rn Rt -- )

SWPALB-encode

( Rs Rn Rt -- )

SWPALH-encode

( Rs Rn Rt -- )

SWPB-encode

( Rs Rn Rt -- )

SWPH-encode

( Rs Rn Rt -- )

SWPL-encode

( bw Rs Rn Rt -- )

SWPLB-encode

( Rs Rn Rt -- )

SWPLH-encode

( Rs Rn Rt -- )

SXTB-encode

( bw Rn Rd -- )

SXTH-encode

( bw Rn Rd -- )

SXTW-encode

( Rn Rd -- )

SYS-encode

( op3 CRn CRm op3 Rt -- )

SYSL-encode

( op3 CRn CRm op3 Rt -- )

TBHZW-encode

( b40 imm14 Rt -- )

TBHZX-encode

( b40 imm14 Rt -- )

TBNZW-encode

( b40 imm14 Rt -- )

TBNZX-encode

( b40 imm14 Rt -- )

TLBI-encode

( op3 CRm op3 Rt -- )

TSB-CSYNC-encode

( -- )

TSTi-encode

( bw (N)immrimms Rn -- )

TSTsr-encode

( bw shift2 Rm imm6 Rn -- )

U

( n -- n )

U-range

( value -- * )

UBFIZ-encode

( bw immr imms Rn Rd -- )

UBFM-encode

( bw immr imms Rn Rd -- )

UBFX-encode

( bw immr imms Rn Rd -- )

UDF-encode

( imm16 -- )

UDIV-encode

( bw Rm Rn Rd -- )

UMADDL-encode

( Rm Ra Rn Rd -- )

UMNEGL-encode

( Rm Rn Rd -- )

UMSUBL-encode

( Rm Ra Rn Rd -- )

UMULH-encode

( Rm Rn Rd -- )

UMULL-encode

( Rm Rn Rd -- )

UXTB-encode

( Rn Rd -- )

UXTH-encode

( Rn Rd -- )

WFE-encode

( -- )

WFI-encode

( -- )

XAFlag-encode

( -- )

XPACD-encode

( Rd -- )

XPACI-encode

( Rd -- )

XPACLRI-encode

( -- )

Xd

( n -- n )

Xd-range

( value -- * )

Xm

( n -- n )

Xm-range

( value -- * )

Xn

( n -- n )

Xn-range

( value -- * )

Xt

( n -- n )

Xt-range

( value -- * )

Xt2

( n -- n )

Xt2-range

( value -- * )

YIELD-encode

( -- )

Z

( n -- n )

Z-range

( value -- * )

a1

( n -- n )

a1-range

( value -- * )

arm-bitfield

( seq -- assoc )

b1

( n -- n )

b1-range

( value -- * )

b40

( n -- n )

b40-range

( value -- * )

bad-instruction

( values -- * )

bw

( n -- n )

bw-range

( value -- * )

c1

( n -- n )

c1-range

( value -- * )

cond4

( n -- n )

cond4-range

( value -- * )

d1

( n -- n )

d1-range

( value -- * )

e1

( n -- n )

e1-range

( value -- * )

error-word

( word -- new-class )

f1

( n -- n )

f1-range

( value -- * )

ftype

( n -- n )

ftype-range

( value -- * )

g1

( n -- n )

g1-range

( value -- * )

h1

( n -- n )

h1-range

( value -- * )

hw2

( n -- n )

hw2-range

( value -- * )

imm12

( n -- n )

imm12-range

( value -- * )

imm13

( n -- n )

imm13-range

( value -- * )

imm14

( n -- n )

imm14-range

( value -- * )

imm16

( n -- n )

imm16-range

( value -- * )

imm19

( n -- n )

imm19-range

( value -- * )

imm26

( n -- n )

imm26-range

( value -- * )

imm3

( n -- n )

imm3-range

( value -- * )

imm4

( n -- n )

imm4-range

( value -- * )

imm5

( n -- n )

imm5-range

( value -- * )

imm6

( n -- n )

imm6-range

( value -- * )

imm7

( n -- n )

imm7-range

( value -- * )

imm9

( n -- n )

imm9-range

( value -- * )

immhi19

( n -- n )

immhi19-range

( value -- * )

immlo2

( n -- n )

immlo2-range

( value -- * )

immr

( n -- n )

immr-range

( value -- * )

immrimms

( n -- n )

immrimms-range

( value -- * )

imms

( n -- n )

imms-range

( value -- * )

make-checker-word

( word n -- )

make-integer-literal

( string -- integer-literal )

make-register-checker-word

( word n -- )

mask4

( n -- n )

mask4-range

( value -- * )

no-field-word

( vocab name -- * )

nzcv

( n -- n )

nzcv-range

( value -- * )

op1

( n -- n )

op1-range

( value -- * )

op10

( n -- n )

op10-range

( value -- * )

op2

( n -- n )

op2-range

( value -- * )

op3

( n -- n )

op3-range

( value -- * )

op4

( n -- n )

op4-range

( value -- * )

op5

( n -- n )

op5-range

( value -- * )

op6

( n -- n )

op6-range

( value -- * )

op7

( n -- n )

op7-range

( value -- * )

op8

( n -- n )

op8-range

( value -- * )

op9

( n -- n )

op9-range

( value -- * )

opc1

( n -- n )

opc1-range

( value -- * )

opc2

( n -- n )

opc2-range

( value -- * )

opc3

( n -- n )

opc3-range

( value -- * )

opc4

( n -- n )

opc4-range

( value -- * )

option1

( n -- n )

option1-range

( value -- * )

option2

( n -- n )

option2-range

( value -- * )

option3

( n -- n )

option3-range

( value -- * )

option4

( n -- n )

option4-range

( value -- * )

option5

( n -- n )

option5-range

( value -- * )

rmode

( n -- n )

rmode-range

( value -- * )

sf

( n -- n )

sf-range

( value -- * )

shift2

( n -- n )

shift2-range

( value -- * )

simm7

( n -- n )

simm7-range

( value -- * )

size1

( n -- n )

size1-range

( value -- * )

size2

( n -- n )

size2-range

( value -- * )

uimm4

( n -- n )

uimm4-range

( value -- * )

uimm6

( n -- n )

uimm6-range

( value -- * )