Lines Matching refs:e64
20856 IRTemp e64 = newTemp(Ity_I64);20861 assign(e64, getXMMRegLane64(rE, 0));20867 assign(e64, loadLE(Ity_I64, mkexpr(addr)));20877 getXMMReg(rV), mkexpr(e64)));