// RUN: %clang_cc1 %s -triple nvptx-unknown-unknown -emit-llvm -O0 -o - | FileCheck %s

void device_function() {
}
// CHECK: define ptx_device void @device_function()

__kernel void kernel_function() {
  device_function();
}
// CHECK: define ptx_kernel void @kernel_function()
// CHECK: call ptx_device void @device_function()