Searched refs:bbhi32s (Results 1 – 2 of 2) sorted by relevance
7729 IRTemp bbhi32s = newTemp(Ity_I64); in dis_PMULHRSW_helper() local7744 assign( bbhi32s, in dis_PMULHRSW_helper()7761 binop(Iop_Mul32x2, mkexpr(aahi32s), mkexpr(bbhi32s)), in dis_PMULHRSW_helper()
9747 IRTemp bbhi32s = newTemp(Ity_I64); in dis_PMULHRSW_helper() local9762 assign( bbhi32s, in dis_PMULHRSW_helper()9779 binop(Iop_Mul32x2, mkexpr(aahi32s), mkexpr(bbhi32s)), in dis_PMULHRSW_helper()