Searched refs:bblo32s (Results 1 – 2 of 2) sorted by relevance
7730 IRTemp bblo32s = newTemp(Ity_I64); in dis_PMULHRSW_helper() local7748 assign( bblo32s, in dis_PMULHRSW_helper()7777 binop(Iop_Mul32x2, mkexpr(aalo32s), mkexpr(bblo32s)), in dis_PMULHRSW_helper()
9748 IRTemp bblo32s = newTemp(Ity_I64); in dis_PMULHRSW_helper() local9766 assign( bblo32s, in dis_PMULHRSW_helper()9795 binop(Iop_Mul32x2, mkexpr(aalo32s), mkexpr(bblo32s)), in dis_PMULHRSW_helper()