New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Aarch64: Instruction Disassembly/Lifting Completion #210

Open
plafosse opened this Issue Mar 31, 2016 · 5 comments

Comments

Projects
None yet
3 participants
@plafosse
Member

plafosse commented Mar 31, 2016

The following is the list of instructions which we currently disassemble and lift (Fully or Partially). If you have any instructions which differ from this table, there is likely a bug or a documentation failure, please let us know (also if you could provide the opcodes that would be great).

Mnem Disassembly Lifting
adr Full Full
adrp Full Full
asr Full Full
b Full Full
bcc Full Full
beq Full Full
bics Full Full
bl Full Full
blr Full Full
blt Full Full
br Full Full
cbnz Full Full
cbz Full Full
csel Full Full
cset Full Full
eor Full Full
lsl Full Full
lsr Full Full
mov Full Full
mvn Full Full
nop Full Full
ret Full Full
sbfx Full Full
sdiv Full Full
sxtb Full Full
sxth Full Full
sxtw Full Full
ubfx Full Full
udiv Full Full
uxtb Full Full
uxth Full Full
add Full Partial
and Full Partial
ands Full Partial
bic Full Partial
cmn Full Partial
cmp Full Partial
ldp Full Partial
ldr Full Partial
ldrb Full Partial
ldrh Full Partial
ldrsb Full Partial
ldrsh Full Partial
neg Full Partial
orr Full Partial
stp Full Partial
str Full Partial
strb Full Partial
strh Full Partial
sub Full Partial
svc Full Partial
tst Full Partial
abs Full None
adc Full None
adcs Full None
addhn Full None
addhn2 Full None
addp Full None
adds Full None
addv Full None
aesd Full None
aese Full None
aesimc Full None
aesmc Full None
at Full None
bfi Full None
bfxil Full None
bif Full None
bit Full None
brk Full None
bsl Full None
ccmn Full None
ccmp Full None
cinc Full None
cinv Full None
clrex Full None
cls Full None
clz Full None
cmeq Full None
cmge Full None
cmgt Full None
cmhi Full None
cmhs Full None
cmle Full None
cmlt Full None
cmtst Full None
cneg Full None
cnt Full None
crc32b Full None
crc32cb Full None
crc32ch Full None
crc32cw Full None
crc32cx Full None
crc32h Full None
crc32w Full None
crc32x Full None
csetm Full None
csinc Full None
csinv Full None
csneg Full None
dc Full None
dcps1 Full None
dcps2 Full None
dcps3 Full None
dmb Full None
drps Full None
dsb Full None
dup Full None
eret Full None
ext Full None
extr Full None
fabd Full None
fabs Full None
facge Full None
facgt Full None
fadd Full None
faddp Full None
fccmp Full None
fccmpe Full None
fcmeq Full None
fcmge Full None
fcmgt Full None
fcmle Full None
fcmlt Full None
fcmp Full None
fcmpe Full None
fcsel Full None
fcvt Full None
fcvtas Full None
fcvtau Full None
fcvtl Full None
fcvtl2 Full None
fcvtms Full None
fcvtmu Full None
fcvtn Full None
fcvtn2 Full None
fcvtns Full None
fcvtnu Full None
fcvtps Full None
fcvtpu Full None
fcvtxn Full None
fcvtxn2 Full None
fcvtzs Full None
fcvtzu Full None
fdiv Full None
fmadd Full None
fmax Full None
fmaxnm Full None
fmaxnmp Full None
fmaxnmv Full None
fmaxp Full None
fmaxv Full None
fmin Full None
fminnm Full None
fminnmp Full None
fminnmv Full None
fminp Full None
fminv Full None
fmla Full None
fmls Full None
fmov Full None
fmsub Full None
fmul Full None
fmulx Full None
fneg Full None
fnmadd Full None
fnmsub Full None
fnmul Full None
frecpe Full None
frecps Full None
frecpx Full None
frinta Full None
frinti Full None
frintm Full None
frintn Full None
frintp Full None
frintx Full None
frintz Full None
frsqrte Full None
frsqrts Full None
fsqrt Full None
fsub Full None
hint Full None
hlt Full None
hvc Full None
ic Full None
ins Full None
isb Full None
ld1 Full None
ld1r Full None
ld2 Full None
ld2r Full None
ld3 Full None
ld3r Full None
ld4 Full None
ld4r Full None
ldar Full None
ldarb Full None
ldarh Full None
ldaxp Full None
ldaxr Full None
ldaxrb Full None
ldaxrh Full None
ldnp Full None
ldpsw Full None
ldrsw Full None
ldtr Full None
ldtrb Full None
ldtrh Full None
ldtrsb Full None
ldtrsh Full None
ldtrsw Full None
ldur Full None
ldurb Full None
ldurh Full None
ldursb Full None
ldursh Full None
ldursw Full None
ldxp Full None
ldxr Full None
ldxrb Full None
ldxrh Full None
madd Full None
mla Full None
mls Full None
mneg Full None
movi Full None
movk Full None
movz Full None
mrs Full None
msr Full None
msub Full None
mul Full None
mvni Full None
negs Full None
ngc Full None
ngcs Full None
orn Full None
pmul Full None
pmull Full None
pmull2 Full None
prfm Full None
prfum Full None
raddhn Full None
raddhn2 Full None
rbit Full None
rev Full None
rev16 Full None
rev32 Full None
rev64 Full None
ror Full None
rshrn Full None
rshrn2 Full None
rsubhn Full None
rsubhn2 Full None
saba Full None
sabal Full None
sabal2 Full None
sabd Full None
sabdl Full None
sabdl2 Full None
sadalp Full None
saddl Full None
saddl2 Full None
saddlp Full None
saddlv Full None
saddw Full None
saddw2 Full None
sbc Full None
sbcs Full None
sbfiz Full None
scvtf Full None
sev Full None
sevl Full None
sha1c Full None
sha1h Full None
sha1m Full None
sha1p Full None
sha1su0 Full None
sha1su1 Full None
sha256h Full None
sha256h2 Full None
sha256su0 Full None
sha256su1 Full None
shadd Full None
shl Full None
shll Full None
shll2 Full None
shrn Full None
shrn2 Full None
shsub Full None
sli Full None
smaddl Full None
smax Full None
smaxp Full None
smaxv Full None
smc Full None
smin Full None
sminp Full None
sminv Full None
smlal Full None
smlal2 Full None
smlsl Full None
smlsl2 Full None
smnegl Full None
smov Full None
smsubl Full None
smulh Full None
smull Full None
smull2 Full None
sqabs Full None
sqadd Full None
sqdmlal Full None
sqdmlal2 Full None
sqdmlsl Full None
sqdmlsl2 Full None
sqdmulh Full None
sqdmull Full None
sqdmull2 Full None
sqneg Full None
sqrdmulh Full None
sqrshl Full None
sqrshrn Full None
sqrshrn2 Full None
sqrshrun Full None
sqrshrun2 Full None
sqshl Full None
sqshlu Full None
sqshrn Full None
sqshrn2 Full None
sqshrun Full None
sqshrun2 Full None
sqsub Full None
sqxtn Full None
sqxtn2 Full None
sqxtun Full None
sqxtun2 Full None
srhadd Full None
sri Full None
srshl Full None
srshr Full None
srsra Full None
sshl Full None
sshll Full None
sshll2 Full None
sshr Full None
ssra Full None
ssubl Full None
ssubl2 Full None
ssubw Full None
ssubw2 Full None
st1 Full None
st2 Full None
st3 Full None
st4 Full None
stlr Full None
stlrb Full None
stlrh Full None
stlxp Full None
stlxr Full None
stlxrb Full None
stlxrh Full None
stnp Full None
sttr Full None
sttrb Full None
sttrh Full None
stur Full None
sturb Full None
sturh Full None
stxp Full None
stxr Full None
stxrb Full None
stxrh Full None
subs Full None
suqadd Full None
sys Full None
sysl Full None
tbl Full None
tbx Full None
tlbi Full None
trn1 Full None
trn2 Full None
uaba Full None
uabal Full None
uabal2 Full None
uabd Full None
uabdl Full None
uabdl2 Full None
uadalp Full None
uaddl Full None
uaddl2 Full None
uaddlp Full None
uaddlv Full None
uaddw Full None
uaddw2 Full None
ubfiz Full None
ucvtf Full None
uhadd Full None
uhsub Full None
umaddl Full None
umax Full None
umaxp Full None
umaxv Full None
umin Full None
uminp Full None
uminv Full None
umlal Full None
umlal2 Full None
umlsl Full None
umlsl2 Full None
umnegl Full None
umov Full None
umsubl Full None
umulh Full None
umull Full None
umull2 Full None
uqadd Full None
uqrshl Full None
uqrshrn Full None
uqrshrn2 Full None
uqshl Full None
uqshrn Full None
uqshrn2 Full None
uqsub Full None
uqxtn Full None
uqxtn2 Full None
urecpe Full None
urhadd Full None
urshl Full None
urshr Full None
ursqrte Full None
ursra Full None
ushl Full None
ushll Full None
ushll2 Full None
ushr Full None
usqadd Full None
usra Full None
usubl Full None
usubl2 Full None
usubw Full None
usubw2 Full None
uzp1 Full None
uzp2 Full None
wfe Full None
wfi Full None
xtn Full None
xtn2 Full None
yield Full None
zip1 Full None
zip2 Full None

@plafosse plafosse added the enhancement label Apr 3, 2016

@psifertex psifertex modified the milestone: post-v1 Jun 3, 2016

@plafosse

This comment has been minimized.

Member

plafosse commented Apr 26, 2017

@withzombies asks that we prioritize these instructions: movk, ldaxr, stlxr, madd, ccmp, cinc

@withzombies

This comment has been minimized.

Contributor

withzombies commented Apr 27, 2017

I have an arm64 binary where some forms of b are not properly handled.

screen shot 2017-04-27 at 10 06 01 am

screen shot 2017-04-27 at 10 05 14 am

b.eq and b.vs specifically in one function. I can provide the binary out of band.

@withzombies

This comment has been minimized.

Contributor

withzombies commented Sep 5, 2017

The floating point versions of STP and LDP are not implemented, however their assignments appear to be implemented.

screen shot 2017-09-05 at 12 24 41 pm

@withzombies

This comment has been minimized.

Contributor

withzombies commented Feb 14, 2018

I'd like to further request support of ldr and stp with the double and quad width registers like d0 and q0.

screen shot 2018-02-14 at 3 38 07 pm

@withzombies

This comment has been minimized.

Contributor

withzombies commented Feb 14, 2018

I double checked, the b.eq and b.vs report has been addressed and it's supported now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment