1  /* { dg-do compile } */
       2  /* { dg-options "-marm -std=gnu99" } */
       3  /* { dg-require-effective-target arm_arch_v6k_arm_ok } */
       4  /* { dg-add-options arm_arch_v6k } */
       5  /* { dg-message "note: '__sync_fetch_and_nand' changed semantics in GCC 4.4" "fetch_and_nand" { target *-*-* } 0 } */
       6  /* { dg-message "note: '__sync_nand_and_fetch' changed semantics in GCC 4.4" "nand_and_fetch" { target *-*-* } 0 } */
       7  /* { dg-message "file included" "In file included" { target *-*-* } 0 } */
       8  
       9  #include "../../gcc.dg/di-longlong64-sync-1.c"
      10  
      11  /* We should be using ldrexd, strexd and no helpers or shorter ldrex.  */
      12  /* { dg-final { scan-assembler-times "\tldrexd" 48 } } */
      13  /* { dg-final { scan-assembler-times "\tstrexd" 48 } } */
      14  /* { dg-final { scan-assembler-not "__sync_" } } */
      15  /* { dg-final { scan-assembler-not "ldrex\t" } } */
      16  /* { dg-final { scan-assembler-not "strex\t" } } */