Home | History | Annotate | Download | only in priv

Lines Matching defs:res32

3952          IRTemp res32   = newTemp(Ity_I32);
3958          assign( res32, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );
3959          assign( resHi, unop(Iop_32HIto16,mkexpr(res32)));
3960          assign( resLo, unop(Iop_32to16,mkexpr(res32)));