Home | History | Annotate | Download | only in priv

Lines Matching defs:dst64

2242    IRTemp dst64 = newTemp(Ity_I64);
2247          assign( dst64, binop(op, mkexpr(src64), mkexpr(t)) );
2248          putIReg( 4, R_EAX, unop(Iop_64to32,mkexpr(dst64)) );
2249          putIReg( 4, R_EDX, unop(Iop_64HIto32,mkexpr(dst64)) );
2257          assign( dst64, binop(op, mkexpr(src64), unop(widen1632,mkexpr(t))) );
2258          putIReg( 2, R_EAX, unop(Iop_32to16,unop(Iop_64to32,mkexpr(dst64))) );
2259          putIReg( 2, R_EDX, unop(Iop_32to16,unop(Iop_64HIto32,mkexpr(dst64))) );
2267          assign( dst64, 
2271                            unop(Iop_64to32,mkexpr(dst64)))) );
2273                            unop(Iop_64HIto32,mkexpr(dst64)))) );
8638       IRTemp dst64  = newTemp(Ity_I64);
8673          dst64,
8684       putMMXReg(gregOfRM(modrm), mkexpr(dst64));
9741       IRTemp dst64  = newTemp(Ity_I64);
9776          dst64,
9783       putMMXReg(gregOfRM(modrm), mkexpr(dst64));