An ia32 LOCK/XADD bug.

amodra@one.net.au amodra@one.net.au
Thu May 17 00:46:00 GMT 2001


On Thu, May 17, 2001 at 12:15:56AM -0700, H . J . Lu wrote:
> It looks like
> 
> 	lock xadd %edx,%edx
> 
> is an illegal instruction on ia32.  I cannot find anything in Intel
> reference manual to say you cannot have LOCK on insn where DST/SRC are
> reg or same. My questions are
> 
> 1. How to write a correct exchange_and_add? Is exchange_and_add_1 ok?

I think you'll need to use "=&r" and "=&m" as output constraints.

> 2. If "lock xadd %edx,%edx" is really an illegal instruction on ia32,
> how should we fix gas to detect that?

IMO, we shouldn't.  There are plenty of other instructions that we
can generate that are illegal.



More information about the Libc-alpha mailing list