pub const ppc_insn_PPC_INS_XSNMSUBADP: ppc_insn = 1534;