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

Reply via email to