// RUN: %libomptarget-compile-run-and-check-generic

#include <omp.h>
#include <ompx.h>
#include <stdio.h>

void foo(int device) {
  int X;
  // clang-format off
#pragma omp target teams map(from: X) device(device) thread_limit(2) num_teams(1)
#pragma omp parallel
  // clang-format on
  {
    int tid = ompx_thread_id_x();
    int bid = ompx_block_id_x();
    if (tid == 1 && bid == 0) {
      X = 42;
      ompx_sync_block_divergent(3);
    } else {
      ompx_sync_block_divergent(1);
    }
    if (tid == 0 && bid == 0)
      X++;
    ompx_sync_block(ompx_seq_cst);
    if (tid == 1 && bid == 0)
      X++;
    ompx_sync_block_acq_rel();
    if (tid == 0 && bid == 0)
      X++;
    ompx_sync_block(ompx_release);
    if (tid == 0 && bid == 0)
      X++;
  }
  // CHECK: X: 46
  // CHECK: X: 46
  printf("X: %i\n", X);
}

int main() {
  foo(omp_get_default_device());
  foo(omp_get_initial_device());
}