pub const ppc_insn_PPC_INS_EFDCTUI: ppc_insn = 291;