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


Summary

Metadata
Authors:Doug Coleman, Giftpflanze


Words

Tuple classes
ClassSuperclassSlots
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
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:
REGISTERS:


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


Symbol words
B0
B1
B10
B11
B12
B13
B14
B15
B16
B17
B18
B19
B2
B20
B21
B22
B23
B24
B25
B26
B27
B28
B29
B3
B30
B31
B4
B5
B6
B7
B8
B9
D0
D1
D10
D11
D12
D13
D14
D15
D16
D17
D18
D19
D2
D20
D21
D22
D23
D24
D25
D26
D27
D28
D29
D3
D30
D31
D4
D5
D6
D7
D8
D9
H0
H1
H10
H11
H12
H13
H14
H15
H16
H17
H18
H19
H2
H20
H21
H22
H23
H24
H25
H26
H27
H28
H29
H3
H30
H31
H4
H5
H6
H7
H8
H9
Q0
Q1
Q10
Q11
Q12
Q13
Q14
Q15
Q16
Q17
Q18
Q19
Q2
Q20
Q21
Q22
Q23
Q24
Q25
Q26
Q27
Q28
Q29
Q3
Q30
Q31
Q4
Q5
Q6
Q7
Q8
Q9
S0
S1
S10
S11
S12
S13
S14
S15
S16
S17
S18
S19
S2
S20
S21
S22
S23
S24
S25
S26
S27
S28
S29
S3
S30
S31
S4
S5
S6
S7
S8
S9
V0
V1
V10
V11
V12
V13
V14
V15
V16
V17
V18
V19
V2
V20
V21
V22
V23
V24
V25
V26
V27
V28
V29
V3
V30
V31
V4
V5
V6
V7
V8
V9
W0
W1
W10
W11
W12
W13
W14
W15
W16
W17
W18
W19
W2
W20
W21
W22
W23
W24
W25
W26
W27
W28
W29
W3
W30
W4
W5
W6
W7
W8
W9
X0
X1
X10
X11
X12
X13
X14
X15
X16
X17
X18
X19
X2
X20
X21
X22
X23
X24
X25
X26
X27
X28
X29
X3
X30
X4
X5
X6
X7
X8
X9


Ordinary words
WordStack effect
16B( -- size Q )
2D( -- size Q )
2S( -- size Q )
4H( -- size Q )
4S( -- size Q )
8B( -- size Q )
8H( -- size Q )
<integer-literal>( value width -- integer-literal )
?lookup-word( name vocab -- word )
A( n -- n )
A-range( value -- * )
ADC32-encode( Rm Rn Rd -- )
ADC64-encode( Rm Rn Rd -- )
ADCS32-encode( Rm Rn Rd -- )
ADCS64-encode( Rm Rn Rd -- )
ADDG-encode( uimm6 uimm4 Xn Xd -- )
ADDSer32-encode( Rm option3 imm3 Rn Rd -- )
ADDSer64-encode( Rm option3 imm3 Rn Rd -- )
ADDSi32-encode( shift2 imm12 Rn Rd -- )
ADDSi64-encode( shift2 imm12 Rn Rd -- )
ADDSsr32-encode( shift2 Rm imm6 Rn Rd -- )
ADDSsr64-encode( shift2 Rm imm6 Rn Rd -- )
ADDV-encode( Q size2 Rn Rd -- )
ADDer32-encode( Rm option3 imm3 Rn Rd -- )
ADDer64-encode( Rm option3 imm3 Rn Rd -- )
ADDi32-encode( shift2 imm12 Rn Rd -- )
ADDi64-encode( shift2 imm12 Rn Rd -- )
ADDsr32-encode( shift2 Rm imm6 Rn Rd -- )
ADDsr64-encode( shift2 Rm imm6 Rn Rd -- )
ADR-encode( immlo2 immhi19 Rd -- )
ADRP-encode( immlo2 immhi19 Rd -- )
AL( -- n )
ANDSi32-encode( immrimms Rn Rd -- )
ANDSi64-encode( Nimmrimms Rn Rd -- )
ANDSsr32-encode( shift2 Rm imm6 Rn Rd -- )
ANDSsr64-encode( shift2 Rm imm6 Rn Rd -- )
ANDi32-encode( immrimms Rn Rd -- )
ANDi64-encode( Nimmrimms Rn Rd -- )
ANDsr32-encode( shift2 Rm imm6 Rn Rd -- )
ANDsr64-encode( shift2 Rm imm6 Rn Rd -- )
ASRV32-encode( Rm Rn Rd -- )
ASRV64-encode( Rm Rn Rd -- )
ASRi32-encode( immr Rn Rd -- )
ASRi64-encode( immr Rn Rd -- )
ASRr32-encode( Rm Rn Rd -- )
ASRr64-encode( 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 -- )
BFC32-encode( immrimms Rd -- )
BFC64-encode( Nimmrimms Rd -- )
BFI32-encode( immrimms Rn Rd -- )
BFI64-encode( Nimmrimms Rn Rd -- )
BFM32-encode( immrimms Rn Rd -- )
BFM64-encode( Nimmrimms Rn Rd -- )
BFXIL32-encode( immrimms Rn Rd -- )
BFXIL64-encode( Nimmrimms Rn Rd -- )
BIC32-encode( shift2 Rm imm6 Rn Rd -- )
BIC64-encode( shift2 Rm imm6 Rn Rd -- )
BICS32-encode( shift2 Rm imm6 Rn Rd -- )
BICS64-encode( 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( -- )
CAS32-encode( Rs Rn Rt -- )
CAS64-encode( Rs Rn Rt -- )
CASA32-encode( Rs Rn Rt -- )
CASA64-encode( Rs Rn Rt -- )
CASAB-encode( Rs Rn Rt -- )
CASAH-encode( Rs Rn Rt -- )
CASAL32-encode( Rs Rn Rt -- )
CASAL64-encode( Rs Rn Rt -- )
CASALB-encode( Rs Rn Rt -- )
CASALH-encode( Rs Rn Rt -- )
CASB-encode( Rs Rn Rt -- )
CASH-encode( Rs Rn Rt -- )
CASL32-encode( Rs Rn Rt -- )
CASL64-encode( Rs Rn Rt -- )
CASLB-encode( Rs Rn Rt -- )
CASLH-encode( Rs Rn Rt -- )
CASP32-encode( Rs Rn Rt -- )
CASP64-encode( Rs Rn Rt -- )
CASPA32-encode( Rs Rn Rt -- )
CASPA64-encode( Rs Rn Rt -- )
CASPAL32-encode( Rs Rn Rt -- )
CASPAL64-encode( Rs Rn Rt -- )
CASPL32-encode( Rs Rn Rt -- )
CASPL64-encode( Rs Rn Rt -- )
CBNZ32-encode( imm19 Rt -- )
CBNZ64-encode( imm19 Rt -- )
CBZ32-encode( imm19 Rt -- )
CBZ64-encode( imm19 Rt -- )
CC( -- n )
CCMNi32-encode( imm5 cond4 Rn nzcv -- )
CCMNi64-encode( imm5 cond4 Rn nzcv -- )
CCMNr32-encode( Rm cond4 Rn nzcv -- )
CCMNr64-encode( Rm cond4 Rn nzcv -- )
CCMPi32-encode( imm5 cond4 Rn nzcv -- )
CCMPi64-encode( imm5 cond4 Rn nzcv -- )
CCMPr32-encode( Rm cond4 Rn nzcv -- )
CCMPr64-encode( Rm cond4 Rn nzcv -- )
CFINV-encode( -- )
CFP-encode( Rt -- )
CINC32-encode( Rm cond4 Rn Rd -- )
CINC64-encode( Rm cond4 Rn Rd -- )
CINV32-encode( Rm cond4 Rn Rd -- )
CINV64-encode( Rm cond4 Rn Rd -- )
CLREX-encode( CRm -- )
CLS32-encode( Rn Rd -- )
CLS64-encode( Rn Rd -- )
CLZ32-encode( Rn Rd -- )
CLZ64-encode( Rn Rd -- )
CMNer32-encode( Rm option3 imm3 Rn Rd -- )
CMNer64-encode( Rm option3 imm3 Rn Rd -- )
CMNi32-encode( shift2 imm12 Rn -- )
CMNi64-encode( shift2 imm12 Rn -- )
CMNsr32-encode( shift2 Rm imm6 Rn -- )
CMNsr64-encode( shift2 Rm imm6 Rn -- )
CMPP-encode( Xm Xn Xd -- )
CMPer32-encode( Rm option3 imm3 Rn -- )
CMPer64-encode( Rm option3 imm3 Rn -- )
CMPi32-encode( shift2 imm12 Rn -- )
CMPi64-encode( shift2 imm12 Rn -- )
CMPsr32-encode( shift2 Rm imm6 Rn Rd -- )
CMPsr64-encode( shift2 Rm imm6 Rn Rd -- )
CNEG32-encode( Rm cond4 Rn Rd -- )
CNEG64-encode( Rm cond4 Rn Rd -- )
CNT-encode( Q size2 Rn Rd -- )
CPP-encode( Rt -- )
CRC32B32-encode( Rm Rn Rd -- )
CRC32B64-encode( Rm Rn Rd -- )
CRC32CB32-encode( Rm Rn Rd -- )
CRC32CB64-encode( Rm Rn Rd -- )
CRC32CH32-encode( Rm Rn Rd -- )
CRC32CH64-encode( Rm Rn Rd -- )
CRC32CW32-encode( Rm Rn Rd -- )
CRC32CW64-encode( Rm Rn Rd -- )
CRC32CX32-encode( Rm Rn Rd -- )
CRC32CX64-encode( Rm Rn Rd -- )
CRC32H32-encode( Rm Rn Rd -- )
CRC32H64-encode( Rm Rn Rd -- )
CRC32W32-encode( Rm Rn Rd -- )
CRC32W64-encode( Rm Rn Rd -- )
CRC32X32-encode( Rm Rn Rd -- )
CRC32X64-encode( Rm Rn Rd -- )
CRm( n -- n )
CRm-range( value -- * )
CRn( n -- n )
CRn-range( value -- * )
CS( -- n )
CSDB-encode( -- )
CSEL32-encode( Rm cond4 Rn Rd -- )
CSEL64-encode( Rm cond4 Rn Rd -- )
CSET32-encode( cond4 Rd -- )
CSET64-encode( cond4 Rd -- )
CSETM32-encode( cond4 Rd -- )
CSETM64-encode( cond4 Rd -- )
CSINC32-encode( Rm cond4 Rn Rd -- )
CSINC64-encode( Rm cond4 Rn Rd -- )
CSINV32-encode( Rm cond4 Rn Rd -- )
CSINV64-encode( Rm cond4 Rn Rd -- )
CSNEG32-encode( Rm cond4 Rn Rd -- )
CSNEG64-encode( 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 -- )
DX( -- sf ftype rmode opcode )
D[1]X( -- sf ftype rmode opcode )
EONsr32-encode( shift2 Rm imm6 Rn Rd -- )
EONsr64-encode( shift2 Rm imm6 Rn Rd -- )
EORi32-encode( immrimms Rn Rd -- )
EORi64-encode( Nimmrimms Rn Rd -- )
EORsr32-encode( shift2 Rm imm6 Rn Rd -- )
EORsr64-encode( shift2 Rm imm6 Rn Rd -- )
EQ( -- n )
ERET-encode( -- )
ERETAA-encode( -- )
ERETAB-encode( -- )
ESB-encode( -- )
EXTR32-encode( Rm imms Rn Rd -- )
EXTR64-encode( Rm imms Rn Rd -- )
FADDs-encode( ftype Rm Rn Rd -- )
FCVT-encode( ftype opc2 Rn Rd -- )
FCVTZSsi64-encode( 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 -- )
GE( -- n )
GMI-encode( Xm Xn Xd -- )
GT( -- n )
HI( -- n )
HINT-encode( CRm op3 -- )
HLT-encode( imm16 -- )
HS( -- n )
HVC-encode( imm16 -- )
HW( -- sf ftype rmode opcode )
HX( -- sf ftype rmode opcode )
IC-encode( op3 CRm op3 Rt -- )
IRG-encode( Xm Xn Xd -- )
ISB-encode( CRm -- )
L( n -- n )
L-range( value -- * )
LDADD32-encode( Rs Rn Rt -- )
LDADD64-encode( Rs Rn Rt -- )
LDADDA32-encode( Rs Rn Rt -- )
LDADDA64-encode( Rs Rn Rt -- )
LDADDAB-encode( Rs Rn Rt -- )
LDADDAH-encode( Rs Rn Rt -- )
LDADDAL32-encode( Rs Rn Rt -- )
LDADDAL64-encode( Rs Rn Rt -- )
LDADDALB-encode( Rs Rn Rt -- )
LDADDALH-encode( Rs Rn Rt -- )
LDADDB-encode( Rs Rn Rt -- )
LDADDH-encode( Rs Rn Rt -- )
LDADDL32-encode( Rs Rn Rt -- )
LDADDL64-encode( Rs Rn Rt -- )
LDADDLB-encode( Rs Rn Rt -- )
LDADDLH-encode( Rs Rn Rt -- )
LDAPR32-encode( Rn Rt -- )
LDAPR64-encode( Rn Rt -- )
LDAPRB-encode( Rn Rt -- )
LDAPRH-encode( Rn Rt -- )
LDAPUR32-encode( imm9 Rn Rt -- )
LDAPUR64-encode( imm9 Rn Rt -- )
LDAPURB-encode( imm9 Rn Rt -- )
LDAPURH-encode( imm9 Rn Rt -- )
LDAPURSB32-encode( imm9 Rn Rt -- )
LDAPURSB64-encode( imm9 Rn Rt -- )
LDAPURSH32-encode( imm9 Rn Rt -- )
LDAPURSH64-encode( imm9 Rn Rt -- )
LDAPURSW-encode( imm9 Rn Rt -- )
LDAR32-encode( Rn Rt -- )
LDAR64-encode( Rn Rt -- )
LDARB-encode( Rn Rt -- )
LDARH-encode( Rn Rt -- )
LDAXP32-encode( Rt2 Rn Rt -- )
LDAXP64-encode( Rt2 Rn Rt -- )
LDAXR32-encode( Rn Rt -- )
LDAXR64-encode( Rn Rt -- )
LDAXRB-encode( Rn Rt -- )
LDAXRH-encode( Rn Rt -- )
LDCLR32-encode( Rs Rn Rt -- )
LDCLR64-encode( Rs Rn Rt -- )
LDCLRA-encode( Rs Rn Rt -- )
LDCLRA32-encode( Rs Rn Rt -- )
LDCLRA64-encode( Rs Rn Rt -- )
LDCLRAB-encode( Rs Rn Rt -- )
LDCLRAH-encode( Rs Rn Rt -- )
LDCLRAL32-encode( Rs Rn Rt -- )
LDCLRAL64-encode( Rs Rn Rt -- )
LDCLRALB-encode( Rs Rn Rt -- )
LDCLRALH-encode( Rs Rn Rt -- )
LDCLRB-encode( Rs Rn Rt -- )
LDCLRL32-encode( Rs Rn Rt -- )
LDCLRL64-encode( Rs Rn Rt -- )
LDCLRLB-encode( Rs Rn Rt -- )
LDCLRLH-encode( Rs Rn Rt -- )
LDEOR32-encode( Rs Rn Rt -- )
LDEOR64-encode( Rs Rn Rt -- )
LDEORA32-encode( Rs Rn Rt -- )
LDEORA64-encode( Rs Rn Rt -- )
LDEORAB-encode( Rs Rn Rt -- )
LDEORAH-encode( Rs Rn Rt -- )
LDEORAL32-encode( Rs Rn Rt -- )
LDEORAL64-encode( Rs Rn Rt -- )
LDEORALB-encode( Rs Rn Rt -- )
LDEORALH-encode( Rs Rn Rt -- )
LDEORB-encode( Rs Rn Rt -- )
LDEORH-encode( Rs Rn Rt -- )
LDEORL32-encode( Rs Rn Rt -- )
LDEORL64-encode( Rs Rn Rt -- )
LDEORLB-encode( Rs Rn Rt -- )
LDEORLH-encode( Rs Rn Rt -- )
LDG-encode( imm9 Xn Xt -- )
LDGM-encode( Xn Xt -- )
LDLAR32-encode( Rn Rt -- )
LDLAR64-encode( Rn Rt -- )
LDLARB-encode( Rn Rt -- )
LDLARH-encode( Rn Rt -- )
LDNP32-encode( imm7 Rt2 Rn Rt -- )
LDNP64-encode( imm7 Rt2 Rn Rt -- )
LDPSWpost-encode( imm7 Rt2 Rn Rt -- )
LDPSWpre-encode( imm7 Rt2 Rn Rt -- )
LDPSWsoff-encode( imm7 Rt2 Rn Rt -- )
LDPpost32-encode( imm7 Rt2 Rn Rt -- )
LDPpost64-encode( imm7 Rt2 Rn Rt -- )
LDPpre32-encode( imm7 Rt2 Rn Rt -- )
LDPpre64-encode( imm7 Rt2 Rn Rt -- )
LDPsoff32-encode( imm7 Rt2 Rn Rt -- )
LDPsoff64-encode( 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 -- )
LDRSBer32-encode( Rm option3 S Rn Rt -- )
LDRSBer64-encode( Rm option3 S Rn Rt -- )
LDRSBpost32-encode( imm9 Rn Rt -- )
LDRSBpost64-encode( imm9 Rn Rt -- )
LDRSBpre32-encode( imm9 Rn Rt -- )
LDRSBpre64-encode( imm9 Rn Rt -- )
LDRSBsr32-encode( Rm S Rn Rt -- )
LDRSBsr64-encode( Rm S Rn Rt -- )
LDRSBuoff32-encode( imm12 Rn Rt -- )
LDRSBuoff64-encode( imm12 Rn Rt -- )
LDRSHpost32-encode( imm9 Rn Rt -- )
LDRSHpost64-encode( imm9 Rn Rt -- )
LDRSHpre32-encode( imm9 Rn Rt -- )
LDRSHpre64-encode( imm9 Rn Rt -- )
LDRSHr32-encode( Rm option3 S Rn Rt -- )
LDRSHr64-encode( Rm option3 S Rn Rt -- )
LDRSHuoff32-encode( imm12 Rn Rt -- )
LDRSHuoff64-encode( imm12 Rn Rt -- )
LDRSWl-encode( imm19 Rt -- )
LDRSWpost32-encode( imm9 Rn Rt -- )
LDRSWpre32-encode( imm9 Rn Rt -- )
LDRSWr-encode( Rm option3 S Rn Rt -- )
LDRSWuoff64-encode( imm12 Rn Rt -- )
LDRl32-encode( imm19 Rt -- )
LDRl64-encode( imm19 Rt -- )
LDRpost32-encode( imm9 Rn Rt -- )
LDRpost64-encode( imm9 Rn Rt -- )
LDRpre32-encode( imm9 Rn Rt -- )
LDRpre64-encode( imm9 Rn Rt -- )
LDRr32-encode( Rm option3 S Rn Rt -- )
LDRr64-encode( Rm option3 S Rn Rt -- )
LDRuoff32-encode( imm12 Rn Rt -- )
LDRuoff64-encode( imm12 Rn Rt -- )
LDSET32-encode( Rs Rn Rt -- )
LDSET64-encode( Rs Rn Rt -- )
LDSETA32-encode( Rs Rn Rt -- )
LDSETA64-encode( Rs Rn Rt -- )
LDSETAB-encode( Rs Rn Rt -- )
LDSETAH-encode( Rs Rn Rt -- )
LDSETAL32-encode( Rs Rn Rt -- )
LDSETAL64-encode( Rs Rn Rt -- )
LDSETALB-encode( Rs Rn Rt -- )
LDSETALH-encode( Rs Rn Rt -- )
LDSETB-encode( Rs Rn Rt -- )
LDSETH-encode( Rs Rn Rt -- )
LDSETL32-encode( Rs Rn Rt -- )
LDSETL64-encode( Rs Rn Rt -- )
LDSETLB-encode( Rs Rn Rt -- )
LDSETLH-encode( Rs Rn Rt -- )
LDSMAX32-encode( Rs Rn Rt -- )
LDSMAX64-encode( Rs Rn Rt -- )
LDSMAXA32-encode( Rs Rn Rt -- )
LDSMAXA64-encode( Rs Rn Rt -- )
LDSMAXAB-encode( Rs Rn Rt -- )
LDSMAXAH-encode( Rs Rn Rt -- )
LDSMAXAL32-encode( Rs Rn Rt -- )
LDSMAXAL64-encode( Rs Rn Rt -- )
LDSMAXALB-encode( Rs Rn Rt -- )
LDSMAXALH-encode( Rs Rn Rt -- )
LDSMAXB-encode( Rs Rn Rt -- )
LDSMAXH-encode( Rs Rn Rt -- )
LDSMAXL32-encode( Rs Rn Rt -- )
LDSMAXL64-encode( Rs Rn Rt -- )
LDSMAXLB-encode( Rs Rn Rt -- )
LDSMAXLH-encode( Rs Rn Rt -- )
LDSMIN32-encode( Rs Rn Rt -- )
LDSMIN64-encode( Rs Rn Rt -- )
LDSMINA32-encode( Rs Rn Rt -- )
LDSMINA64-encode( Rs Rn Rt -- )
LDSMINAB-encode( Rs Rn Rt -- )
LDSMINAH-encode( Rs Rn Rt -- )
LDSMINAL32-encode( Rs Rn Rt -- )
LDSMINAL64-encode( Rs Rn Rt -- )
LDSMINALB-encode( Rs Rn Rt -- )
LDSMINALH-encode( Rs Rn Rt -- )
LDSMINB-encode( Rs Rn Rt -- )
LDSMINH-encode( Rs Rn Rt -- )
LDSMINL32-encode( Rs Rn Rt -- )
LDSMINL64-encode( Rs Rn Rt -- )
LDSMINLB-encode( Rs Rn Rt -- )
LDSMINLH-encode( Rs Rn Rt -- )
LDTR32-encode( imm9 Rn Rt -- )
LDTR64-encode( imm9 Rn Rt -- )
LDTRB-encode( imm9 Rn Rt -- )
LDTRH-encode( imm9 Rn Rt -- )
LDTRSB32-encode( imm9 Rn Rt -- )
LDTRSB64-encode( imm9 Rn Rt -- )
LDTRSH32-encode( imm9 Rn Rt -- )
LDTRSH64-encode( imm9 Rn Rt -- )
LDTRSW-encode( imm9 Rn Rt -- )
LDUMAX32-encode( Rs Rn Rt -- )
LDUMAX64-encode( Rs Rn Rt -- )
LDUMAXA32-encode( Rs Rn Rt -- )
LDUMAXA64-encode( Rs Rn Rt -- )
LDUMAXAB-encode( Rs Rn Rt -- )
LDUMAXAH-encode( Rs Rn Rt -- )
LDUMAXAL32-encode( Rs Rn Rt -- )
LDUMAXAL64-encode( Rs Rn Rt -- )
LDUMAXALB-encode( Rs Rn Rt -- )
LDUMAXALH-encode( Rs Rn Rt -- )
LDUMAXB-encode( Rs Rn Rt -- )
LDUMAXH-encode( Rs Rn Rt -- )
LDUMAXL32-encode( Rs Rn Rt -- )
LDUMAXL64-encode( Rs Rn Rt -- )
LDUMAXLB-encode( Rs Rn Rt -- )
LDUMAXLH-encode( Rs Rn Rt -- )
LDUMIN32-encode( Rs Rn Rt -- )
LDUMIN64-encode( Rs Rn Rt -- )
LDUMINA32-encode( Rs Rn Rt -- )
LDUMINA64-encode( Rs Rn Rt -- )
LDUMINAB-encode( Rs Rn Rt -- )
LDUMINAH-encode( Rs Rn Rt -- )
LDUMINAL32-encode( Rs Rn Rt -- )
LDUMINAL64-encode( Rs Rn Rt -- )
LDUMINALB-encode( Rs Rn Rt -- )
LDUMINALH-encode( Rs Rn Rt -- )
LDUMINB-encode( Rs Rn Rt -- )
LDUMINH-encode( Rs Rn Rt -- )
LDUMINL32-encode( Rs Rn Rt -- )
LDUMINL64-encode( Rs Rn Rt -- )
LDUMINLB-encode( Rs Rn Rt -- )
LDUMINLH-encode( Rs Rn Rt -- )
LDUR32-encode( imm9 Rn Rt -- )
LDUR64-encode( imm9 Rn Rt -- )
LDURB-encode( imm9 Rn Rt -- )
LDURH-encode( imm9 Rn Rt -- )
LDURSB32-encode( imm9 Rn Rt -- )
LDURSB64-encode( imm9 Rn Rt -- )
LDURSH32-encode( imm9 Rn Rt -- )
LDURSH64-encode( imm9 Rn Rt -- )
LDURSW-encode( imm9 Rn Rt -- )
LDXP32-encode( Rt2 Rn Rt -- )
LDXP64-encode( Rt2 Rn Rt -- )
LDXR32-encode( Rn Rt -- )
LDXR64-encode( Rn Rt -- )
LDXRB-encode( Rn Rt -- )
LDXRH-encode( Rn Rt -- )
LE( -- n )
LO( -- n )
LS( -- n )
LSLV32-encode( Rm Rn Rd -- )
LSLV64-encode( Rm Rn Rd -- )
LSLi32-encode( immrimms Rn Rd -- )
LSLi64-encode( immrimms Rn Rd -- )
LSLr32-encode( Rm Rn Rd -- )
LSLr64-encode( Rm Rn Rd -- )
LSRV32-encode( Rm Rn Rd -- )
LSRV64-encode( Rm Rn Rd -- )
LSRi32-encode( immr Rn Rd -- )
LSRi64-encode( immr Rn Rd -- )
LSRr32-encode( Rm Rn Rd -- )
LSRr64-encode( Rm Rn Rd -- )
LT( -- n )
M( n -- n )
M-range( value -- * )
MADD32-encode( Rm Ra Rn Rd -- )
MADD64-encode( Rm Ra Rn Rd -- )
MI( -- n )
MNEG32-encode( Rm Rn Rd -- )
MNEG64-encode( Rm Rn Rd -- )
MOVK32-encode( hw2 imm16 Rd -- )
MOVK64-encode( hw2 imm16 Rd -- )
MOVN32-encode( hw2 imm16 Rd -- )
MOVN64-encode( hw2 imm16 Rd -- )
MOVZ32-encode( hw2 imm16 Rd -- )
MOVZ64-encode( hw2 imm16 Rd -- )
MOVbi32-encode( immr imms Rn -- )
MOVbi64-encode( Nimmrimms Rn -- )
MOViwi32-encode( hw2 imm16 Rd -- )
MOViwi64-encode( hw2 imm16 Rd -- )
MOVr32-encode( Rm Rd -- )
MOVr64-encode( Rm Rd -- )
MOVsp32-encode( shift2 Rn Rd -- )
MOVsp64-encode( shift2 Rn Rd -- )
MOVwi32-encode( hw2 imm16 Rd -- )
MOVwi64-encode( hw2 imm16 Rd -- )
MRS-encode( op2 op3 CRn CRm op3 Rt -- )
MSRi-encode( op3 CRm op3 -- )
MSRr-encode( op2 op3 CRn CRm op3 Rt -- )
MSUB32-encode( Rm Ra Rn Rd -- )
MSUB64-encode( Rm Ra Rn Rd -- )
MUL32-encode( Rm Rn Rd -- )
MUL64-encode( Rm Rn Rd -- )
MVN32-encode( shift2 Rm imm6 Rd -- )
MVN64-encode( shift2 Rm imm6 Rd -- )
N( n -- n )
N-range( value -- * )
NE( -- n )
NEG32-encode( shift2 Rm imm6 Rd -- )
NEG64-encode( shift2 Rm imm6 Rd -- )
NEGS32-encode( shift2 Rm imm6 Rd -- )
NEGS64-encode( shift2 Rm imm6 Rd -- )
NGC32-encode( Rm Rd -- )
NGC64-encode( Rm Rd -- )
NGCS32-encode( Rm Rd -- )
NGCS64-encode( Rm Rd -- )
NOP( -- )
NV( -- n )
Nimmrimms( n -- n )
Nimmrimms-range( value -- * )
ORNsr32-encode( shift2 Rm imm6 Rn Rd -- )
ORNsr64-encode( shift2 Rm imm6 Rn Rd -- )
ORRi32-encode( immrimms Rn Rd -- )
ORRi64-encode( Nimmrimms Rn Rd -- )
ORRsr32-encode( shift2 Rm imm6 Rn Rd -- )
ORRsr64-encode( 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 -- )
PL( -- n )
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 -- * )
RBIT32-encode( Rn Rd -- )
RBIT64-encode( Rn Rd -- )
RET-encode( Rn -- )
RETAA-encode( -- )
RETAB-encode( -- )
REV16_32( Rn Rd -- )
REV16_64( Rn Rd -- )
REV32-encode( Rn Rd -- )
REV64-encode( Q size2 Rn Rd -- )
REVb32-encode( Rn Rd -- )
REVb64-encode( Rn Rd -- )
RMIF-encode( imm6 Rn mask4 -- )
RORV32-encode( Rm Rn Rd -- )
RORV64-encode( Rm Rn Rd -- )
RORi32-encode( Rm imm5 Rn Rd -- )
RORi64-encode( Rm imms Rn Rd -- )
RORr32-encode( Rm Rn Rd -- )
RORr64-encode( 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( -- )
SBC32-encode( Rm Rn Rd -- )
SBC64-encode( Rm Rn Rd -- )
SBCS32-encode( Rm Rn Rd -- )
SBCS64-encode( Rm Rn Rd -- )
SBFIZ32-encode( immr imms Rn Rd -- )
SBFIZ64-encode( immr imms Rn Rd -- )
SBFM32-encode( immr imms Rn Rd -- )
SBFM64-encode( immr imms Rn Rd -- )
SBFX32-encode( immr imms Rn Rd -- )
SBFX64-encode( immr imms Rn Rd -- )
SCVTFsi64-encode( ftype Rn Rd -- )
SDIV32-encode( Rm Rn Rd -- )
SDIV64-encode( 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 -- )
SP( -- value )
SSBB-encode( -- )
ST2Gpost-encode( imm9 Xn -- )
ST2Gpre-encode( imm9 Xn -- )
ST2Gsoff-encode( imm9 Xn -- )
STADD32-encode( Rs Rn -- )
STADD64-encode( Rs Rn -- )
STADDB-encode( Rs Rn -- )
STADDH-encode( Rs Rn -- )
STADDL32-encode( Rs Rn -- )
STADDL64-encode( Rs Rn -- )
STADDLB-encode( Rs Rn -- )
STADDLH-encode( Rs Rn -- )
STCLR32-encode( Rs Rn -- )
STCLR64-encode( Rs Rn -- )
STCLRB-encode( Rs Rn -- )
STCLRH-encode( Rs Rn -- )
STCLRL32-encode( Rs Rn -- )
STCLRL64-encode( Rs Rn -- )
STCLRLB-encode( Rs Rn -- )
STCLRLH-encode( Rs Rn -- )
STEOR32-encode( Rs Rn -- )
STEOR64-encode( Rs Rn -- )
STEORB-encode( Rs Rn -- )
STEORH-encode( Rs Rn -- )
STEORL32-encode( Rs Rn -- )
STEORL64-encode( 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 -- )
STLLR32-encode( Rn Rt -- )
STLLR64-encode( Rn Rt -- )
STLLRB-encode( Rn Rt -- )
STLLRH-encode( Rn Rt -- )
STLR32-encode( Rn Rt -- )
STLR64-encode( Rn Rt -- )
STLRB-encode( Rn Rt -- )
STLRH-encode( Rn Rt -- )
STLUR32-encode( imm9 Rn Rt -- )
STLUR64-encode( imm9 Rn Rt -- )
STLURB-encode( imm9 Rn Rt -- )
STLURH-encode( imm9 Rn Rt -- )
STLXP32-encode( Rs Rt2 Rn Rt -- )
STLXP64-encode( Rs Rt2 Rn Rt -- )
STLXR32-encode( Rs Rn Rt -- )
STLXR64-encode( Rs Rn Rt -- )
STLXRB-encode( Rs Rn Rt -- )
STLXRH-encode( Rs Rn Rt -- )
STNP32-encode( imm7 Rt2 Rn Rt -- )
STNP64-encode( imm7 Rt2 Rn Rt -- )
STPpost32-encode( imm7 Rt2 Rn Rt -- )
STPpost64-encode( imm7 Rt2 Rn Rt -- )
STPpre32-encode( imm7 Rt2 Rn Rt -- )
STPpre64-encode( imm7 Rt2 Rn Rt -- )
STPsoff32-encode( imm7 Rt2 Rn Rt -- )
STPsoff64-encode( 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 -- )
STRpost32-encode( imm9 Rn Rt -- )
STRpost64-encode( imm9 Rn Rt -- )
STRpre32-encode( imm9 Rn Rt -- )
STRpre64-encode( imm9 Rn Rt -- )
STRr32-encode( Rm option3 S Rn Rt -- )
STRr64-encode( Rm option3 S Rn Rt -- )
STRuoff32-encode( imm12 Rn Rt -- )
STRuoff64-encode( imm12 Rn Rt -- )
STSET32-encode( Rs Rn -- )
STSET64-encode( Rs Rn -- )
STSETB-encode( Rs Rn -- )
STSETH-encode( Rs Rn -- )
STSETL32-encode( Rs Rn -- )
STSETL64-encode( Rs Rn -- )
STSETLB-encode( Rs Rn -- )
STSETLH-encode( Rs Rn -- )
STSMAX32-encode( Rs Rn -- )
STSMAX64-encode( Rs Rn -- )
STSMAXB-encode( Rs Rn -- )
STSMAXH-encode( Rs Rn -- )
STSMAXL32-encode( Rs Rn -- )
STSMAXL64-encode( Rs Rn -- )
STSMAXLB-encode( Rs Rn -- )
STSMAXLH-encode( Rs Rn -- )
STSMIN32-encode( Rs Rn -- )
STSMIN64-encode( Rs Rn -- )
STSMINB-encode( Rs Rn -- )
STSMINH-encode( Rs Rn -- )
STSMINL32-encode( Rs Rn -- )
STSMINL64-encode( Rs Rn -- )
STSMINLB-encode( Rs Rn -- )
STSMINLH-encode( Rs Rn -- )
STTR32-encode( imm9 Rn Rt -- )
STTR64-encode( imm9 Rn Rt -- )
STTRB-encode( imm9 Rn Rt -- )
STTRH-encode( imm9 Rn Rt -- )
STUMAX32-encode( Rs Rn -- )
STUMAX64-encode( Rs Rn -- )
STUMAXB-encode( Rs Rn -- )
STUMAXH-encode( Rs Rn -- )
STUMAXL32-encode( Rs Rn -- )
STUMAXL64-encode( Rs Rn -- )
STUMAXLB-encode( Rs Rn -- )
STUMAXLH-encode( Rs Rn -- )
STUMIN32-encode( Rs Rn -- )
STUMIN64-encode( Rs Rn -- )
STUMINB-encode( Rs Rn -- )
STUMINH-encode( Rs Rn -- )
STUMINL32-encode( Rs Rn -- )
STUMINL64-encode( Rs Rn -- )
STUMINLB-encode( Rs Rn -- )
STUMINLH-encode( Rs Rn -- )
STUR32-encode( imm9 Rn Rt -- )
STUR64-encode( imm9 Rn Rt -- )
STURB-encode( imm9 Rn Rt -- )
STURH-encode( imm9 Rn Rt -- )
STXP32-encode( Rs Rt2 Rn Rt -- )
STXP64-encode( Rs Rt2 Rn Rt -- )
STXR32-encode( Rs Rn Rt -- )
STXR64-encode( 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 -- )
SUBSer32-encode( Rm option3 imm3 Rn Rd -- )
SUBSer64-encode( Rm option3 imm3 Rn Rd -- )
SUBSimm32-encode( shift2 imm12 Rn Rd -- )
SUBSimm64-encode( shift2 imm12 Rn Rd -- )
SUBSsr32-encode( shift2 Rm imm6 Rn Rd -- )
SUBSsr64-encode( shift2 Rm imm6 Rn Rd -- )
SUBer32-encode( Rm option3 imm3 Rn Rd -- )
SUBer64-encode( Rm option3 imm3 Rn Rd -- )
SUBi32-encode( shift2 imm12 Rn Rd -- )
SUBi64-encode( shift2 imm12 Rn Rd -- )
SUBsr32-encode( shift2 Rm imm6 Rn Rd -- )
SUBsr64-encode( shift2 Rm imm6 Rn Rd -- )
SVC-encode( imm16 -- )
SW( -- sf ftype rmode opcode )
SWP32-encode( Rs Rn Rt -- )
SWP64-encode( Rs Rn Rt -- )
SWPA32-encode( Rs Rn Rt -- )
SWPA64-encode( Rs Rn Rt -- )
SWPAB-encode( Rs Rn Rt -- )
SWPAH-encode( Rs Rn Rt -- )
SWPAL32-encode( Rs Rn Rt -- )
SWPAL64-encode( Rs Rn Rt -- )
SWPALB-encode( Rs Rn Rt -- )
SWPALH-encode( Rs Rn Rt -- )
SWPB-encode( Rs Rn Rt -- )
SWPH-encode( Rs Rn Rt -- )
SWPL32-encode( Rs Rn Rt -- )
SWPL64-encode( Rs Rn Rt -- )
SWPLB-encode( Rs Rn Rt -- )
SWPLH-encode( Rs Rn Rt -- )
SXTB32-encode( Rn Rd -- )
SXTB64-encode( Rn Rd -- )
SXTH32-encode( Rn Rd -- )
SXTH64-encode( 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( -- )
TSTi32-encode( immrimms Rn -- )
TSTi64-encode( Nimmrimms Rn -- )
TSTsr32-encode( shift2 Rm imm6 Rn -- )
TSTsr64-encode( shift2 Rm imm6 Rn -- )
U( n -- n )
U-range( value -- * )
UBFIZ32-encode( immr imms Rn Rd -- )
UBFIZ64-encode( immr imms Rn Rd -- )
UBFM32-encode( immr imms Rn Rd -- )
UBFM64-encode( immr imms Rn Rd -- )
UBFX32-encode( immr imms Rn Rd -- )
UBFX64-encode( immr imms Rn Rd -- )
UDF-encode( imm16 -- )
UDIV32-encode( Rm Rn Rd -- )
UDIV64-encode( 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 -- )
VC( -- n )
VS( -- n )
WFE-encode( -- )
WFI-encode( -- )
WH( -- sf ftype rmode opcode )
WS( -- sf ftype rmode opcode )
WSP( -- value )
WZR( -- value )
XAFlag-encode( -- )
XD( -- sf ftype rmode opcode )
XD[1]( -- sf ftype rmode opcode )
XH( -- sf ftype rmode opcode )
XPACD-encode( Rd -- )
XPACI-encode( Rd -- )
XPACLRI-encode( -- )
XZR( -- value )
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 -- * )
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
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 -- ? )
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