Home | History | Annotate | Download | only in priv

Lines Matching defs:dst32

6469    IRTemp dst32 = newTemp(Ity_I32);
6542    assign( dst32,   
6556       assign( dst, unop(Iop_32to16, mkexpr(dst32)) );
6558       assign( dst, mkexpr(dst32) );