OSDN Git Service

PR target/44074
[pf3gnuchains/gcc-fork.git] / gcc / config / i386 / i386.c
index b99586a..a54651d 100644 (file)
@@ -12056,10 +12056,8 @@ print_operand (FILE *file, rtx x, int code)
          return;
 
        case ';':
-#if TARGET_MACHO
-         fputs (" ; ", file);
-#else
-         putc (' ', file);
+#if TARGET_MACHO || !HAVE_AS_IX86_REP_LOCK_PREFIX
+         fputs (";", file);
 #endif
          return;