On Tue, Feb 21, 2012 at 12:26 AM, Andi Kleen <a...@firstfloor.org> wrote: >> IIUC the documentation, the fallback label is a parameter to xbegin >> insn, but the insn itself doesn't jump anywhere - it just records the > > From the point of view of the program XBEGIN behaves like a conditional > jump (with a very complicated and unpredictable condition)
Yes, but as it is written ATM, it conditionally jumps to the next insn. BTW: Looking a bit more to the spec, we can simply write xbegin $0 as the spec says that offset is relative to the _NEXT_ instruction. Uros.