Lines Matching refs:res32
3676 IRTemp res32 = newTemp(Ity_I32);3682 assign( res32, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );3683 assign( resHi, unop(Iop_32HIto16,mkexpr(res32)));3684 assign( resLo, unop(Iop_32to16,mkexpr(res32)));