>If you exclude AVX-512, the number is probably less than half that. This paper seems to say there are thousands, am I reading it wrong? >There are two primar

>If you exclude AVX-512, the number is probably less than half that. This paper seems to say there are thousands, am I reading it wrong? >There are two primary barriers to producing a formal specification of x86-64. First, the instruction set is huge: x86-64 contains 981 unique mnemonics and a total of 3,684 instruction variants.[0] [0]https://dl.acm.org/doi/10.1145/29809 https://dl.acm.org/doi/10.1145/29809