Lines Matching full:res128
3931 IRTemp res128 = newTemp(Ity_I128);3937 assign( res128, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );3938 assign( resHi, unop(Iop_128HIto64,mkexpr(res128)));3939 assign( resLo, unop(Iop_128to64,mkexpr(res128)));