cpu.arm.64.assembler.opcodes vocabulary
Factor handbook ยป Vocabulary index


Summary

Metadata
Authors:Doug Coleman, Giftpflanze


Words

Tuple classes
ClassSuperclassSlots
!bw-range tuplevalue
(N)immrimms-range tuplevalue
A-range tuplevalue
CRm-range tuplevalue
CRn-range tuplevalue
D-range tuplevalue
L-range tuplevalue
M-range tuplevalue
N-range tuplevalue
Nimmrimms-range tuplevalue
Q-range tuplevalue
Ra-range tuplevalue
Rd-range tuplevalue
Rm-range tuplevalue
Rn-range tuplevalue
Rs-range tuplevalue
Rt-range tuplevalue
Rt2-range tuplevalue
S-range tuplevalue
U-range tuplevalue
Xd-range tuplevalue
Xm-range tuplevalue
Xn-range tuplevalue
Xt-range tuplevalue
Xt2-range tuplevalue
Z-range tuplevalue
a1-range tuplevalue
b1-range tuplevalue
b40-range tuplevalue
bad-instruction tuplevalues
bw-range tuplevalue
c1-range tuplevalue
cond4-range tuplevalue
d1-range tuplevalue
e1-range tuplevalue
f1-range tuplevalue
ftype-range tuplevalue
g1-range tuplevalue
h1-range tuplevalue
hw2-range tuplevalue
imm12-range tuplevalue
imm13-range tuplevalue
imm14-range tuplevalue
imm16-range tuplevalue
imm19-range tuplevalue
imm26-range tuplevalue
imm3-range tuplevalue
imm4-range tuplevalue
imm5-range tuplevalue
imm6-range tuplevalue
imm7-range tuplevalue
imm9-range tuplevalue
immhi19-range tuplevalue
immlo2-range tuplevalue
immr-range tuplevalue
immrimms-range tuplevalue
imms-range tuplevalue
integer-literal tuplevalue width
mask4-range tuplevalue
no-field-word tuplevocab name
nzcv-range tuplevalue
op1-range tuplevalue
op10-range tuplevalue
op2-range tuplevalue
op3-range tuplevalue
op4-range tuplevalue
op5-range tuplevalue
op6-range tuplevalue
op7-range tuplevalue
op8-range tuplevalue
op9-range tuplevalue
opc1-range tuplevalue
opc2-range tuplevalue
opc3-range tuplevalue
opc4-range tuplevalue
option1-range tuplevalue
option2-range tuplevalue
option3-range tuplevalue
option4-range tuplevalue
option5-range tuplevalue
rmode-range tuplevalue
sf-range tuplevalue
shift2-range tuplevalue
simm7-range tuplevalue
size1-range tuplevalue
size2-range tuplevalue
uimm4-range tuplevalue
uimm6-range tuplevalue


Singleton classes
ELR_EL1
ELR_EL2
ELR_EL3
SPSR_EL1
SPSR_EL2
SPSR_EL3
SP_EL0
SP_EL1
SP_EL2
SP_EL3


Parsing words
WordSyntax
ARM-INSTRUCTION:
FIELD:
REGISTER-FIELD:


Generic words
WordStack effect
register( obj -- n )
value( obj -- n )
width( obj -- n )


Ordinary words
WordStack effect
!bw( n -- n )
!bw-range( value -- * )
(N)immrimms( n -- n )
(N)immrimms-range( value -- * )
<integer-literal>( 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 bw 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 -- * )


Class predicate words
WordStack effect
!bw-range?( object -- ? )
(N)immrimms-range?( object -- ? )
A-range?( object -- ? )
CRm-range?( object -- ? )
CRn-range?( object -- ? )
D-range?( object -- ? )
ELR_EL1?( object -- ? )
ELR_EL2?( object -- ? )
ELR_EL3?( object -- ? )
L-range?( object -- ? )
M-range?( object -- ? )
N-range?( object -- ? )
Nimmrimms-range?( object -- ? )
Q-range?( object -- ? )
Ra-range?( object -- ? )
Rd-range?( object -- ? )
Rm-range?( object -- ? )
Rn-range?( object -- ? )
Rs-range?( object -- ? )
Rt-range?( object -- ? )
Rt2-range?( object -- ? )
S-range?( object -- ? )
SPSR_EL1?( object -- ? )
SPSR_EL2?( object -- ? )
SPSR_EL3?( object -- ? )
SP_EL0?( object -- ? )
SP_EL1?( object -- ? )
SP_EL2?( object -- ? )
SP_EL3?( object -- ? )
U-range?( object -- ? )
Xd-range?( object -- ? )
Xm-range?( object -- ? )
Xn-range?( object -- ? )
Xt-range?( object -- ? )
Xt2-range?( object -- ? )
Z-range?( object -- ? )
a1-range?( object -- ? )
b1-range?( object -- ? )
b40-range?( object -- ? )
bad-instruction?( object -- ? )
bw-range?( object -- ? )
c1-range?( object -- ? )
cond4-range?( object -- ? )
d1-range?( object -- ? )
e1-range?( object -- ? )
f1-range?( object -- ? )
ftype-range?( object -- ? )
g1-range?( object -- ? )
h1-range?( object -- ? )
hw2-range?( object -- ? )
imm12-range?( object -- ? )
imm13-range?( object -- ? )
imm14-range?( object -- ? )
imm16-range?( object -- ? )
imm19-range?( object -- ? )
imm26-range?( object -- ? )
imm3-range?( object -- ? )
imm4-range?( object -- ? )
imm5-range?( object -- ? )
imm6-range?( object -- ? )
imm7-range?( object -- ? )
imm9-range?( object -- ? )
immhi19-range?( object -- ? )
immlo2-range?( object -- ? )
immr-range?( object -- ? )
immrimms-range?( object -- ? )
imms-range?( object -- ? )
integer-literal?( object -- ? )
mask4-range?( object -- ? )
no-field-word?( object -- ? )
nzcv-range?( object -- ? )
op1-range?( object -- ? )
op10-range?( object -- ? )
op2-range?( object -- ? )
op3-range?( object -- ? )
op4-range?( object -- ? )
op5-range?( object -- ? )
op6-range?( object -- ? )
op7-range?( object -- ? )
op8-range?( object -- ? )
op9-range?( object -- ? )
opc1-range?( object -- ? )
opc2-range?( object -- ? )
opc3-range?( object -- ? )
opc4-range?( object -- ? )
option1-range?( object -- ? )
option2-range?( object -- ? )
option3-range?( object -- ? )
option4-range?( object -- ? )
option5-range?( object -- ? )
rmode-range?( object -- ? )
sf-range?( object -- ? )
shift2-range?( object -- ? )
simm7-range?( object -- ? )
size1-range?( object -- ? )
size2-range?( object -- ? )
uimm4-range?( object -- ? )
uimm6-range?( object -- ? )


Files


Metadata files