1*330d8983SJohannes Doerfert // --------------------------------------------------
2*330d8983SJohannes Doerfert // Check extends before
3*330d8983SJohannes Doerfert // --------------------------------------------------
4*330d8983SJohannes Doerfert
5*330d8983SJohannes Doerfert // RUN: %libomptarget-compile-generic \
6*330d8983SJohannes Doerfert // RUN: -DEXTENDS=BEFORE
7*330d8983SJohannes Doerfert // RUN: %libomptarget-run-fail-generic 2>&1 \
8*330d8983SJohannes Doerfert // RUN: | %fcheck-generic
9*330d8983SJohannes Doerfert
10*330d8983SJohannes Doerfert // --------------------------------------------------
11*330d8983SJohannes Doerfert // Check extends after
12*330d8983SJohannes Doerfert // --------------------------------------------------
13*330d8983SJohannes Doerfert
14*330d8983SJohannes Doerfert // RUN: %libomptarget-compile-generic \
15*330d8983SJohannes Doerfert // RUN: -DEXTENDS=AFTER
16*330d8983SJohannes Doerfert // RUN: %libomptarget-run-fail-generic 2>&1 \
17*330d8983SJohannes Doerfert // RUN: | %fcheck-generic
18*330d8983SJohannes Doerfert
19*330d8983SJohannes Doerfert // END.
20*330d8983SJohannes Doerfert
21*330d8983SJohannes Doerfert #include <stdio.h>
22*330d8983SJohannes Doerfert
23*330d8983SJohannes Doerfert #define BEFORE 0
24*330d8983SJohannes Doerfert #define AFTER 1
25*330d8983SJohannes Doerfert
26*330d8983SJohannes Doerfert #define SIZE 100
27*330d8983SJohannes Doerfert
28*330d8983SJohannes Doerfert #if EXTENDS == BEFORE
29*330d8983SJohannes Doerfert #define SMALL_BEG (SIZE - 2)
30*330d8983SJohannes Doerfert #define SMALL_END SIZE
31*330d8983SJohannes Doerfert #define LARGE_BEG 0
32*330d8983SJohannes Doerfert #define LARGE_END SIZE
33*330d8983SJohannes Doerfert #elif EXTENDS == AFTER
34*330d8983SJohannes Doerfert #define SMALL_BEG 0
35*330d8983SJohannes Doerfert #define SMALL_END 2
36*330d8983SJohannes Doerfert #define LARGE_BEG 0
37*330d8983SJohannes Doerfert #define LARGE_END SIZE
38*330d8983SJohannes Doerfert #else
39*330d8983SJohannes Doerfert #error EXTENDS undefined
40*330d8983SJohannes Doerfert #endif
41*330d8983SJohannes Doerfert
42*330d8983SJohannes Doerfert #define SMALL_SIZE (SMALL_END - SMALL_BEG)
43*330d8983SJohannes Doerfert #define LARGE_SIZE (LARGE_END - LARGE_BEG)
44*330d8983SJohannes Doerfert
45*330d8983SJohannes Doerfert #define SMALL \
46*330d8983SJohannes Doerfert SMALL_BEG: \
47*330d8983SJohannes Doerfert SMALL_SIZE
48*330d8983SJohannes Doerfert #define LARGE \
49*330d8983SJohannes Doerfert LARGE_BEG: \
50*330d8983SJohannes Doerfert LARGE_SIZE
51*330d8983SJohannes Doerfert
main()52*330d8983SJohannes Doerfert int main() {
53*330d8983SJohannes Doerfert int arr[SIZE];
54*330d8983SJohannes Doerfert
55*330d8983SJohannes Doerfert // CHECK: addr=0x[[#%x,SMALL_ADDR:]], size=[[#%u,SMALL_BYTES:]]
56*330d8983SJohannes Doerfert fprintf(stderr, "addr=%p, size=%ld\n", &arr[SMALL_BEG],
57*330d8983SJohannes Doerfert SMALL_SIZE * sizeof arr[0]);
58*330d8983SJohannes Doerfert
59*330d8983SJohannes Doerfert // CHECK: addr=0x[[#%x,LARGE_ADDR:]], size=[[#%u,LARGE_BYTES:]]
60*330d8983SJohannes Doerfert fprintf(stderr, "addr=%p, size=%ld\n", &arr[LARGE_BEG],
61*330d8983SJohannes Doerfert LARGE_SIZE * sizeof arr[0]);
62*330d8983SJohannes Doerfert
63*330d8983SJohannes Doerfert // CHECK-NOT: omptarget
64*330d8983SJohannes Doerfert #pragma omp target data map(alloc : arr[LARGE])
65*330d8983SJohannes Doerfert {
66*330d8983SJohannes Doerfert #pragma omp target data map(present, tofrom : arr[SMALL])
67*330d8983SJohannes Doerfert ;
68*330d8983SJohannes Doerfert }
69*330d8983SJohannes Doerfert
70*330d8983SJohannes Doerfert // CHECK: arr is present
71*330d8983SJohannes Doerfert fprintf(stderr, "arr is present\n");
72*330d8983SJohannes Doerfert
73*330d8983SJohannes Doerfert // CHECK: omptarget message: explicit extension not allowed: host address specified is 0x{{0*}}[[#LARGE_ADDR]] ([[#LARGE_BYTES]] bytes), but device allocation maps to host at 0x{{0*}}[[#SMALL_ADDR]] ([[#SMALL_BYTES]] bytes)
74*330d8983SJohannes Doerfert // CHECK: omptarget message: device mapping required by 'present' map type modifier does not exist for host address 0x{{0*}}[[#LARGE_ADDR]] ([[#LARGE_BYTES]] bytes)
75*330d8983SJohannes Doerfert // CHECK: omptarget error: Call to getTargetPointer returned null pointer ('present' map type modifier).
76*330d8983SJohannes Doerfert // CHECK: omptarget fatal error 1: failure of target construct while offloading is mandatory
77*330d8983SJohannes Doerfert #pragma omp target data map(alloc : arr[SMALL])
78*330d8983SJohannes Doerfert {
79*330d8983SJohannes Doerfert #pragma omp target data map(present, tofrom : arr[LARGE])
80*330d8983SJohannes Doerfert ;
81*330d8983SJohannes Doerfert }
82*330d8983SJohannes Doerfert
83*330d8983SJohannes Doerfert // CHECK-NOT: arr is present
84*330d8983SJohannes Doerfert fprintf(stderr, "arr is present\n");
85*330d8983SJohannes Doerfert
86*330d8983SJohannes Doerfert return 0;
87*330d8983SJohannes Doerfert }
88