Parents: | cpu.arm.64.assembler |
Authors: | Doug Coleman, Giftpflanze |
ELR_EL1 |
ELR_EL2 |
ELR_EL3 |
SPSR_EL1 |
SPSR_EL2 |
SPSR_EL3 |
SP_EL0 |
SP_EL1 |
SP_EL2 |
SP_EL3 |
Word | Syntax |
ARM-INSTRUCTION: | |
FIELD: | |
REGISTER-FIELD: |
Word | Stack effect |
register | ( obj -- n ) |
value | ( obj -- n ) |
width | ( obj -- n ) |
Word | Stack 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 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 -- * ) |
Word | Stack 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 -- ? ) |