// RUN: %clang_cc1 -fsycl-is-device -triple nvptx64-nvidia-cuda -std=c++11 -emit-llvm -x c++ %s -o - | FileCheck %s

#include "Inputs/sycl.hpp"

static const __SYCL_CONSTANT_AS char format_2[] = "Hello! %d %f\n";

int main() {
  // Make sure that device printf is dispatched to CUDA's vprintf syscall.
  // CHECK: alloca %printf_args
  // CHECK: call i32 @vprintf
  sycl::kernel_single_task<class first_kernel>([]() { sycl::ext::oneapi::experimental::printf(format_2, 123, 1.23); });
}