1 /* { dg-do compile } */ 2 /* { dg-require-effective-target arm_arch_v8a_ok } */ 3 /* { dg-options "-O2" } */ 4 /* { dg-add-options arm_arch_v8a } */ 5 6 #include "../aarch64/sync-op-full.x" 7 8 /* { dg-final { scan-assembler-times "ldrex" 12 } } */ 9 /* { dg-final { scan-assembler-times "stlex" 12 } } */ 10 /* { dg-final { scan-assembler-times "dmb" 12 } } */ 11