Lines Matching defs:oldHi
14743 IRTemp oldHi = newTemp(Ity_I32);
14771 mkIRCAS( oldHi, oldLo,
14777 /* success when oldHi:oldLo == expdHi:expdLo */
14781 binop(Iop_Xor32, mkexpr(oldHi), mkexpr(expdHi)),
14787 /* If the DCAS is successful, that is to say oldHi:oldLo ==
14795 mkexpr(expdHi), mkexpr(oldHi)
