// 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()