Lines Matching refs:bbhi32s
7718 IRTemp bbhi32s = newTemp(Ity_I64);7733 assign( bbhi32s,7750 binop(Iop_Mul32x2, mkexpr(aahi32s), mkexpr(bbhi32s)),