Home | History | Annotate | Download | only in priv

Lines Matching defs:res32

3959          IRTemp res32   = newTemp(Ity_I32);
3965          assign( res32, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
3966          assign( resHi, unop(Iop_32HIto16,mkexpr(res32)));
3967          assign( resLo, unop(Iop_32to16,mkexpr(res32)));