Intel x86 encoder