pub const ppc_insn_PPC_INS_EFDCTSI: ppc_insn = 287;