Lines Matching refs:src64
3348 IRTemp src64 = newTemp(Ity_I64);
3352 assign( src64,
3355 binop(op, mkexpr(src64), mkexpr(t)) );
3362 assign( src64, unop(widen3264,
3366 assign( dst64, binop(op, mkexpr(src64), unop(widen1632,mkexpr(t))) );
3375 assign( src64, unop(widen3264,
3378 binop(op, mkexpr(src64),
4860 IRTemp src64 = newTemp(Ity_I64);
4861 assign(src64, widenUto64( mkexpr(src) ));
4865 binop(Iop_Shl64, mkexpr(src64),
4893 IRTemp src64 = newTemp(Ity_I64);
4894 assign(src64, widenUto64( mkexpr(src) ));
4901 binop(Iop_CmpEQ64, mkexpr(src64), mkU64(0)),
4903 unop(Iop_Ctz64, mkexpr(src64))
8128 IRTemp src64 = newTemp(Ity_I64);
8152 assign( src64, widenUto64(mkexpr(src)) );
8160 assign( srcB, binop(Iop_ExpCmpNE64, mkexpr(src64), mkU64(0)) );
8210 fwds ? unop(Iop_Ctz64, mkexpr(src64))
8213 unop(Iop_Clz64, mkexpr(src64))),
16021 IRTemp src64 = newTemp(Ity_I64);
16023 assign(src64, widenUto64(mkexpr(src)));
16036 binop(Iop_CmpEQ64, mkexpr(src64), mkU64(0))),
16082 IRTemp src64 = newTemp(Ity_I64);
16084 assign(src64, widenUto64(mkexpr(src)));
16097 binop(Iop_CmpEQ64, mkexpr(src64), mkU64(0))),