Lines Matching refs:res32
3673 IRTemp res32 = newTemp(Ity_I32);3679 assign( res32, binop(mulOp, mkexpr(t1), mkexpr(tmp)) );3680 assign( resHi, unop(Iop_32HIto16,mkexpr(res32)));3681 assign( resLo, unop(Iop_32to16,mkexpr(res32)));