Lines Matching defs:oldHi
14750 IRTemp oldHi = newTemp(Ity_I32);14778 mkIRCAS( oldHi, oldLo, 14784 /* success when oldHi:oldLo == expdHi:expdLo */14788 binop(Iop_Xor32, mkexpr(oldHi), mkexpr(expdHi)),14794 /* If the DCAS is successful, that is to say oldHi:oldLo ==14802 mkexpr(expdHi), mkexpr(oldHi)