> > Hmm, can't the insns themselves properly clobber/use memory? The transactions don't really use the memory. They just guard it, like a lock.
So the intrinsic doesn't know what memory is used inside the transaction, but the accesses still cannot be moved out. I think a barrier is the only sensible option. > I suppose they are UNSPEC_VOLATILE anyway, right? That doesn't have any barrier semantics by itself, does it? -Andi
