1  /* { dg-do compile { target i?86-*-* x86_64-*-* } } */
       2  /* { dg-additional-options "-fno-PIE" { target ia32 } } */
       3  /* Check that we can use this idiom to define out-of-line copies of built-in
       4     functions.  This is used by libgcc/sync.c, for example.  */
       5  void __sync_synchronize (void)
       6  {
       7    __sync_synchronize ();
       8  }
       9  /* { dg-final { scan-assembler "__sync_synchronize" } } */
      10  /* { dg-final { scan-assembler "\t(lock|mfence)" } } */
      11  /* { dg-final { scan-assembler-not "\tcall" } } */