Home | History | Annotate | Download | only in priv

Lines Matching defs:old_mem

2194    IRTemp old_mem = newTemp(Ity_I32);
2199 cas = mkIRCAS(IRTemp_INVALID, old_mem,
2205 /* If old_mem contains the expected value, then the CAS succeeded.
2207 jump_back(binop(Iop_CmpNE32, mkexpr(old_mem), mkexpr(expd)));
2209 putIReg(rd, mkWidenFrom32(Ity_I64, mkexpr(old_mem), True));
2217 IRTemp old_mem = newTemp(Ity_I64);
2222 cas = mkIRCAS(IRTemp_INVALID, old_mem,
2228 /* If old_mem contains the expected value, then the CAS succeeded.
2230 jump_back(binop(Iop_CmpNE64, mkexpr(old_mem), mkexpr(expd)));
2232 putIReg(rd, mkexpr(old_mem));