pub const ppc_insn_PPC_INS_XVREDP: ppc_insn = 1639;