Encoding vcmpps and vcmppd
Summary
An in-depth exploration of how vcmpps and vcmppd encode SIMD float comparisons, contrasting them with comiss/ucomiss. It walks through the b0-b4 bit scheme, the two-bit history, and how the full 32-case table is constructed and implemented in hardware via muxes or logic gates. The piece highlights that x86 encoding is messy but purposeful for backward compatibility and performance.