offload/test/mapping/mapper_map_ptee_only_2ndlevel.c

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

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

// This test ensures that when mapping `s2.s1.x` and `s2.s1.p[0:10] via a
// mapper, the storage of `s2.s1.p` and hence `s2.s1.dummy` is not unnecessarily
// allocated.

int x[10];

typedef struct {
  int x;
  int dummy[10000];
  int *p;
} S1;

typedef struct {
  S1 s1;
} S2;

#pragma omp declare mapper(default : S2 s2) map(s2.s1.x, s2.s1.p[0 : 10])

S2 s2;

void print_status(void *p, const char *name) {
  int present = omp_target_is_present(p, omp_get_default_device());
  printf("%s is %spresent\n", name, present ? "" : "not ");
}

int main() {
  s2.s1.p = (int *)&x;

#pragma omp target enter data map(alloc : s2)
  printf("After mapping\n");
  print_status(&s2.s1.x, "x");         // CHECK: x is present
  print_status(&s2.s1.dummy, "dummy"); // CHECK: dummy is not present
  print_status(&s2.s1.p, "p");         // CHECK: p is present
  // FIXME: mapper should emit attach-style maps for pointer members.
  //                                      EXPECTED: p is not present
  print_status(&s2.s1.p[0], "p[0]"); // CHECK: p[0] is present
  printf("\n");

#pragma omp target exit data map(delete : s2)
  printf("After deleting\n");
  print_status(&s2.s1.x, "x");         // CHECK: x is not present
  print_status(&s2.s1.dummy, "dummy"); // CHECK: dummy is not present
  print_status(&s2.s1.p, "p");         // CHECK: p is present
  // FIXME: mapper should emit attach-style maps for pointer members.
  //                                      EXPECTED: p is not present
  print_status(&s2.s1.p[0], "p[0]"); // CHECK: p[0] is not present
}