On Mon, Mar 05, 2012 at 10:33:19PM +0100, Uros Bizjak wrote: > + case '^': > + if (TARGET_64BIT && Pmode == SImode) > + { > + fputs ("addr32", file); > +#ifndef HAVE_AS_IX86_REP_LOCK_PREFIX > + if (ASSEMBLER_DIALECT == ASM_ATT) > + fputs ("addr32; ", file); > + else > +#endif > + fputs ("addr32 ", file); > + }
Why do you print addr32 twice? "addr32addr32; " or "addr32addr32 ". Jakub