offload/unittests/OffloadAPI/device_code/bar.cpp

#include <gpuintrin.h>

extern "C" __gpu_kernel void foo(int *out) {
  out[__gpu_thread_id(0)] = __gpu_thread_id(0) + 1;
}