Update ISA encoding in emulation routines