An instruction decoder for ARMv7