/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-require-effective-target arm_arch_v7a_ok } */
/* { dg-add-options arm_arch_v7a } */

#include <stdatomic.h>

int t0 (int *p, int x)
{
  if (x > 100)
    x = atomic_load_explicit (p, memory_order_relaxed);
  return x + 1;
}

long long t1 (long long *p, int x)
{
  if (x > 100)
    x = atomic_load_explicit (p, memory_order_relaxed);
  return x + 1;
}

void t2 (int *p, int x)
{
  if (x > 100)
    atomic_store_explicit (p, x, memory_order_relaxed);
}

void t3 (long long *p, int x)
{
  if (x > 100)
    atomic_store_explicit (p, x, memory_order_relaxed);
}

/* { dg-final { scan-assembler-times "ldrexd\t" 2 } } */
/* { dg-final { scan-assembler-not "ldrgt" } } */
/* { dg-final { scan-assembler-not "ldrdgt" } } */
/* { dg-final { scan-assembler-not "ldrexdgt" } } */
/* { dg-final { scan-assembler-not "strgt" } } */
/* { dg-final { scan-assembler-not "strdgt" } } */