Home | History | Annotate | Download | only in priv

Lines Matching refs:res128

4041          IRTemp res128  = newTemp(Ity_I128);
4047          assign( res128, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
4048          assign( resHi, unop(Iop_128HIto64,mkexpr(res128)));
4049          assign( resLo, unop(Iop_128to64,mkexpr(res128)));