Lines Matching defs:src64
2241 IRTemp src64 = newTemp(Ity_I64);
2245 assign( src64, binop(Iop_32HLto64,
2247 assign( dst64, binop(op, mkexpr(src64), mkexpr(t)) );
2254 assign( src64, unop(widen3264,
2257 assign( dst64, binop(op, mkexpr(src64), unop(widen1632,mkexpr(t))) );
2266 assign( src64, unop(widen3264, unop(widen1632, getIReg(2,R_EAX))) );
2268 binop(op, mkexpr(src64),