Home | History | Annotate | Download | only in priv

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)));