Nvidia SM90a Instruction Set Architecture

Here is a reverse engineered ISA specification for the Nvidia SM90a (Hopper) architecture. It's automatically generated by fuzzing nvdisasm utility.
Source code for the solver will be released soon. Please follow me on Twitter for updates.

NOP
LEA
VABSDIFF
VABSDIFF4
PRMT
SHF
FADD
FFMA
IMAD
DADD
DSETP
DFMA
HADD2
HFMA2
HSET2
HSETP2
F2FP
F2IP
VIADDMNMX
ULEA
USHF
UIMAD
UF2FP
BAR
ALD
IPA
BRA
LDC
SHFL
SUATOM
SYNCS
CGAERRBAR
UTMALDG
UTMAPF
SULD
SUQUERY
PMTRIG
MOV
P2R
R2P
CS2R
VOTE
SEL
FSEL
FMNMX
FSET
FSETP
ISETP
CSMTEST
VIMNMX3
IADD3
LOP3
IABS
IMNMX
SGXT
BMSK
PLOP3
FMUL
FSWZADD
DMUL
PREEXIT
ACQBULK
ELECT
HMUL2
VIADD
I2I
I2IP
LDSM
HMNMX2
STSM
I2FP
VHMNMX
VIMNMX
UMOV
UP2UR
UR2UP
VOTEU
USEL
UISETP
UIADD3
ULOP3
UPRMT
USGXT
UBMSK
UPLOP3
ULDC
UCLEA
UFLO
UBREV
UPOPC
FLO
BREV
FCHK
F2I
I2F
MUFU
POPC
F2F
FRND
S2R
DEPBAR
ENDCOLLECTIVE
AL2P
ISBERD
OUT
PIXLD
BSYNC
BREAK
CALL
BSSY
YIELD
WARPSYNC
BRX
JMP
JMX
EXIT
LEPC
RET
RPCMOV
BMOV
BRXU
JMXU
BPT
NANOSLEEP
LD
LDG
LDL
LDS
ST
STG
STL
STS
ATOM
ATOMS
REDG
CCTL
CCTLL
MEMBAR
SUST
ATOMG
QSPC
ERRBAR
LDGDEPBAR
ARRIVES
UTMACMDFLUSH
UTMACCTL
S2UR
WARPGROUP
UCGABAR_ARV
USETMAXREG
USETSHMSZ
ULEPC
HGMMA
IGMMA
BGMMA
QGMMA
IDP
TEX
TLD4
TLD
TMML
TXD
TXQ
FOOTPRINT
LDGSTS
STAS
REDAS
UCGABAR_WAIT
IMMA
MOVM
HMMA
BMMA
DMMA
R2UR
B2R
SETCTAID
MATCH
LDTRAM
UTMASTG
UTMAREDG
UBLKCP
UBLKRED
UBLKPF
GETLMEMBASE
REDUX
FENCE