9 const char *device_uid = omp_get_uid_from_device(device_num);
10 if (device_uid == NULL) {
11 printf(
"FAIL for device %d: omp_get_uid_from_device returned NULL\n",
16 int device_num_from_uid = omp_get_device_from_uid(device_uid);
17 if (device_num_from_uid != device_num) {
19 "FAIL for device %d: omp_get_device_from_uid returned %d (UID: %s)\n",
20 device_num, device_num_from_uid, device_uid);
31#pragma omp target map(tofrom : success) device(device_num)
33 int device_num = omp_get_device_num();
37 const char *device_uid = omp_get_uid_from_device(device_num);
41 int device_num_from_uid = omp_get_device_from_uid(device_uid);
47 if (device_uid ? device_num_from_uid != device_num
48 : device_num_from_uid != omp_invalid_device) {
49 printf(
"FAIL for device %d (target): omp_get_device_from_uid returned %d "
51 device_num, device_num_from_uid, device_uid);