Home | History | Annotate | Download | only in priv

Lines Matching refs:old_res

2917    IRTemp old_res, new_res;
2928 old_res = newTemp(Ity_I64);
2931 assign(old_res, mkU64(0));
2949 mkexpr(old_res),
2960 old_res = new_res;
2968 mkexpr(old_res)));
2969 old_res = new_res;
2972 putDRegI64(dreg, mkexpr(old_res), condT);