Update ISA encoding