Lines Matching defs:res128
3924 IRTemp res128 = newTemp(Ity_I128);3930 assign( res128, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );3931 assign( resHi, unop(Iop_128HIto64,mkexpr(res128)));3932 assign( resLo, unop(Iop_128to64,mkexpr(res128)));