Lines Matching refs:bbhi32s
9525 IRTemp bbhi32s = newTemp(Ity_I64);9540 assign( bbhi32s,9557 binop(Iop_Mul32x2, mkexpr(aahi32s), mkexpr(bbhi32s)),